AAC: Compressione Differenziabile dei Landmark per le Euristiche ALT
L'AAC (Compressore Architettonicamente Ammissibile) funge da modulo differenziabile per la selezione dei landmark nelle euristiche del percorso più breve ALT (A*, Landmark e Disuguaglianza Triangolare). Il suo design garantisce l'ammissibilità, poiché ogni passaggio in avanti produce una miscela riga-stocastica di limiti inferiori basati sulla disuguaglianza triangolare, assicurando l'ammissibilità in tutte le configurazioni dei parametri senza richiedere convergenza, calibrazione o proiezione. Durante il deployment, il modulo si semplifica nel classico ALT su un sottoinsieme appreso, integrandosi perfettamente con gli encoder neurali mantenendo la tradizionale toolchain. Questo rappresenta il primo approccio differenziabile nell'ambito del framework compress-while-preserving-admissibility nella ricerca euristica. Inoltre, sotto un protocollo di memoria per vertice abbinato, FPS-ALT dimostra una copertura quasi ottimale su grafi metrici, mantenendo solo una piccola percentuale di margine.
Fatti principali
- 1. AAC è un modulo differenziabile per la selezione dei landmark nelle euristiche ALT.
- 2. Gli output sono ammissibili per costruzione tramite miscele riga-stocastiche.
- 3. Non richiede convergenza, calibrazione o proiezione.
- 4. Al deployment, si riduce al classico ALT su un sottoinsieme appreso.
- 5. Si compone end-to-end con encoder neurali.
- 6. Prima istanza differenziabile del framework compress-while-preserving-admissibility.
- 7. FPS-ALT ha copertura quasi ottimale dimostrabile su grafi metrici.
- 8. Il protocollo di memoria lascia al massimo pochi punti percentuali di margine.
Entità
—