Perguntas com a marcação «advice-and-nonuniformity»

Supõe-se que pois o inverso implicaria \ mathsf {PH} = \ Sigma_2 . O teorema de Ladner estabelece que se \ mathsf {P} \ ne \ mathsf {NP} então \ 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 

O Theoem de Karp-Lipton afirma que se , então colapso em . Portanto, assumindo separações entre e , nenhum pertencerá a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P …

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

Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \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 implica , que por sua vez tem conseqüências interessantes como o colapso da hierarquia polinomial.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Existem implicações interessantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

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

Pergunta Geral O teorema da hierarquia espacial generaliza para computação não uniforme? Aqui estão algumas perguntas mais específicas: L / p o l y⊊ PSPA CE/ PolyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas as funções construtivas de espaço , ?D S P A C E ( o ( f ( n ) …

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

Por BPP / linear, refiro-me a máquinas de BPP com orientação linear, que cumprem a promessa quando recebem a orientação "correta", e a derandomização deve nos fornecer, digamos, um algoritmo P / linear ou (SUBEXP / linear). Se usarmos suposições não uniformes, acho que os resultados clássicos devem funcionar, porque …

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

Estou curioso sobre as maneiras pelas quais você viu a não uniformidade ser útil na computação. Uma maneira é a aleatoriedade, como em , e outra são as tabelas de consulta que são usadas para mostrar que todos os idiomas têm circuitos não uniformes.BPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly Em particular, estou interessado …

9 circuit-complexity  advice-and-nonuniformity 

Eu estive pensando sobre a seguinte pergunta em vários momentos desde que vi essa pergunta sobre criptografia . Questão Seja RRR uma relação TFNP . Um oráculo aleatório pode ajudar P / poli a romper RRR com probabilidade não desprezível? Mais formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Faz para todos os …

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

Essa questão surgiu no contexto da criptografia, mas a seguir apresentarei em termos da teoria da complexidade, uma vez que as pessoas aqui estão mais familiarizadas com a última. Esta pergunta está relacionada a Problemas no NP, mas não na Média-P / poli e Não- uniformidade de batimento do Oracle …

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

O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation