4扩张矩阵算法: 定义1(扩张矩阵):已知et=<Ⅵ1,“Yn>及反例矩阵NE.对每 ∈N用“死元素”*对在NE中第列的所有出现做代换,这 样得出的矩阵叫做正例e在反例NE背景下的扩张矩阵。记为 EM(e+NE)或简记为EM(e) 表27正例矩阵与反例矩阵 k Ⅹ1X2X3k XI X2X3 0200 0002 2345 1110 0024.扩张矩阵算法： 定义1(扩张矩阵)：已知e +=< > 及反例矩阵NE. 对每一 j∈N, 用“死元素”*对 在NE中第j列的所有出现做代换，这 样得出的矩阵叫做正例e +在反例NE背景下的扩张矩阵。记为 EM(e+ |NE), 或简记为EM(e+ )。 表2.7正例矩阵与反例矩阵 + + 1 v n v ,  , + j v k X1 X2 X3 k X1 X2 X3 1 0 0 0 1 1 0 1 2 1 2 0 2 0 1 0 3 1 0 0 3 1 1 0 4 0 0 2 4 1 1 2 5 0 0 1