谱聚类|机器学习推导系列(二十)

一、概述

对于下图所示的数据进行聚类,可以采用GMM或者K-Means的方法:

数据

然而对于下图所示的数据,单纯的GMM和K-Means就无效了,可以通过核方法对数据进行转换,然后再进行聚类:

数据

如果直接对上图所示的数据进行聚类的话可以考虑采用谱聚类(spectral clustering)的方法。

总结来说,聚类算法可以分为两种思路:

①Compactness,这类有 K-means,GMM 等,但是这类算法只能处理凸集,为了处理非凸的样本集,必须引⼊核技巧。
②Connectivity,这类以谱聚类为代表。

二、基础知识

  1. 无向权重图

谱聚类的方法基于带权重的无向图,图的每个节点是一个样本点,图的边有权重,权重代表两个样本点的相似度。

假设总共N个样本点,这些样本点构成的图可以用G=(V,E)表示,其中V=\left \{v_1,v_2,\cdots ,v_N\right \},图中的每个点v_i也就代表了一个样本x_iE是边,用邻接矩阵(也是相似度矩阵)W_{N\times N}来表示,W=[w_{ij}],1\leq i,j\leq N,由于是无向图,因此w_{ij}=w_{ji}

另外还有度的概念,这里可以类比有向图中的出度和入度的概念,不过图中的点v_i的度d_i并不是和该点相连的点的数量,而是和其相连的边的权重之和,也就是邻接矩阵的每一行的值加起来,即:

d_{i}=\sum_{j=1}^{N}w_{ij}

而图的度矩阵(对角矩阵)D_{N\times N}可以表示如下:

D=\begin{bmatrix} d_{1} & & &\\ & d_{2} & & \\ & & & \\ & & & d_{N} \end{bmatrix}

另外我们定义,对于点集V的一个子集A\subset V,我们定义:

|A|:=子集A中点的个数\\ vol(A):=\sum _{i\in A}d_{i}

  1. 邻接矩阵

构建邻接矩阵W一共有三种方法,分别是\epsilon-近邻法、k近邻法和全连接法。

  • \epsilon-近邻法

首先需要设置一个阈值\epsilon,比较任意两点x_ix_j之间的距离s_{ij}=||x_{i}-x_{j}||_{2}^{2}\epsilon的大小,定义邻接矩阵如下:

