本文關鍵詞：負表約束的簡單表縮減廣泛弧相容算法

  更多相關文章： 約束滿足問題 廣泛弧相容 簡單表縮減 負表約束

【摘要】：廣泛弧相容算法(generalized arc consistency,簡稱GAC),是求解約束滿足問題的核心方法.表約束理論上可以表示所有約束關系,在過去10年中,有很多應用于表約束的廣泛弧相容算法被提出來.在這些算法中,表縮減算法的效率非常高.但是目前的表縮減算法只能應用于正表約束,無法直接應用于負表約束.首先,提出一種表縮減算法STR-N,可以直接應用于負表約束;然后,給出了STR-N的兩個改進版本STR-N2和STR-NIC.實驗結果顯示,STR-N算法在負表約束上的求解效率具有明顯的優(yōu)勢.
【作者單位】： 吉林大學計算機科學與技術學院;符號計算與知識工程教育部重點實驗室(吉林大學);
【關鍵詞】： 約束滿足問題 廣泛弧相容 簡單表縮減 負表約束
【基金】：國家自然科學基金(61472158,61272207) 吉林省科技計劃(20140101200JC)~~
【分類號】：TP18
【正文快照】： www.jos.org.cn/1000-9825/4874.htm英文引用格式:Li HB,Liang YC,Li ZS.Simple tabular reduction for generalized arc consistency on negative table constraints.Ruan Jian Xue Bao/Journal of Software,2016,27(11):2701?2711(in Chinese).http://www.jos.org.cn/1000-9

【相似文獻】

中國碩士學位論文全文數(shù)據庫 前1條

1 王瑞偉;表約束的相容性技術研究[D];吉林大學;2016年

，

本文編號：579508