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 M
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
¿Conoces otras variantes interesantes (no triviales) de los problemas de SUBSETSUM? Específicamente, - o - completa problemas para algunos . Π p l l > 1
Algunas definiciones
donde y son números binarios.a j
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 v
cc.complexity-theory
reference-request
np-hardness
polynomial-hierarchy
subset-sum
Abuzer Yakaryilmaz
fuente
fuente
Respuestas:
¡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
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.
fuente