Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-data — различия между версиями

Версия 17:37, 20 декабря 2012

Какие входные данные для алгоритма «alg-sat-dynp» заставят его работать экспоненциально долго?