Ich habe eine Reduzierung des folgenden Partitionsproblems auf ein bestimmtes Planungsproblem:
Eingabe: Eine Liste positiver Ganzzahlen in nicht absteigender Reihenfolge.
Frage: Gibt es einen Vektor so dass
Ohne die zweite Bedingung ist es nur PARTITION, daher NP-hart. Die zweite Bedingung scheint jedoch viele zusätzliche Informationen zu liefern. Ich frage mich, ob es eine effiziente Möglichkeit gibt, diese Variante zu entscheiden. Oder ist es immer noch schwer?