工作流可满足决策(≠)的完备独立树分解回溯法

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:echoifanfan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
互斥约束工作流可满足决策是关系到安全业务可行性的重要问题,而其现有算法的理论和实测性能,或时间和空间代价严重失衡。根据其低约束密度特征,利用Jegou的树分解回溯方法来解决上述问题。因该方法仅根据约束不相关性得出子问题独立性,不能保证部分解之间的兼容性,从变量不相交和约束不相关两个角度建立了完备的子问题独立性及其部分解缓存原理,设计了相应的算法,并通过交错归纳的方法证明其正确性。分析表明,该算法时间复杂度为O*(|S|^3×d^W+1),一定条件下低于目前最优的O*(2^|S|(|X|+|U|^
其他文献
传统的购买力平价理论认为物价是决定汇率的唯一因素。将所有产品和劳务区分为贸易品和非贸易品,并分别考虑它们对汇率的影响,会使购买力平价理论得到扩展;将购买力平价理论与货
研究背景及目的20世纪30年代,现代神经外科之父,美国神经外科专家Harvey Williams Cushing (1869.04.08-1939.10.07)教授曾言:“颅咽管瘤是最使神经外科医生沮丧的疾病。”中
宋徽宗赵佶是北宋第八代皇帝,生于元丰五年(公元1082年),十八岁时登基称帝,又号道君皇帝。宋徽宗统治时期,政治腐败,内忧外患,北宋走向衰落。宋徽宗赵佶秉性聪慧、浮华,他勤
美国黑人在文化移入过程中受到白人美国梦的重大影响,形成自己独特的理想和抱负。理查德.赖特在文学作品里塑造了处于美国社会下层阶级、中下层阶级和中层阶级的黑人形象,揭
干扰素是一种高蛋白,被广泛运用在动物疾病的预防和治疗上,这是其他药物所不能达到的效果。主要研究动物疾病的治疗和预防中干扰素的应用,以推动动物医学更好的发展。
眼下,“文化”成为国家发展的一项重要内容,提出了文化体制改革,还有深化、推动、繁荣文化的目标,这当然是一件好事。有人说,现在的中国人讲实惠,重功利,不买书(烹调、股票、考试参考
报纸
<正> 购买力平价理论是一种研究和比较各国不同的货币之间购买力关系的理论。这一理论在经济学上有两个用处:第一,作为一种换算工具,它可以将一国的国民经济主要指标,比如GNP
从目前来看,成品油在储运过程中存在许多的风险以及困难,为了能够有效的提高成品油储运的效率以及质量,各种与成品油储运相关的技术应运而生。本文针对成品油储运过程中所存
《修辞鉴衡》是元代资料汇编的重要代表,该书内容广泛,涉及诗学、文章学等方面,体现了王构的文学思想,虽然书中辑录内容经常被引用,但人们却没有对《修辞鉴衡》引起足够的重
玉米(Zea mays L.),为禾本科玉米属一年生单子叶植物,是全球种植范围最广、产量最高的谷类作物,居三大粮食之首.植物激素被认为在调节植物对逆境胁迫的响应中起关键作用,其中