Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена Category:Решенные задачи на Category:Нерешенные задачи) |
||
Строка 5: | Строка 5: | ||
</latex> | </latex> | ||
− | [[Category: | + | [[Category:Нерешенные задачи]] |
<!--Вообще-то, решения уже есть--> | <!--Вообще-то, решения уже есть--> |
Версия 09:53, 26 февраля 2015
Докажите, что (определения см. в тексте лекций или книге):