标题: 【数据聚类】第八章第二节:谱聚类算法之切图聚类、算法流程及其实现 [打印本页] 作者: 杨利霞 时间: 2022-9-12 18:41 标题: 【数据聚类】第八章第二节:谱聚类算法之切图聚类、算法流程及其实现 【数据聚类】第八章第二节:谱聚类算法之切图聚类、算法流程及其实现 ) {# w6 q& ]3 o P+ o. i1 T& K5 M& K& S3 P, B7 W
本文部分内容源自刘建平博客,在此基础上进行总结拓展 + b# }, P" K3 x1 P3 ] ! C! B4 Z5 }% w原文链接, ~# U/ d+ p1 S R: O" Q! K
文章目录 ; {* p1 t1 ^$ F3 |6 \ ^一:谱聚类与图划分 * _# v6 @& ]/ q4 z(1)比例割9 g; G$ d- {% n' j* G& t$ R$ \
(2)规范割(常用) F% h4 M% A6 X/ l二:谱聚类算法流程 + t. q5 Y# Z# a# W三:Python实现# m# X& L0 s/ Y
四:谱聚类算法优缺点$ }/ F" `/ s+ Q, c
(1)优点 . f% l4 J& X- Z- f1 f5 p: p(2)缺点. [5 X" V/ W" Q% e
一:谱聚类与图划分) c9 D! s1 M1 e
无向图切图:谱聚类算法根据数据点之间的相似度将数据点划分到不同簇中,因此将数据点映射到无向图之后,可以转化为图划分的问题。对于无向图G GG,切图的目标是将图G ( V , E ) G(V,E)G(V,E)切分成互相无连接k kk个子图,其中 4 T/ q7 q8 b" `/ @5 l$ R5 B$ [0 F7 ~5 y& g9 _ [2 u$ G% p. B
每个子图点的集合为{ A 1 , A 2 , . . . , A k } \{A_{1},A_{2},...,A_{k}\}{A 9 v" C: U. y: R& i }& Q+ S
1 3 S. e) N( U) `4 F# a( u, Y - _% R/ I3 z! u: V% @ ,A ; C) z- j% q4 `) H9 ?) [- E
2 ' m8 j% z; Q" _( ^8 w N' B" x2 L; }( ]$ ~& J/ t) c3 R4 J
,...,A # W; A4 i7 R% d! A5 V( T+ I4 E
k - y \1 E& n6 s2 s# ]- H1 d1 d+ P6 D7 A
},且满足A i ∩ A j = ∅ A_{i}\cap A_{j}=\emptyA 7 [2 `# @# P* c4 }- a" B' G7 Mi 4 I5 L' z( `( W! ]+ |9 }9 h ) Y3 l K% h- v! v9 C' K ∩A ( Z2 ?4 j6 }4 b' |3 I) F
j" J# \1 @+ P6 i3 p" r2 P+ L( x. w
3 V9 _- r; o1 D. F! s5 } =∅、A 1 ∪ A 2 ∪ . . . ∪ A k = V A_{1}\cup A_{2}\cup ... \cup A_{k}=VA 4 ]& `6 A, x( \) L1 : J2 x9 b5 P5 I" l$ @+ L( }2 h * z+ [2 Q- i4 K( u, I ∪A * z% M# j$ `) q2 ; ?& Y7 T. X T. _# r; J * l# r& u7 r! c ∪...∪A 6 v# z; Z1 |. ?% a# ]& y z& W4 Z
k, M8 Z# r% l7 f A8 \/ T( j
, i9 j' D6 S4 I =V C) o5 t$ z" {( H6 u7 E对于任意两个子图点的集合A AA、B BB,我们定义A AA和B BB之间的切图权重为W ( A , B ) = ∑ i ∈ A , j ∈ B w i j W(A,B)=\sum\limits_{i\in A,j \in B} w_{ij}W(A,B)= * [& J9 ]' _2 k0 n% U6 ]. A3 [7 Ki∈A,j∈B8 L& l5 C3 P: T% f
∑: H( I3 M* u% A; u; m% s* C
7 U2 W: \# Z6 Z* n$ f* W
w % G# f) q [7 Y2 p
ij- y. c6 o$ i4 D# w- b' R3 b) M8 O8 {
2 t$ n/ c! C3 d# m. i' I, R# x 1 b6 T- Q# g) \- Z7 v R对于k kk个子图点的集合{ A 1 , A 2 , . . . , A k } \{A_{1},A_{2},...,A_{k}\}{A 8 s2 P' L( N9 N5 Q* Y) o
1; v0 N) N2 A3 v2 G5 l
+ Y$ C: M" W7 l# K7 a) A' F
,A ! `4 Z# r6 u' A6 `% E w1 ]. l$ W
2 1 K+ M/ q& l9 X8 Z, @3 U9 I/ z& a! P ) D" i8 a% Q7 f3 E9 H2 C; k ,...,A @8 T1 o5 g) C3 [1 N' v
k# d6 v1 `( r0 g
5 z( L$ K( S; F7 X, @. x
},定义切图c u t ( A 1 , A 2 , . . . , A k ) = 1 2 ∑ i = 1 k W ( A i , A ˉ i ) cut(A_{1},A_{2},...,A_{k})=\frac{1}{2}\sum\limits_{i=1}^{k}W(A_{i},\bar A_{i})cut(A 8 }% d' T1 N( g7 Z
1' ?- D* o, k2 g$ H) m4 Q: n9 Z) _
. q% H ?6 e8 j3 e: Q0 c9 q
,A $ g, E3 m2 g( C' ?20 l3 V0 G" `. N" f: D0 g- r
% c' E {( L# C0 ?9 p5 H+ U4 I. l( j) L
,...,A : e* C7 w3 l. F. f* Lk" l% {/ Z7 M: e- F0 F% ^3 G
0 R" A7 |0 J, F7 z
)= - l9 H3 P* W7 |4 F
2 6 |. |, T) l( K8 v7 c2 e1 1 ]) G! i& M' y7 J+ Q# d * ] T4 Y- O1 b; V0 t) z # M( H% Q9 g2 N) W* A/ Ti=1 / Q+ x9 P. U! A8 _! G. ~; @∑. t$ [% h3 A$ u U7 T' [, `) V
k# n: v! ^. Q; a& {/ v" u. {
W b1 ]6 T3 v" M4 S
W(A - P5 y7 c. P" t; w% i9 Ai # c: z, k, {" d. m8 i- l1 d9 X. `0 h _* g: T
, ) H' x! |" u6 B% m0 V' _1 W9 ^$ U( lA" l- K; u2 @ U9 H- y
ˉ 0 i0 P+ m; e5 s2 h $ ]8 V$ ?0 q4 Ci3 f# U- [* z" B% U- i7 ?9 r
" O L! b. z% w! r' A- V; z ) (其中A ˉ i \bar A_{i} * Z$ d0 h7 N% l5 A& E- F, j$ R3 e
A 4 f& ~5 J6 D6 V& `6 Oˉ 2 [; i p5 `5 U% O; G" }* \ $ n( J- a0 n+ ~& V" Mi8 Z/ Y/ N5 t3 R0 t
5 I% h! {& q+ j; Z
为A i A_{i}A / k' z; I, B5 a1 J, z i4 o* Wi/ S# i, G# g/ E$ ?$ b+ ?0 y
9 x5 L, c0 B5 @+ T! b) E6 N W7 @2 ?
的补集)7 u+ G5 {5 Y; F9 e+ y" R
可以看出,c u t cutcut描述了子图之间的相似性,c u t cutcut越小那么子图的差异性就越大。但是c u t ( A 1 , A 2 , . . . , A k ) = 1 2 ∑ i = 1 k W ( A i , A ˉ i ) cut(A_{1},A_{2},...,A_{k})=\frac{1}{2}\sum\limits_{i=1}^{k}W(A_{i},\bar A_{i})cut(A * p( q- n0 ?, Z- s6 r0 \- k. V
1 6 p6 @0 h5 i" C, b" L9 }$ _! _, ~4 q) z; I* h. L4 x% J; K
,A , L( i, g' p2 Y" i2 m8 e! o
2 - D6 |' v& [6 C7 F3 [% u) `( r3 |6 Y/ W1 w: s
,...,A , Y: J3 o' @3 V' g7 Fk 6 H) q5 D. a+ ^) E* x / x$ [" ?/ l; A1 K ` )= 2 c; L2 l& ~# _4 |
2 ' Z# }# P! z8 |0 d. q' R1( k6 P& u' F$ ]+ G/ C
7 U2 G' l. s/ K0 m( A7 ~ - R$ {% t' t, @: }: o) f% N$ Ii=1 " Y# s5 Q2 o6 R% `4 N0 g% \7 i∑ : s, k) l7 e7 K! B! h$ ok 5 ]" U% T5 x4 d/ v6 e" p0 c) Q7 v* b# t
W(A 0 V5 ]+ ?# K6 S6 k9 bi6 h5 o, I# b: q
2 M/ t9 Y9 ^5 ^ O% r! { , ; a3 l2 }3 k2 }8 B- q/ N' LA : H8 ?' j2 j* |- A. v" G/ kˉ . p; i) {* x$ q, [* ~; q0 ?% [7 W2 ]# f9 _6 }, E
i. S3 B" ?% s5 S. m5 u
1 T% O1 \# s+ \ `/ Z9 {' ? )在划分子图时并没有考虑每个子图中节点的个数。所以在某些情况下,最小化c u t ( A 1 , A 2 , . . . , A k ) cut(A_{1},A_{2},...,A_{k})cut(A ; C2 T7 G1 @: h+ M6 b16 l& E5 x: }* y7 M
8 w1 S6 l' [" d7 v+ e! ~ x1 r
,A ; u) M% N w. c) l7 S. j; [
2; b' `2 ^' @" U5 Y! @3 L
5 e9 s, ^' G, x' z r ,...,A 8 A" Z# ^( h+ U: w
k m6 |) \! V5 U
$ J' h3 g* L4 d% T8 S; b )可能会把一个数据点或是很少数据点看做一个子图,导致子图划分结果不平衡$ ^5 f% z- ]' I& M
6 S2 Q! x8 h* ]9 f2 X
例如下图,选择一个权重最小的边缘的点,比如C CC和H HH之间进行c u t cutcut,这样可以最小化c u t ( A 1 , A 2 , . . . , A k ) cut(A_{1},A_{2},...,A_{k})cut(A ; \: l$ n% J" F/ z5 J11 g1 ~+ o I3 Z
; N+ |# b) Q( Z# S+ t! d: ]2 J ,A 8 [( L/ \2 [6 K1 }2 J1 ^
2 3 C$ n) I# Z. D 4 |2 ]% N0 b2 P- [5 b ,...,A 4 S& l+ G3 x2 Xk8 f- s8 y' B9 l$ P3 D6 T
4 }+ N; o. Y+ v) _5 G
)但是却不是最优的切图 9 h6 Z9 L' F7 }* i; l$ V$ n \6 @! h% D: U5 i
为了解决这个问题,会引入一些正则化方法。最常用的两种方法为比例割和规范割 % V$ I; Y6 }1 {) |8 D7 }( } ( T# s" P3 G1 w P3 P& l比例割:R a t i o c u t ( A 1 , A 2 , . . . , A k ) = 1 2 ∑ i = 1 k W ( A i , A ˉ i ) ∣ A i ∣ Ratiocut(A_{1},A_{2},...,A_{k})=\frac{1}{2}\sum\limits_{i=1}^{k}\frac{W(A_{i},\bar A_{i})}{|A_{i}|}Ratiocut(A ' T& o; G; F! P' |2 c1 3 r& N3 E F. X9 L# s2 S. D4 y, U$ u , T" S, }+ O2 F" W% ^3 i3 j3 P ,A ' ] z, M' V/ m$ k. E4 M2. `/ T. o V7 z. s' m
' ]( q3 J* |: {0 Z. d" B# @, n
,...,A ' K( [ v, }; @5 C, Y) m
k ; l5 F5 v6 v+ Y# x! g( q 8 u: w& x1 X/ f( ]* m )= 6 z ?1 \. G- Z7 _ a7 g( q
2: T, e, X) e( u+ Q* x* e# R
1( `+ N. Y" E- ^/ y4 z
2 F- s0 K. z" J9 T% a9 B: g
' M( e" z {+ }% h- a, |; gi=13 c/ ~ k& a( @. f
∑ : j8 T& B. R z7 Dk 7 F" b5 _0 q- g7 N, A7 m& w) V! s 0 b( X. V, [$ b- X# q5 o- o2 l4 O, u. u- Z
∣A - l) t) c) w+ M2 L7 D0 Q1 h& U
i' y0 e% ?$ l6 O& s T& u
+ H. }/ p6 p" e ∣ * P% ^- B& C/ YW(A ( Z9 i& W2 h6 @0 Hi ( S6 \2 _& D- T q: G3 k& t# g! q {0 P/ F2 @$ |4 o , ! Q9 m" U+ J& f4 m$ C0 {2 U
A+ E5 z" @( X+ P1 f; f& u
ˉ * G! `; Z0 n" d' t2 @6 [0 b * T& j5 q" x& ?- z( l4 m4 \1 Vi" R0 r" k0 o: I1 l0 ], a2 R3 K' l
/ B3 S" I$ e! u/ j5 h# D ) 7 c4 h; m, G! X9 C- |( _' o ! J! S- K: Q, e+ T0 ^ $ Q) ?$ E& K3 C' f- E8 @" }/ J规范割:N C u t ( A 1 , A 2 , . . . , A k ) = 1 2 ∑ i = 1 k W ( A i , A ˉ i ) v o l ( A i ) NCut(A_{1},A_{2},...,A_{k})=\frac{1}{2}\sum\limits_{i=1}^{k}\frac{W(A_{i},\bar A_{i})}{vol(A _{i})}NCut(A * A( n x' T! _( C3 F& e
1 $ o3 }5 e3 a0 {- O ' k- a; O" M: U: ~ ,A & D6 ^9 F q" i$ l6 u! u
2 # S- J6 `0 P7 N% j+ h! ~ . ~$ b( {9 t- D8 E4 k9 h" F ,...,A 6 P# _4 k& C) F+ }k0 `& h" ~$ F6 y% P7 Y2 p
7 j1 [# J, z- \
)= 5 s) ^, }1 y4 w4 F1 z
2 ; A$ N7 d0 m4 f1 `! O12 C& o/ o- _6 n* W2 ]& G9 }
3 }% U& D4 i& x3 v Q- p2 C 5 E4 q" J! k7 Oi=19 z9 u& t1 k1 T0 h$ U& k$ P4 m
∑$ m4 @! G6 M% u/ u$ i3 n* f* Q; Y
k1 y/ H U3 `0 i
/ h4 `) z" T7 E2 e
: R( b3 _# L, z. V/ jvol(A 8 {! t$ Y- l$ u' N
i. Z$ A; X; q/ a1 y
3 Y5 W& w0 ^9 v. u$ l- k2 l
) 6 v# F7 }& H1 @1 SW(A 7 N" s9 @& `+ l0 D9 Z2 N# h9 Z( u
i ; U9 W& S: l' n1 S W O( U- J0 t7 \; g( O2 k" |; [ , u/ b+ i @; Z* R# GA * W7 x3 X2 x6 T% ?6 {" fˉ" W6 P" u3 c2 k
& C+ w. ^" g& ~3 ?7 zi * ^% a9 d+ U9 O: b) f0 u" s7 Q/ z \) ~6 S4 D( A, P
) 1 R2 K) I; I; T7 m# t7 |1 I9 I5 z- N. E2 h
$ x4 l. L) e+ n9 {* ~8 ]5 A% ~(1)比例割 ) e3 G/ u2 E+ J) _# n引入指示向量(点击可查看指示向量定义)h j ∈ { h 1 , h 2 , . . . , h k } h_{j}\in\{h_{1},h_{2},...,h_{k}\}h & M- z7 E, r3 u+ d% x7 e8 u5 P
j9 K" h' F5 s _% K) l( M+ r
8 {4 m. W1 }4 f3 {
∈{h - Y# j( J4 ?& {- S
1) c, N6 I: {4 b% G0 U7 M
$ q) l; k' U4 H3 N: o2 k2 ~; m, B) V% K ,h ! V5 }* c( d8 R9 C7 ]- T5 ^. E
2$ x: n- \ @$ R& o; K# P" w
8 L' @3 u6 k: e( u ,...,h . n1 t' M" {6 L% d
k% ~$ A0 L1 r! L# W# D( K( e
2 ?6 e. ~0 U9 r$ A6 p/ o9 l
},j = 1 , 2 , . . . , k j=1,2,...,kj=1,2,...,k。对于任意一个向量h j h_{j}h ' `! T) q. e4 O! Zj 1 k( s0 g, q$ P0 H8 e* n2 U& f9 f$ [- H. h* O- G* J( r9 t7 Z
,它是一个n nn维向量(n nn表示样本数),定义h i j h_{ij}h . _ _+ C5 R& Q% ?9 e% t2 c! J5 Wij" e: G! D9 L; j: W( ]: r) K* e
# y) k6 a a) n
如下/ l" o8 u( s7 Z2 ?. L( k
2 b" b" |# z, B/ B
h i j = { 0 , v i ∉ A j ∣ A j ∣ , v i ∈ A j h_{ij}=0 J/ s) g/ i& Y
{0,vi∉Aj|Aj|−−−√,vi∈Aj : \& b& R: L% x: ]5 W( B1 ]1 c{0,vi∉Aj|Aj|,vi∈Aj2 q. t. w+ p3 V1 Q" R& B
h ; k, B2 F# W7 @ij ; x5 @3 x, v: l% C" G& ]9 I/ d0 O$ h5 c ^0 z# u) H
={ 5 u# K5 J0 R( U6 Q0,v 8 q. p0 S% | z5 [ j
i / Z5 h5 B# Z; U0 B9 Y ( t1 P, X: n/ M6 ~ ∈( E! w% l5 ?( v- d& D! U* M2 J' C' U
/ 0 E# `, I9 a' X9 b5 y1 g# u- U7 e4 GA / P. w& q m/ \j2 G- H* K: \- _3 c
7 {7 L6 M" O$ W) |! C4 A- J 7 g1 e$ Z) h! G I5 b3 p( ?0 O∣A 8 B- M3 Q. q1 Xj' S# g9 h8 {* E
! a5 s' i/ |% b! x1 P$ T; P ∣( t+ m" B. p' g! W% s H
6 M8 S9 g% P0 b$ E+ H1 \ x+ V e+ h ,v % W* O" |/ M' K& [i - f. i5 H9 J0 _- [7 u # g/ t/ q2 z% e+ T- b B7 U ∈A 0 E K4 A1 v- d8 C! r+ Q# K# f
j9 Q5 U6 H6 d$ W
: O4 ^& D8 V, J: Y
; f r1 y7 i: r
/ m. s' C+ }. [; s9 V1 ~' A0 m' @0 N& a+ A/ x% s- X
, @7 `3 _: u' r: k$ `7 c: r于是,对于h i T L h i h_{i}^{T}Lh_{i}h ' V: P. o3 k% D: Y0 q
i ) @+ u6 S( m% w' r+ I" YT ) m) [, i% C8 l( j 9 s# a( ^. W' S. }7 G# x+ [) m Lh ! C) g1 w8 @+ x! l) [( \i1 F4 \; [* R% J: D' I( C* r
+ |4 p. J T, f ,根据拉普拉斯矩阵性质可知 1 ^1 `( L0 ^% x& ?" U2 H% Y; D9 ^4 h; G {: O
对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f + o$ ~! ~5 x+ {, X4 @1& J2 _" ~) a% L$ [
5 N3 T& S% R/ a+ }* R- t- B' }
,...,f # v$ h! \5 c* p' M2 P" P+ Ln/ {3 @: ?4 S. W) v8 `8 v4 w
y2 u0 b0 X) H' G8 t: e8 u
) 4 h/ r/ r0 E8 D; z2 X
T! v" L1 g% K9 w& g4 l) G
∈R 6 Y8 W. V( U6 [- h7 i, Gn : I+ b y3 Y e/ p# v ,有f T L f = 1 2 ∑ i , j = 1 n w i j ( f i − f j ) 2 f^{T}Lf=\frac{1}{2}\sum\limits_{i,j=1}^{n}w_{ij}(f_{i}-f_{j})^{2}f 5 k: ]" l1 A; t( v1 q- e$ dT4 M7 Q& ?, ^4 \( f& K3 k Q
Lf= % U0 t8 d' h4 m, b! ?( ?- L
2 : B3 y' X5 q1 Y8 H8 q! L1 ; b* G9 R7 }* ^6 |) {2 ]9 V( U s @& R3 u0 X1 d& u' P* [
% }( s) w6 N, o; pi,j=1 : R5 B% }8 {2 P8 P$ [9 l∑7 B* M, D* \* b. n% {- r- a
n" p& j4 ^" S- F- y* @
( B2 c- R" E y; f w 3 C# x' k- g/ A8 C
ij " c: ~* Y1 W2 ~* J `5 T* N' g) ]6 }4 U* S
(f - ~4 o6 T( b2 B; w
i* V& g0 n! C$ z' F$ U' O" k
6 ?5 K' V6 f1 g+ y$ B8 E
−f 2 f: a ^( L9 q/ Nj : ~( _6 S5 U; N' U2 O# U - c! F5 Q- `" M6 g ) # E! J! }# c: O$ l9 t
2) k. ?( }9 L9 l# E- a$ {
# S5 [0 E5 m- g. _) nh i T L h i = 1 2 ∑ m = 1 ∑ n = 1 w m n ( h i m − h i n ) 2 = c u t ( A i , A ˉ i ) ∣ A i ∣ h_{i}^{T}Lh_{i}=\frac{1}{2}\sum\limits_{m=1}\sum\limits_{n=1}w_{mn}(h_{im}-h_{in})^{2}=\frac{cut(A_{i},\bar A_{i})}{|A_{i}|}/ h/ B5 B% t/ V4 h {; L4 ]& z8 g
h 4 L7 A! x5 b, I' o1 w
i. U, ?" L. q+ E" U, i1 _) N) v3 t
T $ r- Q. V/ c9 i. f" V/ Q$ a& _6 k% N4 j% ?. }
Lh - e" y6 i" z9 z. b- s) p
i ; U/ f0 T5 A* H* \2 {( t2 I3 h4 ~" U' N$ j9 v6 m0 H
= " J9 U2 x g5 I$ ~
2 - \6 _0 i) e& f( M" k12 h" o0 w; J* g: d
. H8 U( z# d# N/ h5 Y) X
! R" |' y8 ^/ u7 n/ _% C1 Rn=1 j9 k/ v8 u8 A Y
∑4 h+ V8 [3 i- Y- |( E/ C
7 E) T( i; T. t, F8 X! F w 5 P) N. o+ |# h" M/ ~& B. \9 a. z$ z; b
mn. I* s8 Q3 p! i5 c% h2 ^% z
4 h9 g4 b; X3 E
(h 1 a7 F' G3 a3 }& |
im. N# t6 D/ }- X+ k3 p4 ?0 V
5 \( @: I1 X) N9 R( p @
−h / T' q9 Z* ]# }- R- K3 e; u8 f1 jin% _5 [0 F& O) X; Y5 b
5 Q* c, f- }/ J ) ; |9 \, }, n$ c5 ^21 u3 v1 K9 m( x
= # T7 H8 G" Z; N+ N
∣A , p8 g7 c5 y @! K! w0 V5 P
i ! @. X4 v& C" Z" e) r3 f: x4 E6 A$ j0 p8 j+ G: A$ p
∣6 |# t( F% E4 ]% C
cut(A 4 g0 V9 b* j. l. r: ji+ B& K, e/ k c. B4 G! ?$ ~
% E3 h5 O) ^3 |& L , % H+ E$ A, s3 i0 N+ \
A/ K$ L8 X6 X+ f ]) Y* T3 X
ˉ ! `) x# ]; t7 q1 T & h; D# T+ r& u# Hi0 m' C- G# c$ R
2 G+ K. l$ C: U# F2 b5 w1 @ ) & n* u3 Y$ B( g0 h3 _; @! @" \6 l; }. T, w
. [5 H1 l; A% M8 s) b ! d. a& p/ g T, |严格证明过程请看刘建平博客:链接 ! ` @) o3 C4 ?$ ~可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h ! W J$ I, l0 r2 f. ]- P
i 4 l! \* z* B& [0 b+ a' a* LT% K( w* m- d2 h, L
% i9 L' d: t- V. `' O4 _5 N
Lh 6 F- w! G8 F+ V2 U# Z7 I9 Z7 O
i( E: [! e5 _1 p6 U% [
9 G* Y4 |" A& U* O5 @+ X
,那么对于k kk个子图6 w, q) O6 D8 [3 l2 Z5 Y5 \
+ h. G0 `8 P5 S, D7 _+ ^
R a t i o C u t ( A 1 , A 2 , . . . , A k ) = ∑ i = 1 k h i T L h i = ∑ i = 1 k ( H T L H ) i i = t r ( H T L H ) RatioCut(A_{1},A_{2},...,A_{k})=\sum\limits_{i=1}^{k}h_{i}^{T}Lh_{i}=\sum\limits_{i=1}^{k}(H^{T}LH)_{ii}=tr(H^{T}LH) # d" Z; ]; I. N3 YRatioCut(A 6 { e3 X& N8 g9 Q6 _0 v# B
1 7 O) J" i: {0 m8 f( c# X! F; [- c' O
,A % W% J5 E; f4 J2 G2 ) ?( Z# l9 t7 H% r4 n% @% D; L% x/ g" z: I! g' x& ~& V" L- t
,...,A 9 c6 y$ P* M- L+ o9 O8 o$ D: q1 B4 X
k / P( k& H6 N' T! Y+ a7 ?: N" h$ D o) R( _
)= - ^/ A1 e4 R3 c+ wi=18 Y/ k4 \: |0 e% ~
∑5 L7 C6 v' n1 ~1 D* p0 p) W$ y
k! f( ~- U: y# v* e4 Z* K
: Q6 ?+ m7 [4 ?) s# M/ x! n h & m/ S" n8 [" I7 X5 y0 A. _; w$ ri5 E) x& c. B0 M! f! t* Z" s! h
T9 U& {2 L! L8 ?: e5 b
7 ^! A& G% K/ t$ @* U" v3 e3 }
Lh 8 t! W4 T$ M( O2 H" I, p
i% s* a6 C/ G2 x: h; o
- S( }. d0 Y# L* o7 s0 M$ Q1 N = & H' ]" K' h# ^( r9 Ci=1 ; c* n4 j' m: J7 u5 ~∑ + T. x1 s3 {7 F% }: ]' L# |! Xk 0 F' ]2 m' c1 ^, y( y, q+ n2 F; J7 `* L7 m! t! S1 T4 ?# o
(H : h. D! J' F7 }" i% T3 C- Z& iT % T4 t- P# l+ b% E# H- {3 p. v LH) 1 Z( W5 G# i% S/ x3 c5 S2 ]# |ii6 {$ u9 i3 c5 [8 n$ ]
' N! J4 Z! Z+ I% Q4 L =tr(H ; u" l1 X: P$ P) FT * q; a1 h/ j, v6 I6 q3 V4 O, } LH) 0 x3 \: ? w5 O, k) P( U5 S& U4 @2 }* L3 w/ i
因此,R a t i o n C u t RationCutRationCut切图本质就是最小化t r ( H T L H ) tr(H^{T}LH)tr(H 9 G0 O M) n$ T* |& c& W5 i
T ! s& K5 B. v5 V- H LH)。又因为H T H = I H^{T}H=IH + R* M3 O' O" D& k8 q7 y; q, z
T - N0 d* c( ^+ {$ a B+ G H=I(单位矩阵),则切图优化目标为 $ a" I. o/ w$ r& Y! P- b* W3 o% G* U
a r g m i n ⏟ H t r ( H T L H ) s . t . H T H = I \underbrace{argmin}_{H} tr(H^{T}LH) s.t.H^{T}H=I. h' u( s% r8 L. A2 ^ f a
H( V" Q; x! j/ ~" e l" P1 d! c) `
argmin % W5 q7 H+ d! L. g) U8 H; z; a$ ?7 A) l9 Q
% ]6 B. w: i+ z1 E! y9 q % X+ [0 D6 i% } tr(H 7 ?2 @. l9 V( i" I
T. S# S$ @5 [, m5 L" |) o
LH)s.t.H + v+ R }0 S0 m. E$ B
T # M3 S6 i; `$ z3 t" A5 J! ^ H=I . X) z! M! i3 }) ~1 m. T ( v8 C7 g6 n& a/ c对于优化目标t r ( H t L H ) tr(H^{t}LH)tr(H 4 A1 _; v0 U+ |' u/ tt& A- y* P% ]# B4 q$ Y
LH)中的每一个优化子目标h i T L h i h_{i}^{T}Lh_{i}h . k/ ~1 g* J# s4 E4 U# s1 fi# g2 j/ V# G( F5 r
T7 j; s: H+ M' s+ V
p# h" t) V$ w5 C0 s" J1 R1 J1 N Lh 0 B2 C6 c8 T: k! V( Q4 Ii + Y' M7 o* \" Y/ N 4 y* u5 K9 \- i) d. Q: B5 [ ,其中的h hh是单位正交基,L LL为对称矩阵,所以此时h i T L h i h_{i}^{T}Lh_{i}h & u8 L- ?& M* I. fi 6 e' W) w9 F- |: c6 f% W0 R' OT n8 O/ N$ ^3 ~' q) p+ o- [7 S+ u
9 z6 C9 l c# P+ E: {
Lh * A' [! d5 X- x6 ]5 I# @
i% ~# `6 T; _$ Z2 H& r4 Q
2 Y5 z! T6 ^0 v) k2 G
的最大值即为L LL的最大特征值、最小值即为L LL的最小特征值。而在谱聚类中,我们的目标就是要找到目标的最小特征值,得到对应特征值向量,此时切图效果最佳。所以对于h i T L h i h_{i}^{T}Lh_{i}h # h" n$ Z3 O' n. oi * o6 I; {1 B, L) o+ ^( R( z8 @T 2 z, n- T" n5 |2 q( k* s7 _& M; m p6 B2 Y) k/ F' @/ Q8 j
Lh ; G2 P2 `1 l3 V0 J. `1 I1 Ai& I7 x$ `- l. L7 {3 X9 V) F% x, j
" d! C0 N/ A$ t8 y. w, f7 c1 N ,目标就是找到L LL的最小特征值,而对于t r ( H t L H ) = ∑ i = 1 k h i T L h i tr(H^{t}LH)=\sum\limits_{i=1}^{k}h_{i}^{T}Lh_{i}tr(H 2 r9 U, w* Q! U. k; \9 Pt 2 O( P1 D" r4 n3 C0 {# ]/ C; Z LH)= 8 Y" ?% y( T- [7 I
i=1 % ^" ~% c$ l& M/ e. ?* ~0 [3 c∑ G7 J; @2 f. I4 x
k 7 C4 b/ @' j, A/ N$ q7 ^& U/ A7 i, Z, n9 n7 a
h 2 G4 D7 N( C0 Y D$ ii1 q. D$ l: B, b* P
T0 g: X& a- C- x+ a" m5 u2 |3 t
# ]& V, g& D( [8 b( b/ `
Lh & |" i# m1 o0 |+ ]0 g" @i 3 l c5 K% P8 \2 L- G. r$ R. |6 \. z5 s4 A) d! k H7 v: L! o+ l
,则目标就是要找到k kk个最小的特征值" c9 n" i; @4 \* Z' \; d4 l
: L- [% s% B1 t6 Q K4 @, d; i因此,通过找到L LL的最小的k kk个特征值,可以得到对应的k kk个特征向量,这k kk特特征向量组成一个n nn×k kk维矩阵,也即H HH。一般需要对矩阵H HH按行做标准化,如下 % C) Y: ?6 e0 M/ \2 b) i7 V1 u8 Z1 |1 |3 f! q) Q) B {* P
一般来说,k kk远小于n nn,也就说进行了降维- C/ h5 {/ j8 C+ [: \/ A
h i j ∗ = h i j ( ∑ t = 1 k h i t 2 ) 1 2 h_{ij}^{*}=\frac{h_{ij}}{(\sum\limits_{t=1}^{k}h_{it}^2)^{\frac{1}{2}}}" V7 j: H# n8 F- [) y/ Z
h ; M0 [/ e2 y- |6 f
ij % Z) ^, Y9 t3 }; h: [) b∗9 U: h' r$ y8 t1 |
8 B' d3 `2 I' L% q' E7 A# x6 i
= 3 c" z" Q4 t6 t' d$ a- I% Y( 7 G' I" T9 f" `, r3 Nt=1& d& _) H; p- m3 I# r) q5 [1 V
∑7 @0 U2 ^( e% l( m2 X j& K# m5 l
k 3 g$ S: g# s9 I! R. w ) Z H3 k8 O. i$ M9 @# g h 5 o( N5 E0 M/ Z& q2 X& Jit1 O# E4 A$ m9 e/ \+ u) B& ]4 C
2 . r; h& S* X0 Q! D9 C) ^9 s4 a/ c0 M5 p" [* _) S
) " _4 ~% ^/ [# m28 p. h8 f- m6 p- {* ~8 c, f$ e
1! r0 k2 \ ~# N! G/ k$ O! y
' Q1 O! W0 W) X! |& L( ^
; c$ J1 k# d& V' P
2 l0 u. t. E _! t! l
h % I7 k, @$ f* M* c4 bij% K' n' K: _" f
2 T& M4 x; o6 r1 J* E& Y0 w