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

Seja o número de árvores que se estendem em um gráfico com vértices. Existe um algoritmo que calcula em operações aritméticas . Este algoritmo é computado , onde Q é o Laplaciano de G e J é a matriz que consiste apenas em 1 's. Para obter mais informações sobre …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

Como posso determinar o número de caminhos simples exclusivos em um gráfico não direcionado? Por um determinado comprimento ou por um intervalo de comprimentos aceitáveis. Lembre-se de que um caminho simples é um caminho sem ciclos, então estou falando sobre contar o número de caminhos sem ciclo.

18 graph-theory  co.combinatorics  counting-complexity 

Foi realizado algum trabalho sobre como a complexidade das instâncias aleatórias do # 2-SAT varia com a densidade da cláusula? Ou seja: como a dificuldade de contar soluções satisfatórias para uma instância gerada aleatoriamente de 2-SAT varia, conforme a densidade da cláusula varia? Em particular, existem resultados rigorosos conhecidos envolvendo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Versão curta. A prova original de que # 2-SAT é # P- completo mostra, de fato, que as instâncias de # 2-SAT são monótonas (sem envolver negações de quaisquer variáveis) e bipartidas (o gráfico formado pelas cláusulas sobre o variáveis ​​é um gráfico bipartido) são #P -hard. Assim, os dois …

17 cc.complexity-theory  sat  counting-complexity 

Foi-me dito que existem bons algoritmos de tempo polinomial para aproximar o número de caminhos simples em um gráfico direcionado, desde o vértice inicial dado até o vértice final dado tsssttt . Alguém sabe de uma boa referência sobre este assunto? Antecedentes: contar o número exato de caminhos em um …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Seja um dígrafo (não necessariamente um DAG) e deixe . O que é a complexidade da contagem do número de simples caminhos em . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Eu esperaria que o problema fosse # completo, mas não consegui localizar uma referência …

16 ds.algorithms  reference-request  counting-complexity 

Uma cobertura de aresta é um subconjunto de arestas de um gráfico, de modo que todos os vértices do gráfico sejam adjacentes a pelo menos uma aresta da cobertura. Os dois documentos a seguir dizem que a contagem de capas de arestas é #P : Um FPTAS simples para contar …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema que …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

É difícil encontrar uma aproximação constante do fator do ciclo mais longo em gráficos hamiltonianos cúbicos. Os gráficos hamiltonianos cúbicos possuem pelo menos dois ciclos hamiltonianos.NPNPNP Quais são os limites superior e inferior mais conhecidos no número de ciclos hamiltonianos nos gráficos cúbicos hamiltonianos? Dado um gráfico hamiltoniano cúbico, qual …

15 cc.complexity-theory  counting-complexity 

Suponha que queremos encontrar ou max x ∏ i j ∈ E f ( x i , x j )∑x∏i j ∈ Ef( xEu, xj)∑x∏Euj∈Ef(xEu,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xEu, xj)maxx∏Euj∈Ef(xEu,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Onde max ou soma é tomada sobre todas as bulas de , …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Eu tenho um politopo PPP definido por {x:Ax≤b,x≥0}{x:UMAx≤b,x≥0 0}\{ x : Ax \leq b, x \geq 0\} . Pergunta: Dado um vértice vvv de PPP , existe um algoritmo de tempo polinomial para amostrar uniformemente os vizinhos de vvv no gráfico de PPP ? (Polinômio na dimensão, o número de …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Problema: Dado representado por um circuito booleano, gerar uma maneira uniforme aleatória tal que (ou output se esse existir). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0 0,1}n→{0 0,1}\phi : \{0,1\}^n \to \{0,1\} ϕ ( x ) = 1 ⊥ xx ∈ { 0 , 1 …

14 np-hardness  counting-complexity  reductions 

Eu estava lendo o artigo da Wikipedia sobre o problema das oito rainhas. Afirma-se que, não existe uma fórmula conhecida para o número exato de soluções. Após algumas pesquisas, encontrei um artigo chamado "Sobre a dureza de contar problemas de mapeamentos completos". Neste artigo, há um problema, que se mostra …

14 cc.complexity-theory  counting-complexity  search-problem 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

No artigo de Ben-Dor / Halevi [1], é apresentada outra prova de que a permanente é -completa. Na parte posterior do documento, eles mostram a cadeia de redução enquanto o valor permanente é preservado ao longo da cadeia. Como o número de atribuições satiesfying de uma fórmula 3SAT pode ser …

14 cc.complexity-theory  counting-complexity  permanent