171
правка
Изменения
м
Нет описания правки
:Думаю, что нет. И как мне кажется, единственное, где здесь должно присутствовать полиномиальное время, {{---}} это <tex>f</tex>, но к сожалению я не смог найти: почему время выполнения <tex>f</tex> полиномиальное.
:: А подписываться слабо? Или хотя бы залогиниваться.
::Да, мне сильно кажется что сия фраза "от Станка".
::: А почему у меня в конспекте (бумажном) нет ничего про полиномиальное время какой-то функции (а уж тем более — машины)? [[Участник:Kirelagin|Кирилл Елагин]] 13:37, 3 июня 2012 (GST)
:::: Мы просто должны помнить, что в определении <tex>PSH</tex> используется сведение по Карпу.
Леша. Точки. В конце формулировок. Всех формулировок!
Я пришёл с правками!
# После объявления функции нужно б поставить двоеточие.
# <s>У нас не хаскель, а псевдокодопитон. Это я про то, что <tex>\phi</tex> надо определить как нормальную функцию.</s> Ну и да, в случае, когда t > 0, надо б выражение после R в скобки заключить, а то нечитабельно.
# Третий снизу абзац. Что за формула <tex>\phi</tex> вообще?
# А ещё мне кажется, что утверждение, которое мы доказываем на протяжении всего конспекта, должно быть выделено хотя бы в следствие. Или в теорему. Причём мне кажется, удобней это сделать уже после доказательства лемм. [[Участник:Leugenea|Евгений Лукьянец]]
ИМХО, нужно хотя бы одно предложение с пояснением перехода от одной функции к эквивалентной другой. Имеется в виду место, где появляются <tex>U</tex> и <tex>V</tex>.
[[Участник:Shevchen|Дмитрий Шевченко]] 21:24, 4 июня 2012 (GST)
