Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет dr_alex ([info]dr_alex)
@ 2005-11-18 11:17:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение:creative

Рабочее.
80 лет люди ковыряют модель Изинга. И вот казалось бы, ну чего там ковырять-то? А вот ковыряют, причем очень даже интересные вещи выковыривают. Ну а самое смешное, что при ближайшем рассмотрении там еще ковырять и ковырять...

Когда раньше человек говорил мне, что он занимается моделью Изинга (в какой бы то ни было форме), я по-молодости снисходительно улыбался. Теперь готов даже признать - зря улыбался.



(Добавить комментарий)


[info]ygam@lj
2005-11-18 16:07 (ссылка)
SAT люди ковыряют уже лет 30, и все недоковырялись.

(Ответить) (Ветвь дискуссии)


[info]dr_alex@lj
2005-11-18 18:28 (ссылка)
Честно говоря я не специалист в этих вещах, но мне казалось что алгоритмы для решения собственно SAT понятны. Люди возятся над всякими обобщениями. А тут именно изначальную toy model насилуют, насилуют. И всё на удивление плодотворно.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ygam@lj
2005-11-19 20:17 (ссылка)
Много статей 1990х годов про SAT (http://www.princeton.edu/~chaff/paperlib.html).

(Ответить) (Уровень выше)


[info]katpyxa@lj
2005-11-20 00:34 (ссылка)
стопудов :)
сам когда-то вдохновленно ковырялся и отковырял, чего хотел :)
а ты, кстати, читал оригинальный Онзагеровский вывод? совсем не похож на тот сухой, который дается в институтском курсе :)

(Ответить) (Уровень выше)