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

Seguindo a sugestão de Josh Grochow, estou convertendo meu comentário de uma pergunta anterior em uma nova. Que evidência temos de ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aqui é a classe de idiomas reconhecíveis pelas máquinas de Turing não determinísticas de tempo polinomial que possuem um caminho de aceitação …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Suponha que eu considere a seguinte variante do BPP, que vamos chamar de BPP E (xact): Um idioma está no EBPP se houver um TG aleatório polinomial no tempo que aceite todas as palavras da linguagem com exatamente 3/4 de probabilidade e todas as palavras que não estejam em o …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Recentemente, encontrei a seguinte variante de coloração de borda. Dado um gráfico não direcionado conectado, encontre uma coloração das arestas que use o número máximo de cores, além de satisfazer a restrição de que, para cada vértice , as arestas incidentes em usem no máximo duas cores.vvvvvv Meu primeiro palpite …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap …

17 cc.complexity-theory  complexity-classes 

Quais são alguns exemplos de pares de classes de complexidade e queAAABBB não sabemos se eA=BA=BA=B também não conhecemos relativizações contraditórias (isto é, não conhecemos oráculos e tal forma que A P = B P e A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para formular a pergunta …

16 cc.complexity-theory  complexity-classes  relativization 

Provocado por uma pergunta que Greg Kuperberg me perguntou, estou me perguntando se existem documentos que definam e estudem classes de complexidade de idiomas que admitem vários tipos de provas de conhecimento . Classes como SZK e NISZK são extremamente naturais do ponto de vista da complexidade, mesmo se nos …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Eu preciso de uma lista de idiomas completos. Existem dois desses problemas listados no Complexity Zoo , a saber:Σp2Σ2p\Sigma_2^p DNF equivalente mínimo. Dada uma fórmula DNF F e um número inteiro k, existe uma fórmula DNF equivalente a F com k ou menos ocorrências de literais? Menor implicante. Dada uma …

16 complexity-classes  polynomial-hierarchy 

Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk = …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

NP está em ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Estou interessado em saber se existem bons artigos ou pesquisas expositivos aos quais posso me referir quando escrevo sobre operadores de classes de complexidade : operadores que transformam classes de complexidade fazendo coisas como adicionar quantificadores a eles. Exemplos de operadores O seguinte pode ser interpretado como uma lista mínima …

16 reference-request  complexity-classes 

Teoremas da hierarquia são ferramentas fundamentais. Um bom número deles foi coletado em uma pergunta anterior (consulte Quais hierarquias e / ou teoremas de hierarquia você conhece? ). Algumas separações de classes de complexidade seguem diretamente dos teoremas da hierarquia. Exemplos de tais separações bem conhecidos: L≠PSPACEeu≠PSPUMACEL\neq PSPACE , P≠EXPP≠EXPP\neq …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de decisão), espaço sublinear (por exemplo, algoritmos de esboço …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais completos …

16 cc.complexity-theory  complexity-classes 

Ao ler o artigo " Uma teoria aplicada à FPH ", você pode encontrar a seguinte passagem: Considerando as teorias que caracterizam classes de complexidade computacional, existem três abordagens diferentes: em um, as funções que podem ser definidas na teoria estão "automaticamente" dentro de uma certa classe de complexidade. Nessa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Diz-se que um problema P está no APX se existir alguma constante c> 0, de modo que exista um algoritmo de aproximação em tempo polinomial para P com fator de aproximação 1 + c. O APX contém PTAS (visto simplesmente escolhendo qualquer constante c> 0) e P. O APX está …

15 cc.complexity-theory  complexity-classes  apx