这个算法是对迭代星积算法的改进。第一,它每次沿着一个坐标(即变量)来作星积。所以重复n次(n为变量个数)即可。第二,它把C中的立方体沿坐标i分为三类:变量xi取值为0的归入B0;取值为1的归入B1,取值为X的留下不用。若从B0中取任一立方体和B1中任一立方体作星积运算,则在坐标i上一定得q。因此,对除去坐标i之外的其它坐标来说,若星积运算的结果有q出现,则这次星积结果为空;若无q出现,则结果不为空且坐标i的取值为X。因此对除去坐标i之外的其它坐标来说,星积运算规则与相交运算规则相同(表4.11和表4.6相同)。这就是为什么星积运算可以化成相交运算来作的原因.当然,这样作时需把xi的取值改为X,才能用相交运算实现星积运算。
|