若dij(x)>0,,则重要性质:dij = -dji
图例:对一个三类情况,d12(x)=0仅能分开ω1和ω2类,不能分开ω1和ω3类。
若要分开M类模式,共需M(M-1)/2个判别函数。
不确定区域:若所有dij(x),找不到,dij(x)>0的情况。
示例 1:设有一个三类问题,其判别函数为:
d12(x)= -x1 - x2 + 5,d13(x)= -x1 + 3,d23(x)= -x1 + x2
若x=(4, 3)T,则:d12(x) = -2,d13(x) = -1,d23(x) = -1
有:
从而
示例2:若x=(2.8, 2.5)T,则:d12(x) = -0.3,d13(x) = 0.2,d23(x) = -0.3
有:
分类失败。
③ 多类情况3这是没有不确定区域的ωi/ωj两分法。假若多类情况2中的dij可分解成:dij(x) = di(x) - dj(x) = (wi – wj)Tx,则dij(x)>0相当于di(x)>dj(x),这时不存在不确定区域。
此时,对M类情况应有M个判别函数:
即di(x)>dj(x),,i, j = 1,2,…,M则该分类的特点是把M类情况分成M-1个两类问题。
示例 1:设有一个三类问题的模式分类器,其判别函数为:
d1(x)= -x1 + x2,d2(x)= x1 + x2 - 1,d3(x)= -x2
属于ω1类的区域应满足d1(x)>d2(x)且d1(x)>d3(x),ω1类的判别界面为:
d12(x)= d1(x)-d2(x) = -2x1 + 1 = 0
d13(x)= d1(x)-d3(x) = -x1 + 2x2 = 0
属于ω2类的区域应满足d2(x)>d1(x)且d2(x)>d3(x),ω2类的判别界面为:
d21(x)= d2(x)-d1(x) = 2x1 - 1 = 0,可看出d21(x)=-d12(x)
d23(x)= d2(x)-d3(x) = x1 + 2x2 - 1= 0
属于ω2类的区域应满足d3(x)>d1(x)且d3(x)>d2(x),ω3类的判别界面为:
d31(x) = -d13(x) = x1 - 2x2 = 0
d32(x) = -d23(x) = -x1 - 2x2 + 1= 0
【示例】
若有模式样本x=(1, 1)T,则:d1(x) = 0,d2(x) = 1,d3(x) = -1
从而:d2(x)>d1(x)且d2(x)>d3(x),故
小结:线性可分 模式分类若可用任一个线性函数来划分,则这些模式就称为线性可分的,否则就是非线性可分的。 一旦线性函数的系数wk被确定,这些函数就可用作模式分类的基础。
多类情况1和多类情况2的比较 对于M类模式的分类,多类情况1需要M个判别函数,而多类情况2需要M*(M-1)/2个判别函数,当M较大时,后者需要更多的判别式(这是多类情况2的一个缺点)。 采用多类情况1时,每一个判别函数都要把一种类别的模式与其余M-1种类别的模式分开,而不是将一种类别的模式仅与另一种类别的模式分开。 由于一种模式的分布要比M-1种模式的分布更为聚集,因此多类情况2对模式是线性可分的可能性比多类情况1更大一些(这是多类情况2的一个优点)。