Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов — различия между версиями
Материал из DISCOPAL
Vitaliy (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
− | |||
<latex> | <latex> | ||
Пусть L_{planar} - \text{это язык планарных графов (как обычно, считаем, что графы задаются списком ребер или матрицей смежности)}. | Пусть L_{planar} - \text{это язык планарных графов (как обычно, считаем, что графы задаются списком ребер или матрицей смежности)}. | ||
Строка 6: | Строка 5: | ||
Подсказка: посмотри Th. Понтрягина — Куратовского | Подсказка: посмотри Th. Понтрягина — Куратовского | ||
+ | </latex> | ||
+ | |||
+ | [[Category/Решенные задачи]] |
Версия 11:05, 20 мая 2015