Preguntas etiquetadas con counting-complexity

Supongamos que . Entonces demuestra un sencillo argumento de que P H P P = N P . ¿Podemos ir un paso más allá y obtener P P P P = N P ? El argumento simple esnortePAGS= PPAGSNP=PPNP=PPPAGSHPAGSPAGS= NPAGSPHPP=NPPH^{PP}=NPPAGSPAGSPAGSPAGS= NPAGSPPPP=NPPP^{PP}=NP Teorema Si entonces P H P P = N …

8 cc.complexity-theory  counting-complexity  conditional-results 

¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Puede que me falte algo obvio, pero no puedo encontrar referencias sobre la complejidad de contar coincidencias (no coincidencias perfectas) en gráficos bipartitos. Aquí está el problema formal: Entrada: un gráfico bipartito conE ⊆ U × VG = ( U, V, E)G=(U,V,E)G = (U, V, E)mi⊆ U× VE⊆U×VE \subseteq U …

8 counting-complexity  matching  bipartite-graphs 

Según Handshaking Lemma: cualquier gráfico no dirigido que tenga un vértice cuyo grado sea un número impar debe tener algún otro vértice cuyo grado sea un número impar. Esta observación significa que si se nos da un gráfico y un vértice de grado impar, y se nos pide que encontremos …

8 complexity-classes  counting-complexity  ppad 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT pregunta cuántas asignaciones …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

¿Qué algoritmos / técnicas matemáticas están disponibles para contar exactamente / aproximadamente el número de conjuntos independientes? ¿Hay / hay una buena referencia / buenas referencias sobre este tema? Estoy interesado en gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Deje ser una matriz cuadrada dada. ¿Hay alguna evidencia de que superar los límites inferiores cuadráticos para B de modo que det ( B ) = per ( A ) pueda ser difícil?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) ¿Hay alguna conjetura plausible que implique que probar límites más bajos es difícil? ¿Hay alguna …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent