Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов — различия между версиями
Материал из DISCOPAL
Vitaliy (обсуждение | вклад) (Новая страница: «Category:Предложенные студентами задачи <latex> Пусть L_{planar} - \text{это язык планарных графов (к…») |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
(не показано 17 промежуточных версий 2 участников) | |||
Строка 1: | Строка 1: | ||
− | |||
<latex> | <latex> | ||
Пусть L_{planar} - \text{это язык планарных графов (как обычно, считаем, что графы задаются списком ребер или матрицей смежности)}. | Пусть L_{planar} - \text{это язык планарных графов (как обычно, считаем, что графы задаются списком ребер или матрицей смежности)}. | ||
Покажите, что L_{planar} ∈co−NP . | Покажите, что L_{planar} ∈co−NP . | ||
+ | |||
+ | Подсказка: посмотри Th. Понтрягина — Куратовского | ||
+ | </latex> | ||
+ | |||
+ | [[Категория:Решенные задачи]] | ||
+ | [[Категория:Теоретические задачи]] |
Текущая версия на 06:50, 4 мая 2023