Conference Paper

Making AC-3 an Optimal Algorithm.

Conference: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001
Source: DBLP

ABSTRACT The AC-3 algorithm is a basic and widely used arc consistency enforcing algorithm in Constraint Sat- isfaction Problems (CSP). Its strength lies in that it is simple, empirically efficient and extensible. However its worst case time complexity was not considered optimal since the first complexity result for AC-3 (Mackworth and Freuder, 1985) with the bound (ed3), where e is the number of constraints and d the size of the largest domain. In this paper, we show suprisingly that AC-3 achieves the opti- mal worst case time complexity with (ed2). The result is applied to obtain a path consistency algo- rithm which has the same time and space complex- ity as the best known theoretical results. Our exper- imental results show that the new approach to AC-3 is comparable to the traditional AC-3 implementa- tion for simpler problems where AC-3 is more effi- cient than other algorithms and significantly faster on hard instances. simplicity of arc revision in AC-3 makes it convenient for implementation and amenable to various extensions for many constraint systems. Thus while AC-3 is considered as being sub-optimal, it often is the algorithm of choice and can out- perform other theoretically optimal algorithms. In this paper, we show that AC-3 achieves worst case op- timal time complexity of (ed2). This result is surprising since AC-3 being a coarse grained "arc revision" algorithm (Mackworth, 1977), is considered to be non-optimal. The known results for optimal algorithms are all on fine grained "value revision" algorithms. Preliminary experiments show that the new AC-3 is comparable to the traditional implemen- tations on easy CSP instances where AC-3 is known to be substantially better than the optimal fine grained algorithms. In the hard problem instances such as those from the phase transition, the new AC-3 is significantly better and is compa- rable to the best known algorithms such as AC-6. We also show that the results for AC-3 can be applied immediately to obtain a path consistency algorithm which has the same time and space complexity as the best known theoretical results. 1

0 Followers
 · 
108 Views
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Representing and reasoning about numeric and symbolic aspects of time is crucial in many real-world applications such as planning, scheduling, language processing, molecular biology and temporal database. We present in this paper a modeling framework capable of representing these two types of information, in addition to activity constraints and composite variables, into a unique CSP-based constraint network that we call Conditional Composite Temporal Constraint Satisfaction Problem (CCTCSP). Activity constraints allow some constraint variables to be added dynamically to the problem to be solved. Composite variables are variables whose values are the possible constraint variables each composite variable can take. Dealing with activity constraints and composite variables is a challenging task since, in this particular case, the set of variables involved by the constraint problem to be solved are not known in advance. To solve a CCTCSP, we propose a method based on constraint propagation at both the symbolic and numeric levels. More precisely, this is achieved through arc consistency, path consistency and backtrack search using a forward check strategy.
    Planning and Scheduling. Frontiers in Artificial Intelligence and Applications Series, Edited by L. Castillo, D. Borrajo, M.A. Salido & A. Oddi, 05/2005: pages 59-68; IOS Press.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: RESUME : Cet article propose un modèle de planification d'une chaîne logistique, basé sur une structure décisionnelle à deux niveaux. Adoptant un processus dynamique permettant d'actualiser les données à chaque étape de planification, le premier niveau planifie la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production. Le deuxième niveau établit un ordonnancement des opérations de fabrication et de transport en minimisant la date de fin du planning. L'interaction entre les deux niveaux est établie par des contraintes de conservation d'énergie. Nous adoptons une approche par satisfaction de contraintes dynamiques («Dynamic Constraint Satisfaction Problem») permettant de mettre en évidence cette interaction. MOTS-CLES : Planification multi-site, approche multi-niveau, interaction énergétique, problèmes de satisfaction de contraintes dynamiques, robustesse, réactivité.
  • [Show abstract] [Hide abstract]
    ABSTRACT: Maintaining arc-consistency during the search is one of the most widely used techniques in solving constraint satisfaction problems. Many algorithms have been developed in order to implement effectively arc-consistency, such as AC-3, AC-4, AC-6 or AC-7. While not as elaborate as others, AC-3 is simple to implement and proves to be efficient for many types of problems. In order to improve the overall performance of an AC-3 based solver it is essential to exploit any specific feature of the problem being solved. In this paper we describe a generic method to reduce the number of useless revisions performed by AC-3 based on the semantics of the constraints, as long as they provide custom information needed by our algorithm. Arithmetic constraints of the form ax + by ? c where x, y are variables of the constraint network, a,b,c are integer values and the operator ? ? {} fit naturally into this framework and AC3-OP becomes a particular case of our algorithm.
    2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC); 09/2013

Preview

Download
0 Downloads
Available from