Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é
Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho...
Dadas duas CNF, se elas tiverem o mesmo número de atribuições para torná-las verdadeiras, responda "Sim", caso contrário, responda "Não". É fácil ver que está em , pois se soubermos o número exato de soluções para essas duas CNF, apenas as colocamos em campo e respondemos "Sim" ou...
1) É possível ter uma redução parcimoniosa de um problema # P-completo # A para um problema de contagem # B quando (a versão de decisão) A está NP-completa e B está em P? Por exemplo, pode haver uma redução parcimoniosa de #SAT para #B, quando B está em P? 2) Se B estiver em P, quais são as...
Existem problemas interessantes em mas não em N C 2 ? No artigo 'A Taxonomy of Problems With Fast Parallel Algorithms', Cook menciona que MIS era conhecido por estar apenas em N C 5, mas isso foi reduzido a N C 2 . Eu estou querendo saber se existem outros problemas com algoritmos paralelos de...
Eu sei que (muitas chamadas logaritmicamente para o NP oracle) é equivalente a P N P | | (número polinomial de consultas paralelas ao oracle NP). Fiquei pensando se a versão "função" dessas classes também é equivalente, ou seja, sePNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log...
Jan Pax fez essa pergunta na lista de discussão Fundamentos da Matemática . Certamente mas suspeito pelas respostas desta pergunta que não se sabe se (caso contrário, o seria um possível resposta a essa pergunta). Se não se sabe, existe uma separação do oráculo?P⊕ P⊆ P# P=PPPP⊕P⊆P#P=PPPP^{\oplus...
Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é...
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). Inicialmente, Alice e Bob têm mAmAm_A e mBmBm_B...
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...
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...
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 é...
P / poly é a classe de problemas de decisão solucionáveis por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é baseada...
Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado
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,
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
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á alguma complexidade classe...
Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a
A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes,...
Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se é uma linguagem PSPACE-completo, P A = N P A .UMAAAPUMA= NPUMAPA=NPAP^{A}=NP^{A} Se é um oráculo determinístico de tempo polinomial, P B ≠ N P B (assumindo P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP é a classe de...