约束求解与优化技术的结合及方法-uf-cise.docVIP

约束求解与优化技术的结合及方法 季晓慧1), 2) 黄拙1) 张健1) 1)(中国科学院软件研究所计算机科学实验室 北京 100080) 2)(中国科学院研究生院 北京 100049) 摘要：由于约束求解与优化技术的互补性，近年来将二者结合是计算机界及运筹学界的研究热点，其中二者在有限域问题上的结合已取得了较大的发展，但在混合域问题上的结合还有待探索，原因之一是优化技术不能对混合域的问题进行很好的表示。本文提出了将混合约束问题转化为混合整数规划问题的方法，该方法将约束求解技术与混合整数规划联系了起来。用约束求解方法及混合整数规划方法共同求解混合约束问题可以令二者相互借鉴，从而促进二者求解技术的进一步发展。本文方法的提出将会为约束求解与优化技术的进一步结合起到推动作用。同时，由混合约束问题转化而来的混合整数规划问题也可作为求解混合整数规划问题的测试问题（Benchmarks）。 关键字：约束求解、优化技术、混合约束问题、混合整数规划 1前言 从传统的角度来看，约束求解与优化技术分属不同的领域。前者属于计算机科学及人工智能领域，而后者则属于数学中的运筹学范畴。但是由于二者在求解技术上的互补性[1]，以及解决实际问题的需要，近年来它们在不断的互相融合。但是二者的结合仅在有限域问题上较多，在混合约束问题及混合整数规划问题上的结合还不多见，原因之一在于二者不能表示和处理同一问题。 本文简要