AC-5*:An Improved AC-5 and its Specializations
dc.contributor.author | Bing LIU | en_US |
dc.date.accessioned | 2004-10-21T14:28:52Z | en_US |
dc.date.accessioned | 2017-01-23T07:00:17Z | |
dc.date.available | 2004-10-21T14:28:52Z | en_US |
dc.date.available | 2017-01-23T07:00:17Z | |
dc.date.issued | 1996-04-01T00:00:00Z | en_US |
dc.description.abstract | Many general and specific arc consistency algorithms have been produced in the past for solving Constraint Satisfaction Problems (CSP). The important general algorithms are AC-3, AC-4, AC-5 and AC-6. AC-5 is also a generic algorithm. It can be reduced to AC-3, AC-4 and AC-6. Specific algorithms are efficient specializations of the general ones for specific constraints. Functional, anti-functional and monotonic constraints are three important classes of specific constraints. AC-5 has been specialized to produce an O(ed) algorithm (in time) for these classes of constraints. However, this specialization does not reduce the space requirement. In practical applications, both time and space requirements are important criteria in choosing an algorithm. This paper makes two contributions. First, we propose an improved generic arc consistency algorithm, called AC-5*. It can be specialized to reduce both time and space complexities. Second, we present a more efficient technique for handling an important subclass of functional constraints, namely increasing functional constraints. This technique is significant because in practice almost all functional constraints are actually increasing functional constraints. | en_US |
dc.format.extent | 90552 bytes | en_US |
dc.format.extent | 698721 bytes | en_US |
dc.format.mimetype | application/pdf | en_US |
dc.format.mimetype | application/postscript | en_US |
dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/1342 | en_US |
dc.language.iso | en | en_US |
dc.relation.ispartofseries | TRC4/96 | en_US |
dc.title | AC-5*:An Improved AC-5 and its Specializations | en_US |
dc.type | Technical Report | en_US |
Files
License bundle
1 - 1 of 1