{"type":"ScholarlyArticle","title":"Reducing Checks and Revisions in Coarse-grained MAC Algorithms","authors":[{"name":"Deepak Mehta","slug":"deepak-mehta","given":"Deepak","family":"Mehta","affiliation":""},{"name":"Marc R. C. van Dongen","slug":"marc-r-c-van-dongen","given":"Marc R. C.","family":"van Dongen","affiliation":""}],"abstract":"Arc consistency algorithms are widely used to prune the search space of Constraint Satisfaction Problems (CSPs). Coarse-grained arc consistency algorithms like AC-3, AC-3d and AC-2001 are efficient when it comes to transforming a CSP to its arc-consistent equivalent. These algorithms repeatedly carry out revisions. Revisions require support checks for identifying and deleting all unsupported values from the domain of a variable. In revisions for difficult problems most values have some support. Indeed, most revisions are ineffective, i.e. they cannot delete any value and consume a lot of checks and time. We propose two solutions to overcome these problems. First we introduce the notion of a Support Condition (SC) which guarantees that a value has some support. SCs reduce support checks while maintaining arc consistency during search. Second we introduce the notion of a Revision Condition (RC) which guarantees that all values have support. A RC avoids a candidate revision and queue maintenance overhead. For random problems, SCs reduce the checks required by MAC-3 (MAC-2001) up to 90% (72%). RCs avoid at least 50% of the total revisions. Combining the two results in reducing 50% of the solution time.","doi":null,"url":"https://ijcai.org/proceedings/2005/89","pdf":"https://ijcai.org/proceedings/2005/0089.pdf","markdown":"https://ijcai.org/proceedings/2005/89.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/89","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":89,"pages":{"first":236,"last":240},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}