相接行凸约束网络的快速识别算法

来源 :软件学报 | 被引量 : 6次 | 上传用户:zhongxuanshiye
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
约束网络为计算机科学中的许多问题提供了一种有效的表示方法.一般而言,约束满足问题是NP完全的.然而,许多实际问题通常对约束的结构或形式施加了特殊的限制,从而能够高效地加以解决.迄今,为了识别易处理约束类,人们对特殊的约束或约束网络方面进行了许多研究.相接行凸(connected row-convex,简称CRC)约束网络是Deville等人提出的一类易处理问题.为了给该类问题寻求有效的快速识别算法,在CRC约束网络相关工作基础上,提出了CRC约束矩阵的标准型.在分析CRC约束矩阵的标准型性质的基础上
其他文献
我校是广西区局属自收自支的事业单位,一套人马三块牌子(广西二轻工业技校、广西二轻干部学校、广西二轻成人中专学校)。我校最大的实情是上级无拨款,一切开支靠招生,属于“
提出一种多媒体通信机制--服务质量受控型管道,作为基于服务质量的平台层点对点多媒体通信抽象,以支持分布式多媒体应用的描述与开发,给出了服务质量控型管道的形式定义,详细讨论了
本文就微生物学实验教学中如何合理调整和改革传统实验,提高教学效果,让学生参与实验材料准备工作,培养学生实验兴趣,改革考核办法,重视能力考核等方面进行探究,使实验教学达
创新题是高考中考查学生能力高低的一种试题,本文仅对如何运用类比法,巧解创新题的情形和方法作一些分析与探讨,目的是让学生了解创新题的规律和技巧,以便在高考中创造性地完
提出了一种可见外壳(visual hulls)生成算法.该算法充分发挥了自适应采样距离场(adaptively sampled distance fields,简称ADFs)表示物体时在逼近精度和内存消耗方面的优越性.与传统的通过体素求交生成可见外壳的方法不同,该算法引入ADFs作为描述可见外壳的采样距离场的空间数据组织形式,从而极大地简化了求交运算,提高了算法的效率.最后通过改进的Surface
随着教育体制改革的深入,全国不少高等学校进行了合并,形成一所大学有多处校址的学校布局,有的大学共处一个城市,有的大学分布在不同城市或地区.为了真正做到联合后资源共享,
Lee的复域多值双向联想记忆模型(complex domain domain bidirectional associative memory,简称CDBAM)不仅将Kosko的实域BAM(bidirectional associative memory)推广至复域,而且
当成年人热衷赌马和炒房产时,他们的孩子则在买卖商品,这些商品从邮票、卡通片直到运动鞋和电子宠物。胆子大些的青少年甚至“玩”起股票。 据香港理工大学和基督教青年
本文介绍了拉密定理、构造函数法、求根公式法、不等式法、解析法、数列法、余弦定理法等方法在力学、运动学中的应用,并论述了在力学和运动学中巧妙运用这些方法,对解决物理