1914 байт добавлено,
18:48, 7 мая 2012 == TODO ==
* То, что мы пишем такие определения на паре, не значит, что в вики тоже надо такие писать. Не надо мешать формулы со словами. Напиши сначала одно, потом — другое. Наглядные примеры: [[Класс P|вот]] и [[Сведение по Карпу. Трудные и полные задачи|вот]].
* То, что написано, вносит суровую такую путаницу. Поэтому постулирую: то, что у тебя определено как <tex>P/poly</tex> — это <tex>PSIZE</tex> (схемная сложность полином), а определение <tex>P/poly</tex> даётся как частный случай <tex>C/F</tex>. В соответствии с этими определениями переписываются теоремы.
* Мешанина русского языка и математических значков ужасна: не надо писать «<tex>\exists</tex> машина Тьюринга», например.
* «Отсюда следует, что…» Из схемы ничего не следует.
* Из того, что мы написали программу, не следует то, что теорема выполняется. Нужны комментарии.
* Что за <tex>C_n</tex> в доказательствах? Если в первом ещё понятно, какую роль они играют, то во втором про них вообще ничего не сказано, кроме обозначения.
* После исправления всего этого стоит ещё пару раз перечитать весь текст и убедиться, что он на русском и без ошибок.