本文關(guān)鍵詞：負(fù)表約束的簡單表縮減廣泛弧相容算法

  更多相關(guān)文章： 約束滿足問題 廣泛弧相容 簡單表縮減 負(fù)表約束

【摘要】：廣泛弧相容算法(generalized arc consistency,簡稱GAC),是求解約束滿足問題的核心方法.表約束理論上可以表示所有約束關(guān)系,在過去10年中,有很多應(yīng)用于表約束的廣泛弧相容算法被提出來.在這些算法中,表縮減算法的效率非常高.但是目前的表縮減算法只能應(yīng)用于正表約束,無法直接應(yīng)用于負(fù)表約束.首先,提出一種表縮減算法STR-N,可以直接應(yīng)用于負(fù)表約束;然后,給出了STR-N的兩個(gè)改進(jìn)版本STR-N2和STR-NIC.實(shí)驗(yàn)結(jié)果顯示,STR-N算法在負(fù)表約束上的求解效率具有明顯的優(yōu)勢.
【作者單位】： 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;符號(hào)計(jì)算與知識(shí)工程教育部重點(diǎn)實(shí)驗(yàn)室(吉林大學(xué));
【關(guān)鍵詞】： 約束滿足問題 廣泛弧相容 簡單表縮減 負(fù)表約束
【基金】：國家自然科學(xué)基金(61472158,61272207) 吉林省科技計(jì)劃(20140101200JC)~~
【分類號(hào)】：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

【相似文獻(xiàn)】

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

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

，

本文編號(hào)：579508