w_{ij}=\left\{\begin{matrix} 0,s_{ij}>\epsilon\\ \epsilon ,s_{ij}\leq \epsilon \end{matrix}\right.

这种方法表示如果两个样本点之间的欧氏距离的平方小于阈值\epsilon,则它们之间是有边的。

使用这种方法,两点相似度只有\epsilon0两个值,这种度量很不精确,因此在实际应用中很少使用\epsilon-近邻法。

  • k近邻法

使用KNN算法遍历所有样本点,取每个样本点最近的k个点作为近邻。这种方法会造成构造的邻接矩阵不对称,而谱聚类算法需要一个对称的邻接矩阵。因此有以下两种方法来构造一个对称的邻接矩阵:

①只要一个点在另一个点的k近邻内,则w_{ij}>0,否则为0,相似度w_{ij}可以使用径向基函数来度量:

w_{ij}=w_{ji}=\left\{\begin{matrix} exp\left \{-\frac{||x_{i}-x_{j}||_{2}^{2}}{2\sigma ^{2}}\right \},x_{i}\in KNN(x_{j})\; or \; x_{j}\in KNN(x_{i})\\ 0,x_{i}\notin KNN(x_{j})\; and\; x_{j}\notin KNN(x_{i}) \end{matrix}\right.

②只有两个点互为k近邻,才会有w_{ij}>0,否则为0

w_{ij}=w_{ji}=\left\{\begin{matrix} exp\left \{-\frac{||x_{i}-x_{j}||_{2}^{2}}{2\sigma ^{2}}\right \},x_{i}\in KNN(x_{j})\; and\; x_{j}\in KNN(x_{i})\\ 0,x_{i}\notin KNN(x_{j})\; or\; x_{j}\notin KNN(x_{i}) \end{matrix}\right.

上述方法是不用先建立图而直接获得邻接矩阵,在编程实现时能够更加简便,构建的邻接矩阵也就表明了哪些样本点之间有边连接。也可以采用先建立图然后再在图上有边的数据点上保留权重获得邻接矩阵的方法。

  • 全连接法

这种方法会使所有的w_{ij}都大于0,可以选择不用的核函数来度量相似度,比如多项式核函数、径向基核函数和sigmoid核函数。最常用的是径向基核函数:

w_{ij}=exp\left \{-\frac{||x_{i}-x_{j}||_{2}^{2}}{2\sigma ^{2}}\right \}

在实际应用时选择全连接法建立邻接矩阵是最普遍的,在选择相似度度量时径向基核函数是最普遍的。

  1. 拉普拉斯矩阵

图的拉普拉斯矩阵(Graph Laplacian)L_{N\times N}是一个对称矩阵,用度矩阵减去邻接矩阵得到的矩阵就被定义为拉普拉斯矩阵,L=D-W。拉普拉斯矩阵有一些性质如下:
①对称性。
②由于其对称性,则它的所有特征值都是实数。
③对于任意向量f,有:

f^{T}Lf=\frac{1}{2}\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}(f_{i}-f_{j})^{2}

这一性质利用拉普拉斯矩阵的性质很容易可以得到:

f^{T}Lf=f^{T}Df-f^{T}Wf \\ =\sum _{i=1}^{N}d_{i}f_{i}^{2}-\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}f_{i}f_{j}\\ =\frac{1}{2}(\sum _{i=1}^{N}d_{i}f_{i}^{2}-2\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}f_{i}f_{j}+\sum _{j=1}^{N}d_{j}f_{j}^{2})\\ =\frac{1}{2}(\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}f_{i}^{2}-2\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}f_{i}f_{j}+\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}f_{j}^{2})\\ =\frac{1}{2}\sum_{i=1}^{N}\sum_{j=1}^{N}w_{ij}(f_{i}-f_{j})^{2}

④拉普拉斯矩阵是半正定的,则其所有特征值非负,这个性质由性质③很容易得出。并且其最小的特征值为0,这是因为L的每一行和为0,对于全1向量1_{N}=\begin{pmatrix} 1 & 1 & \cdots & 1 \end{pmatrix}^{T},有L\cdot 1_{N}=0=0\cdot 1_{N}

  1. 无向图切图

对于无向图G的切图,我们的目标是将G=(V,E)切成相互没有连接的k个子图,每个子图节点的集合为A_{1},A_{2},\cdots ,A_{k},它们满足A_{i}\cap A_{j}=\phi,且A_{1}\cup A_{2}\cup \cdots \cup A_{k}=V

对于任意两个子图点的集合A,B\subset V,定义AB之间的切图权重为:

W(A,B)=\sum _{i\in A,j\in B}w_{ij}

对于k个子图的集合,定义切图cut为:

cut(A_{1},A_{2},\cdots ,A_{k})=\sum_{i=1}^{k}W(A_{i}, \overline{A}_{i})

上式中\overline{A}_{ i }A_{i}的补集,意为除A_{i}子集以外的其他子集的并集。

每个子图就相当于聚类的一个类,找到子图内点的权重之和最高,子图间的点的权重之和最低的切图就相当于找到了最佳的聚类。实现这一点的一个很自然的想法是最小化cut。然而这种方法存在问题,也就是最小化的cut对应的切图不一定就是符合要求的最优的切图,如下图:

举例

在上面的例子中,我们选择在最小的权重上进行切图,比如在CH之间进行切图,这样可以使得cut最小,但并不是最优的切图。

接下介绍谱聚类使用的切图方法。

三、谱聚类之切图聚类

为了避免上述最小化cut存在的问题,需要对每个子图的规模做出限制,接下来介绍两种切图方法,分别是RatioCutNCut

  1. RatioCut切图

RatioCut切图为了避免上述最小切图,对于每个切图,不只考虑最小化cut,还考虑最大化每个子图点的个数,即:

RatioCut(A_{1},A_{2},\cdots ,A_{k})=\sum_{i=1}^{k}\frac{W(A_{i},\overline{A}_{i})}{|A_{i}|}

