4.6 单输出函数的自动综合

4.6.1 选拔法求最小化覆盖
　遇到一次分枝出现2条路径，若遇到k次分枝，就会出现2^k条路径，运算时间会相当长。为此，可把以前得到的解的成本cs记录下来，若后续部分解的成本已大于cs，则这个解一定不会被选用，可中途废止。
　若希望进一步减少运算时间，当处于循环状态时，也可不采用分枝法，而只沿着某一条路径走下去。若选择路径1，则在选择p时可按下列标准：
　(1) p包含CC中的真值顶点个数最多。
　(2) 条件(1)相同时，选成本低者。
实例:原始数据由ON及OFF给出，其质立方体集合Z也已求出 ( 出于减少篇幅的目的，略去求Z的过程，直接在题目中给出 )，示于表4.12。