Указатель по началу названий страниц

Материал из DISCOPAL
Перейти к: навигация, поиск
Все страницы
   
Полиномиальный в среднем алгоритм для SAT/ЗадачиПолиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approxПолиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted
Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nkПолиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-dataПолиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-good-data
Полиномиальный в среднем алгоритм для SAT/Замечание Досаев