Font Size: a A A

Forward checking in the primal and dual constraint graphs

Posted on:2006-04-29Degree:M.ScType:Thesis
University:University of Windsor (Canada)Candidate:Price, Robert GeorgeFull Text:PDF
GTID:2458390008468885Subject:Computer Science
Abstract/Summary:
Constraint Satisfaction Problems (CSPs) have been a subject of research in Artificial Intelligence for many years. CSPs are a general way of describing problems that can be used to represent many different types of real-world problems, including scheduling, planning, timetabling, and other combinatorial problems. The primal and dual constraint graphs are two ways of representing a CSP. Some CSPs have features that can be exploited by algorithms trying to find solutions. In this work, results from solving CSPs using forward-checking algorithms that use the primal- and dual-graph representations will be presented, and regions where one representation performs better than the other will be identified. 1t will be shown that the dual representation performs better than the primal representation on CSPs with tight constraints.
Keywords/Search Tags:Csps, Primal, Dual
Related items