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

Материал из Викиконспекты
Версия от 18:48, 7 мая 2012; Leugenea (обсуждение | вклад) (ОГОСПАДЕ ЧТО ЭТО)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

TODO

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