paper-with-me

Papers

A New Approach to Constraint Weight Learning for Variable Ordering in CSPs

2013-12-25 · Muhammad Rezaul Karim

A Constraint Satisfaction Problem (CSP) is a framework used for modeling and solving constrained problems. Tree-search algorithms like backtracking try to construct a solution to a CSP by selecting the variables of the problem one after another. The order in which these algorithm select the variables potentially have significant impact on the search performance. Various heuristics have been proposed for choosing good variable ordering. Many powerful variable ordering heuristics weigh the constraints first and then utilize the weights for selecting good order of the variables. Constraint weighting are basically employed to identify global bottlenecks in a CSP. In this paper, we propose a new approach for learning weights for the constraints using competitive coevolutionary Genetic Algorithm (GA). Weights learned by the coevolutionary GA later help to make better choices for the first few variables in a search. In the competitive coevolutionary GA, constraints and candidate solutions for a CSP evolve together through an inverse fitness interaction process. We have conducted experiments on several random, quasi-random and patterned instances to measure the efficiency of the proposed approach. The results and analysis show that the proposed approach is good at learning weights to distinguish the hard constraints for quasi-random instances and forced satisfiable random instances generated with the Model RB. For other type of instances, RNDI still seems to be the best approach as our experiments show.

📄 PDF Abstract BibTeX arXiv:1312.6996

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer

2023-07-10 · Zhun Yang, Adam Ishay, Joohyung Lee

Constraint satisfaction problems (CSPs) are about finding values of variables that satisfy the given constraints. We show that Transformer extended with recurrence is a viable approach to learning to solve CSPs in an end…

Inductive Learning

A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms

2020-02-22 · Amar Isli

TCSPs (Temporal Constraint Satisfaction Problems), as defined in [Dechter et al., 1991], get rid of unary constraints by binarizing them after having added an "origin of the world" variable. In this work, we look at the …

ARC

Complexity Classification in Infinite-Domain Constraint Satisfaction

2012-01-04 · Manuel Bodirsky

A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a finite set of constraints, and where the task is to decide whether there exists a satisfying …

ClassificationGeneral ClassificationSpatial Reasoning

Bounds Arc Consistency for Weighted CSPs

2014-01-15 · Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex

The Weighted Constraint Satisfaction Problem (WCSP) framework allows representing and solving problems involving both hard constraints and cost functions. It has been applied to various problems, including resource alloc…

ARCScheduling

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs

2026-02-03 · Xuran Cai, Amir Goharshady arxiv

In this work, we focus on the Partial Constraint Satisfaction Problem (PCSP) over control-flow graphs (CFGs) of programs. PCSP serves as a generalization of the well-known Constraint Satisfaction Problem (CSP). In the CS…