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

Seja um gráfico não direcionado. Uma decomposição de em subconjuntos separados é chamada de decomposição de Hamilton de se o subgráfico induzido por cada conjunto for um gráfico de Hamilton ou consistir em uma única aresta com .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Exemplo : O gráfico bipartido completo K_ possui uma decomposição de Hamilton …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Does implica ?E = N EE X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

A matriz de Moore é semelhante à matriz de Vandermonde, mas possui uma definição ligeiramente modificada. http://en.wikipedia.org/wiki/Moore_matrix Qual é a complexidade de calcular o determinante de um dado módulo n da matriz de Moore n×nn×nn \times n com algum número inteiro? O determinante de Moore pode ser reduzido de O(n3)O(n3)O(n^{3}) …

10 cc.complexity-theory  algebraic-complexity 

É extremamente difícil aproximar o número cromático fracionário em gráficos de graus limitados?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos. Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de redução.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Contexto: Consideramos apenas dígitos. Deixe CYCLE ser a linguagem dos gráficos com um ciclo; é um problema NL-completo. Seja HASEDGE o idioma dos gráficos com pelo menos uma aresta. Em seguida, trivialmente, não é mais NL, enquanto permanece assim.CICLO ∪ ¯ HASEDGECICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CICLO ∪ HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Suponha que seja uma linguagem booleana, de seqüências finitas acima de { 0 , 1 } . Seja L n o número de strings em L com comprimento n . Para uma função d ( n ) dos números inteiros positivos aos números reais positivos, L tem densidade superior d …

10 cc.complexity-theory  reference-request  p-hardness 

Um idioma está na classe se houver dois idiomas e modo queLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Um problema canônico de completo é SAT-UNSAT: dadas duas expressões 3-CNF, e , é verdade que é satisfatório eDPDPDPFFFGGGFFFGGG não é? Também se sabe que o problema Critical SAT é …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Dado um gráfico misto G=(V,E,A)G=(V,E,A)G=(V,E,A) com as arestas EEE e arcos AAA , encontre uma correspondência em EEE que minimize o número de arcos em G/MG/MG/M , onde G/MG/MG/M é obtido de GGG contratando vértices correspondentes e removendo arcos paralelos. (A versão de decisão) deste problema está incompleta? Foi estudado …

10 cc.complexity-theory  reference-request  graph-theory 

Estou lendo o excelente artigo de Watrous sobre a teoria da complexidade quântica. Nele, ele afirma que seria surpreendente se um problema completo de QMA tivesse uma promessa vazia (ou seja, um idioma). Porque isto é assim? Isso tem a ver com o fato de que o problema hamiltoniano k-local …

10 cc.complexity-theory  quantum-computing 

Uma fórmula CNF monótona com m termos em n variáveis ​​( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i …

10 cc.complexity-theory  circuit-complexity  formulas 

Dado um gráfico dirigido e dois vértices . Um par de caminhos simples de a é separado da aresta se eles não compartilharem uma aresta.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vp1 1, p2p1,p2p_1,p_2sssttt …

10 cc.complexity-theory  graph-algorithms 

Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções parciais tiverem estruturas especiais …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron / logregistronlog⁡n/log⁡log⁡n\log n/ \log \log n A medida de complexidade …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Considere o problema de conjunto dominante em gráficos gerais e seja o número de vértices em um gráfico. Um algoritmo de aproximação ganancioso fornece uma garantia de aproximação do fator , ou seja, é possível encontrar em tempo polinomial uma solução tal que , em que é o tamanho de …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness