Dies ist eine Fortsetzung von David Eppsteins jüngster Frage und wird durch dieselben Probleme motiviert.
Angenommen, ich habe einen Tag mit reellen Zahlengewichten auf seinen Scheitelpunkten. Anfangs sind alle Scheitelpunkte nicht markiert. Ich kann die Menge der markierten Scheitelpunkte ändern, indem ich entweder (1) einen Scheitelpunkt ohne nicht markierte Vorgänger markiere oder (2) einen Scheitelpunkt ohne markierte Nachfolger deaktiviere. (Daher ist die Menge der markierten Scheitelpunkte immer ein Präfix der Teilreihenfolge.) Ich möchte eine Folge von Markierungs- / Deaktivierungsoperationen finden, die mit allen markierten Scheitelpunkten endet, sodass das Gesamtgewicht der markierten Scheitelpunkte immer nicht negativ ist .
Wie schwer ist es, eine solche Abfolge von Operationen zu finden? Im Gegensatz zu Davids Problem ist nicht einmal klar, dass es sich um ein NP-Problem handelt. Im Prinzip (obwohl ich keine Beispiele habe) könnte jede legale Zugsequenz eine exponentielle Länge haben. Das Beste, was ich beweisen kann, ist, dass das Problem in PSPACE liegt.
Ist das Aufheben der Markierung tatsächlich nicht erforderlich? Wenn es eine gültige Bewegungssequenz gibt, muss es eine gültige Bewegungssequenz geben, die niemals einen Scheitelpunkt aufhebt? Eine bejahende Antwort würde dieses Problem macht identisch zu Davids . Andererseits, wenn das Entfernen von Markierungen manchmal notwendig ist, sollte es ein kleines Beispiel (mit konstanter Größe) geben, das dies beweist.