组合最优化中的布尔方法

本文旨在从NP-完全性理论的角度,以拟布尔函数最优化为典型实例介绍组合最优化问题的一些研究方法和取得的主要进展。并且也提出了一些有待解决的问题和可能的研究途径。     

序关系与0—1规划问题(下)

§ 9 集 合 组 装 问 题 以下,我们讨论如§5中所给出的准序。对于一个集 合XB_1~n,如果x=(x_1,x_2,…x_n)∈X,存在N={1,2,…,n}上的一个置换π使得 有x_(π(1))x_(π(2))…x_(π(n)),即 对于X是一个线性序,则称X是正则的。 相仿地,对于一个布尔或拟布尔函数f,也可建立准序:     

组合最优化中的布尔方法(续二)

§13 天篷取优 为了计算最好的天篷,我们研究在SAM-图S_f上的最大W-对集问题(WM)。首先,对于S_f上的边引进变量:     

组合最优化中的布尔方法(续一)

§7 对偶性 我们还是先从如下的一般拟布尔最优化问题——称之为原问题——开始: (7.1) 任一线性拟布尔函数t(x)=α_0+α_1x_1+…+α_nx_n,如果对于任何x∈B~n均有t(x)≥f(x),则称t(x)为f(x)的一个上平面。若用t(x)代替(7.1),则得 (7.2)称这个问题为(7.1)的线性松驰。当然,(7.2)的最优值提供了(7.1)的一个上界。 令J为f(x)的所有上平面组成的集合。我们的兴趣在于找f(x)的这样的一个上平面t_0(x)使得(7.2)的最优值与(7.1)的最优值最接近。于是,导致确定     

序关系与0—1规划问题(上)

本文在于总结研究序关系在0—1规划问题中的作用。依此,可将问题简化。特别地,可使一些在算法复杂性方面很难的问题变得容易。即,能用多项式阶的计算量求出其解或判定无解。例如,背包问题,集合组装问题和集合复盖问题等。