非二元约束满足问题求解

来源 :计算机学报 | 被引量 : 0次 | 上传用户：lgx9527

【摘要】

：

在约束满足问题(CSP)的研究中,大部分工作集中在二元约束,但处理实际问题时,常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上,研究了一种

【作者】

：

孙吉贵景沈艳

【机构】

：

吉林大学计算机科学与技术学院

【出处】

：

计算机学报

【发表日期】

：

2003年12期

【关键词】

：

非二元约束满足问题对偶图法隐藏变量法启发式搜索算法 constraint satisfaction problems non-binary CSPs s

【基金项目】

：

国家自然科学基金，吉林省科技发展计划，吉林大学校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在约束满足问题(CSP)的研究中,大部分工作集中在二元约束,但处理实际问题时,常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法,并在设计开发的约束求解工具'明月SOLVER1. 0'中实现了该方法,以典型例子给出了实现系统的运行结果.

其他文献

基于同步有向图的同步测试序列生成方法

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时,测试系统各个端口之间可能会出现同步问题.现在,解决同步问题常用的办法是在测试

期刊

同步有向图同步测试序列生成方法测试单元通信协议Synchronization

基于混沌序列的多重数字图像水印算法

采用一维混沌映射 ,根据不同的混沌初始条件生成多个互不相关的混沌实值序列 ,进而得到性能良好的多重数字图像水印信号 ,有效地解决了多重数字图像水印信号的构造问题 .同时采用二维混沌映射将各水印信号置乱 ,随机均匀地叠加在图像小波变换的中低频系数上 ,各水印信号的嵌入和提取可以互不干扰 ,解决了多重数字图像水印的嵌入问题 .实验结果表明 ,该算法对各种常见的攻击均具备了一定的抵抗能力 ,可有效地解决

期刊

混沌序列多重数字图像水印算法小波变换图像处理版权保护multiple digital watermarking chaotic sequence

无线网络中基于误码丢包的TCP速率调节策略

考虑到TCP直接应用于无线环境的局限性,人们提出了多种TCP拥塞控制的改进机制,这些方案一般没有考虑误码丢包对数据发送速率的影响.不过,链路误码率较高时,TCP发送端若不降低

期刊

无线网络误码丢包速率调节机制网络拥塞TCP协议INTERNETwireless networkpacket lost by corruption

非二元约束满足问题求解

其他学术论文