Automatische Generierung von Online-Algorithmen aus Batch-Algorithmen

Dieser Artikel stellt eine neue Methode zur automatischen Synthese von Online-Algorithmen aus ihren Offline-Versionen vor. Die Methode basiert auf der Idee der relationalen Funktionssignatur (RFS), die eine Beziehung zwischen den Parametern des Online-Algorithmus und den Berechnungsergebnissen der Offline-Version herstellt. Durch die Verwendung der RFS kann das Syntheseproblem in unabhängige Teilaufgaben zerlegt werden, die dann effizient gelöst werden können.