scholarly journals Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

2009 ◽  
Vol 35 ◽  
pp. 533-555 ◽  
Author(s):  
J. E. Gallardo ◽  
C. Cotta ◽  
A. J. Fernández
Keyword(s):  
Constraint Satisfaction ◽  
Large Scale ◽  
Constraint Satisfaction Problem ◽  
Heuristic Method ◽  
Optimal Solution ◽  
Constraint Satisfaction Problems ◽  
Still Life ◽  
Level Model ◽  
Weighted Constraint

A weighted constraint satisfaction problem (WCSP) is a constraint satisfaction problem in which preferences among solutions can be expressed. Bucket elimination is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory required to apply bucket elimination is too high, a heuristic method based on it (denominated mini-buckets) can be used to calculate bounds for the optimal solution. Nevertheless, the curse of dimensionality makes these techniques impractical on large scale problems. In response to this situation, we present a memetic algorithm for WCSPs in which bucket elimination is used as a mechanism for recombining solutions, providing the best possible child from the parental set. Subsequently, a multi-level model in which this exact/metaheuristic hybrid is further hybridized with branch-and-bound techniques and mini-buckets is studied. As a case study, we have applied these algorithms to the resolution of the maximum density still life problem, a hard constraint optimization problem based on Conway's game of life. The resulting algorithm consistently finds optimal patterns for up to date solved instances in less time than current approaches. Moreover, it is shown that this proposal provides new best known solutions for very large instances.

scholarly journals Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

2012 ◽  
Vol 43 ◽  
pp. 257-292 ◽  
Author(s):  
J.H.M. Lee ◽  
K. L. Leung
Keyword(s):  
Constraint Satisfaction ◽  
Minimum Cost ◽  
Constraint Satisfaction Problems ◽  
Combinatorial Problems ◽  
Cost Functions ◽  
Global Constraints ◽  
Optimization Approach ◽  
Weak Version ◽  
Global Cost ◽  
Weighted Constraint

Many combinatorial problems deal with preferences and violations, the goal of which is to find solutions with the minimum cost. Weighted constraint satisfaction is a framework for modeling such problems, which consists of a set of cost functions to measure the degree of violation or preferences of different combinations of variable assignments. Typical solution methods for weighted constraint satisfaction problems (WCSPs) are based on branch-and-bound search, which are made practical through the use of powerful consistency techniques such as AC*, FDAC*, EDAC* to deduce hidden cost information and value pruning during search. These techniques, however, are designed to be efficient only on binary and ternary cost functions which are represented in table form. In tackling many real-life problems, high arity (or global) cost functions are required. We investigate efficient representation scheme and algorithms to bring the benefits of the consistency techniques to also high arity cost functions, which are often derived from hard global constraints from classical constraint satisfaction. The literature suggests some global cost functions can be represented as flow networks, and the minimum cost flow algorithm can be used to compute the minimum costs of such networks in polynomial time. We show that naive adoption of this flow-based algorithmic method for global cost functions can result in a stronger form of null-inverse consistency. We further show how the method can be modified to handle cost projections and extensions to maintain generalized versions of AC* and FDAC* for cost functions with more than two variables. Similar generalization for the stronger EDAC* is less straightforward. We reveal the oscillation problem when enforcing EDAC* on cost functions sharing more than one variable. To avoid oscillation, we propose a weak version of EDAC* and generalize it to weak EDGAC* for non-binary cost functions. Using various benchmarks involving the soft variants of hard global constraints ALLDIFFERENT, GCC, SAME, and REGULAR, empirical results demonstrate that our proposal gives improvements of up to an order of magnitude when compared with the traditional constraint optimization approach, both in terms of time and pruning.

scholarly journals Constraint Satisfaction Problems and Their Reduction to Directed Graphs

2021 ◽  
Author(s):  
Muhanda Stella Mbaka Muzalal
Keyword(s):  
Constraint Satisfaction ◽  
Cell Phone ◽  
Constraint Satisfaction Problem ◽  
Directed Graphs ◽  
Oriented Graph ◽  
Constraint Satisfaction Problems ◽  
Systems Of Equations ◽  
Relational Structures ◽  
Algorithmic Problems ◽  
Boolean Formulas

Constraint satisfaction problems present a general framework for studying a large class of algorithmic problems such as satisfaction of Boolean formulas, solving systems of equations over finite fields, graph colourings, as well as various applied problems in artificial intelligence (scheduling, allocation of cell phone frequencies, among others.) CSP (Constraint Satisfaction Problems) bring together graph theory, complexity theory and universal algebra. It is a well known result, due to Feder and Vardi, that any constraint satisfaction problem over a finite relational structure can be reduced to the homomorphism problem for a finite oriented graph. Until recently, it was not known whether this reduction preserves the type of the algorithm which solves the original constraint satisfaction problem, so that the same algorithm solves the corresponding digraph homomorphism problem. We look at how a recent construction due to Bulin, Deli´c, Jackson, and Niven can be used to show that the polynomial solvability of a constraint satisfaction problem using Datalog, a programming language which is a weaker version of Prolog, translates from arbitrary relational structures to digraphs.

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

