Бюрократы, editor, Администраторы
422
правки
Изменения
→И вот ещё немного: Новая тема
* Мне неочевидно, почему позицию и содержание рабочей ленты можно закодировать таким количеством памяти.
* Мне неочевидно, почему за <tex>log(2^{d f(n)})</tex> переходов МТ обязательно должна приходить в «допускающую» конфигурацию, если такая цепочка переходов есть.
== И вот ещё немного ==
Мне кажется, что обозначение <tex>p \in \mathrm{P}</tex> несет в себе несколько иной смысл, нежели предполагается в местных определениях.
Второй предложение в доказательстве второй теоремы — без комментариев…
[[Участник:Kirelagin|Кирилл Елагин]] 12:59, 3 июня 2012 (GST)
