Полиномиальные сводимости и 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