Давнее

Решил освежить.
Вот цитата:
Scaling behavior with N: The survey propagation algorithm scales linearly with N on formulas generated near the threshold ratio.
Я думал, что хороших алгоритмов решения случайных k-SAT задач в области фазового перехода нет. Даже "доказательство работы" придумал, основываясь на этой задаче.
А оно вона, как! Решают, без проблем.
Век живи, век учись, дураком помрёшь. ;)
|
</> |