L'algoritmo di Dijkstra dimostrato esatto per la navigazione stocastica con apprendimento online DORA
Uno studio pubblicato su arXiv riesamina l'uso dell'algoritmo di Dijkstra per la pianificazione del percorso più breve stocastico nella navigazione di robot mobili. I robot che lavorano a fianco degli esseri umani in infrastrutture critiche devono minimizzare i costi di spostamento nonostante i tempi di attraversamento incerti della mappa e un'attuazione imperfetta. I metodi esatti come l'iterazione del valore sono computazionalmente pesanti e scalano con il diametro della mappa, mentre Dijkstra è veloce ma generalmente considerato impreciso quando le transizioni sono stocastiche. L'articolo dimostra che l'algoritmo di Dijkstra può servire come pianificatore esatto a una condizione molto meno restrittiva della solita ipotesi di causalità: il costo ridotto definito sulla mappa determinizzata deve essere non negativo. Sulla base di questa caratterizzazione, gli autori introducono DORA (Dijkstra Oracle Reduced-cost Algorithm), un apprendimento online che invoca un oracolo del percorso più breve un numero fisso di volte per episodio ed evita di stimare i modelli di transizione. L'articolo è disponibile su arXiv:2608.17703.
Fatti principali
- L'articolo è stato annunciato su arXiv come arXiv:2608.17703v1.
- Lo studio si concentra su robot mobili che operano vicino agli esseri umani e in strutture critiche.
- I robot affrontano costi di attraversamento reali sconosciuti e un'attuazione imperfetta.
- L'iterazione del valore fornisce soluzioni esatte ma richiede un calcolo proporzionale al diametro della mappa.
- L'algoritmo di Dijkstra è veloce ma tradizionalmente considerato impreciso per transizioni stocastiche.
- La ricerca identifica una condizione—costo ridotto non negativo sulla mappa determinizzata—in cui l'algoritmo di Dijkstra è esatto.
- Questa condizione è più debole della condizione di causalità spesso richiesta in letteratura.
- L'algoritmo DORA proposto chiama un oracolo del percorso più breve un numero fisso di volte per episodio e non stima mai un modello di transizione.
Entità
Artisti
- Edsger Dijkstra
Istituzioni
- arXiv