【摘 要】
：
提出了在二元约束满足问题中以搜索结点个数为衡量标准的求解开销模型,该模型被应用于随机二元约束满足问题的求解开销相变分析中,并且比较了模型所导出的理论开销和实际中的
【机 构】
：
中国科学技术大学计算机科学与技术系
论文部分内容阅读
提出了在二元约束满足问题中以搜索结点个数为衡量标准的求解开销模型,该模型被应用于随机二元约束满足问题的求解开销相变分析中,并且比较了模型所导出的理论开销和实际中的搜索结点个数、约束检查次数、求解时间3种衡量标准的开销之间的相似性.在模型的基础上,探讨了求解启发式减少求解开销的作用,给出了一个新的变量选择启发式.“,”A model of evaluating cost by number of nodes searched in solving binary constraint satisfaction problems is introduced in this paper. It has been applied to the random binary constraint satisfaction problems to analyze the phase transition property of solving cost. The theoretical cost induced from the model is compared with those practical costs evaluated by number of nodes searched, number of constraints checked and time consumed respectively. Based on this model, the effect of using solving heuristics t...
其他文献
本公司1996年引进40台比利时毕加诺Delta-190型喷气织机，1998年开始生产CJ14.6/14.6 524/394 170防羽布，其附加值高，一直畅销。但因种种原因，该品种织造效率一直较低，而且随着配棉
定义了备查点间隔之间的先于关系,并对分布式系统执行的语义正确性进行了约束,证明了逆时先于现象是产生多米诺效应的本质,提出了多米诺避免、多米诺检测与消除、多米诺容忍
SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用
PVA历来被认为是涤棉产品上浆的理想浆料，但随着产品结构的变化和纯棉细号高密织物的生产，PVA-1799的广泛使用，其缺点也日益显现出来，主要表现在：浆膜强力大，在浆纱时分绞阻力大，浆
我不敢相信,而又不能不信的消息终于来了,不治的病毕竟夺去了您的生命。欧阳先生!您终于离开了我们,永远地离开了我们了!这个不幸的消息,使得全国戏剧界的同志们都禁不住同
针对一类典型的约束满足问题??JOB－SHOP调度问题,在深度优先搜索算法的基础上,给出了形式化的约束一致性实施、操作选择策略和开始时间选择策略以及启发式的约束一致性实施和
本公司1994年引进90台津田驹ZA205i-280喷气织机，配套引进一台祖克S432浆纱机、一台瑞士贝宁格整经机。几年来，针对如何提高织造效率，充分发挥喷气织机优质高效的优势，我们从原纱
选择3只澳洲美利奴羔羊的背最长肌、臀肌及臂三头肌,利用气相色谱-质谱联用技术对其脂肪酸含量进行测定及分类探讨.结果 表明:澳洲美利奴羊肉中共含有脂肪酸35种,其中C15∶1
特征子集选择问题是机器学习和模式识别中的一个重要问题.最优特征子集选择问题已被证明是NP难题.然而,目前的特征子集选择的启发式算法是基于正反例一致的,没有考虑到实际应
市场的竞争促进了产品的飞跃发展，而产品的发展必然促进生产技术的进步。为了适应不断发展的纺织品市场的需要，我们集团公司于2000年底为800多台有梭织机(在原有4台G142浆纱机