您好,读者! 请
登录
内蒙古大学图书馆
首页
概况
本馆概况
组织机构
入馆须知
规章制度
馆藏布局
参观与访问图书馆
党建
资源
馆藏资源
电子资源
数据库导航
特色资源
服务
办证服务
图书借阅
阅读推广
文献传递与馆际互借
空间与设施
开放时间
iThenticate论文原创性检测服务
科研支持
论文收录引用证明
科技查新
知识产权
档案馆
帮助
联系我们
地理位置
新生指南
常见问题
图书捐赠
咨询与建议
建议与咨询
留下您的常用邮箱和电话号码,以便我们向您反馈解决方案和替代方法
您的常用邮箱:
*
您的手机号码:
*
问题描述:
当前已输入0个字,您还可以输入200个字
全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现
本站搜索
搜 索
高级检索
分类表
所选分类
----=双击删除一行=----
>>
<<
限定检索结果
标题
作者
主题词
出版物名称
出版社
机构
学科分类号
摘要
ISBN
ISSN
基金资助
索书号
标题
标题
作者
主题词
出版物名称
出版社
机构
学科分类号
摘要
ISBN
ISSN
基金资助
索书号
作者
标题
主题词
出版物名称
出版社
机构
学科分类号
摘要
ISBN
ISSN
基金资助
索书号
作者
作者
标题
主题词
出版物名称
出版社
机构
学科分类号
摘要
ISBN
ISSN
基金资助
索书号
确 定
文献类型
2 篇
期刊文献
1 篇
学位论文
馆藏范围
3 篇
电子文献
0 种
纸本馆藏
日期分布
学科分类号
3 篇
工学
3 篇
控制科学与工程
3 篇
计算机科学与技术...
3 篇
软件工程
3 篇
管理学
3 篇
管理科学与工程(可...
主题
3 篇
简单表缩减算法
2 篇
表约束
2 篇
因子分解编码
2 篇
约束程序
1 篇
约束规划
1 篇
孤相容
1 篇
相容性算法
1 篇
并行约束传播
1 篇
弧相容
机构
3 篇
吉林大学
2 篇
符号计算与知识工...
作者
2 篇
李占山
2 篇
李哲
2 篇
王震
1 篇
于哲舟
语言
3 篇
中文
检索条件
"主题词=简单表缩减算法"
共
3
条 记 录,以下是1-10
订阅
全选
清除本页
清除全部
题录导出
标记到"检索档案"
详细
简洁
排序:
相关度排序
时效性降序
时效性升序
优化
简单表缩减算法
求解因子分解编码实例
收藏
分享
引用
软件学报
2021年 第11期32卷 3530-3540页
作者:
王震
李哲
李占山
吉林大学计算机科学与技术学院
吉林长春130012
符号计算与知识工程教育部重点实验室(吉林大学)
吉林长春130012
表
约束在约束程序(constraint programming,简称CP)中被广泛研究.目前,求解
表
约束问题效率最高的
算法
是CT(compact-table)和STRbit(simple tabular reduction bit).它们在搜索过程中维持广义弧相容(generalized arc consistency,简称GA...
详细信息
表
约束在约束程序(constraint programming,简称CP)中被广泛研究.目前,求解
表
约束问题效率最高的
算法
是CT(compact-table)和STRbit(simple tabular reduction bit).它们在搜索过程中维持广义弧相容(generalized arc consistency,简称GAC).完全成对相容(full pairwise consistency,简称fPWC)是一种强于GAC的相容性关系,目前,实现fPWC效率最高的
算法
是PW-CT,但是它无法直接在通用的求解器上实现.因子分解编码(factor-decomposition encoding,简称FDE)是实现fPWC的一种编码方式,通常和
简单
表
缩减
(STR)
算法
一起来使用.当前效率最高的STR
算法
使用了bitset的数据结构,用这些
算法
来求解FDE实例可能会造成内存溢出.提出了STRFDE
算法
——一种使用bitset结构来求解FDE实例的方法.它结合了CT和STRbit的优势,在保证求解效率的同时,使占用的内存尽可能小.实验结果
表
明,在许多存在非平凡相交的实例上,该
算法
是有竞争力的.
关键词:
约束程序
孤相容
表
约束
简单表缩减算法
因子分解编码
来源:
评论
学校读者
我要写书评
暂无评论
一种高效的FDE并行传播
算法
收藏
分享
引用
软件学报
2023年 第9期34卷 4153-4166页
作者:
李哲
于哲舟
李占山
吉林大学计算机科学与技术学院
吉林长春130012
符号计算与知识工程教育部重点实验室(吉林大学)
吉林长春130012
约束规划(constraint programming, CP)是
表
示和求解组合问题的经典范式之一.扩展约束(extensional constraint)或称
表
约束(table constraint)是约束规划中最为常见的约束类型.绝大多数约束规划问题都可以用
表
约束
表
达.在问题求解时,相...
详细信息
约束规划(constraint programming, CP)是
表
示和求解组合问题的经典范式之一.扩展约束(extensional constraint)或称
表
约束(table constraint)是约束规划中最为常见的约束类型.绝大多数约束规划问题都可以用
表
约束
表
达.在问题求解时,相容性
算法
用于
缩减
搜索空间.目前,最为高效的
表
约束相容性
算法
是
简单
表
约
缩减
(simple table reduction, STR)
算法
簇,如Compact-Table (CT)和STRbit
算法
.它们在搜索过程中维持广义弧相容(generalized arc consistency, GAC).此外,完全成对相容性(full pairwise consistency, fPWC)是一种比GAC剪枝能力更强的相容性.最为高效的维持fPWC
算法
是PW-CT
算法
.多年来,人们提出了多种
表
约束相容性
算法
来提高剪枝能力和执行效率.因子分解编码(factor-decomposition encoding, FDE)通过对平凡问题重新编码.它一定程度地扩大了问题模型,使在新的问题上维持相对较弱的GAC等价于在原问题上维持fPWC.目前, FDE的合适STR
算法
是STRFDE和STR2,而不是CT.这是由于CT
算法
可能产生内存溢出问题.在维持相容性
算法
的过程中,需要将迭代地调用各个约束执行其相容性
算法
过滤搜索空间,这个过程称为约束传播.动态提交方案是一个并行约束传播框架,可以并行地调度约束执行传播
算法
.它在大规模问题中,改进效果尤为明显.改进STRFDE和动态提交传播
算法
.针对FDE提出了PSTRFDE
算法
. PSTRFDE可以嵌入到动态提交方案中,进一步提高了约束规划问题的求解效率.大量的实验
表
明, PSTRFDE与CT和STRbit相比,可以减少内存占用;与STRFDE和STR2相比,可以提高
算法
的效率.所作工作充分说明了PSTRFDE是FDE上最为高效的过滤
算法
.
关键词:
约束规划
并行约束传播
相容性
算法
简单表缩减算法
来源:
评论
学校读者
我要写书评
暂无评论
基于多元
表
约束的相容性技术研究
基于多元表约束的相容性技术研究
收藏
分享
引用
作者:
王震
吉林大学
学位级别:
硕士
约束程序(Constraint Programming,CP)起源于1965年是人工智能中的一个重要的研究方向,主要用于求解组合搜索问题,随着研究的深入它被成功的应用在很多领域,例如:时间规划、调度、配置等。约束程序的主要思想是根据现实问题抽象出一个...
详细信息
约束程序(Constraint Programming,CP)起源于1965年是人工智能中的一个重要的研究方向,主要用于求解组合搜索问题,随着研究的深入它被成功的应用在很多领域,例如:时间规划、调度、配置等。约束程序的主要思想是根据现实问题抽象出一个或多个约束,然后根据这些约束找到相应问题的解。目前约束求解方法最常用的是回溯搜索
算法
,将它与相容性技术结合起来就是当前最常用的求解手段。
表
约束是CP中一种被广泛研究的约束类型。目前求解
表
约束问题效率最高的
算法
是 CT(Compact-Table)和 STRbit(Simple Tabular Reduction bit),它们在搜索过程中维持广义弧相容(Generalized Arc Consistency,GAC)。GAC是求解
表
约束的主要技术。通常,在回溯搜索树中的每个结点上调用GAC
算法
来维护GAC。在GAC被广泛使用的同时,高阶相容性也引起了人们的重视。完全成对相容(full Pairwise Consistency,fPWC)是一种强于GAC的相容性关系。目前实现fPWC效率最高的
算法
是PW-CT,但是它无法直接在通用的求解器上实现,这是因为它们的约束不能独立传播。因子分解编码(Factor-decomposition Encoding,FDE)是实现fPWC的一种编码方式,它将一个约束网络转换成一个新的约束网络,在这个新的约束网络上维持GAC等价于在原始约束网络上维持fPWC。FDE通常和
简单
表
缩减
(Simple Tabular Reduction,STR)
算法
一起来使用。通过对维持GAC与fPWC的主要
算法
分析,当前效率最高的
算法
都使用了 bitset的数据结构。我们发现使用这些
算法
来求解FDE实例时具有很高的复杂度,这可能会造成内存溢出问题。为此,我们提出了 STRFDE
算法
,一种使用bitset结构来求解FDE实例的方法。它结合了 CT和STRbit的优势,在保证求解效率的同时使占用的内存尽可能小。STRFDE根据FDE的特性将整个约束网络分解为两个部分,并对这两个部分使用不同的
算法
。因为约束是独立传播的所以对不同部分使用不同
算法
是合理的。为了证明我们的
算法
易于在主流求解器中实现,我们在Choco求解器中实现了 STRFDE。实验
表
明在许多存在非平凡相交的实例上我们的
算法
是有竞争力的。
关键词:
约束程序
弧相容
表
约束
简单表缩减算法
因子分解编码
来源:
评论
学校读者
我要写书评
暂无评论
没有更多数据了...
下一页
全选
清除本页
清除全部
题录导出
标记到“检索档案”
共1页
<<
<
1
>
>>
检索报告
对象比较
合并检索
0
隐藏
清空
合并搜索
回到顶部
执行限定条件
内容:
评分:
请选择保存的检索档案:
新增检索档案
确定
取消
请选择收藏分类:
新增自定义分类
确定
取消
订阅名称:
通借通还
温馨提示:
图书名称:
借书校区:
取书校区:
手机号码:
邮箱地址:
一卡通帐号:
电话和邮箱必须正确填写,我们会与您联系确认。
联 系 人:
所在院系:
联系邮箱:
联系电话:
暂无评论