.png){kind=icon}
返回
Improved bit-based filtering algorithm for regular constraint
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2023.121259.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we propose an improved filtering algorithm for regular constraint, which demand that the sequence of all assignments for variables can be accepted by a Deterministic Finite Automaton (DFA) or a regular language. Regular constraint is a type of global constraint in Constraint Satisfaction Problems (CSPs) and a natural expression of deterministic patterns in planning and decision making, and it utilizes the properties of DFA to pre-specify the optional paths for multiple variables. Thus, it is sensible to improve the filtering algorithm that enforces Generalized Arc Consistency (GAC) for regular constraint in order to minimize memory and time consumption. With the goal in mind, we encode DFA using bit vectors and then devise a bit operations algorithm to maintain the domain consistency for regular constraint. Lastly, we carry out an experiment to compare to the state-of-the-art filtering algorithm. The experimental results demonstrates that the proposed algorithm significantly improves both memory and time.
Keyword:
Constraint satisfaction problems
Regular constraint
Generalized arc consistency
Bit vector
期刊
IF:
7.5
论文数:
2.9W
被引数:
10.2W
机构
引用论文
Well Location in Capture Zone Design Using Simulation and Optimization Techniques.png)
Groundwater
GroundwaterIF0
PREAI
分享收藏
分享收藏Improved auto control ant colony optimization using lazy ant approach for grid scheduling problem
PREAI
分享收藏UV photo-grafting of hydrophilic monomers onto the surface of nano-porous PES membranes for improving surface propertiesDesalination
DesalinationIF0
PREAI
分享收藏
查看更多内容