Preuves par ordinateur pour des problèmes de packing online
1 : Univ. Grenoble Alpes, CNRS, G-SCOP, Grenoble, 38000 France
CNRS : UMR5272, Université Grenoble Alpes
Dans les problèmes de packing online, les objets à placer sont reçus progressivement. Un algorithme pour ce type de problèmes doit réaliser un packing sans connaissances sur les futurs objets. Il est possible de modéliser un problème online sous forme d'un jeu à deux joueurs, et de construire des arbres de stratégie pour un des joueurs afin de d'obtenir des preuves de bornes pour le problème online. De tels arbres peuvent être construits de manière computationnelle, ce qui peut permettre d'obtenir des preuves plus fines que celles trouvées jusqu'alors «à la main».