Викиконспекты - Вклад участника [ru]

Обсуждение:Теорема Карпа — Липтона

2012-06-02T19:35:24Z

178.178.10.89: clarification request

== Доказательство ==

Переход между первым и вторым предложениями неочевиден и вообще, по-моему, это неправда. [[Участник:Kirelagin|Кирилл Елагин]] 00:54, 30 апреля 2012 (GST)
: Доказательство этого было заданием на первом тесте. Можно, конечно, и повторить. --[[Участник:Grechko|Grechko]] 02:26, 30 апреля 2012 (GST)
:: Что-то я такого не припоминаю, но повторить надо в любом случае. [[Участник:Kirelagin|Кирилл Елагин]] 15:11, 30 апреля 2012 (GST)
::: Добавил например --[[Участник:Grechko|Grechko]] 19:58, 30 апреля 2012 (GST)

== Пара вопросов ==

Что непонятно: в лемме говорится, что мы можем за полином вычислить соответствующую схему. Вопрос: Откуда мы возьмем в программе из <tex>P</tex>, а утверждается в конце леммы, что мы получили программу из <tex>P</tex>, соответствующую схему для любой длины входа? Возможное решение: использовать схему как подсказку, тогда получим программу из <tex>P/poly</tex> (вроде бы то что хотели).

<tex>\exists y\; \phi(x, y, z)</tex> {{---}} это не формула, потому что <tex>\phi</tex> {{---}} это программа. Кажется тут что-то надо сказать про длину входа <tex>\phi</tex> (она ограничена при фиксированном <tex>z</tex>) и сослаться на доказательство <tex>P \subset P/\mathrm{poly}</tex>.

Обсуждение:Теорема Карпа — Липтона

2012-06-02T17:49:58Z

178.178.10.89: /* Доказательство */ magic scheme trouble

== Доказательство ==

Переход между первым и вторым предложениями неочевиден и вообще, по-моему, это неправда. [[Участник:Kirelagin|Кирилл Елагин]] 00:54, 30 апреля 2012 (GST)
: Доказательство этого было заданием на первом тесте. Можно, конечно, и повторить. --[[Участник:Grechko|Grechko]] 02:26, 30 апреля 2012 (GST)
:: Что-то я такого не припоминаю, но повторить надо в любом случае. [[Участник:Kirelagin|Кирилл Елагин]] 15:11, 30 апреля 2012 (GST)
::: Добавил например --[[Участник:Grechko|Grechko]] 19:58, 30 апреля 2012 (GST)

Что непонятно: в лемме говорится, что мы можем за полином вычислить соответствующую схему. Вопрос: Откуда мы возьмем в программе из <tex>P</tex>, а утверждается в конце леммы, что мы получили программу из <tex>P</tex>, соответствующую схему для любой длины входа? Возможное решение: использовать схему как подсказку, тогда получим программу из <tex>P/poly</tex> (вроде бы то что хотели).

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

2012-06-02T16:28:41Z

178.178.10.89: another vague statement

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

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

"Теперь мы можем записать функцию f(M, w) которая". Перед "которая" запятая.
* И поправь форматирование, пожалуйста. Формула <tex>\phi(A, B, t)</tex> пополам разорвана.

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

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

:Думаю, что нет. И как мне кажется, единственное, где здесь должно присутствовать полиномиальное время, {{---}} это <tex>f</tex>, но к сожалению я не смог найти: почему время выполнения <tex>f</tex> полиномиальное.