Best-First-Algorithmus für unendliche Kontrollparameter in der Planung
In der automatisierten Planung werden Kontrollparameter – kontinuierliche numerische Entscheidungsvariablen – häufig als zusätzliche Einschränkungen behandelt. Dadurch bleiben sie im Suchraum verborgen und werden lediglich als Nebenbedingungen in die Optimierung eingebunden. Ein neues Verfahren aus dem arXiv-Preprint 2509.03953v1 stellt diese Sichtweise auf den Kopf: Kontrollparameter werden als echte Entscheidungspunkte im Suchraum behandelt.
Der vorgestellte Ansatz kombiniert einen heuristischen Best‑First‑Suchalgorithmus mit dem Konzept der verzögerten partiellen Expansion. Anstatt einen Zustand vollständig zu erweitern, werden nur ausgewählte Nachfolger generiert und später schrittweise ergänzt. Diese Technik ermöglicht die effiziente Erkundung unendlicher Entscheidungsräume und liefert eine Kompletheits‑Beweisführung im Grenzfall unter bestimmten Voraussetzungen.
Ergebnisse aus ersten Tests zeigen, dass der neue Algorithmus eine konkurrenzfähige Alternative zu bestehenden Methoden darstellt. Er bietet insbesondere bei Planungsaufgaben mit Kontrollparametern eine verbesserte Laufzeit und eine klare Strukturierung des Suchprozesses, was ihn zu einem vielversprechenden Werkzeug für die Praxis macht.