Consistency and random constraint satisfaction models with a high constraint tightness

Y Gao, J Culberson - Principles and Practice of Constraint Programming …, 2004 - Springer
Existing random models for the constraint satisfaction problem (CSP) all require an
extremely low constraint tightness in order to have non-trivial threshold behaviors and …

Consistency and random constraint satisfaction models

Y Gao, J Culberson - Journal of Artificial Intelligence Research, 2007 - jair.org
In this paper, we study the possibility of designing non-trivial random CSP models by
exploiting the intrinsic connection between structures and typical-case hardness. We show …

Random constraint satisfaction: A more accurate picture

D Achlioptas, LM Kirousis, E Kranakis… - Principles and Practice …, 1997 - Springer
Recently there has been a great amount of interest in Random Constraint Satisfaction
Problems, both from an experimental and a theoretical point of view. Rather intriguingly …

[PDF][PDF] A probabilistic analysis of randomly generated binary constraint satisfaction problems

M Dyer, A Frieze, M Molloy - Theoretical Computer Science, 2003 - core.ac.uk
The constraint satisfaction problem (CSP) is a fundamental problem in Artificial Intelligence,
with applications ranging from scene labelling to scheduling and knowledge representation …

A general model and thresholds for random constraint satisfaction problems

Y Fan, J Shen, K Xu - Artificial Intelligence, 2012 - Elsevier
In this paper, we study the relation among the parameters in their most general setting that
define a large class of random CSP models dk-CSP where d is the domain size and k is the …

Random constraint satisfaction: A more accurate picture

D Achlioptas, MSO Molloy, LM Kirousis, YC Stamatiou… - Constraints, 2001 - Springer
In the last few years there has been a great amount of interest in Random Constraint
Satisfaction Problems, both from an experimental and a theoretical point of view. Quite …

Modelling exceptionally hard constraint satisfaction problems

BM Smith, SA Grant - Principles and Practice of Constraint Programming …, 1997 - Springer
Randomly-generated binary constraint satisfaction problems go through a phase transition
as the constraint tightness varies. Loose constraints give an 'easy-soluble'region, where …

[图书][B] Phase Transitions of Random Constraints Satisfaction Problem

Y Zhang - 2017 - search.proquest.com
Constraints satisfaction problem (CSP) is a family of computation problems that are
generally hard to solve in the worst case, which motivates the study of average cases by …

A dichotomy theorem for the resolution complexity of random constraint satisfaction problems

SO Chan, M Molloy - 2008 49th Annual IEEE Symposium on …, 2008 - ieeexplore.ieee.org
We consider random instances of constraint satisfaction problems where each variable has
domain size O (1), each constraint is on O (1) variables and the constraints are chosen from …

A new algorithm for sampling csp solutions uniformly at random

V Gogate, R Dechter - Principles and Practice of Constraint Programming …, 2006 - Springer
The paper presents a method for generating solutions of a constraint satisfaction problem
(CSP) uniformly at random. Our method relies on expressing the constraint network as a …