Содержится ли

31

Я думал, что поделюсь этим вопросом, так как он может быть интересен для других пользователей здесь.

Предположим, что функция из однородного класса (например, ) также входит в небольшой неоднородный класс (например, A C 0 / p o l y , т. Е. Неоднородный A C 0 ), означает ли это, что функция содержится в меньший однородный класс (как P )? Если ответ на этот вопрос положительный, каков наименьший однородный класс сложности, содержащий N P A C 0 / p o l y ? Если отрицательный, можем ли мы найти интересный естественный контрпример?NPAC0/polyAC0PNPAC0/poly

Содержится ли в P ?AC0/polyNPP

Примечание: друг уже частично ответил на мой вопрос в автономном режиме, я добавлю его ответ, если он сам не добавит его.

Вопрос - моя вторая попытка формализовать следующий неформальный вопрос:

Может ли неравномерность помочь нам в вычислении естественных однородных задач?


Связанный:

Кава
источник
@Kaveh: Может быть, интересным вопросом было бы задать естественную проблему в P / poly и NP, но не в P. (Или, может быть, это слишком просто?)
Робин Котари
@Robin: что кажется интересным, но я не уверен , что это было бы легче найти естественную проблему в . NPP/polyP
Каве
1
@all: Мне нужно немного больше подумать об этом вопросе и ответах. Это кажется очень естественным вопросом. Но я чувствую себя неловко об ответах: во- первых, мы можем ослабить предположение, заменив с N Т я т е ( п ) D T я т е ( ф ) , где е является очень быстро растет функция; во-вторых, контрпример не только в A C 0 / p o l yNEXPEXPNTime(f)DTime(f)fAC0/polyно имеет цепи размера 1, так как функция постоянна на всех входах размера для всех n ! Эти две причины могут говорить о том, что это неправильный вопрос. nn
Каве
2
@Kaveh: Возможно, вы захотите взглянуть на класс YP, определенный Скоттом Ааронсоном. Это как P / Poly, но «совет» не доверяют. Другими словами, это похоже на то, как NP пересекает coNP, но свидетель может зависеть только от длины ввода. YP находится в P / poly, и является унифицированным классом. Возможно, проблема в YP, но не в P, является примером проблемы, которую вы ищете. Это было бы естественно, равномерно, не в P, в P / poly, и, возможно, нетривиально, так как совет должен быть проверен схемой.
Робин Котари
2
@Kaveh: класс YP («Полиномиальное время Йоды») более формально определен в статье Скотта «Изучаемость квантовых состояний» [quant-ph / 0608142]
Алессандро Косентино,

Ответы:

30

Вот упрощение ответа Райана. Пусть . Определите язык L = { x : | х | Λ } . Предположение Л Н Е Е переводит к L N P P . Кроме того, тривиально L A C 0 / p o l y .ΛNEEL={x:|x|Λ}ΛNEELNPPLAC0/poly

Юваль Фильмус
источник
1
Хороший ответ Ювал!
Dai Le
1
По существу, то же самое преобразование используется в книге 1974 года, чтобы показать, что E ≠ NE тогда и только тогда, когда NP ∖ P содержит язык подсчета.
Цуёси Ито
Просто чтобы быть уверенным: правильно ли я понимаю, что длина х написана в одинарном? |x|x
Винсент
@ Vincent Здесь - это строка, а не целое число, а | х | это его длина. x|x|
Ювал Фильмус
да, это то, что смущает меня. Если длина некоторой строки, то | х | целое число, так как это может быть элементом Λ ? |x||x|Λ
Винсент
32

Ответ на первый вопрос: кажется маловероятным.

Теорема: Если , то Н Е Х Р = Е Х Р .NPAC0/polyPNEXP=EXP

Учитывая схему которая выводит бит, определите декомпрессию C как строку битов, полученную путем оценки C на всех возможных входах. То есть декомпрессия представляет собой C ( 0 n ) C ( 0 n - 1 1 ) C ( 0 n - 2 10 ) C ( 1 n ) .CCC(0n)C(0n11)C(0n210)C(1n)

Определите задачу Сукцинкт 3SAT следующим образом: для схемы размера n кодирует ли ее декомпрессия выполнимую булеву формулу? CnИзвестно, что сжатый 3SAT является полным комплектом NEXP

Теперь рассмотрим язык

{ 1 n | целое число n, записанное в двоичном виде, является экземпляром yes краткой 3SAT}.L=1n|n

явно в A C 0 / р о л у , таквы можете просто жестко ли 1 н в L , для каждого п .LAC0/poly1nLn

LNPnlognO(n)O(n)

LPNEXP=EXPO(nc)logn

Ваш второй вопрос широко открыт (и открыт).

Райан Уильямс
источник
Почему вы должны принять некоторые полные проблемы?
Юваль Фильмус
Думал, что это сделало аргумент легче следовать.
Райан Уильямс
Спасибо Райан за ваш хороший ответ и объяснение. Думаю, вы не возражаете, если я приму ответ Ювала, хотя вы были первым, кто отправил сообщение.
Каве
11

На вопрос Каве "Может ли неравномерность помочь нам в вычислении естественных однородных задач?"

n1nn5n

Ссылки:

Стасис
источник
n
1
2
1
2n
1
1NPP/poly
4
@Kaveh: Но NP сам по себе является большим ИЛИ P. «Временная версия» P против NP такова: можем ли мы заменить это большое ИЛИ детерминированным алгебраическим деревом решений полиномиальной глубины (с P на листьях)? Напомним, что тривиальная глубина для Subset-Sum равна 2 ^ n (не n). Dopkin и Lipton (1978) показали, что глубина n ^ 2/2 необходима, и широко распространено мнение, что это можно улучшить до n ^ k для любого k. Mayer auf der Heide опроверг это мнение: достаточно k = 5. Таким образом, неравномерность МОЖЕТ помочь, если нас интересует глубина (время).
Стасис