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