定义:关于假设空间H和训练样例集D的变型空间,标记为 VSHD2是H中与训练样例D一致的所有假设构成的子集。 VSHd=h EHConsistent(h, D) 表3-4列表后消除算法 列表后消除算法 变型空间 ersionspaces←包含H中所有假设的列表 2.对每个训练例<x,c(x) 从变型空间中移出所有h(x)(x)的假设h 3.输出 Versionspace中的假设列表 353变型空间的更简洁表示 定义:关于假设空间H和训练数据D的一般边界( general boundary)G,是在H中与D相一致的极大一般( maximally general 成员的集合 定义:关于假设空间H和训练数据D的特殊边界(ec、D)]} G=gEHConsistent(s, D)aGg Edig>g)AConsistent(g boundary)S,是在H中与D相一致的极大特殊( maximally specifi)定义：关于假设空间H和训练样例集D的变型空间，标记为 VSH,D,是H中与训练样例D一致的所有假设构成的子集。 VSH,D {h H|Consistent(h,D)} 列表后消除算法 1. 变型空间VersionSpace←包含H中所有假设的列表 2. 对每个训练例<x,c(x)> 从变型空间中移出所有h(x) ≠c(x)的假设h 3. 输出VersionSpace中的假设列表 表 3-4 列表后消除算法 3.5.3 变型空间的更简洁表示 定义：关于假设空间H和训练数据D的一般边界(general boundary)G,是在H中与D相一致的极大一般(maximally general) 成员的集合。 G{gH|Consistent(s,D)(g’ H)[(g’ >gg) Consistent(g’,D)]} 定义：关于假设空间H和训练数据D的特殊边界(specific boundary)S,是在H中与D相一致的极大特殊(maximally specific)