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

O teorema da dicotomia de Schaefer mostra que cada problema de CSP acima de é solucionável em tempo polinomial ou é NP completo. Isso se aplica apenas a problemas CSP de largura limitada, excluindo SAT e Horn-SAT, por exemplo. Os problemas gerais de largura ilimitada do CSP podem ser muito …

12 cc.complexity-theory  lo.logic  csp 

Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

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 problemas de decisão analógica para # P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as duas propriedades a seguir:GGGFFF FFF tem no …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com …

11 cc.complexity-theory  complexity-classes 

Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada: Duas expressões regulares e E …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Pergunta Geral O teorema da hierarquia espacial generaliza para computação não uniforme? Aqui estão algumas perguntas mais específicas: L / p o l y⊊ PSPA CE/ PolyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas as funções construtivas de espaço , ?D S P A C E ( o ( f ( n ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Em geral, decidir se uma equação diofantina tem soluções inteiras é equivalente ao problema de parada. Acredito que decidir se uma equação diofantina quadrática tem alguma solução é NP-completo. Existe alguma restrição adicional nas equações envolvidas que gera um problema de P completo?

11 cc.complexity-theory  linear-algebra  polynomials 

Deixe ser um gráfico acíclico dirigido , e deixar λ ser uma função rotulagem mapeamento de cada vértice v ∈ V para uma etiqueta λ ( v ) em algum alfabeto finito L . Escrevendo n : = | V | , um tipo topológico de G é uma bijeção …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Recentemente, me deparei com um artigo de Coudron e Yuen sobre expansão aleatória usando dispositivos quânticos. O principal resultado do trabalho é que é possível gerar aleatoriedade "infinita" a partir de um número constante de fontes (ou seja, o número de bits aleatórios gerados depende apenas do número de rodadas …

11 cc.complexity-theory  quantum-information 

Em uma fórmula CNF de leitura duas vezes oposta, cada variável aparece duas vezes, uma vez positiva e uma vez negativa. Estou interessado na problema, que consiste em calcular a paridade do número de satisfazer as atribuições de um oposto fórmula CNF leitura duas vezes.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Não consegui encontrar nenhuma referência …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Em resumo, a questão é: até que ponto, a capacidade computacional para tarefas difíceis realmente ajuda você a resolver tarefas fáceis. (Pode haver várias maneiras de tornar essa pergunta interessante e não trivial, e aqui está uma dessas tentativas.) Questão 1: Considere um circuito para resolver SAT para uma fórmula …

11 cc.complexity-theory  dc.parallel-comp 

Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções analíticas. Não há problema em focar na análise real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Eu estava pensando em qual classe esta língua pertence: é um grafo, k é um número natural e k é o número cromático de G }L={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensei em como (1) "não há coloração de k-1 cores" e (2) "não há coloração de k- …

11 cc.complexity-theory  np-hardness  complexity-classes 

O problema do isomorfismo inverso semigrupo finito é GI-completo ? Aqui, supõe-se que os semigrupos inversos finitos sejam dados por suas tabelas de multiplicação.

11 cc.complexity-theory  graph-isomorphism