Изменения

Перейти к: навигация, поиск

Теорема Бермана — Форчуна

82 байта добавлено, 15:30, 27 апреля 2012
Нет описания правки
|proof=Пусть <tex>L \in coNPC</tex>. Тогда <tex>L \in coNP</tex> и <tex>\overline L \in NP</tex>.
Рассмотрим произвольный язык <tex>L_1 \in NP</tex>. Тогда <tex>\overline {L_1} \in coNP</tex>. Так как <tex>L \in coNPC</tex>, то <tex>\overline {L_1} \le L</tex>, [[Сведение по Карпу. Трудные и полные задачи|следовательно ]] <tex>L_1 \le \overline L</tex>.
Получили, что <tex>\overline L \in NP</tex> и <tex>\forall L_1 \in NP \, L_1 \le \overline L</tex>. Значит <tex>\overline L \in NPC</tex>.
70
правок

Навигация