Обсуждение:Схемная сложность и класс P/poly — различия между версиями
Leugenea (обсуждение | вклад) (ОГОСПАДЕ ЧТО ЭТО) |
(нет различий)
|
Текущая версия на 18:48, 7 мая 2012
TODO
- То, что мы пишем такие определения на паре, не значит, что в вики тоже надо такие писать. Не надо мешать формулы со словами. Напиши сначала одно, потом — другое. Наглядные примеры: вот и вот.
- То, что написано, вносит суровую такую путаницу. Поэтому постулирую: то, что у тебя определено как — это (схемная сложность полином), а определение даётся как частный случай . В соответствии с этими определениями переписываются теоремы.
- Мешанина русского языка и математических значков ужасна: не надо писать « машина Тьюринга», например.
- «Отсюда следует, что…» Из схемы ничего не следует.
- Из того, что мы написали программу, не следует то, что теорема выполняется. Нужны комментарии.
- Что за в доказательствах? Если в первом ещё понятно, какую роль они играют, то во втором про них вообще ничего не сказано, кроме обозначения.
- После исправления всего этого стоит ещё пару раз перечитать весь текст и убедиться, что он на русском и без ошибок.