(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中删去该正例;(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中删去该正例；