No more "Partial" and "Full Looking Ahead"

被引:1
作者
Tsang, E [1 ]
机构
[1] Univ Essex, Dept Comp Sci, Colchester CO4 3SQ, Essex, England
关键词
constraint satisfaction; looking ahead; constraint propagation; directional Arc-consistency; Arc-consistency;
D O I
10.1016/S0004-3702(97)00064-7
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Looking ahead is a commonly used search technique in constraint satisfaction. In this paper, we examine the future role of two long established lookahead algorithms, Partial Looking Ahead (PLA) and Full Looking Ahead (ELA). We prove that PLA is inferior to Directional Arc-consistency Lookahead in that the latter will prune at least as much as the former for no more computation in each problem reduction step. Similarly, FLA is inferior to Bi-directional Arc-consistency Lookahead, an algorithm introduced in this paper. We also point out a couple of errors in the literature. (C) 1998 Elsevier Science B.V.
引用
收藏
页码:351 / 361
页数:11
相关论文
共 25 条
[1]  
[Anonymous], 1993, FDN CONSTRAINT SATIS
[2]   ARC-CONSISTENCY AND ARC-CONSISTENCY AGAIN [J].
BESSIERE, C .
ARTIFICIAL INTELLIGENCE, 1994, 65 (01) :179-190
[3]  
BESSIERE C, 1995, P IJCAI 95, P592
[4]  
DECHTER R, 1985, P IJCAI85 LOS ANGELE, P1066
[5]  
Dechter R., 1988, ARTIF INTELL, P370, DOI DOI 10.1016/0004-3702(87)90002-6
[6]   ARC-CONSISTENCY FOR CONTINUOUS-VARIABLES [J].
FALTINGS, B .
ARTIFICIAL INTELLIGENCE, 1994, 65 (02) :363-376
[7]  
Freuder E., 1994, CONSTRAINT BASED REA
[8]   A SUFFICIENT CONDITION FOR BACKTRACK-FREE SEARCH [J].
FREUDER, EC .
JOURNAL OF THE ACM, 1982, 29 (01) :24-32
[9]  
Frost D., 1996, Principles and Practice of Constraint Programming - CP96. Second International Conference - CP96. Proceedings, P539
[10]   INCREASING TREE-SEARCH EFFICIENCY FOR CONSTRAINT SATISFACTION PROBLEMS [J].
HARALICK, RM ;
ELLIOTT, GL .
ARTIFICIAL INTELLIGENCE, 1980, 14 (03) :263-313