弧相容

作品数：24被引量：63H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李占山张永刚李宏博孙吉贵李哲更多>>
相关机构：吉林大学长春工业大学大连理工大学教育部更多>>
相关期刊：《计算机仿真》《吉林大学学报（信息科学版）》《通信学报》《计算机应用研究》更多>>
相关基金：国家自然科学基金吉林省自然科学基金国家教育部博士点基金吉林省科技发展计划基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态度的回溯算法求解大值域约束满足问题被引量：7
《计算机应用研究》2022年第5期1427-1431,共5页张学才 赵春艳 
国家自然科学基金资助项目(11301339);国家自然科学基金国际(地区)合作与交流项目(11491240108)。
针对一个具有精确可满足性相变现象的大值域随机约束满足问题,提出了两种启发式动态回溯算法,即基于动态度的ddeg-MAC(dynamic degree-maintaining arc consistency)回溯算法和基于值域与动态度比值的dom/ddeg-MAC(dom/dynamic degree-m...
关键词：约束满足问题 动态度 回溯算法 维持弧相容 
基于多核CPU的表约束并行传播模式研究被引量：4
《软件学报》2021年第9期2769-2782,共14页陈佳楠 李哲 李占山 
国家自然科学基金(61802056);吉林省自然科学基金(2018010143JC);吉林省发展和改革委员会产业技术研究与开发项目(2019C053-9);中国科学院太空应用重点实验室开放基金课题(LSU-KFJJ-2019-08)。
并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(generalized arc consistency,简称GAC)的串行传播模式,提出了维持表约束网络临时广义弧相容(temporary genera...
关键词：约束满足问题 并行传播 广义弧相容 表约束 简单表缩减 
一种维持约束网络相容性的双向传播策略
《计算机工程》2020年第4期46-52,共7页李晓 司怀伟 郭宗沂 李东雨 谭国真 
国家自然科学基金青年基金(61602084);国家自然科学基金辽宁省联合基金重点支持项目(U1808206);辽宁省博士科研启动基金(201601041)。
约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevisio...
关键词：人工智能 约束网络 弧相容 启发式传播 传播策略 
一种基于时间戳的简单表缩减算法被引量：3
《软件学报》2019年第11期3355-3363,共9页杨明奇 李占山 张家晨 
国家自然科学基金(61272208,61373052);吉林省科技计划(20180101043JC)~~
表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalized arc consistency,简称GAC)是求解约束满足问题应用最广泛的相容性.Simple Tabular Reduction(STR)是一类高效的维持GAC的...
关键词：约束满足问题 简单表缩减 表约束 广义弧相容 
一种笛卡尔积压缩的负表约束上表缩减算法
《吉林大学学报（理学版）》2019年第3期591-597,共7页蔡毛毛 李占山 董学阳 
吉林省科技发展计划项目(批准号:20140101200JC)
利用笛卡尔积压缩方法可有效减小负表约束规模的原理,提出一种在压缩负表上维持广义弧相容的高效算法STRC-N,以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题.实验结果表明,当压缩负表上压缩率较大时,得益于表规模的减小,...
关键词：约束满足问题 负表约束 表压缩 弧相容 
一种基于STR算法的新表压缩方法
《计算机研究与发展》2018年第12期2734-2740,共7页董爱迪 李占山 于海鸿 
吉林省自然科学基金项目(20180101043JC)~~
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction,STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalised arc consistent,GAC)算法的运行速度.短支持方法是在约束传...
关键词：约束传播 约束编程 表约束 表压缩方法 位操作 广义弧相容 简单表缩减 
维持弧的唯一性优化粗粒度弧相容算法
《哈尔滨工程大学学报》2018年第4期744-750,共7页李颖 杨罡 李占山 
国家自然科学基金项目(61272208;61373052);吉林省科技计划项目(20180101043JC)
针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗...
关键词：人工智能 约束满足问题 维持弧相容 粗粒度算法 哈希算法 唯一 预处理 一致性 冗余 回溯 
优化求解约束满足问题的MDDc和STR3算法被引量：5
《软件学报》2017年第12期3156-3166,共11页杨明奇 李占山 李哲 
国家自然科学基金(61272208;61373052);吉林省自然科学基金(20140101200JC)~~
广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;S...
关键词：约束满足问题(CSP) 广义弧相容(GAC) 自适应 多元决策图(MDD) AdaptiveMDDc AdaptiveSTR 
基于GPU的约束网络模型和并行弧相容算法被引量：4
《计算机研究与发展》2017年第3期514-528,共15页李哲 李占山 李颖 
国家自然科学基金项目(61272208;61373052);吉林省自然科学基金项目(20140101200JC)~~
弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模...
关键词：人工智能 约束满足问题 弧相容 图形处理器 计算统一设备架构 
Knapsacks约束的弧相容改进算法
《吉林大学学报（理学版）》2017年第1期95-102,共8页黄蔚 付兴宇 李占山 
吉林省科技发展计划项目(批准号:20140101200JC)
通过修改背包约束弧相容算法的数据结构,将点阵图改为有向图,解决了原背包约束弧相容算法中存在冗余计算和无效操作的问题,加快了算法对问题的求解效率.对比实验结果表明:在面对同一类问题时,因为数据结构更复杂,改进算法的初始化时间...
关键词：约束满足问题 弧相容 Knapsacks约束 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部