聚类模型-图聚类-谱聚类

聚类模型

1、层次聚类

2、原型聚类-K-means

3、模型聚类-GMM

4、EM算法-LDA主题模型

5、密度聚类-DBSCAN

6、图聚类-谱聚类

六、图聚类-谱聚类

谱聚类是一种定义在图上的聚类算法，与其说是聚类算法，更是一种图的向量表示。基于向量表示之后，一般可以采用其他的聚类方法完成最后聚类结果。所以谱聚类的类表示既依赖于向量表示也与之后采用的聚类算法有关。

对于一个图$G$，我们一般用点的集合$V$和边的集合$E$来描述。即为$G(V,E)$。其中$V$即为我们数据集里面所有的点$(v_1,v_2,...v_m)$。 谱聚类根据图上节点之间的关系（关系度量：$ϵ$邻域，$k$近邻图，全连接图），构建一个邻接矩阵来描述$m$个节点之间的相似性：
$$W=\left[\begin{array}{cccc}{w}_{11}& w_{12}& .& w_{1m}\\ w_{21}& .& & w_{2m}\\ .& & w_{ij}& .\\ w_{m1}& w_{m2}& .& w_{mm}\end{array}\right]$$
由节点之间关系的对称性，显然相似性矩阵$W$是对称矩阵。现在，我们希望学习到节点的向 量表示$x_i,i=1,2..m$，使得相似性越大的两个节点$i,j$的向量表示$x_i,x_j\in R^n$的差异尽可能的小，因此，我们可以定义如下损失函数：
$$\min \sum _{i,j=1}^m{w}_{ij}\frac{|x_i-x_j{|}^2}{|x_i||x_j|}$$
即当$w_{ij}$大时，相似性越大，$|x_i-x_j{|}^2$尽可能小。上式经过如下变换，也就得到了谱聚类与拉普拉斯矩阵的关系：
$$\begin{array}{rl}\frac{1}{2}\sum _{i,j=1}^m{w}_{ij}(x_i-x_j{)}^2& =\frac{1}{2}(\sum _{i=1}^m\sum _{j=1}^m{w}_{ij}{x}_i^2-2\sum _{i,j=1}^m{w}_{ij}{x}_i{x}_j+\sum _{i=1}^m\sum _{j=1}^m{w}_{ij}{x}_j^2)\\ & =\sum _i^m{d}_i{x}_i^2+\sum _{j=1}^m{d}_j{x}_j^2-2\sum _{i,j=1}^m{w}_{ij}{x}_i{x}_j\\ & =\sum _{i=1}^n{d}_i{x}_i^2-\sum _{i,j=1}^n{w}_{ij}{x}_i{x}_j\\ & =tr(DX{X}^T)-tr(WX{X}^T)\\ & =tr(X^{T}DX)-tr(X^{T}WX)\\ & =tr(X^{T}LX)\end{array}$$
其中$d_i,d_j$是$w_{ij}$按行求和（按列求和），因此矩阵$D$为$w_{ij}$的按行求和（按列求和)的对角矩阵。
$$\left[\begin{array}{cccc}{d}_{11}& 0& .& 0\\ 0& .& & 0\\ .& & d_{ii}& .\\ 0& 0& .& d_{mm}\end{array}\right]$$
其中$X\in R^{m\times n}$其中$L=D-W$，我们称$L$为拉普拉斯矩阵。

因此，当我们约束$|x_i|=1,i=1,2..m$时，我们的目标函数为：
$$\begin{gathered} \min tr(X^{T}LX) \\ \leftrightarrow \sum _{i=1}^K{X}_k^{T}L{X}_k=\sum _{i=1}^{K}L{X}_k{X}_k^T \\ s.t.X^{T}X=\mathbf{I} \end{gathered}$$
其中$X_k\in R^{m\times 1}$表示所有样本在$k$维构成的向量，由$X^{T}X=\mathbf{I}\to X_k^T{X}_k=1$.所以目标函数右乘$X_k$有${\sum }_{i=1}^{K}L{X}_k=\lambda X_k$，因此，最小化目标函数等价$L$的前$K$个最小特征值相加，对应的$X$为前$K$个最下特征值对应的特征向量构成。就此目标函数求解问题转变为特征向量求解问题。

得到图节点的向量表示之后，后面就可以采用常用的聚类算法进行聚类，比如Kmeans。

谱聚类算法流程：

1）确定图上节点关系度量，得到相似性度量矩阵

2）根据相似性度量矩阵得到拉普拉斯矩阵

3）对拉普拉斯矩阵求解前$K$个最小特征值对应的特征向量，即为节点的向量表示

4）采用聚类算法对节点向量进行聚类

谱聚类特点：

1）相似性度量矩阵限制了数据的表示为$m^2$

2）谱聚类对相似性度量矩阵的向量表示存在损失

3）谱聚类的向量表示数学形式非常漂亮，代码实现方便

4）聚类的效果与相似性度量矩阵的计算，表示，以及最终采用的聚类算法有关