2019 ◽  
Vol 19 (02) ◽  
pp. 1950010 ◽  
Author(s):  
Libor Barto ◽  
Michael Kompatscher ◽  
Miroslav Olšák ◽  
Van Pham Trung ◽  
Michael Pinsker
Keyword(s):  
Constraint Satisfaction ◽  
Short Proof ◽  
Constraint Satisfaction Problem ◽  
Constraint Satisfaction Problems ◽  
Ramsey Property ◽  
Categorical Structure ◽  
Homogeneous Structures ◽  
Identity Modulo ◽  
Rational Order ◽  
Its Polymorphism

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities (without outer embeddings) satisfied by its polymorphisms clone, together with the natural uniformity on it, being nontrivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that [Formula: see text]-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking another approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a nontrivial system of linear identities, and obtain nontrivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every [Formula: see text]-categorical structure is homomorphically equivalent to a model-complete core.

Symbolic Solutions for Symbolic Constraint Satisfaction Problems

2020 ◽  
Author(s):  
Alexsander Andrade de Melo ◽  
Mateus De Oliveira Oliveira
Keyword(s):  
Constraint Satisfaction ◽  
Existence Of Solutions ◽  
Constraint Satisfaction Problem ◽  
Constant Width ◽  
Computable Function ◽  
Constraint Satisfaction Problems ◽  
Decision Diagrams ◽  
Turing Machines ◽  
Branching Programs ◽  
Hard Problems

A fundamental drawback that arises when one is faced with the task of deterministically certifying solutions to computational problems in PSPACE is the fact that witnesses may have superpolynomial size, assuming that NP is not equal to PSPACE. Therefore, the complexity of such a deterministic verifier may already be super-polynomially lower-bounded by the size of a witness. In this work, we introduce a new symbolic framework to address this drawback. More precisely, we introduce a PSPACE-hard notion of symbolic constraint satisfaction problem where both instances and solutions for these instances are implicitly represented by ordered decision diagrams (i.e. read-once, oblivious, branching programs). Our main result states that given an ordered decision diagram D of length k and width w specifying a CSP instance, one can determine in time f(w,w')*k whether there is an ODD of width at most w' encoding a solution for this instance. Intuitively, while the parameter w quantifies the complexity of the instance, the parameter w' quantifies the complexity of a prospective solution. We show that CSPs of constant width can be used to formalize natural PSPACE hard problems, such as reachability of configurations for Turing machines working in nondeterministic linear space. For such problems, our main result immediately yields an algorithm that determines the existence of solutions of width w in time g(w)*n, where g:N->N is a suitable computable function, and n is the size of the input.

PREPROCESSING QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS WITH VALUE REORDERING AND DIRECTIONAL ARC AND PATH CONSISTENCY

2008 ◽  
Vol 17 (02) ◽  
pp. 321-337 ◽  
Author(s):  
KOSTAS STERGIOU
Keyword(s):  
Constraint Satisfaction ◽  
Early Stage ◽  
Constraint Satisfaction Problem ◽  
Constraint Satisfaction Problems ◽  
Combinatorial Problems ◽  
Arc Consistency ◽  
Solution Methods ◽  
Speed Up ◽  
Phase Transition Region ◽  
The Impact

The Quantified Constraint Satisfaction Problem (QCSP) is an extension of the CSP that can be used to model combinatorial problems containing contingency or uncertainty. It allows for universally quantified variables that can model uncertain actions and events, such as the unknown weather for a future party, or an opponent's next move in a game. Although interest in QCSPs is increasing in recent years, the development of techniques for handling QCSPs is still at an early stage. For example, although it is well known that local consistencies are of primary importance in CSPs, only arc consistency has been extended to quantified problems. In this paper we contribute towards the development of solution methods for QCSPs in two ways. First, by extending directional arc and path consistency, two popular local consistencies in constraint satisfaction, to the quantified case and proposing an algorithm that achieves these consistencies. Second, by showing how value ordering heuristics can be utilized to speed up computation in QCSPs. We study the impact of preprocessing QCSPs with value reordering and directional quantified arc and path consistency by running experiments on randomly generated problems. Results show that our preprocessing methods can significantly speed up the QCSP solving process, especially on hard instances from the phase transition region.

Sign in / Sign up

Export Citation Format

Share Document