一種高效的FDE并行傳播算法

摘要： 約束規(guī)劃(constraint programming, CP)是表示和求解組合問題的經(jīng)典范式之一.擴(kuò)展約束(extensional constraint)或稱表約束(table constraint)是約束規(guī)劃中最為常見的約束類型.絕大多數(shù)約束規(guī)劃問題都可以用表約束表達(dá).在問題求解時(shí),相容性算法用于縮減搜索空間.目前,最為高效的表約束相容性算法是簡(jiǎn)單表約縮減(simple t...