Traversal Prima dello Skyline Abilita la Ricerca Multi-Criterio su Grafi Senza Euristiche

Un nuovo studio su arXiv (2604.19807) mostra che è possibile gestire la schedulazione e la terminazione in ricerche multi-criterio su grafi utilizzando solo la geometria di Pareto, senza bisogno di euristiche, scalarizzazione o metodi di popolazione. I ricercatori hanno impiegato modelli di costo vincolati e griglie di costo finite, insieme a transizioni markoviane e una misura di progresso non nulla. Concentrandosi sul primo strato di Pareto, o skyline, hanno ottenuto una riduzione costante del potenziale di completamento discreto. Ciò garantisce un progresso costante. Inoltre, un certificato di limite inferiore vettoriale stabilisce una regola di arresto che garantisce la copertura di tutti i percorsi rimanenti. Questo lavoro ridefinisce la dominanza di Pareto da semplice strumento di potatura a sistema di regolazione attivo.