Conceitos essenciais
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.
Resumo
Der Artikel stellt eine neue Methode zur automatischen Synthese von Online-Algorithmen aus ihren Offline-Versionen vor. Die Kernidee ist die Verwendung einer relationalen Funktionssignatur (RFS), die eine Beziehung zwischen den Parametern des Online-Algorithmus und den Berechnungsergebnissen der Offline-Version herstellt.
Der Ansatz besteht aus drei Hauptschritten:
Konstruktion einer RFS durch Analyse des Offline-Programms
Synthese eines Initialisierers, der die RFS erfüllt
Synthese des Online-Programms, das relativ zur RFS induktiv ist
Die RFS-geleitete Synthesemethodik stellt sicher, dass jede Teilaufgabe unabhängig gelöst werden kann. Dazu kombiniert der Algorithmus symbolisches Schließen mit Suche, um effiziente Ausdrücke für die Online-Berechnung zu finden.
Die Evaluation zeigt, dass der Ansatz in der Lage ist, für 98% der Testfälle den Online-Algorithmus automatisch aus der Offline-Version abzuleiten und dabei deutlich besser abschneidet als alternative Ansätze.
Estatísticas
Keine relevanten Statistiken oder Kennzahlen im Artikel enthalten.
Citações
Keine hervorstechenden Zitate im Artikel enthalten.