División por dos de funciones en #P

19

Deje ser una función de valor entero tal que esté en . ¿Se sigue que2 F # P F # PF2F#PF está en ? ¿Hay razones para creer que es poco probable que esto se cumpla siempre? ¿Alguna referencia que deba saber?#P

Sorprendentemente, esta situación surgió (con una constante mucho mayor), para una función para la cualF ? # PFF?#P es un viejo problema abierto.

Nota: Conozco el artículo M. Ogiwara, L. Hemachandra, Una teoría de la complejidad para las propiedades de cierre factibles donde se ha estudiado un problema relacionado de división por 2 (ver Thm 3.13). Sin embargo, su problema es diferente, ya que definen la división para todas las funciones a través del operador de piso. Eso les permitió hacer algunas reducciones rápidas a los problemas de paridad.

Igor Pak
fuente
3
@Kaveh: Si es una función , y una función de tiempo múltiple, entonces está en , pero no necesariamente (presumiblemente). Por ejemplo, no parece haber ninguna razón por la cual todas las funciones GapP no negativas deberían estar en , pero de esta manera son reducibles a . # P g ( y ) f ( g ( y ) ) # P g ( f ( x ) ) # P # Pf(x)#Pg(y)f(g(y))#Pg(f(x))#P#P
Emil Jeřábek apoya a Monica el
1
@JoshuaGrochow: Sí, es "Aceptar si y solo si adivinó a los dos testigos 2F en orden lexicográfico".
1
@JoshuaGrochow Si hace una división sin función de piso, colapsa a la siguiente clase de complejidad, que acabo de definir, a través del Teorema 5.9 en el libro TCTC. U P P X = { L | hay un predicado de tiempo polinomial P y un polinomio q tal que, para todo x , 1. x L | El | { y | El | y | q ( | x | ) P ( x , y ) }PPUPPX={L|x1. xL||{y| 2. x L | El | { y | El | y | q ( | x | ) P ( x , y ) } | El | 1 } Entonces uno necesita mostrar dóndepertenece U P P X en la jerarquía de complejidad. Es de esperar que U P P X = P P|y|q(|x|)P(x,y)}||<1 2. xL||{y| |y|q(|x|)P(x,y)}||1}UPPXUPPX=PP
Tayfun Pay
2
¿Qué tan difícil es saber si una función en #PP es siempre pareja? Espero que sea indecidible.
Peter Shor
2
@ PeterShor: Eso es ciertamente indecidible. Uno puede tomar una máquina que acepta si y solo si el testigo de conteo es todo 1s y la misma longitud que la entrada y M se detiene exactamente en pasos [de esa longitud].

Respuestas:

4

Trato de dar mi intuición por qué creo que es poco probable que esto se mantenga. Tome su problema favorito en y conviértalo en un problema en P , por ejemplo, nuestra función f puede ser el número de ciclos hamiltonianos en un gráfico de entrada 3-regular que contiene un cierto borde fijo. A partir de la discusión de paridad sabemos que f es siempre par, por lo que puede definir F : = f / 2 y no veo ninguna razón por la cual F estaría en P .PPAPffF:=f/2FP

domotorp
fuente
2
Bueno. Ahora estoy confundido. ¿No tiene tres ciclos hamiltonianos? K4
Peter Shor
55
De acuerdo ... lo he comprobado. El teorema es que cada borde aparece en un número par de ciclos hamiltonianos (no dirigidos) en un gráfico de 3 regulares, no es que haya un número par de ciclos hamiltonianos en total. Entonces, el problema de conteo correcto es: dado un gráfico de tres regulares y un borde , sea f el número de ciclos hamiltonianos en G que pasan por e . ¿ F / 2 está en #P? efGeF/2
Peter Shor
De hecho, es curioso que nadie se haya dado cuenta antes ... Lo he agregado.
domotorp
Aunque generalmente estoy de acuerdo con su intuición, en este caso, creo que realidad puede estar en #P: Sea e = (v_1, v_2) la ventaja en G. Sea u, w los vecinos de v_1 que no están ' t v_2. La siguiente máquina NP tiene rutas de aceptación de f / 2: adivina un ciclo de Hamilton que incluye el par de aristas (u, v_1) y (v_1, v_2). (El punto es que la prueba de paridad uniforme crea una biyección entre dichos ciclos de Ham. Y aquellos que incluyen (w, v_1) y (v_1, v_2).) Entonces, para que la intuición funcione, necesita algo en PPA que se transmita, por ejemplo, un argumento de conteo, o que evita una biyección fácil ...f/2
Joshua Grochow
2
El hecho no es cierto. Por ejemplo, es fácil comprobar que falla para todos los gráficos 3-regulares conectados en 8 vértices (consulte en.wikipedia.org/wiki/Table_of_simple_cubic_graphs#8_nodes para obtener una lista), excepto el cubo (que es transitivo por los bordes) .
Emil Jeřábek apoya a Monica