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