Perguntas com a marcação «complexity-classes»

Uma pergunta recente (veja Conseqüências de NP = PSPACE ) pediu as consequências "desagradáveis" de . As respostas listam algumas conseqüências de colapso, incluindo e outras, fornecendo muitas razões para acreditar em .N P = C O N P N P ≠ P S P A C ENP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Quais …

13 cc.complexity-theory  complexity-classes  conditional-results 

Todos os seguintes podem ser mantidos simultaneamente? L s + 1 seusLsL_s está contido em para todos os números inteiros positivos .eus + 1Ls+1L_{s+1}sss { 0 , 1 }L = ⋃seusL=⋃sLsL = \bigcup_s L_s é o idioma de todas as palavras finitas acima de .{ 0 , 1 }{0,1}\{0,1\} Há …

13 cc.complexity-theory  complexity-classes  reductions 

O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A, BS,T,UMA,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS× TS×T\mathcal{S}\times\mathcal{T}V: S× T× A× B→ { 0 , 1 }V:S×T×UMA×B→{0 0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}nv ( G ) …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Toda vez que ensino NP-Completeness, os alunos perguntam "existem problemas conhecidos por não pertencerem a NP?" Como você responderia? Normalmente, dou a eles um problema indecidível como exemplo, mas isso geralmente não resulta bem: (a) se eu der a eles o Problema da Parada, eles acham que é algum caso …

13 cc.complexity-theory  complexity-classes  teaching 

Muitas classes de complexidade definidas com máquinas de Turing têm definições em termos de circuitos uniformes. Por exemplo, P também pode ser definido usando circuitos de tamanho polinomial uniforme, e similarmente BPP, NP, BQP, etc. podem ser definidos com circuitos uniformes. Então, existe uma definição baseada em circuito de L? …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

A classe de complexidade PPAD é geralmente definida, afirmando que o fim da linha está completo no PPAD. f( X )f(x)f(x)xxxvvvt ≠ vt≠vt\ne v Recentemente, ouvi uma definição diferente de PPAD. Tanto quanto me lembro, foi baseado no seguinte problema. Um gráfico direcionado (novamente especificado por uma função computável em …

13 cc.complexity-theory  complexity-classes  ppad 

Considere o jogo a seguir em um gráfico ponderado direcionado GGG com um chip em algum nó. Todos os nós de GGG são marcados por A ou B. Existem dois jogadores Alice e Bob. O objetivo de Alice (Bob) é mudar o chip para um nó marcado por A (B). …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Imagine que temos dois conjuntos tamanho X , Y ⊂ R n . Qual é a complexidade (tempo) dos testes se eles diferem apenas por rotação? : existe matriz de rotação O O T = O T O = I tal que X = O Y ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Há uma …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o suficiente?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Estou interessado especialmente no caso em que , …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' é NPNP\mathsf{NP} completo. A qual classe de complexidade 'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c ' pertence?

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

A página da wikipedia no PSPACE menciona que a inclusão não é conhecida por ser rigorosa (infelizmente sem referências).NL ⊂ PHNL⊂PHNL\subset PH Q1: E quanto a e L ⊂ P # P - estes são conhecidos por serem rigorosos?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Se não, existe …

12 cc.complexity-theory  complexity-classes  logspace 

Podemos provar que, para cada idioma que não é N P- duro (isso assume P ≠ N P ), P L ≠ P SAT ? Como alternativa, isso pode ser comprovado sob quaisquer suposições razoáveis?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Eu estava lendo um artigo de Buhrman e Homer "Circuitos superpolinomiais , oráculos quase esparsos e a hierarquia exponencial" . Na parte inferior da página 2 eles observação de que os resultados de Kannan implica que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} não têm circuitos de tamanho polinomiais. Sei que na hierarquia do tempo exponencial, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Faz NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}espera? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mas parece-me que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} é "determinístico", o que me faz acreditar que isso é verdade. Existe uma prova simples (ou talvez apenas por definição)?

12 cc.complexity-theory  complexity-classes  oracles