TY - GEN
T1 - Constraint satisfaction problems
T2 - 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
AU - Fellows, Michael
AU - Friedrich, Tobias
AU - Hermelin, Danny
AU - Narodytska, Nina
AU - Rosamond, Frances
PY - 2011/12/1
Y1 - 2011/12/1
N2 - We examine the complexity of constraint satisfaction problems that consist of a set of AllDiff constraints. Such CSPs naturally model a wide range of real-world and combinatorial problems, like scheduling, frequency allocations and graph coloring problems. As this problem is known to be NP-complete, we investigate under which further assumptions it becomes tractable. We observe that a crucial property seems to be the convexity of the variable domains and constraints. Our main contribution is an extensive study of the complexity of Multiple AllDiff CSPs for a set of natural parameters, like maximum domain size and maximum size of the constraint scopes. We show that, depending on the parameter, convexity can make the problem tractable while it is provably intractable in general.
AB - We examine the complexity of constraint satisfaction problems that consist of a set of AllDiff constraints. Such CSPs naturally model a wide range of real-world and combinatorial problems, like scheduling, frequency allocations and graph coloring problems. As this problem is known to be NP-complete, we investigate under which further assumptions it becomes tractable. We observe that a crucial property seems to be the convexity of the variable domains and constraints. Our main contribution is an extensive study of the complexity of Multiple AllDiff CSPs for a set of natural parameters, like maximum domain size and maximum size of the constraint scopes. We show that, depending on the parameter, convexity can make the problem tractable while it is provably intractable in general.
UR - http://www.scopus.com/inward/record.url?scp=84863986669&partnerID=8YFLogxK
U2 - 10.5591/978-1-57735-516-8/IJCAI11-095
DO - 10.5591/978-1-57735-516-8/IJCAI11-095
M3 - Conference contribution
AN - SCOPUS:84863986669
SN - 9781577355120
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 522
EP - 527
BT - IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence
Y2 - 16 July 2011 through 22 July 2011
ER -