论文摘要
表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalized arc consistency,简称GAC)是求解约束满足问题应用最广泛的相容性.Simple Tabular Reduction(STR)是一类高效的维持GAC的算法.在回溯搜索中,STR动态地删除无效元组,降低了查找支持的开销,并拥有单位时间的回溯代价,在高元表约束上获得了广泛运用,并有大量基于STR的改进算法被提出,其中,元组集的压缩表示是目前研究较多的方法.同样基于动态维持元组集有效部分的思想,为STR提出一种检测并删除无效元组和为变量更新支持的算法,作用于原始表约束并拥有单位时间的回溯代价.实验结果表明,该算法在表约束上维持GAC的效率普遍高于现有的非基于压缩表示的STR算法,并且在一些实例上的效率高于最新的基于元组集压缩表示的STR算法.
论文目录
文章来源
类型: 期刊论文
作者: 杨明奇,李占山,张家晨
关键词: 约束满足问题,简单表缩减,表约束,广义弧相容
来源: 软件学报 2019年11期
年度: 2019
分类: 信息科技,基础科学
专业: 数学
单位: 吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室(吉林大学)
基金: 国家自然科学基金(61272208,61373052),吉林省科技计划(20180101043JC)~~
分类号: O221
DOI: 10.13328/j.cnki.jos.005559
页码: 3355-3363
总页数: 9
文件大小: 1292K
下载量: 83
相关论文文献
- [1].算法：一种新的权力形态[J]. 治理现代化研究 2020(01)
- [2].算法决策规制——以算法“解释权”为中心[J]. 现代法学 2020(01)
- [3].面向宏观基本图的多模式交通路网分区算法[J]. 工业工程 2020(01)
- [4].算法中的道德物化及问题反思[J]. 大连理工大学学报(社会科学版) 2020(01)
- [5].算法解释请求权及其权利范畴研究[J]. 甘肃政法学院学报 2020(01)
- [6].算法新闻的公共性建构研究——基于行动者网络理论的视角[J]. 人民论坛·学术前沿 2020(01)
- [7].算法的法律性质：言论、商业秘密还是正当程序?[J]. 比较法研究 2020(02)
- [8].关键词批评视野中的算法文化及其阈限性[J]. 学习与实践 2020(02)
- [9].掌控还是被掌控——大数据时代有关算法分发的忧患与反思[J]. 新媒体研究 2020(04)
- [10].美国算法治理政策与实施进路[J]. 环球法律评论 2020(03)
- [11].算法解释权:科技与法律的双重视角[J]. 苏州大学学报(哲学社会科学版) 2020(02)
- [12].大数据算法决策的问责与对策研究[J]. 现代情报 2020(06)
- [13].大数据时代算法歧视的风险防控和法律规制[J]. 河南牧业经济学院学报 2020(02)
- [14].风险防范下算法的监管路径研究[J]. 审计观察 2019(01)
- [15].模糊的算法伦理水平——基于传媒业269名算法工程师的实证研究[J]. 新闻大学 2020(05)
- [16].算法推荐新闻对用户的影响及对策[J]. 新媒体研究 2020(10)
- [17].如何加强对算法的治理[J]. 国家治理 2020(27)
- [18].“后真相”背后的算法权力及其公法规制路径[J]. 行政法学研究 2020(04)
- [19].算法规制的谱系[J]. 中国法学 2020(03)
- [20].论算法排他权:破除算法偏见的路径选择[J]. 政治与法律 2020(08)
- [21].政务算法与公共价值:内涵、意义与问题[J]. 国家治理 2020(32)
- [22].算法的法律规制研究[J]. 上海商业 2020(09)
- [23].新闻算法分发对隐私权的冲击及规制[J]. 青年记者 2020(27)
- [24].算法如何平等：算法歧视审查机制的建立[J]. 南海法学 2020(02)
- [25].蚁群算法在文字识别中的应用研究[J]. 信息与电脑(理论版) 2019(22)
- [26].大数据聚类算法研究[J]. 无线互联科技 2018(04)
- [27].RSA算法的改进研究[J]. 计算机与网络 2018(14)
- [28].智能时代的新内容革命[J]. 国际新闻界 2018(06)
- [29].改进的负载均衡RSA算法[J]. 电脑知识与技术 2018(25)
- [30].基于深度学习的视觉跟踪算法研究综述[J]. 计算机科学 2017(S1)