Отличается ли


12

Можем ли мы доказать, что для любого языка который не является N P- трудным (предполагается, что PN P ), P LP SAT ? С другой стороны, это может быть доказано при любых разумных предположениях?LNPNPPNPPLPSAT


Я думаю , что этот вопрос имеет глупый ответ: Пусть , то , конечно , P LP СБ когда вы предполагаете , что PN P . Таким образом, вы можете захотеть, все еще предполагая, что PN P , L находится в N PP, а не в N P -hard. [Редактировать: О, я прочитал ваш комментарий ниже, поэтому ваш вопрос, похоже, звучит так: «Правда ли, что для всех таких L имеет место неравенство?», А не «Существует ли такой LLPNPPLPSATPNPPNPLNPPNPLL? "=> Я редактирую ваш вопрос!]
Бруно,

Ответы:


16

Зависит от вашего определения NPI. Если А является неполным для тьюринговых, ответ да , так как СБ не в .PA

Если A просто много-один неполно, то мы не знаем, как это доказать. У нас есть релятивизированный мир с множеством A в NP, так что A не является NP-полным с помощью сокращений много-один, но SAT можно вычислить одним запросом к A. (Теорема 1.9 в этой статье ).


Вы имеете в виду теорему 1.9?
Джеффри Ирвинг

Вы правы. Исправлена.
Лэнс Фортноу
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.