Perguntas com a marcação «cc.complexity-theory»

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 

Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu. Infelizmente, …

12 cc.complexity-theory  reference-request 

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 

Um grande problema no TCS é o problema de expressar uma permanente como determinante. Eu estava lendo o artigo de Agrawal, Determinant Versus Permanent, e em um parágrafo ele afirma que o problema inverso é fácil. É fácil de ver que o determinante de uma matriz pode ser expresso como …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Uma propriedade de gráfico é chamada de hereditária se fechada com relação à exclusão de vértices (ou seja, todos os subgráficos induzidos herdam a propriedade). Uma propriedade de gráfico é chamada aditiva se for fechada com relação à obtenção de uniões disjuntas. Não é difícil encontrar propriedades hereditárias, mas não …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

Instância: Um gráfico não direcionado com dois vértices distintos s ≠ t e um número inteiro k ≥ 2 .GGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pergunta: Existe um caminho em G , de modo que o caminho toque no máximo k vértices? (Um vértice é tocado pelo caminho se …

12 cc.complexity-theory  graph-theory  graph-algorithms 

Estou tentando entender a qual classe de complexidade o seguinte problema pertence: Problema de raiz polinomial exponencial (EPRP) Seja um polinômio com deg ( p ) ≥ 0 com coeficientes extraídos de um campo finito G F ( q ) com q um número primo e r uma raiz primitiva …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Recentemente, comecei a ler muito sobre a complexidade das provas e realmente gostei do que estava lendo. Eu realmente gostaria de aprender mais sobre isso, mas estou tendo dificuldades para encontrar um bom material para iniciantes, para começar. Alguém seria capaz de recomendar alguns princípios?

12 cc.complexity-theory  lo.logic  proof-complexity 

Autômatos residuais de estado finito (RFSAs, definidos em [DLT02]) são NFAs que possuem alguns recursos interessantes em comum com os DFAs. Em particular, sempre existe um RFSA de tamanho mínimo canônico para cada idioma regular, e o idioma reconhecido por cada estado no RFSA é um resíduo, assim como em …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Contidas entre cada nível da hierarquia polinomial existem várias classes de complexidade, incluindo ΔPEuΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k e ΣPEu∩ ΠPEuΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Por falta de melhor terminologia, que irá referir-se a estas e quaisquer outros como as classes intermédios entre os níveis Euii e i + 1i+1i+1 na …

12 cc.complexity-theory  polynomial-hierarchy 

Esta questão é motivada por este post. Você consegue identificar a soma de duas permutações no tempo polinomial? , e meu interesse em propriedades computacionais de permutações. Uma sequência de diferenças de uma permutação dos números é formada pela descoberta da diferença entre cada dois números adjacentes na permutação . …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Sabemos que a hierarquia não colapso ( para todos os d )?TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd A entrada Zoo para TC0TC0\mathsf{TC^0} menciona apenas a separação entre as profundidades 2 e 3. Também existe uma referência padrão para o fato de que a hierarquia AC0dACd0\mathsf{AC^0_d} não diminui ?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Dado um jogo determinístico de soma zero com informações parciais determinísticas, com apenas muitos estados finitos, cujos resultados possíveis são [perder, empatar, vencer] com valores [-1,0, + 1], respectivamente, qual é a complexidade de se aproximar o valor de tais um jogo de forma aditiva dentro de ?ϵϵ\epsilon Em particular, …

12 cc.complexity-theory  gt.game-theory 

Qual é a relação entre PLSPLS\mathsf{PLS} e APXAPX\mathsf{APX} ? Em outras palavras, os problemas que admitem uma pesquisa local em horário polinomial são aproximados? Problemas aproximados de otimização implicam em geral um algoritmo de busca local?

12 cc.complexity-theory  approximation-algorithms