
FPTAS pour la planification de mouvement de robots multiples polygonaux
Des chercheurs publient sur arXiv (référence 2610.20244, version 1) les premiers schémas d'approximation entièrement polynomiaux (FPTAS) pour la planification de mouvement multi-robots en environnement polygonal. Le cadre est le suivant : un domaine polygonal à n sommets, k robots en translation, chacun modélisé par un polygone de complexité constante, une configuration de départ et une configuration d'arrivée. Il s'agit de trouver un plan sans collision, minimal selon une fonction de coût. L'algorithme couvre trois objectifs, pour tout nombre fixe k de robots : min-sum (distance totale parcourue par l'ensemble des robots), min-max (distance maximale parcourue par un robot) et min-makespan (durée totale, avec une vitesse maximale de 1). Il se généralise à toute dimension fixe d, avec environnement et robots polytopiques. Il s'agit d'un résultat théorique : ni prototype, ni benchmark, ni déploiement n'est annoncé.
L'apport est surtout conceptuel, mais il comble un vrai vide. Jusqu'ici, on savait garantir une solution proche de l'optimum seulement dans des cas restreints. Cela clôt une question ouverte posée dans deux articles du SODA : Agarwal, Halperin, Sharir et Steiger (SODA'24) avaient obtenu un FPTAS pour k=2 robots carrés unitaires, et Agarwal, Holmgren et Steiger (SODA'26) un algorithme bicritère pour k fixe de carrés ou disques unitaires. Un FPTAS permet de s'approcher de l'optimum avec une erreur arbitraire, pour un temps de calcul polynomial en 1/ε. Les auteurs affirment aussi que leur méthode est nettement plus simple que les précédentes, ce qui est un atout pour toute future implémentation. Il faut toutefois rester prudent : la complexité dépend de façon exponentielle de k, et la planification multi-robots à k fixe reste très éloignée des flottes de dizaines ou centaines d'AMR d'un entrepôt. Les intégrateurs n'en tireront donc rien à court terme, mais la communauté dispose d'une référence solide pour les petits groupes de robots à géométrie arbitraire, par exemple deux bras ou deux robots mobiles en espace très contraint.
Ce travail prolonge la lignée de la géométrie algorithmique sur le problème du « piano mover » et de ses variantes multi-robots, dont on sait la difficulté croissante avec le nombre de robots. Les résultats exacts sont coûteux, d'où l'intérêt des schémas d'approximation. En pratique, l'industrie utilise surtout des planificateurs par échantillonnage (RRT, PRM) ou des méthodes de recherche multi-agents (CBS, MAPF), efficaces mais sans garantie d'optimalité approchée. Le prochain jalon logique serait une implémentation et une évaluation expérimentale, ainsi que la réduction de la dépendance en k. Le preprint n'est pas encore relu par les pairs.
Pas d\'impact direct sur la France/UE
Dans nos dossiers




