Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3csat-npc — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<latex> Покажите, что NP-полным является язык булевых формул \begin{itemize} \item $f(x_1, …, x_m) = \cap^{l}_{i=1} g…») |
StasFomin (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
<latex> | <latex> | ||
− | Покажите, что NP-полным является язык булевых формул | + | Покажите, что NP-полным является язык выполнимых булевых формул |
\begin{itemize} | \begin{itemize} | ||
Строка 9: | Строка 9: | ||
\end{itemize} | \end{itemize} | ||
</latex> | </latex> | ||
+ | |||
+ | [[Категория:Нерешенные задачи]] |
Версия 01:52, 17 марта 2022