editor
177
правок
Изменения
ToDo
==ToDo==
* Прям вот так сразу: надо было придумать другое название статьи, потому что это нас не устаивает.
* Нет сслылок на определения <tex>NPC</tex> и <tex>coNPC</tex>.
* Ты пользуешься фактом, что <tex>(L_1 \leq L_2) \Leftrightarrow (\overline{L_1} \leq \overline{L_2})</tex>. Этот факт неочевиден, ссылку в студию! (это в [[Сведение по Карпу. Трудные и полные задачи |моём конспекте]] должно быть).
* В определении <tex>TAUT</tex> стоит написать, что эта <tex>\phi</tex> — это булева формула, потому что навскидку это не понять.
* Косметическая правка: «тогда по лемме 1 <tex>TAUT</tex>…» единица с <tex>TAUT</tex> сливаются, попробуй написать «по лемме (1)…».
* Псевдокод <tex>check(\phi, i)</tex>, очевидно, неверен. Хотя бы потому что случаи <tex> \phi = 0 </tex> и <tex> \phi = 1 </tex> недостижимы. Во втором псевдокоде та же бага, исправь, после я буду читать дальше.
* Прям вот так сразу: надо было придумать другое название статьи, потому что это нас не устаивает.
* Нет сслылок на определения <tex>NPC</tex> и <tex>coNPC</tex>.
* Ты пользуешься фактом, что <tex>(L_1 \leq L_2) \Leftrightarrow (\overline{L_1} \leq \overline{L_2})</tex>. Этот факт неочевиден, ссылку в студию! (это в [[Сведение по Карпу. Трудные и полные задачи |моём конспекте]] должно быть).
* В определении <tex>TAUT</tex> стоит написать, что эта <tex>\phi</tex> — это булева формула, потому что навскидку это не понять.
* Косметическая правка: «тогда по лемме 1 <tex>TAUT</tex>…» единица с <tex>TAUT</tex> сливаются, попробуй написать «по лемме (1)…».
* Псевдокод <tex>check(\phi, i)</tex>, очевидно, неверен. Хотя бы потому что случаи <tex> \phi = 0 </tex> и <tex> \phi = 1 </tex> недостижимы. Во втором псевдокоде та же бага, исправь, после я буду читать дальше.