为了最小化RatioCut这个函数,我们引入指示向量h_{i}\in \left \{h_{1},h_{1},\cdots ,h_{k}\right \},i=1,2,\cdots ,k,对于每一个向量h_{i}, 它是一个N维向量,另外定义h_{ij}为:

h_{ij}=\left\{\begin{matrix} 0,v_{j}\notin A_{i}\\ \frac{1}{\sqrt{|A_{i}|}},v_{j}\in A_{i} \end{matrix}\right.

那么对于h_{i}^{T}Lh_{i},有:

h_{i}^{T}Lh_{i}=\frac{1}{2}\sum_{m=1}^{N}\sum_{n=1}^{N}w_{mn}(h_{im}-h_{in})^{2}\\ =\frac{1}{2}(\sum _{m\in A_{i},n\notin A_{i}}w_{mn}(\frac{1}{\sqrt{|A_{i}|}}-0)^{2}+\sum _{m\notin A_{i},n\in A_{i}}w_{mn}(0-\frac{1}{\sqrt{|A_{i}|}})^{2})\\ =\frac{1}{2}(\sum _{m\in A_{i},n\notin A_{i}}w_{mn}\frac{1}{|A_{i}|}+\sum _{m\notin A_{i},n\in A_{i}}w_{mn}\frac{1}{|A_{i}|})\\ =\frac{1}{2}(\frac{1}{|A_{i}|}\sum _{m\in A_{i},n\notin A_{i}}w_{mn}+\frac{1}{|A_{i}|}\sum _{m\notin A_{i},n\in A_{i}}w_{mn})\\ =\frac{1}{2}(\frac{cut(A_{i}, \overline{A}_{i} )}{|A_{i}|}+\frac{cut( \overline{A}_{i} ,A_{i})}{|A_{i}|})\\ =\frac{cut(A_{i},\overline{A}_{i})}{|A_{i}|}

由上式可知,某一个子图的RatioCut也就是h_{i}^{T}Lh_{i},所有的k个子图的RatioCut表达式也就是:

RatioCut(A_{1},A_{2},\cdots ,A_{k})=\sum_{i=1}^{k}h_{i}^{T}Lh_{i} \\ =\sum_{i=1}^{k}(H^{T}LH)_{ii}\\ =tr(H^{T}LH)

上式中tr(H^{T}LH)为矩阵H^{T}LH的迹,H=\begin{pmatrix} h_{1} & h_{2} & \cdots & h_{k} \end{pmatrix},需要注意这里的H满足H^TH=I,并且H的元素只能取0或者\frac{1}{|A_{i}|}。也就是说我们需要优化以下目标函数:

\underset{H}{argmin}\; tr(H^{T}LH)\; \; s.t.\; H^{T}H=I

由于每个元素只能取两个值,因此上面的目标函数是不可求导的。这里每个指示向量都是N维的,而且每个元素只有两种取值,所以就有2^N种取值方式,一共有k个指示向量,因此共有k2^NH,因此想要找到满足使目标函数最小的H是一个NP难的问题。

由于存在上述问题,所以我们采用降维的思想来考虑解决这个优化问题。我们需要最小化tr(H^{T}LH),也就是需要优化每一个h_{i}^{T}Lh_{i},这里的h是单位正交基,L是对称矩阵,因此h_{i}^{T}Lh_{i}的最大值是L的最大特征值,最小值是L的最小特征值。之所以有这种结论可以参考主成分分析PCA的解法,在PCA中需要找到协方差矩阵(类比此处的拉普拉斯矩阵L,它们都是对称的)的最大特征值,而在谱聚类中需要找到最小的k非零特征值,然后得到这些特征值对应的特征向量,通过这个过程我们也就完成了数据的降维,最终H_{N\times k}就是降维的结果,使用这个结果来近似解决这个NP难的问题。

一般我们仍然需要对H按行做标准化,也就是:

h_{ij}^{*}=\frac{h_{ij}}{(\sum_{t=1}^{k}h_{it}^{2})^{1/2}}

由于在降维时损失了少量信息,导致得到的优化后的指示向量h对应的H现在不能完全指示各样本的归属,因此在得到降维结果H后还需要进行一次传统的聚类,比如K-Means。

  1. NCut切图

NCut切图的方法与RatioCut切图的方法很类似,只是把RatioCut的分母|A_{i}|换成vol(A_{i})。使用NCut切图时,由于子图样本个数多不一定权重就大(只有权重大时,子图内样本点的相似度才高),因此切图时基于权重也更符合目标,一般来说NCut切图优于RatioCut切图:

NCut(A_{1},A_{2},\cdots ,A_{k})=\sum_{i=1}^{k}\frac{W(A_{i},\overline{ A }_{ i } )}{vol(A_{i})}

另外需要修改指示向量的表示形式,RatioCut的指示向量使用\frac{1}{\sqrt{|A_{i}|}}来标示样本归属,而NCut使用子图权重\frac{1}{\sqrt{vol(A_{i})}}来标示指示向量h,定义如下:

h_{ij}=\left\{\begin{matrix} 0,v_{j}\notin A_{i}\\ \frac{1}{\sqrt{vol(A_{i})}},v_{j}\in A_{i} \end{matrix}\right.

类似的,对于h_{i}^{T}Lh_{i},有:

h_{i}^{T}Lh_{i}=\frac{1}{2}\sum_{m=1}^{N}\sum_{n=1}^{N}w_{mn}(h_{im}-h_{in})^{2}\\ =\frac{1}{2}(\sum _{m\in A_{i},n\notin A_{i}}w_{mn}(\frac{1}{\sqrt{vol(A_{i})}}-0)^{2}+\sum _{m\notin A_{i},n\in A_{i}}w_{mn}(0-\frac{1}{\sqrt{vol(A_{i})}})^{2})\\ =\frac{1}{2}(\sum _{m\in A_{i},n\notin A_{i}}w_{mn}\frac{1}{vol(A_{i})}+\sum _{m\notin A_{i},n\in A_{i}}w_{mn}\frac{1}{vol(A_{i})})\\ =\frac{1}{2}(\frac{1}{vol(A_{i})}\sum _{m\in A_{i},n\notin A_{i}}w_{mn}+\frac{1}{vol(A_{i})}\sum _{m\notin A_{i},n\in A_{i}}w_{mn})\\ =\frac{1}{2}(\frac{cut(A_{i},\overline{ A }_{ i } )}{vol(A_{i})}+\frac{cut( \overline{ A }_{ i } ,A_{i})}{vol(A_{i})})\\ =\frac{cut(A_{i}, \overline{ A }_{ i } )}{vol(A_{i})}

同样的优化目标也就是:

NCut(A_{1},A_{2},\cdots ,A_{k})=\sum_{i=1}^{k}h_{i}^{T}Lh_{i} \\ =\sum_{i=1}^{k}(H^{T}LH)_{ii}\\ =tr(H^{T}LH)

但是现在的约束条件不再满足H^TH=I,而是H^TDH=I,证明如下:

H^{T}DH=\begin{pmatrix} h_{1}^{T}\\ h_{2}^{T}\\ \vdots \\ h_{k}^{T} \end{pmatrix}\begin{pmatrix} d_{1} & & & \\ & d_{2} & & \\ & & \ddots & \\ & & & d_{N} \end{pmatrix}\begin{pmatrix} h_{1} & h_{2} & \cdots & h_{k} \end{pmatrix}\\ =\begin{pmatrix} h_{11}d_{1} & h_{12}d_{2} & \cdots & h_{1N}d_{N}\\ h_{21}d_{1} & h_{22}d_{2} & \cdots & h_{2N}d_{N}\\ \vdots & \vdots & \ddots & \vdots \\ h_{k1}d_{1} & h_{k2}d_{2} & \cdots & h_{kN}d_{N} \end{pmatrix}\begin{pmatrix} h_{1} & h_{2} & \cdots & h_{k} \end{pmatrix}\\ =\begin{pmatrix} \sum_{i=1}^{N}h_{1i}^{2}d_{i} & \sum_{i=1}^{N}h_{1i}h_{2i}d_{i} & \cdots & \sum_{i=1}^{N}h_{1i}h_{ki}d_{i}\\ \sum_{i=1}^{N}h_{2i}h_{1i}d_{i} & \sum_{i=1}^{N}h_{2i}^{2}d_{i} & \cdots & \sum_{i=1}^{N}h_{2i}h_{ki}d_{i}\\ \vdots & \vdots & \ddots & \vdots \\ \sum_{i=1}^{N}h_{ki}h_{1i}d_{i} & \sum_{i=1}^{N}h_{ki}h_{2i}d_{i} & \cdots & \sum_{i=1}^{N}h_{ki}^{2}d_{i} \end{pmatrix}

对于对角线元素有:

\sum_{j=1}^{N}h_{ij}^{2}d_{j}=\frac{1}{vol(A_{i})}\sum _{j\in A_{i}}d_{j}=\frac{1}{vol(A_{i})}vol(A_{i})=1

由于h_{mi}h_{ni}不可能同时非零,因此对于非对角线元素有:

\sum_{i=1}^{N}h_{mi}h_{ni}d_{i}=\sum_{i=1}^{N}0\cdot d_{i}=0

因此有H^TDH=I。我们最终优化的目标函数为:

\underset{H}{argmin}\; tr(H^{T}LH)\; \; s.t.\; H^{T}DH=I

此时指示向量h并不是标准正交基,所以在RatioCut中的降维思想不能直接使用。对于这个问题,只需要将指示向量h做一个转化即可,我们令H=D^{-1/2}F,则:

H^{T}LH=F^{T}{\color{Red}{D^{-1/2}LD^{-1/2}}}F\\ H^{T}DH=F^{T}F=I

也就是说优化的目标变成了:

\underset{F}{argmin}\; tr(F^{T}{\color{Red}{D^{-1/2}LD^{-1/2}}}F)\; \; s.t.\; F^{T}F=I

可以发现这个式子和RatioCut基本一致,只是中间的L变成了D^{-1/2}LD^{-1/2}。如此我们就可以按照RatioCut的思想,求出D^{-1/2}LD^{-1/2}的前k个最小非零特征值,然后求对应的特征向量再进行标准化得到最后的特征矩阵F,然后再使用K-Means等传统方法进行聚类即可。

一般来说,D^{-1/2}LD^{-1/2}相当于对拉普拉普斯矩阵做了一次标准化,即(D^{-1/2}LD^{-1/2})_{ij}=\frac{L_{ij}}{\sqrt{d_{i}*d_{j}}}

四、总结

  1. 算法流程

NCut切图为例总结一下谱聚类算法的流程:

输入:样本集D=(x_{1},x_{2},\cdots ,x_{N}),邻接矩阵的生成方式,降维后的维度k_1,聚类方法,聚类的簇个数k_2
输出:簇划分C(c_{1},c_{2},\cdots ,c_{k_{2}})
①根据输入的邻接矩阵生成方式构建样本的邻接矩阵矩阵W和度矩阵D
②计算拉普拉斯矩阵L
③构建标准化后的拉普拉斯矩阵D^{-1/2}LD^{-1/2}
④计算D^{-1/2}LD^{-1/2}的最小的前k_1个非零特征值对应的特征向量f
⑤将各自对应的特征向量f组成的矩阵按行标准化,最终得到N\times k_1维的特征矩阵F
⑥对F的每一行作为一个k_1维的样本,共N个样本,用输入的聚类方法进行聚类,聚类的簇的个数为k_2
⑦得到簇划分C(c_{1},c_{2},\cdots ,c_{k_{2}})

  1. 优缺点

谱聚类的优点有:
①谱聚类只需要数据之间的相似度矩阵,因此对于处理稀疏数据的聚类很有效。这点传统聚类算法比如K-Means很难做到。
②由于使用了降维,因此在处理高维数据聚类时的复杂度比传统聚类算法好。

谱聚类的缺点有:
①如果最终聚类的维度非常高,则由于降维的幅度不够,谱聚类的运行速度和最后的聚类效果均不好。
②聚类效果依赖于相似矩阵,不同的相似矩阵得到的最终聚类效果可能很不同。

参考资料

ref:谱聚类(spectral clustering)原理总结

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,684评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,143评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,214评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,788评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,796评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,665评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,027评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,679评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 41,346评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,664评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,766评论 1 331
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,412评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,015评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,974评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,203评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,073评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,501评论 2 343

推荐阅读更多精彩内容