Resumen: Los idiomas de modelado de restricciones como Minizinc y la esencia se basan en bucles de desenrollar (en forma de expresiones y comprensiones cuantificadas) durante la compilación. Los enfoques estándar generan todas las combinaciones de variables de inducción y usan una evaluación parcial para descartar aquellos que simplifican a los elementos de identidad de los operadores de comunicación asociativa (por ejemplo, verdadero para la conjunción, 0 para suma). Esto puede ser ineficiente para problemas en los que la mayoría de las combinaciones son en última instancia irrelevantes. Presentamos un método que evita la enumeración completa mediante el uso de un solucionador para calcular solo las combinaciones requeridas para generar el conjunto final de restricciones. El modelo resultante es idéntico al producido por el aplanamiento convencional, pero la compilación puede ser significativamente más rápida. Esto mejora la eficiencia de traducir modelos de usuarios de alto nivel en forma lista para solucionar, particularmente cuando las variables de inducción varían en grandes dominios con condiciones previas selectivas.
Publicado Originalme en export.arxiv.org El 12 de agosto de 2025.
Ver Fuente Original
