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

Há uma justificativa filosófica frequentemente citada para acreditar que P! = NP mesmo sem prova. Outras classes de complexidade têm evidências de que são distintas, porque, se não, haveria consequências "surpreendentes" (como o colapso da hierarquia polinomial). Minha pergunta é: qual é a base para a crença de que a …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Existem toneladas de problemas completos de NP e fontes que os coletam, por exemplo, consulte o livro de Garey e Johnson. Eu também estaria interessado em ver uma lista dos problemas completos do NEXP. Existe um disponível? Como suponho que não exista, abro esta pergunta (é suposto ser um wiki …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Quais seriam as conseqüências desagradáveis ​​de NP = PSPACE? Estou surpreso por não ter encontrado nada sobre isso, uma vez que essas aulas estão entre as mais famosas. Em particular, isso teria alguma conseqüência sobre as classes mais baixas?

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

Suponha que P = NP seja verdadeiro. Haveria alguma aplicação prática na construção de um computador quântico, como resolver certos problemas mais rapidamente, ou alguma melhoria seria irrelevante com base no fato de P = NP ser verdadeiro? Como você caracterizaria a melhoria da eficiência que aconteceria se um computador …

29 cc.complexity-theory  complexity-classes  quantum-computing 

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 NC uniforme de espaço de log está contido no espaço polilog determinístico (às vezes escrito em PolyL). O RNC com espaço de log uniforme também está nesta classe? A versão aleatória padrão do PolyL deve estar em PolyL, mas não vejo que o RNC (uniforme) esteja em PolyL randomizado. …

28 complexity-classes  randomized-algorithms 

Ao ler o artigo "É hora de declarar vitória na contagem da complexidade?" no blog "Godel's Lost Letter and P = NP" , eles mencionaram a dicotomia para CSP's. Depois de algum link a seguir, pesquisando e pesquisando, encontrei o Teorema de Ladner : Teorema de Ladner: Se , então …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Paridade-L é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação) e que é ainda mais restrito …

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

O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de pesquisa e provam que, …

26 cc.complexity-theory  reference-request  complexity-classes 

Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta pergunta . …

26 cc.complexity-theory  complexity-classes  logspace 

Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP implica P = NP, eu …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho …

26 cc.complexity-theory  complexity-classes  np 

Recentemente, Ryan Willams provou que a Construtividade na Prova Natural é inevitável para derivar uma separação de classes de complexidade: N E X PNEXP\mathsf{NEXP} e . T C0 0TC0 0\mathsf{TC}^{0} A construtividade na prova natural é uma condição que todas as provas combinatórias na complexidade do circuito satisfazem e que …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Olá pessoal, entendo que o truque de preenchimento nos permite traduzir classes de complexidade para cima - por exemplo, . O preenchimento funciona "inflando" a entrada, executando a conversão (digamos, de para ), que produz um algoritmo "mágico" que você pode executar na entrada preenchida. Embora isso faça sentido técnico, …

25 cc.complexity-theory  complexity-classes  padding 

Isso está relacionado à pergunta O tamanho da associação de testemunhas para cada idioma NP já é conhecido? Alguns problemas naturais de N PNP\mathsf{NP} (completos) têm testemunhas de comprimento linear: uma tarefa satisfatória para SA TSATSAT , uma sequência de vértices para , etc.HA MPA THHAMPATHHAMPATH Considere a classe de …

24 cc.complexity-theory  complexity-classes  np