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