171
правка
Изменения
м
Мне не нравится использование термина «множество» вместо «язык» (предложение после первого списка) — это путает.: Done
Что Я сверху вынес степень логарифма за странный значок пересечения множеств посреди текста скобочки. Не знаю, надо ли это же сделать внизу в доказательстве корректности?времени. Если сильно ухудшит читабельность, то не надо.: Done
Я сверху вынес степень логарифма за скобочки. Не знаюИспользуй обозначение T(программа, надо ли вход) — это же сделать внизу относится и к началу статьи и к концу.: Done Что за Т со звездой? Каких шагов время считаем? Ничерта не понятно в доказательстве временипоследней части. Если сильно ухудшит читабельностьИ, ты меня прости, но мне кажется, что если не разбивать по строкам формулы, то не читаться будет лучше.: Done: выпилил Название заголовка «корректность алгоритма» — так себе. Формально-то нет тут никакого алгоритма, корректность которого доказывать надобыло бы.: Done: добавил слово «алгоритм»:: Хитрый.
Нет описания правки
Есть мнение, что эту теорему надо оформить как теорему.
: Done
В первой же строке явно просится ссылка на P.
Ссылка на NP-полноту SAT'а.
Ссылка на сведение.
Про функции не понял. Чем они от машин отличаются? Типа, могут быть невычислимы (тогда надо это явно указать)?
: [http://ru.wikipedia.org/wiki/%D0%9A%D0%BB%D0%B0%D1%81%D1%81_P#.D0.A4.D0.BE.D1.80.D0.BC.D0.B0.D0.BB.D1.8C.D0.BD.D0.BE.D0.B5_.D0.BE.D0.BF.D1.80.D0.B5.D0.B4.D0.B5.D0.BB.D0.B5.D0.BD.D0.B8.D0.B5] Полиномиальная функция — объект, который пользуется полиномиальной МТ для получения результата из <tex>\Sigma^*</tex>.
Делимость процентиком не в программах — не очень. Поставь лучше три точки, наверное…
: Done — заменил на модульное сравнение, потому как точки смотрятся плохо.
«названных свойства» — буэ. Указанных,требуемых, перечисленных, не знаю…
: Done
Определение g — АД. Там ничего не понятно. Серьёзно. Перепиши, чтобы было понятно «если <что>, то <что>». Если хочешь при этом использовать списки, то делай обычные html'ные — вики-разметка не вытянет то, что тебе надо.
: Done — надеюсь, стало лучше читаться
:: Стало хуже читаться, потому что теперь не указано, что последние два пункта — если не выполняется то странное неравенство.
::: Указал.
------------
[[Участник:Kirelagin|Кирилл Елагин]] 13:58, 2 июня 2012 (GST)
