Core Concepts
Es wurde ein polynomzeitiger Algorithmus entwickelt, um das Flugzeug-Auftanken-Problem für große Instanzen effizient zu lösen. Der Algorithmus basiert auf der Identifizierung von sequenziell zulässigen Lösungen und kann die optimale Lösung in polynomieller Zeit finden.
Abstract
Der Artikel befasst sich mit dem Flugzeug-Auftanken-Problem (Airplane Refueling Problem, ARP), bei dem eine Flotte von n Flugzeugen so koordiniert werden muss, dass das letzte verbleibende Flugzeug die größtmögliche Distanz zurücklegen kann.
Zunächst wird die Eigenschaft der sequenziell zulässigen Lösungen definiert und bewiesen, dass die optimale Lösung eine solche sequenzielle Lösung sein muss. Daraufhin wird ein sequenzieller Suchalgoritmus (Sequential Search Algorithm, SSA) vorgestellt, der in zwei Schritten arbeitet:
Identifizierung aller sequenziell zulässigen Lösungen
Suche nach der maximalen sequenziell zulässigen Lösung durch Sortieren
Es wird gezeigt, dass die Anzahl der sequenziell zulässigen Lösungen für große Instanzen polynomiell beschränkt ist. Daher läuft der SSA für große Instanzen in polynomieller Zeit ab.
Zusätzlich wird ein effizientes Berechnungsschema entwickelt, mit dem die Laufzeit des SSA für eine gegebene ARP-Instanz im Voraus abgeschätzt werden kann. Dies ermöglicht es Entscheidungsträgern, die verfügbaren Rechenressourcen optimal zu nutzen.
Stats
Die Anzahl der sequenziell zulässigen Lösungen Qn ist für große Instanzen mit n > 2m durch m2^n * C_m^n beschränkt, wobei m eine instanzspezifische Indexzahl ist.
Quotes
Keine relevanten Zitate identifiziert.