论算法的发现（Ⅰ）──组合优化的基本方法

用π￣（ｔ）－集合表示具有规定性质π￣（ｔ）的集合。可π￣（ｔ）对象是指具有规定结构的π￣（ｔ）－集合。π￣（ｔ）－集合本身是具有空结构的π￣（ｔ）－对象。组合优化的问题ＸＶＺ是指：对于每一个π￣（１）集合，从其诸π￣（２），对象中找出π￣（３）－优者。以最小生成林问题、平面凸壳问题及整序问题（§§２－５）为实践背景，对于问题ＸＹＺ的一个实例Ｓ，把集合Ｓ的π￣（１）－于集合的全体记作簇，把这些于集合的π￣（３）－优π￣（２）－对象的全体记作簇，把实例Ｓ的π￣（２）－对象（可行解）的个体记作。当问题ＸＹＺ是第一类优化问题，规定则是两个具有单元素的带（ｂａｎｄ）．把三个簇与合在一起，记作，叫做实例Ｓ的解带（ｓｏｌｕｔｉｏｎｂａｎｄ）．问题ＸｙＺ的所有实例Ｓ的解带构成这问题的解带簇．从到，算子＊一个同态映射．当π￣（２）对象是空结构时，不但有而且算子＊还是一个投影算子．利用解带的几何直观，探求实例的精确解，有三种求解思路：添元章法、同解章法与枚举章法．