4.扩张矩阵算法定义1（扩张矩阵）已知e+及反例矩阵NE.pptVIP

* 4.扩张矩阵算法： 定义1(扩张矩阵)：已知e+= 及反例矩阵NE. 对每一j∈N, 用“死元素”*对 在NE中第j列的所有出现做代换，这样得出的矩阵叫做正例e+在反例NE背景下的扩张矩阵。记为EM(e+|NE), 或简记为EM(e+)。 表2.7正例矩阵与反例矩阵 1 0 0 5 2 1 1 4 2 0 0 4 0 1 1 3 0 0 1 3 0 1 0 2 0 2 1 2 1 0 1 1 0 0 0 1 X3 X2 X1 k X3 X2 X1 k X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 1 1 * ① * 0 ① * * 1 * * ① 2 * ① * 0 ① * 0 ① * * ① 0 3 1 ① * * ① * * ① * 1 ① 0 4 1 ① 2 * ① * * ① 2 1 ① * 5 * * ① 0 0 ① 0 * ① * * ① EM( ) EM( ) EM( ) EM( ) 图2.2 正例在反例背景下的扩张矩阵 定义2: 在一个扩张矩阵中，由分别来自不同行的m个非死元素连接组成它的一条路（径）；在两个以上的扩张矩阵中，具有相同值的对应的非死元素叫做它们的公共元素；只由公共元素组成的路叫做它们的公共路；具有公共路的两个扩张矩阵叫做相交的，否则叫做不相交的。 1) 算法AE1 优先选择“最大公共元素”，即在最多数目的扩张矩阵中出现的元素。 2) 广义扩张矩阵与AE9算法 ① 广义扩张矩阵：已知反例矩阵NE和一个公式L= 对NE的每一列j∈N,如果j J,则用死元素“*”对NE中第j列的所有元素做代换；如果j∈J,则用“*”对NE中第j列属于Aj的所有元素做代换。这样得到的矩阵叫做公式L的广义扩张矩阵。记为EM(L). ?必选元素：设EM(L)是一致公式L的扩张矩阵，如果在EM(L)中的某一行中只有一个非死元素，则该元素叫做必选元素。 ?公式的合并：已知公式 及公式F= 则将L和F对应的选择子的取值合并得到一个新的公式，叫做L和F的合并，记为L?F。即L?F= . 3 3 0 4 4 2 2 1 3 3 2 2 2 0 2 1 1 1 1 1 {1,3} {0,1} {0,3} 公式L x4 x3 x2 x1 NE (a) 公式L(L=[X1=0 3][X2=0 1][X3=1 3]) 与反例矩阵NE * * * 4 * 2 * * * 2 2 * * * * 1 公式 X4 X3 X2 X1 (b)L的扩张矩阵EM(L)箭头经过的路对应于公式[X1?1,4][X3?2]=[X1=0,2,3][X3=0,1,3] [算法AE9] 设正例集为TPE， (1) PE←TPE,从正例集PE中选择一个种子e. F?e, path?? ,CPE? ?. (2) 做F的扩张矩阵EM(F)。如果有必选元素则放入path中，同时删去NE中该必选元素出现的行（反例），如果NE空则将F覆盖的正例从TPE中删去，如果TPE空则终止，否则转(1)；如非空则删去PE和CPE中出现该必选元素的对应行，重复执行直至EM(F)中不存在必选元素为止。 (3)如果PE非空，检查PE中的每一正例，看它与F的合并是否是一致公式；如不是则从PE中删去该正例；若是则保留一个覆盖正例数目最多的一个合并取代F, 将PE中被F覆盖的正例放入CPE中，重复步骤(2)和(3),直至PE变空。 (4) 如果PE空而CPE非空，则检查CPE中的每一个正例，看它与F合并后是否为一致公式，若不是则从CPE中删去该正例； 若是则生成合并公式，保留一个覆盖最多正例的合并取代F,从CPE中删