1534 байта добавлено,
19:31, 30 апреля 2012 Претензии по содержанию
* Формулировка леммы 2 не совсем корректна. "Для любого L из PS следует, что..." - коряво.
* Непонятно, откуда взялась формула <tex>\phi(A, B, t)</tex>. Хочу комментарии.
* И к следующему предложению тоже.
* Полиномиальные время, размер и прочие - полиномы от чего?
Претензии по оформлению
* Пожалуйста, расставь точки в концах всех предложений.
* Слова "расшивровывается" в первой строке и "задодим" в последней пишутся иначе.
* "то стартовое и финишное состояние задано корректно". Согласуй числа, пожалуйста.
* Запятые. С ними очень много проблем.
В предложении после определения перед словом "необходимо" нужна запятая.
"Чтобы доказать это просто приведём программу". После "это" запятая.
"Теперь мы можем записать функцию f(M, w) которая". Перед "которая" запятая.
* И поправь форматирование, пожалуйста. Формула <tex>\phi(A, B, t)</tex> пополам разорвана.