Des explications pour reconnaître et exploiter les structures cachées d'un problème combinatoire

摘要: L'identification de structures propres a un probleme est souvent une etape clef pour la conception d'heuristiques recherche comme comprehension complexite du probleme. De nombreuses approches en Recherche Operationnelle emploient des strategies relaxation ou decomposition lors que certaines idoines ont ete identifiees. L'etape suivante d'algorithmes resolution qui puissent integrer volee, pendant resolution, ce type d'information. Cet article propose d'utiliser solveur contraintes base d'explications collecter information pertinente sur les dynamiques et statiques inherentes au Identifying structure in given combinatorial problem is often key step for designing efficient search heuristics or understanding the inherent complexity of problem. Several Operations Research approaches apply upon such identified within The next to design algorithms that adaptively integrate kind during search. We claim this paper, inspired by previous work on impact-based constraint programming, using an explanation-based solver may lead collect invaluable intimate dynamic and static instance.