Я считаю , что ответы на этот вопрос зависит классы дают такое , что для всех полиномов ,
существует проблема в классе , который не имеет схемы размера .
Однако я спрашиваю о размере схемы .
суперлинейен, но не .
Хотя такое четно-нечетное поведение может быть обработано заполнением, вместо этого могут
быть очень длинные полосы суперполиномиальных значений между низкими значениями.)
circuit-complexity
lower-bounds
Сообщество
источник
источник
Ответы:
Обновление: как указывает Рики Демер, эти результаты не обязательно дают язык с нижней границей для всех в . Я думаю, что , вероятно, самый известный. Так как у есть полные наборы, вы можете получить все но у меня нет полного доказательства.n Sp2 Δp3 PP n
источник
Пусть dMCSP будет версией Решения о минимальном размере схемы,P(NPdMCSP[1]) Который фактически
ω(nk) Нижняя граница:
и пусть «[1]» означает « только 1 запрос ».
Ответ на мой вопрос, кажется,
таков, что для каждого положительного целого числа k он имеет
Следуйте последнему абзацу на странице 7 из этого документа , с этим абзацемk быть на один больше, чем этот аргумент k и, кроме того, "обратите внимание, что это задача" co_dMCSP ", чтобы решить, ℓ трудно», в том же смысле , как он используется в этом пункте страница-7.
ℓ Таблица истинности имеет максимальный размер ℓ2⋅polylog(ℓ) ,
NP , ПоэтомуP(NPdMCSP[1])⊆P(NPdMCSP)⊆P(NPNP)=Δp3 ,
является ли данная таблица истинности длины
В DNF схемы для произвольно длина-
Так dMCSP в
Я не знаю ни одного доказательства того, что любой из этих⊆ s являются равенствами, и этот документ создает значительные препятствия для возможности dMCSP бытьNP -трудно при рандомизированных сокращениях Тьюринга.
NP -трудной под сильным недетерминистическую ( страница 6 ) сокращение один-запросов , которые принимают советы строку полиномиального размера , который является вычислимой
P(NPdMCSP[1]) Но, в частности, я не знаю ни одного доказательства такой твердости.
Равенства вытекают из того, что dMCSP
по
источник