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:
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.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Ziteng Wang,... lúc arxiv.org 04-09-2024
https://arxiv.org/pdf/2404.04743.pdfYêu cầu sâu hơn