Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)

Претензии по содержанию

• Формулировка леммы 2 не совсем корректна. "Для любого L из PS следует, что..." - коряво.
• Непонятно, откуда взялась формула [math]\phi(A, B, t)[/math]. Хочу комментарии.
• И к следующему предложению тоже.
• Полиномиальные время, размер и прочие - полиномы от чего?

Претензии по оформлению

• Пожалуйста, расставь точки в концах всех предложений.
• Слова "расшивровывается" в первой строке и "задодим" в последней пишутся иначе.
• "то стартовое и финишное состояние задано корректно". Согласуй числа, пожалуйста.
• Запятые. С ними очень много проблем.

В предложении после определения перед словом "необходимо" нужна запятая.

"Чтобы доказать это просто приведём программу". После "это" запятая.

"Теперь мы можем записать функцию f(M, w) которая". Перед "которая" запятая.

• И поправь форматирование, пожалуйста. Формула [math]\phi(A, B, t)[/math] пополам разорвана.

Стало существенно понятнее. Только поставь, пожалуйста, точки в конце формулировок лемм и в доказательстве второй (после примечания) исправь [math]\phi(a, B, t)[/math] - там же А должно быть.

У меня вопрос. Разве следующее утверждение верное: «Так как [math]L \in \mathrm{PS}[/math], то существует какая-то детерминированная машина Тьюринга [math]M[/math], которая его распознаёт за полиномиальное от размера входа время.»? --Байдаров Андрей 01:46, 2 июня 2012 (GST)