Запитання з тегом «advice-and-nonuniformity»

Можна припустити, що оскільки зворотне значення означатиме . Теорема Ладнера встановлює, що якщо \ 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 

Короп-Ліптон Theoem стверджує , що якщо , то коллапсирует . Тому, якщо припустити розділення між та , жодна -повна проблема не буде належати до .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l …

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

Мова є якщо існує машина журналу простору Тьюрінга, яка визначає мову з поліноміальною кількістю порад.L/polyL/polyL/poly Дивіться тут для отримання додаткової інформації: https://en.wikipedia.org/wiki/L/poly Питання Які наслідки ?P⊆L/polyP⊆L/polyP \subseteq L/poly

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

N P ⊆ P / p o l yP/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/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всіх функціональних функцій f(n)f(n)f(n) , чи є DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Для яких функцій h(n)h(n)h(n) відомо, що: для всіх конструкцій простору f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) ?

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

Під BPP / лінійним я маю на увазі машини BPP з лінійною порадою, яка виконує обіцянку при наданні "правильних" порад, а дерандомізація повинна дати нам, скажімо, алгоритм P / line або (SUBEXP / лінійний). Якщо ми використовуємо неоднорідні припущення, я вважаю, що класичні результати повинні працювати, оскільки ми можемо "обдурити" …

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

Мені цікаво, як ви бачили, як нерівномірність корисна для обчислень. Один із способів - випадковість, як у , а інший - таблиці пошуку, які використовуються для показу, що всі мови мають нерівномірні схеми.Б ПП⊆ Р/ полуBPP⊆P/polyBPP \subseteq P/poly Зокрема, мене цікавлять способи того, як об'єкти, за якими відомо, що існують …

9 circuit-complexity  advice-and-nonuniformity 

Я роздумував над цим питанням у різні часи, відколи бачив це питання на криптографії . Питання Дозволяє RRRбути відношенням TFNP . Чи може випадковий оракул допомогти P / poly зламатисьRRRз незначною ймовірністю? Більш формально, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Чи для всіх P / полі алгоритмів , є незначнимAAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, A(x))] …

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

Це питання виникло в контексті криптографії, але нижче я викладу його з точки зору теорії складності, оскільки люди тут більше знайомі з останньою. Це питання пов'язане з проблемами в NP, але не з середнім рівнем P / poly та неефективністю побиття Oracle Access . Неформальне твердження: Коли нерівномірним супротивникам (тобто …

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