Problemas interesantes de SUBSET-SUM

8

Conozco las siguientes variantes de problemas SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete , y NEXP-complete ( enlace ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUNARY-SUBSETSUMLSUBSETSUMSUCCINCT-SUBSETSUM

Recientemente, también me encontré con el problema -complete ( Página 16: Schaefer y Umans, 2008 ). G E N E R A L I Z E D - S U B S E T S U MΣ2pGENERALIZED-SUBSETSUM

¿Conoces otras variantes interesantes (no triviales) de los problemas de SUBSETSUM? Específicamente, - o - completa problemas para algunos . Π p l l > 1ΣlpΠlpl>1


Algunas definiciones

UNARY-SUBSETSUM={0n#0i1##0ikI{1,,k}jIij=n}.

SUBSETSUM={S#a1##akI{1,,k}jIaj=S}, donde y son números binarios.a jSaj

GENERALIZED-SUBSETSUM={u#v#t(x)(y)[ux+vyt]}, donde y son enteros vectores, es un número entero, y e son vectores binarios de la misma longitud que y , respectivamente.v t x y u vuvtxyuv

Abuzer Yakaryilmaz
fuente
2
uno de mis favoritos es PIGEONHOLE-SUBSETSUM que se encuentra en TFNP ( sciencedirect.com/science/article/pii/030439759190200L ). Otro interesante es EQUALITY-SUBSETSUM ( sciencedirect.com/science/article/pii/S0022000001917842 )
Marcos Villagra
@MarcosVillagra: Gracias por tu comentario. PIGEONHOLE-SUBSETSUM parece interesante. ¿Conoces alguna versión de decisión de PIGEONHOLE-SUBSETSUM?
Abuzer Yakaryilmaz
2
No hay una versión de decisión porque el límite superior de la suma obliga al problema a tener siempre una solución, por lo tanto, la versión de decisión es trivial. La prueba de ello (que siempre hay una solución) no es difícil, es una aplicación del principio del casillero. Esta es una buena referencia de Papadimitriou ( cs.berkeley.edu/~christos/papers/On%20the%20Complexity.pdf ).
Marcos Villagra
2
Un gran problema abierto es probar si PIGEONHOLE-SUBSETSUM está completo para PPP.
Marcos Villagra
@MarcosVillagra: Gracias por sus comentarios adicionales. Lo que estaba en mi mente es en realidad que "¿hay alguna versión de problema de decisión no trivial pero aún natural de PIGEONHOLE-SUBSETSUM?". Por ejemplo, una de las versiones con problemas de decisión de la factorización de enteros es la siguiente: dado un entero N y un entero M con 1 ≤ M ≤ N, ¿N tiene un factor d con 1 <d <M ( en.wikipedia.org/ wiki / Integer_factorization )?
Abuzer Yakaryilmaz

Respuestas:

1

¡El crédito principal debe ir a John Fearnley !

Aquí hay un problema de PSPACE completo en (John Fearnley, Marcin Jurdzinski: La accesibilidad en autómatas temporizados de dos relojes es PSPACE completo. ICALP (2) 2013: 212-223) :

donde

SUBSETSUM-GAME={S (a1,b1)(e1,f1)(an,bn)(en,fn)},
  • y cada a i , b i , e i y f i son números naturales ( 1 i n ); y,Sai,bi,eifi1in
  • por cada , existe a y = ( y 1 , , y n ) × n i = 1 { e i , f i } tal que S = n i = 1x=(x1,,xn)×i=1n{ai,bi}y=(y1,,yn)×i=1n{ei,fi} .S=i=1n=xi+yi

Del mismo modo, podemos definir algunos problemas completos para cada nivel de jerarquía polinómica (PH). Pero, por supuesto, en caso de estar completo en algún nivel de PH, necesitamos liberar la condición de tener solo dos números naturales después de cada cuantificador.

Abuzer Yakaryilmaz
fuente