【摘 要】
：
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义.通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:
【机 构】
：
东北大学计算中心,东北大学信息科学与工程学院
论文部分内容阅读
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义.通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系.
其他文献
目的探讨淋巴细胞协同刺激分子、活化分子标志在类风湿关节炎(RA)致病机制中的作用。方法采用流式细胞仪检测RA患者外周血和关节滑膜液淋巴细胞协同刺激分子CD28/B7(CD80,CD8
在实验结果验证的基础上,运用耦合模型模拟了软接触结晶器内的三维弯月面形状,研究了弯月面变形的不均匀特性.结果表明:在切缝位置处的弯月面变形较大;在结晶器不同截面位置
综述了激光加成技术的国内外现状和新进展.这种通过添加而不是减少材料来成形的新技术在广泛的军事与民用领域中得到了应用.金属和陶瓷材料在激光加成过程中容易出现表面粗糙
在实验中借鉴了钎焊及扩散焊工艺的一些特点,运用中间夹层材料来促进不锈钢与碳钢的复合主要对影响复合的各种因素,包括压力、温度、保温时间、保护气体等进行了一系列的实验
直接还原流程中,粘结失流是传统流化床应用的最大障碍.在铁矿石还原热力学计算基础上,在循环流化床的试验装置上进行热试验,通过调整影响循环流化床的条件因素,使循环流化床
采用非线性控制系统的微分几何理论,将原混沌系统进行输入-输出部分线性化,并结合极点配置方法,在一定的假设前提下,设计了一个实现高维混沌系统同步控制的反馈控制器,该方法
用溶胶-凝胶法制备了纳米WO3-TiO2复合薄膜型光催化剂利用该薄膜对罗丹明B溶液的光催化降解作用,考察了钨酸盐种类及其掺杂量、涂膜层数、溶解氧、焙烧温度、焙烧时间、基体
对简库恩的基本分形图像压缩算法进行了改进.从减少不必要的计算量入手,提出基于误差阈值的分形图像压缩算法.首先给定一误差阈值,然后计算子块与父块间有限个对应像素点之间
目的探讨D二聚体、CRP及脂联素在慢性阻塞性肺疾病(COPD)的临床意义。方法收集2009年7月～2011年12月期间在我院住院的慢性阻塞性肺疾病男性患者共268例以及同期来我院的健康男
在对比分析分布式计算的当前计算模式的基础上,主要研究基于智能Agent的分布式系统的软件体系结构.该基于智能Agent的分布式系统构架采用了一种扩展请求器-中介器-供应器的嵌