Бюрократы, editor, Администраторы
422
правки
Изменения
→Омг: Новая тема
* В определении <tex>TAUT</tex> стоит написать, что эта <tex>\phi</tex> — это булева формула, потому что навскидку это не понять.
* Косметическая правка: «тогда по лемме 1 <tex>TAUT</tex>…» единица с <tex>TAUT</tex> сливаются, попробуй написать «по лемме (1)…».
* Псевдокод <tex>checkВторой абзац после второго псевдокода: странная оценка, там (\phi, i1)</tex>может быть неверно максимум 1 раз.* Последний абзац написан неподробно. == Ох-ох ==Мне очень не нравится, очевиднокогда теховская формула разрывается, неверенчтобы вставить в неё русский текст. Хотя бы потому что случаи <tex> \phi К сожалению, мне не известно ни одного решения этой проблемы = 0 </tex> (. [[Участник:Kirelagin|Кирилл Елагин]] 23:28, 29 апреля 2012 (GST) == Омг == Где определение coNPC? Что доказываем-то? Доказываем-то по сути эквивалентность двух определений — coNP-C и <tex> \phi = 1 </tex> недостижимыco-NPC. Во втором псевдокоде та же бага, исправь, после При использовании второго определения лемма выглядит как бред (я буду читать дальшенад ней думал очень-очень долго).[[Участник:Kirelagin|Кирилл Елагин]] 01:03, 3 июня 2012 (GST)
