Вопросы с тегом «advice-and-nonuniformity»

Предполагается, что поскольку обратное подразумевает \ mathsf {PH} = \ Sigma_2 . Теорема Ладнера устанавливает, что если \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset , Однако доказательство, …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Теорема Карпа – Липтона утверждает, что если , то P H разрушается до Σ P 2 . Следовательно, при условии разделения между Σ P 2 и Σ P 3 , никакая N P -полная проблема не будет принадлежать P / p o l y .N P ⊂ P / p …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Язык находится в если существует машина Тьюринга для пространства журналов, которая решает язык с полиномиальным количеством рекомендаций.Л / р о л уL/поLYL/poly Смотрите здесь для получения дополнительной информации: https://en.wikipedia.org/wiki/L/poly Вопрос Каковы последствия ?п⊆L / p o l yп⊆L/поLYP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly означает , что, в свою очередь, имеет интересные последствия, такие как коллапс полиномиальной иерархии.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Есть ли интересные последствия для ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Общий вопрос Обобщает ли теорема о пространственной иерархии неравномерное вычисление? Вот несколько более конкретных вопросов: Является ли ?L / ролу⊊ PSпA CЕ/ РолуL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всех космических построимых функций , является D S Р С Е ( О ( е ( п ) ) ) / р о л …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Под BPP / linear я подразумеваю машины BPP с линейным советом, который выполняет обещание, когда дается «правильный» совет, и дерандомизация должна дать нам, скажем, P / линейный или (SUBEXP / линейный) алгоритм. Если мы используем неоднородные предположения, я думаю, классические результаты должны работать, потому что мы можем «обмануть» неоднородных противников. …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Мне любопытно, как вы видели неоднородность полезной в вычислениях. Одним из способов является случайность, как вBPP⊆P/polyВпп⊆п/поLYBPP \subseteq P/polyи другой - это справочные таблицы, которые используются, чтобы показать, что все языки имеют неоднородные схемы. В частности, меня интересуют способы использования объектов, о которых известно, что они существуют с помощью вероятностного метода …

9 circuit-complexity  advice-and-nonuniformity 

Я думал о следующем вопросе в разное время с тех пор, как увидел этот вопрос по криптографии . Вопрос Позволять рRRбыть отношением TFNP . Может ли случайный оракул помочь П / поли сломаться?рRRс ничтожной вероятностью? Более формально, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Имеет ли для всех P / поли алгоритмовAAA, PrИкс[ …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

Этот вопрос возник в контексте криптографии, но ниже я представлю его с точки зрения теории сложности, поскольку здесь люди больше знакомы с последним. Этот вопрос связан с проблемами в NP, но не в Average-P / poly и неоднородности биения по Oracle Access . Неформальное утверждение: когда неоднородные противники (то есть …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity