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

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 

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 

Para um problema de pesquisa local polinomial , sabemos que pelo menos uma solução (ótima local) deve existir. No entanto, muitas outras soluções podem existir. Quão difícil é contar o número de soluções para um problema completo de PLS? Estou particularmente interessado no problema de decisão: a instância desse problema …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

O que se sabe sobre a transição de fase nos problemas # P-Complete? Especificamente, existe uma transição de fase diferente para # DNF-k-SAT e # CNF-k-SAT? Atualização: Como sabemos, há uma transição de fase no Random k-SAT em que a solução do problema passa de fácil a difícil e volta …

11 cc.complexity-theory  counting-complexity  phase-transition 

BREVE PERGUNTA: O MAJ-3CNF é um problema de PP completo com muitas reduções? VERSÃO MAIS LONGA: É sabido que o MAJSAT (decidindo se a maioria das atribuições da sentença proposicional satisfaz a sentença) é completo em PP com muitas reduções de uma e #SAT é # P completo com reduções …

10 counting-complexity  complexity  probabilistic-complexity 

Estou interessado no seguinte problema. Recebemos como entrada uma "permutação de destino" , bem como uma lista ordenada de índices i 1 , … , i m ∈ [ n - 1 ] . Então, começando com a lista L = ( 1 , 2 , … , n ) …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Eu estava analisando o artigo seminal de Les Valiant e tive um momento difícil com a Proposição 4.3 na página 10 do artigo. Não vejo por que, se existe um gerador com determinados valores para com base , existe algum gerador com os mesmos valores para qualquer base \ {(xa_1, …

10 ds.algorithms  counting-complexity  survey 

Esta questão surgiu em minha mente depois de ler as contribuições de András Salamon e Colin McQuillan para minha pergunta anterior Contando soluções de fórmulas Monotone-2CNF . EDIT 30 th março 2011 questão Adicionado n ° 2. EDIT 29 th outubro 2010 Pergunta reformulada após proposta András formalizá-la através da …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Um homomorfismo de um gráfico G=(V,E)G=(V,E)G = (V, E) para um gráfico é um mapeamento de para modo que se e são adjacentes em então e são adjacentes em . Um endomorfismo de um gráfico é um homomorfismo de para si mesmo; é livre de ponto fixo se não houver …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Considere o problema clássico # P-complete # 3SAT, ou seja, contar o número de avaliações para tornar um 3CNF com variáveis ​​satisfatórias. Estou interessado na aproximação aditiva . Claramente, existe um algoritmo trivial para atingir o erro 2 n - 1 , mas se k < 2 n - 1 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Considere uma fórmula Monotone 3CNF com as duas restrições adicionais a seguir: Cada variável aparece em exatamente cláusulas.222 Dadas cláusulas, elas compartilham no máximo variável.222111 Eu gostaria de saber o quão difícil é contar as tarefas satisfatórias dessa fórmula. Atualização 06/04/2013 12:55 Eu também gostaria de saber o quão difícil …

9 cc.complexity-theory  sat  counting-complexity 

Seja um gráfico. Seja k ≤ | V | ser um número inteiro. Deixe ó k ser o número de borda induzida subgráficos de L tendo k vértices e um número ímpar de arestas. Vamos E k ser o número de borda induzida subgráficos de L tendo k vértices e …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

Em uma pergunta anterior parametrizada algoritmo para encontrar Bicliques , perguntei se não foram rápido parametrizada algoritmos para encontrar um -biclique em uma n grafo vértice e aprendeu que foi aberto se é FPT wrt k . É o mesmo verdade para contar o k × k -bicliques, ou é …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity