Давнее
thesz — 17.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 задач в области фазового перехода нет. Даже "доказательство работы" придумал, основываясь на этой задаче.
А оно вона, как! Решают, без проблем.
Век живи, век учись, дураком помрёшь. ;)
|
|
</> |
Unity Ads для арбитража: все об in-app трафике, настройке и работе с high-risk вертикалями 
