Interessante SUBSET-SUM-Probleme

8

Ich kenne die folgenden Varianten von SUBSETSUM-Problemen: ( Elberfeld at. Al., 2010 ), NP-vollständige S U B S E T S U M und NEXP-vollständige S U C C I N C T - S U B S E T S U M ( Link ).U.N.EINR.Y.- -S.U.B.S.E.T.S.U.M.L.S.U.B.S.E.T.S.U.M.S.U.C.C.ichN.C.T.- -S.U.B.S.E.T.S.U.M.

Vor kurzem bin ich auch auf das Problem gestoßen - G E N E R A L I Z E D - S U B S E T S U M ( Seite 16: Schaefer und Umans, 2008 ).Σ2pGE.N.E.R.EINL.ichZ.E.D.- -S.U.B.S.E.T.S.U.M.

Kennen Sie einige andere (nicht triviale) interessante Varianten von SUBSETSUM-Problemen? Insbesondere vervollständigen - oder Π p l - Probleme für einige l > 1 .ΣlpΠlpl>1


Einige Definitionen:

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

wobei S und ein j ‚s sind binär Zahlen.SUBSETSUM={S#a1##akI{1,,k}jIaj=S},Saj

wobei u und v sind ganzzahlige Vektoren, t ist eine ganze Zahl und x undGE.N.E.R.EINL.ichZ.E.D.- -S.U.B.S.E.T.S.U.M.={u#v#t(x)(y)[ux+vyt]]}},uvtx sind binäre Vektoren mit der gleichen Länge wie u bzw. v .yuv

Abuzer Yakaryilmaz
quelle
2
Einer meiner Favoriten ist PIGEONHOLE-SUBSETSUM in TFNP ( sciencedirect.com/science/article/pii/030439759190200L ). Ein weiteres interessantes ist EQUALITY-SUBSETSUM ( sciencedirect.com/science/article/pii/S0022000001917842 )
Marcos Villagra
@MarcosVillagra: Danke für deinen Kommentar. PIGEONHOLE-SUBSETSUM sieht interessant aus. Kennen Sie eine Entscheidungsversion von PIGEONHOLE-SUBSETSUM?
Abuzer Yakaryilmaz
2
Es gibt keine Entscheidungsversion, da die Obergrenze der Summierung das Problem zwingt, immer eine Lösung zu haben, daher ist die Entscheidungsversion trivial. Der Beweis dafür (dass es immer eine Lösung gibt) ist nicht schwierig, ist eine Anwendung des Pigeonhole-Prinzips. Dies ist eine nette Referenz von Papadimitriou ( cs.berkeley.edu/~christos/papers/On%20the%20Complexity.pdf ).
Marcos Villagra
2
Ein großes offenes Problem besteht darin, zu beweisen, ob PIGEONHOLE-SUBSETSUM für PPP vollständig ist.
Marcos Villagra
@MarcosVillagra: Vielen Dank für Ihre weiteren Kommentare. Was ich dachte, ist tatsächlich, dass "es eine nicht triviale, aber immer noch natürliche Version von Entscheidungsproblemen von PIGEONHOLE-SUBSETSUM gibt?". Zum Beispiel ist eine der Entscheidungsproblemversionen der Ganzzahlfaktorisierung wie folgt: Wenn eine ganze Zahl N und eine ganze Zahl M mit 1 ≤ M ≤ N gegeben sind, hat N einen Faktor d mit 1 <d <M ( en.wikipedia.org/) wiki / Integer_factorization )?
Abuzer Yakaryilmaz

Antworten:

1

Der Hauptkredit sollte an John Fearnley gehen !

Hier ist ein PSPACE-vollständiges Problem in (John Fearnley, Marcin Jurdzinski: Erreichbarkeit in zeitgesteuerten Automaten mit zwei Takten ist PSPACE-vollständig. ICALP (2) 2013: 212-223) :

wo

S.U.B.S.E.T.S.U.M.- -GEINM.E.={S. (ein1,b1)(e1,f1)(einn,bn)(en,fn)}},
  • und jedes a i , b i , e i und f i sind natürliche Zahlen ( 1 i n ); und,S.einich,bich,eichfich1ichn
  • für jedes existiert ein y = ( y 1 , , y n ) × n i = 1 { e i , f i } so, dass S = n i = 1 istx=(x1,,xn)×ich=1n{einich,bich}}y=(y1,,yn)×ich=1n{eich,fich}} .S.=ich=1n=xich+yich

In ähnlicher Weise können wir einige vollständige Probleme für jede Ebene der Polynomhierarchie (PH) definieren. Aber natürlich müssen wir im Falle einer vollständigen PH-Stufe die Bedingung aufheben, dass nach jedem Quantifizierer nur zwei natürliche Zahlen vorliegen.

Abuzer Yakaryilmaz
quelle