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...
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 algún otro...
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...
¿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...
¿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):
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 P...
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...
¿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