Centro Investigación en Educación Superior

Boosting autonomous search for CSPs via skylines

CATEGORÍA(S): , , , , , , , .
AUTOR(ES): Ricardo Soto / Broderick Crawford / Wenceslao Palma / Karin Galleguillos / Carlos Castro / Eric Monfroy / Franklin Johnson / Fernando Paredes.
Licencia Creative Commons Reconocimiento CC BY. Esta obra está bajo una Licencia Creative Commons Reconocimiento CC BY 4.0 Internacional.

Solving constraint satisfaction problems via constraint programming involves the exploration of a search tree where the potential solutions are distributed. The exploration phase is essentially controlled by an enumeration strategy that decides the order in which variables and values are selected to verify its feasibility. This process is known to be quite important, indeed perfect enumerations can reach a solution without useless explorations. However, selecting good strategies in advance is quite hard as the effects along the search are often unpredictable. Autonomous search addresses this concern by proposing to replace on the fly bad-performing strategies by more promising ones. Strategies are selected from a quality rank which is generated in function of their performance on the current solving process. However, the ranking computation is commonly tuned by an optimizer that negatively impacts the performance of the whole resolution. In this paper, we propose a faster autonomous search approach by integrating a powerful database technique called skyline. This technique allows us to avoid the use of costly rank functions and optimizers, accelerating as a consequence the solving process. We report results where the skyline-based approach clearly competes with previously reported autonomous search frameworks as well as with classic and more sophisticated heuristics such as impact-based search and dom=wdeg.

Documentos relacionados

Portada 1

Serie Creación – Documento de trabajo n°29: Apunte de clase elaborado por Docente – Kinesiólogo. Juan Inostroza Silva Universidad San Sebastián de Puerto Montt.

La Terapia de Onda Corta Pulsada (TOCP) es una modalidad ampliamente utilizado en el Reino Unido (Al Mandil y Watson […]

Saltar a la barra de herramientas