Обсуждение:Схемная сложность и класс P/poly

TODO

• То, что мы пишем такие определения на паре, не значит, что в вики тоже надо такие писать. Не надо мешать формулы со словами. Напиши сначала одно, потом — другое. Наглядные примеры: вот и вот.
• То, что написано, вносит суровую такую путаницу. Поэтому постулирую: то, что у тебя определено как [math]P/poly[/math] — это [math]PSIZE[/math] (схемная сложность полином), а определение [math]P/poly[/math] даётся как частный случай [math]C/F[/math]. В соответствии с этими определениями переписываются теоремы.
• Мешанина русского языка и математических значков ужасна: не надо писать «[math]\exists[/math] машина Тьюринга», например.
• «Отсюда следует, что…» Из схемы ничего не следует.
• Из того, что мы написали программу, не следует то, что теорема выполняется. Нужны комментарии.
• Что за [math]C_n[/math] в доказательствах? Если в первом ещё понятно, какую роль они играют, то во втором про них вообще ничего не сказано, кроме обозначения.
• После исправления всего этого стоит ещё пару раз перечитать весь текст и убедиться, что он на русском и без ошибок.