Давнее

топ 100 блогов thesz17.10.2024 https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/balint/SAT2012.pdf

Решил освежить.

Вот цитата:
Scaling behavior with N: The survey propagation algorithm scales linearly with N on formulas generated near the threshold ratio.


Я думал, что хороших алгоритмов решения случайных k-SAT задач в области фазового перехода нет. Даже "доказательство работы" придумал, основываясь на этой задаче.

А оно вона, как! Решают, без проблем.

Век живи, век учись, дураком помрёшь. ;)

Оставить комментарий

Предыдущие записи блогера :
09.10.2024 День Сурка
Архив записей в блогах:
   5 февраля по случаю 10-летия заключения Договора о дружбе, добрососедстве и ...
Они соперничали в течение многих лет, шаг за шагом доказывая свое превосходство друг над другом. Как двум ярким звездам, достигшим легендарного статуса в киноиндустрии, им было ...
В этом году весна в европейской части России началась рано, рано повыползали и иксодовые клещи. Много кусали в мае и июне, но и сейчас расслабляться не приходится. В Подмосковье и Сибири отмечаю большое число покусанных, регистрируются и множественные случаи клещевых инфекций. В свое ...
"Я раскаиваюсь в совершенном, полагаю, что ходатайство следователя обоснованно", — сказал доцент и заплакал, его поместили в СИЗО на два месяца. ...
Забавно иногда разгадывать ребус, который составил художник, рисуя картины. В картине Юрия Пименова " Почта пришла" 1940 года все кажется обыденным и тривиальным. Девочка с косичками открыла дверь и получает письмо от почтальонши. Благополучная квартира, налаженная жизнь, добротные  ...