Open Access Open Access  Restricted Access Subscription or Fee Access

Encodings, Consistency Algorithms and Dynamic Variable - Value Ordering Heuristics for Multiple Permutation Problems

Tayfun Pay, James L. Cox

Abstract



We introduce a technique to model a given multiple permutation problem as a constraint satisfaction problem (CSP). Our modeling eliminates the explicit need for channeling constraints by ensuring that an assignment or domain reduction to a variable in one model immediately updates the domains of all of the effected variables in all of the redundant models of the problem. We develop a forward-checking algorithm and then an arc-consistency (AC) algorithm that is tailored towards our modeling. We also explore various optimization methods for our AC algorithm that reduce propagation redundancy and find local inconsistencies sooner. We show that our CSP modeling coupled with our AC algorithm perform better than other CSP modelings with a generic AC algorithm. We also explore heuristics that integrate dynamic variable and value ordering into an AC algorithm and compare their performance to the state of the art CSP solvers.

Keywords


constraint satisfaction problems, multiple permutation problems, encodings, modelings, constraint propagation algorithms, consistency algorithms, dynamic variable ordering heuristics, dynamic value ordering heuristics, backtracking search, phase-transition

Full Text:

PDF


Disclaimer/Regarding indexing issue:

We have provided the online access of all issues and papers to the indexing agencies (as given on journal web site). It’s depend on indexing agencies when, how and what manner they can index or not. Hence, we like to inform that on the basis of earlier indexing, we can’t predict the today or future indexing policy of third party (i.e. indexing agencies) as they have right to discontinue any journal at any time without prior information to the journal. So, please neither sends any question nor expects any answer from us on the behalf of third party i.e. indexing agencies.Hence, we will not issue any certificate or letter for indexing issue. Our role is just to provide the online access to them. So we do properly this and one can visit indexing agencies website to get the authentic information. Also: DOI is paid service which provided by a third party. We never mentioned that we go for this for our any journal. However, journal have no objection if author go directly for this paid DOI service.