3 f( f) v/ k5 ni 3 }1 J7 @7 b! d4 N) c" i/ Y4 W; `; ?# E4 |
) (其中A ˉ i \bar A_{i} 9 h6 ^- r, A0 ?) ]2 K' dA& O4 D8 L) _. {/ Q
ˉ : f( t8 z8 c" q# u; L 0 |+ K5 k3 ?# t, ~' g' L# p0 n% Hi$ \1 _; [. f) \- l9 A$ ]6 w
1 |+ S n" t: \; ?9 @+ V. U
为A i A_{i}A 6 u, n+ e0 {9 z2 y; K$ C
i * e& t4 s) Y- E) _5 C 5 h n; Q7 s- M% l2 g 的补集). c/ W D1 ^7 M/ t/ R4 X* m9 p" w
可以看出,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 : n, p% Z2 x) [/ t$ F! B
1# g( k7 ^" c4 g) i1 }# o9 r
& F8 f# [3 O& ~2 ]' u/ N8 G ,A 7 `' y' x2 e) P2 Y$ T$ n g
2# Z+ g' T* t1 N$ m8 d2 K% y( \
6 R& u$ Y1 i* h ,...,A ( L% B' `) p7 ^k" z' z& i$ X/ L% i' y! ~
8 u( P6 ?/ |( L6 t+ ~9 b )= + L5 |3 }! i$ c, D
2+ G; u6 y9 @7 W
1 ( M D! i x. k& K2 v/ f4 F$ ]- q3 K# N r. y" W2 B7 Z
p' L8 R( y) K
i=1 ( i: t: H. m% x9 G: Z∑, X* z8 y o! Y% C- v
k * e; F, g4 m# R7 b9 r+ p2 t( A J5 e! \: C: L4 x$ n
W(A 7 o, P8 A9 O7 V8 f1 K" Y
i . ]# N3 d' t- M8 u& A' t6 J+ D: P' H( v& u: `7 d* C! \
, , A7 c, l7 G: _0 d% f6 GA 7 [0 z- L; C1 j9 Q6 qˉ8 [4 t- E8 |* F# {
8 K# E( h Z# K" C, O' c' si / M( _+ @" y8 U2 W) v . O& W0 s+ Y2 c* d )在划分子图时并没有考虑每个子图中节点的个数。所以在某些情况下,最小化c u t ( A 1 , A 2 , . . . , A k ) cut(A_{1},A_{2},...,A_{k})cut(A 4 q: s$ t2 P+ P8 k4 i% f! K8 p
1 ; c$ X6 v; S ` w: c( D! r3 a " |! x0 T) [2 Y0 o- j4 ?. c. j ,A 3 N3 V" v# S' h
2" _9 j' `. l) _% |) J' b: i1 B& t
3 s' V4 `7 ?; w2 q ,...,A 2 A( Y0 W: V$ }k ( `- p) R7 a% X+ v# u 3 i) [! V0 S& A- H4 _' I )可能会把一个数据点或是很少数据点看做一个子图,导致子图划分结果不平衡- s/ {7 k) ]4 M3 h- o; K2 E5 t
: {+ J* i. X& D; K
例如下图,选择一个权重最小的边缘的点,比如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 8 q( A$ I Z) I h! h; b! {
10 p/ R6 t/ j; T) _
+ F3 q2 u) K. v6 D8 F& N ,A 7 U) \- E) Y8 h5 H
2 9 q* G6 S l" y* s. G 1 g/ ~, E5 F, u5 R* i( ] ,...,A & y2 t. O& e6 h$ g* ~2 ]% l [
k6 T3 U( Q1 \% ?% N4 {1 X4 d
* R5 z$ O- J( Z )但是却不是最优的切图/ r- k8 T# v8 C. t
3 k M5 f; V/ N, a3 {# A% C3 _为了解决这个问题,会引入一些正则化方法。最常用的两种方法为比例割和规范割' ?+ ~6 E# Y0 K% C9 l2 |' Q
, M3 o5 j; U6 a" b9 I$ g
比例割: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 $ h( y* T, o' b' r. F+ W1 z% d7 }2 S; h- Y4 s) d% R) p" B2 J+ p s) r1 X
,A " I8 w3 N* }! U( G" u/ z2 ' f, }/ T* H; s0 Z& ^, A4 J7 ~; K3 X0 W2 t1 A
,...,A ; s5 o; N6 R1 B& pk ' L c; o" B$ U+ @% r* T* ?) d/ J; F2 l- w+ x2 V
)= 2 _) d! p( K- b: Y4 W, T2 . q; ~* ], k9 U" t/ J9 S14 H" k; V3 h: T4 U1 ^* J2 j$ J& Z
, z6 W. L! g4 m/ V2 P9 ~" N+ L! k$ C9 Z& W) `" `) X
i=1 0 Y6 ^4 ]- ?3 f: R) y( N∑ / i q, r6 L8 }4 wk7 Y L9 }; ]) x5 m
g! R3 }' Q, A0 ^" k5 j! ~
5 m# u. ?& e% F' M∣A 1 q5 ^) [) z, [# J9 {, r- T! P
i ; Q$ P7 ]6 ]+ w" Q9 C " r. p4 J+ K4 J- q. t K2 z7 W& E ∣ 1 |+ v& q' C' Q8 ]; WW(A \! W r7 M' O7 L7 q, Y- Y
i5 E/ i+ t6 {. v4 R. q/ ~5 n6 O
$ Q4 ~1 U. S& r
, 1 ~) `2 H" C+ H/ Z& M d- o9 t
A % a3 M3 O# q, B! k* k( E7 J, j, bˉ/ m" k8 n$ w( _; h4 `
" @' g2 i& `) U- h) l
i( o$ H5 Q, ?7 T% J
% b% v2 q x. J ); x2 |. T0 x. }% m, C- ^( I
( W$ `1 ?" d3 V: x
$ \8 I' ^/ i) L$ D5 v规范割: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 # b! Q3 H" B0 V1 4 g* W6 F* A. p+ n+ f4 m" _; u- Y; ?1 _' f" s; b
,A 3 o+ A7 V; o6 i' o; e a4 t2 " a* n) q6 g& F9 l4 a& I' p. g4 \8 `9 ]" Y3 W: j/ W' [
,...,A ' r: E: g5 |0 }7 e- S) w' _$ X
k 7 B2 b7 g: L* l ! w6 B( N9 Q! K1 ~" Q5 |7 b )= ' t( P4 B1 ]/ v% |5 j9 }8 V( V1 D/ u2 # A& E' ?2 H! d6 X1 `" A& Y15 l `+ H1 V$ X1 [4 e6 U$ k% V5 q
; E# S4 w: V3 v' p ! h6 A7 x8 D5 Ri=1 5 W0 \+ o8 K: q0 k7 y∑ ( d P" c+ G3 n8 g" p- Rk" f* V, r& ^# n' ?
9 q% a Y: }) Q* f1 n2 f. ~
' g4 ]3 b4 C8 @; G" v5 yvol(A " S9 s7 ]' k" h- \
i * s+ d+ G3 X' k$ E) P/ Y- E V" C" L p. a7 T$ a' d& L: {, i1 r6 ]
) 2 w% j# d) j, _8 _W(A - z- ^: d" f& ~- [
i. J+ s) k. ]/ k1 a
/ |8 N5 a7 Z! N4 z
, , J9 q: M" H+ l
A% x+ G3 ?9 I! U" R
ˉ : I( Q5 _, [ }6 ^( H$ u4 K" }9 q
i ; Y; E( H; x7 ?0 b6 z) c* X7 M# W9 U" M( g
) 8 r0 \( i& o( `7 [/ E* ?# _7 f / P/ L1 h# {: ^- D k, _$ R* F, E; B8 a1 @) ^
(1)比例割 # J/ }" p, G( w% j( n# o引入指示向量(点击可查看指示向量定义)h j ∈ { h 1 , h 2 , . . . , h k } h_{j}\in\{h_{1},h_{2},...,h_{k}\}h & h& X- b' c4 f! b4 t3 r' O1 w8 v
j, s0 c! w( l$ s$ t$ B9 d9 _( \8 U
# K8 d; z( \$ f ∈{h " V9 D/ d( M- {1! E7 A9 r5 M& R. ^: [
8 F. V( t7 t5 @+ }4 E ,h : j9 m/ B4 W' p. H' Y% k2 * f% i8 k! ]5 W- { l2 Z& ?2 z" ` ' ^/ K0 Y& l8 b9 M+ k, }* g3 O8 ^+ ^ ,...,h 0 w7 C4 Y' O, d% w- Z6 R: @
k% p1 s/ s8 v8 { c7 F1 L% ?% T/ U% p8 D
5 w% ]! o3 R, A3 z },j = 1 , 2 , . . . , k j=1,2,...,kj=1,2,...,k。对于任意一个向量h j h_{j}h 0 u( @1 s/ C) q$ @4 z
j& I7 U! q1 V3 E' M. m- y
" `! u7 o* [( l! Q3 G# M ,它是一个n nn维向量(n nn表示样本数),定义h i j h_{ij}h , n/ Q& l+ w- k \' k- k
ij * u1 s# r1 l5 r1 |/ Z8 e3 B9 `' m& f# n, b) E
如下4 D+ y% }& M n7 i% o
! e( J/ K/ n2 c. @6 a: hh i j = { 0 , v i ∉ A j ∣ A j ∣ , v i ∈ A j h_{ij}=; _7 F; b/ x2 y
{0,vi∉Aj|Aj|−−−√,vi∈Aj W: E' K( o# j% \1 l1 m
{0,vi∉Aj|Aj|,vi∈Aj. w; |: ^2 p S2 p4 J1 |
h : W: Q! u; E/ K1 p, m2 R
ij * c( N- {% Y' E$ ~; b1 Y$ b B2 g# A, Z/ j8 l* b ={ 7 e! D! R9 g: Y$ d
0,v 0 Q3 G8 W, z' z! fi( N- @% l. H, k6 m6 d
1 w1 B( p7 [: o/ ] Y4 l
∈1 Z7 f% x, r0 w, j" \; l% A# A+ ^2 x# a
/) `5 a! D. b# O' y! q
A ; ]3 a* A% X* T/ R, e
j0 o+ g9 N `+ _& S+ Z2 a2 W
% W8 }/ v0 b) _* B: }+ Y+ k* X- S" T. H; t
∣A 8 M g! B' v0 g( S
j# i' v. B4 V C3 h6 a. U$ w
( d5 g/ m1 h/ y ∣( L$ A, v1 w& Q) l" q
M9 k. ?9 x2 I6 R7 H/ C
,v # h7 [5 E) W' [1 yi 9 g+ l& d& G4 j * t e% f( ~6 G$ j- ? ∈A # h9 n7 `- S. r/ J g0 jj8 k W$ l+ W8 \" q
8 y* F) F9 H- I( T0 T " \+ \* i! a; U$ y+ t 2 s+ M" n K5 [4 D) R4 a' J \ g; K9 a$ }9 U
; f$ t/ @2 I# B% n% o+ e* Y于是,对于h i T L h i h_{i}^{T}Lh_{i}h 6 j& f+ ]! W/ K# k. \$ ci4 t' `* [7 C [, m2 k$ f/ K
T1 s' |6 f) m8 B c2 }
' e/ Y$ |/ o" _" ] Lh ) @8 B9 ?6 ?5 s7 n7 ]4 s( u2 u0 Wi % Y4 F) g# t9 \3 `0 ]9 o# K/ W b0 U6 j0 w U
,根据拉普拉斯矩阵性质可知7 ~: h# Z% |1 u. B
# v0 `4 y7 p; n) Y/ m对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f * ^( p k L& L& N1. E0 u L4 w9 n0 }8 ]. V- D% n
$ I& z( ~( a6 [+ }$ @2 `9 Z8 P( |
,...,f - w3 V( N9 p! C! I( ^: s& Hn ' {; K0 E2 U1 Z6 ]1 [+ _1 x, ~$ C m, x
) & _9 r; `, F9 x+ }T 1 l" q1 H2 n1 N# L/ k ∈R " s& X9 l% Q5 N! B/ R. W$ a- m
n- {. F- m6 W! b
,有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 ~6 @0 f- V) Q8 F; D# O
T1 V. _' V5 I1 x5 P* }
Lf= , [1 w# t. g2 e! i2 M! f- Y, v2 . L. {# G, Y0 [: V8 J9 O' T1 5 p/ S3 y1 k$ u5 V: U 3 @( |. D6 j9 Y9 O, W S% M/ d( |5 M 7 [2 |2 K. `; f( k, d5 J/ D! Mi,j=1 7 w. m" {* ^! y+ D∑2 { @! A/ [/ p6 J( Z; m
n/ Y1 B+ w. g* j
2 R- Z, A. d$ n$ q5 P- v6 w w 7 `" t6 c) q( @9 i, @# j6 J1 t
ij 8 Q1 E) e# m6 ]: j+ E# i. a- L7 I+ g4 x8 r: Y4 _9 g( D: z
(f ' i9 ?1 H6 X2 Y% f+ W
i + f1 N! i9 n6 b. G" n+ B2 c; P8 _ ) N7 J$ X/ a" d4 k/ }+ p −f : e" `, Y9 q# K: K$ Gj, `& B E( z" [4 s9 P/ ?5 n
7 ~/ t' \; ?* K" ]( v; x, B ) - a# z+ B6 N, F; I2! N* a( S( D$ A
) Y# e! ]0 P$ b; l. J# [
h 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}|}( U! O# f6 M, ~( ]
h # k6 e3 k. I7 G6 f' C. E# p5 gi - V* A% I4 @9 x- ]0 V# z+ g" s' CT ! F7 B0 H* K _0 P , H. {/ o( P$ W* I3 ? Lh ' U" K* _4 c* I" i, _! f' L
i & b. f! L6 Z0 _+ ~. i4 Q: V4 x5 t/ [' @- C
= : d/ D# G( l+ K! j) q
2% r( i8 r- i/ [" Q" L
1 ) x \& X; w% d2 j; X \& e; r9 X, k+ s5 A$ q4 h/ u
; t; g& C# K+ K
m=1 * x% t0 q5 N+ }! Y. p∑ 4 t$ w5 `& D* c& ?6 I, k2 S 4 t9 ~( R9 `) T/ o# y8 Z$ f - h* G9 A, |8 J9 n3 [n=18 V/ u- T4 g O W: p1 ^
∑4 g9 e. D& Y/ Q/ \' H; c2 s+ ~ }
9 K2 {. j( d# z n# L& ~: H w , e% r, e8 b( p6 H9 ?4 a$ j
mn $ d2 G8 ?4 ?# {; ~1 _ ( f. y% @6 C* m- H (h ! O9 F9 o g8 o: V& r# Q) {7 Q
im4 r+ K! P# S% ]% ? s
7 ]2 ^# m: ^. W, [' m
−h 6 r: S$ H1 A/ Q/ {
in& _8 K3 h0 E. D, o7 x6 Q
# ~4 J7 g8 u3 c# o$ b
) ; R5 o, N+ X% ^ u0 f2 8 [: I8 Z. {& c! C = / {- x% f% O- {; a, d" Q( U
∣A % i& m# I$ b+ e2 [. I9 x! s0 pi$ P# i! @# b1 H) b( \; D7 {' |
4 V. ^/ w0 L9 ]7 U7 x ∣. J+ T8 {; U% C0 t: {
cut(A ) I2 H% X, I% \( {& o; n
i: l8 [5 O% M! S; C* ?
5 Y1 f4 n, w+ S- d' j
, # S% y5 U2 M: A' N5 m8 ]
A' Y' g) y$ o3 z
ˉ+ }; X I% S- a& \
! P% X- U$ y% P: a7 b( _
i! o+ n/ e7 f# U9 P7 \
. h) V- r9 u0 x+ e& } ) ' d/ K. Z$ X; @' p! g2 p, V4 F9 r* I) s4 x 4 O+ g9 I% H8 ?0 ^$ _. v( \6 a7 G: r* x3 y# {9 ~7 P- a9 I v7 P
& a0 ~* O% K( J严格证明过程请看刘建平博客:链接' z' x6 K% Z5 _+ ]7 p2 |
可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h * H; i5 Y% \! e# k! J" ji" X. F6 U0 M0 c
T + h; `* i2 b, V 1 d4 }" p4 U/ t7 p" D# b" e: ~ Lh 5 R$ R B) K5 n% c1 _: E! li ) o2 ]' H( h. G; q, `6 q7 v4 a, H3 U+ M" x* y1 u
,那么对于k kk个子图% \, v) @8 F5 U9 q# s$ P+ P1 [- e
- A7 n' R, Q2 J d8 r+ c" m; @
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) 0 l+ j* y O1 @& W$ Z( iRatioCut(A 6 f+ e. `. W/ c, L6 i
1 " _9 O2 `7 U4 W8 b. y4 D4 ~' P4 y. U5 W( f9 M8 e
,A + j5 v1 D" o/ c; y6 E4 A0 a9 b26 Z) P6 U5 }- Z1 G* O+ ^
% m7 a3 g' x* G! E0 e ,...,A 1 ^; f+ z a% E7 a4 y# yk7 U7 y: T- [4 c* g
0 A- E: V, N& M5 d9 [. B
)= 8 E4 a+ S$ x9 h( ri=19 e# v! x& _0 `3 H
∑) G& q: u1 r' Z9 _1 x4 L _
k * Y8 I5 y9 Z- z$ ]4 Y( c4 o- [ 8 z# Z. F9 r) I& h( X1 Y7 a$ ] h 6 d4 F+ Z7 Y! W5 i1 d1 Di 9 e8 {) a8 R" h! D- r$ d0 NT + |, ~( \( r3 R9 H y( f$ ]' E7 I, o5 c# b4 q. X X( h" \
Lh " J" L. _3 j3 n/ p- I" mi, Z& I s5 k, @9 o
: I T8 v' O; `
= y/ w$ G; Y7 P5 S8 k# d) K: J: r
i=1& m# }+ Z( V" i+ \/ T
∑, i: a( g: S8 p/ s' U
k 8 v5 h- O5 @1 _; ~0 I 0 J3 G& z3 f7 e/ K2 q# T( ^. b2 ~ (H 4 N' s% Y! X# r$ D2 t! DT ( I4 B5 c0 y. u6 c4 B LH) 2 F5 A4 j; K4 Qii 6 ~' ]% ` Y, S8 u9 [# m0 B& k( T! o1 B4 C
=tr(H ) G" R- i( y* Y/ E {T4 \ H, Q% \$ z: M/ _. O3 {" g
LH) " p9 Z- }9 i! \% k* J2 l+ o' c+ A1 F7 K1 b- W
因此,R a t i o n C u t RationCutRationCut切图本质就是最小化t r ( H T L H ) tr(H^{T}LH)tr(H 4 l, S4 y% L% i( f$ iT2 i: L8 O `' e) R. r/ |
LH)。又因为H T H = I H^{T}H=IH # K% ^* h" j8 U0 n5 U8 OT, ?) g' @1 j- F l; ]3 B0 L% R
H=I(单位矩阵),则切图优化目标为 / Y) c( C8 Z2 ]* X+ o5 h6 `- t e+ b2 d% u6 X" O7 r
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/ D4 q6 y. f4 z7 Q, O& ]0 _+ a
H) G- n6 N4 R8 r$ R4 s; u$ q
argmin 4 k& J5 ^- |( g, A5 T 7 W- y4 h% j8 S3 N9 k4 { ' `# ]* V, E, X4 \9 ?& _* w* c- U3 Y2 J8 c
tr(H / e4 R- p$ P+ |4 Y' ]T& R+ h- T- r0 y5 }1 H
LH)s.t.H 9 [0 q0 J) x* \
T6 k/ x \0 i$ Q
H=I) |5 F }& y" K
" N, b% |4 v6 F对于优化目标t r ( H t L H ) tr(H^{t}LH)tr(H j3 d5 t' S9 {1 h5 r# Nt3 }) B, r8 ] V" J$ }- @
LH)中的每一个优化子目标h i T L h i h_{i}^{T}Lh_{i}h 4 s9 v. [0 f( }! ^ q+ Y% q: ?i ) ^3 M5 c3 f9 {+ Z. _) qT$ [0 f; f1 D$ E' j
5 S7 d6 W! \; e
Lh 1 [0 }9 H+ J N; x, T: yi 1 |6 a1 m6 K$ Z& K$ o4 r $ r# b0 z8 }* F) N! M1 r( q ,其中的h hh是单位正交基,L LL为对称矩阵,所以此时h i T L h i h_{i}^{T}Lh_{i}h 3 j4 Y5 v( B; x" H8 xi ' Y. B* M- m0 x# Q) U6 ZT 6 X7 i5 S* e r8 [: b# j ! i: N4 y8 d" a+ ~4 n" P! i1 S- g Lh # Z0 Q e$ H! v. c" N) w; s
i 7 R4 B5 D. z( J* }0 [2 Z. ~/ f; a5 b9 ^6 |$ d* D
的最大值即为L LL的最大特征值、最小值即为L LL的最小特征值。而在谱聚类中,我们的目标就是要找到目标的最小特征值,得到对应特征值向量,此时切图效果最佳。所以对于h i T L h i h_{i}^{T}Lh_{i}h 3 b* e0 c1 {" A/ [& a! |
i 9 ]1 T8 E1 ` h ]- ~4 B5 R: l" S' fT; _( v$ s0 M& L! J1 d7 o( q! ~
0 \+ S' n2 f8 s5 P8 K" U1 x
Lh + n+ K% U5 ]# [ P8 {" zi * f* r6 O2 f- T, D: _ T$ ] 6 j) u7 r0 x' n0 f ,目标就是找到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 ! {! j% z4 x: ?, ]; Z
t Q# Y6 `' a F* D2 N' G3 x! S
LH)= / t( H' X' h- B4 \% @8 D% {i=18 T u: |; G9 J
∑ 3 F) W+ l: ]7 E6 lk" [5 v4 t) n5 B. T. r
/ k& i& W" N' F& }8 w9 U h : I+ | k! W4 o1 [ J& B
i0 E# F; S: b1 J" Q
T 4 x3 Q; z1 b9 }+ C3 u4 @" e! ?7 d, E, _" f6 Z+ f. S0 [8 i
Lh ; f; q- q9 Y- e; B
i. ?4 _* o2 I% v9 A+ I8 [
3 O2 O4 u+ @+ ?+ I; ~, s& p+ E' z
,则目标就是要找到k kk个最小的特征值0 C# Z: Z% I4 m9 ]3 H
9 D* a9 V9 @7 w& j$ Z
因此,通过找到L LL的最小的k kk个特征值,可以得到对应的k kk个特征向量,这k kk特特征向量组成一个n nn×k kk维矩阵,也即H HH。一般需要对矩阵H HH按行做标准化,如下: F" ~5 ~$ q& W5 u$ O, @) R1 Q
( Y+ O9 U8 d) i$ w, r* _& u
一般来说,k kk远小于n nn,也就说进行了降维8 l4 h3 b: M% ?7 c5 |( z1 ]9 Q' y
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}}} 1 |4 P& Q# Q: T$ V' {. yh 4 g8 ^9 i+ @' j8 I) R! Aij2 B2 \; B' [5 {; s1 v
∗; {8 L6 Y0 y. K, n. v; W
5 Z3 }; c; r% x1 t' M = * _$ y, Z3 m+ K* D) b P( $ `8 V# t# B- U5 ] Jt=1 * V# F0 k( \" f8 K/ i) n2 @( @) X8 E# X∑ + O3 H, ?+ h! f& T% U- H4 d- e9 \k . f1 ? `, z- U* l$ o5 N 0 l8 H0 I, }8 B" a h * F. v# _7 j1 j) ` N2 `2 }6 V
it5 Q% F- k( w* x/ i
2) N1 P6 ]9 t1 w/ ]0 X+ Q4 }
# F5 y0 v- ]! D! }
) 4 W$ A" [2 l9 ^- m1 c6 H# r0 e8 g2 4 E H( u) E! x1" }# u( @! W; L" n+ M9 g
3 A6 e8 V3 Y: r6 I, M" C7 u5 C1 `: X+ B) p# |( R
- j$ B% W: I7 j7 E/ a1 e. c; p6 Wh ! Z! Y1 y8 b/ [+ T( }$ Bij. A5 u& G1 V% A. i e- u8 U# ~
) Z3 K) m( v p% d% W; b" @6 c8 ^; B# O2 h% T" X
2 X9 ^8 C" F4 ?. G; D3 R3 Z
- C* [' J. }2 u: l
! J$ ~! v G) l5 Z$ D
这里需要注意,降维后导致得到的指示向量h hh对应的H HH现在并不能完全指示各样本的归属,因此一般在得到n × k n×kn×k维的矩阵H HH后还需要对每一行进行一次传统的聚类,比如使用K-Means聚类- b% P* x1 l3 B4 H
' E; ^) K. W& Y* H% }
(2)规范割(常用) 8 u( ~; h5 O; k/ |& A3 u3 j规范割和比例割类似,只是把比例割的分母∣ A i ∣ |A_{i}|∣A 2 }* J! ?& X& m: g1 B. e0 q1 Q" L
i( k9 k1 L1 V1 o
3 k& V. i+ j+ F B; }1 Y ∣换成了v o l ( A i ) vol(A_{i})vol(A 4 ^5 v, X3 E+ D0 v0 G9 h) n% f
i2 o7 \+ _! M' T: C0 x* B
3 N9 Y3 f3 z) G; a) ? L ),定义指示向量h i j h_{ij}h ; P+ O+ \7 y6 ~' z# R# N
ij$ O9 Q, k9 h6 Z" L p- E6 w1 @5 T
+ u- ?7 \: q5 U) r
如下 2 @3 I; M: P$ `; u v: V8 r ) P; ?9 r: b5 h: }3 Ah i j = { 0 , v i ∉ A j v o l ( A i ) , v i ∈ A j h_{ij}=; E/ K# h5 U; j; t7 x8 s
{0,vi∉Ajvol(Ai)−−−−−−√,vi∈Aj ! e$ Q2 P* s+ A# u# N5 Y2 F9 w{0,vi∉Ajvol(Ai),vi∈Aj 4 b4 ?; y! y. h; w' x& zh 6 j1 ]9 ~. ~: J1 m
ij 9 L& x3 L9 h0 c$ Y9 U& F5 k5 y# h/ Y4 E9 C; X5 ~8 c
={ 4 ]" ]2 }) S% s, E' ]) \2 u, a
0,v ) b' m- |, \( p W
i9 S: B6 F- I$ l
/ q8 F: k" i- O* S2 |
∈( p" \1 r* A% ]4 P7 w
/6 {7 S& Y8 H; ?! Q
A * u! }4 G+ b0 K$ _. C/ t) n
j) ]6 U: B7 a3 O |- j
8 d# a$ R' J0 a% q- A6 ~1 Q% B) {& f. O) G+ o& _
vol(A # `1 `5 k2 }6 ?! ]1 O6 r2 \" }3 vi F& K6 g; Q% v2 F; E
: f2 J0 C0 f) L7 [& `2 V" [: Z
) + ]/ D/ Z7 r' L8 R8 L+ l ( V% X0 b/ f. @ ,v 9 {4 t; o. i: o* [2 F
i! c7 t1 `+ |) ?6 Z4 I
0 R, t) r7 s" j! B* S ∈A $ W4 s2 C. k" m+ R0 hj 6 C4 `: L* W0 S q8 P$ t4 F, A7 w9 q- Z ; Q/ B9 q7 T$ f' J# k# u: ] ! `5 P D! {3 n4 O; I) ~+ ~) W / r( Q/ l6 l5 b0 m6 s, a% t7 |1 H* k* Q& |6 H q
8 K8 w' L: w; ~' E/ C
于是,对于h i T L h i h_{i}^{T}Lh_{i}h : _; N6 j; @: z( @& o
i 9 x! t0 l7 t; vT g3 R) J' f8 m! M+ ~ & E8 w2 U" }1 M Lh 0 Q n! h; V2 ?$ _+ B- g
i ; Z7 b4 Y# q3 }% x . B+ K* I$ W8 q, c+ U; A ,根据拉普拉斯矩阵性质可知. y# {4 s2 Q/ a* A8 {' P6 h
4 B" `( @ n$ l# j
对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f / A) {* n, L6 ~1& v2 @$ H! L8 k( J3 u2 h j5 b2 Q
! S- A% @+ c" _* H. ~ ,...,f ) T5 {( W( G% I( Un ^0 p; f( K. |4 r: T& r
$ D( b" ^ M3 c6 _
) , P2 |- t# ~4 H% V; dT ; u7 f: P5 N/ p/ n' k' \! d' B ∈R 3 D) o7 m# [: o. j7 \: a7 y4 Jn 3 D7 {9 i0 l( s: }8 `& 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 2 d/ Z; ^+ @; Q
T ! ]' w1 K( q5 P* }8 z Lf= ! \2 T, V5 i( s, P3 P+ ?26 ^( Z; h. L" q: D2 D
1 . ]) h; R* w h z8 b % x: X" l( n d( i: Z% w& w$ ~6 r( ?
i,j=1+ D# ?* B8 v& Z) }$ y1 F0 d, g
∑. E: K/ j- I1 B! c3 K. ^% k1 g
n% Z8 Q$ q: a( G
- U/ F; r+ t/ E5 T2 S) a9 |- x2 e9 y
w 6 v% |; Y3 ]8 K, G$ c7 Lij7 }" s! J, s0 y# }
1 f# }( G+ `2 X, V$ Z (f u r! ]3 ]+ l' F$ w$ k( T
i5 [8 y( v7 P1 s* \$ j/ G5 y
7 O7 N7 t# A: p! ^2 u% V" L
−f - y8 @; i+ H5 V& `j6 w: T' r5 D5 I+ y5 T: C0 E
& Q- q0 j0 `5 L/ b
) 6 _* u/ [+ q! M0 E
2 ' C% A& ^' b6 Y* R4 v; f& ^ 0 B, f1 i! b3 g6 b! M" {h 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 ) v o l ( 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})}{vol(A_{i})}) Q. D n0 W' w7 f) `+ ~6 B0 y
h ; }5 e$ o0 [6 E* g/ Bi' G4 V- [8 Y- Q" K, G6 H
T+ m) G7 f. U# Y) n) e h$ U
- P% j7 H+ N/ \7 P S( A Lh 2 i; E& M3 R' X1 f! I* Z# _& si! e. H9 [- ?9 d& {+ m2 j
, h' s6 @4 f9 ?4 P% ]0 o
= 7 t3 Q% \$ }1 v4 }& X. W% N5 k) c2 6 o+ ?: S* N S1 - d- N4 _! f5 L A Z+ h9 a( o6 U4 @- p" y4 n7 Q, ^! ~1 m# l
8 _- o. ?. t4 }m=1 ( M% h1 }2 H' D. g( L+ _∑: S! r+ @7 i) J7 m" w
/ f5 g1 p6 N. o3 }( h
; D. e3 o7 i3 H& e* Jn=1& q1 ]" c! _# n" r
∑& w& z6 j) l/ ]
) R+ K7 }# x. `* }. _
w : |* y& a( j- L' S8 }mn ! R2 Z x5 w8 q0 i8 B8 `$ k, s2 _. K2 c7 R+ ~! s M
(h 6 k4 V: @# X) L" g! U9 N. X
im* k. [, O; H* D/ j
9 Z3 X; e7 A! k o7 [' l$ U+ @
−h , ]. A' S* w! v# ^/ C! A8 ~ [" G- z
in , G' L. J5 u" B- m$ C 8 B4 D* Y" W1 j ) 5 b; V4 x/ v; M$ k) A( t
25 L3 U1 Q! x6 U% S) Y
= 1 A4 o/ v% z7 ?( t9 R3 Y# ivol(A " }, Q. t$ }- g K+ F7 W" Ji0 S# H5 g+ i3 D: o* j/ u
$ L; L; j: P! |. E, K
). ?5 r) ]' T: w$ w
cut(A 8 l( ~7 M2 R1 T2 w" V
i* I: I2 ]" L" R# H! n8 Z
$ b p8 v4 f1 X , 1 u: F/ c. h) T9 o% m& ^ F0 |A ; u- N8 i" N- n/ }7 Zˉ. _- H! ~1 o- n; u
% ]2 q0 k( A: C: x/ b2 c- A
i# m8 ]9 w0 z' }* j$ P3 a
0 x+ K/ D, j6 f' r6 F
) # f' x4 L: T s ]; p" m: n2 t, o8 B5 _, p; N! F3 ^9 b
5 {! s4 @+ F8 v- s4 g4 D# l% [. _9 v/ ?2 g% G
严格证明过程请看刘建平博客:链接 3 }" e& f6 {' m _8 G可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h 4 x* `8 D t h' f8 I2 g
i; ?6 E8 V0 Q2 W9 `
T $ |- T, h" { G+ F: Q . l3 p' T$ z h+ O Lh 8 e: d5 m+ _) ]! f- B
i0 g5 }6 c5 h; t9 b. l+ T: w2 h! O
% O4 X: H, d! L4 @& k4 N& f' k. I6 }; f" `% r
,那么对于k kk个子图% l# q' Q2 o: R& ?
7 m5 H! {' L6 `N 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 ) NCut(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) & O! K: [& B) C' T- i. c4 V9 B% ]. |. iNCut(A 8 l, t* P! C/ X4 F' a/ T- e( y11 a* z. ?* A9 \+ @. w/ o; P
3 @. v) c, w6 @1 A8 O ,A $ p( \; g& s$ I9 g9 Q, w
2/ m. t/ z( g. y
2 n( g& H/ s" O' u' ^
,...,A 1 t* H1 x5 f8 V3 X* g( [2 ]k + O9 t3 i J. v8 S 4 I9 A7 M# l2 b )= ; Y/ L3 Z$ z0 a2 Ji=1+ i3 }# H( K4 O4 }0 a6 ^$ o9 c1 d
∑2 m1 g) A4 G0 X. F7 |1 r. P! F
k : J/ {0 | ~$ v' k3 k/ p2 o7 g0 V" e( s+ J
h 5 F3 B0 d4 m" B% s: ^' yi6 n5 I- r9 W) H1 P$ q4 q
T' f$ r1 e$ d, s! r7 A
% v8 U) L1 a' o* V( z4 b# o
Lh : n9 ~# s9 D; {$ W8 Z
i9 h) R- g. X! F$ Q; ]
8 \" R' r6 k* [! E' X6 d5 l6 {0 q5 C
= - }$ Y3 ]* G6 H- i: j; {4 f
i=1. c* b# ]: E0 t8 R. M
∑' W* ^% J; A! x
k % } I! u. a- W( o$ H3 b, Z" I) A9 h% \. ]1 v5 n7 u6 I0 }
(H " ^ ~# F5 E& OT ; D" y; u3 {& r0 f LH) ; ~& R. ~- c/ ~% ?+ L- ]
ii " u3 J0 M* ]* Y/ V 6 S3 v; `/ w9 v4 q* q3 P" g, h0 l =tr(H ) ?4 R% j2 y- Z6 _% a
T: \4 ^/ m: C; X
LH) & ~! G7 p0 l2 A- X0 b6 E' l: x6 V* Y8 o- T! `8 _* Z
但此时H T H ≠ I H^{T}H \not=IH & [" g# Z8 D1 p% DT ' |, p$ N/ R* d; O6 S& ]7 r; y H! R. j% |! z& O& X7 [& t$ ?
; }7 V5 J1 _% b7 p7 N
=I,而是H T D H = I H^{T}DH =IH 5 _: T) d$ U" N- h3 u
T7 ]- r- B. X( G' `+ I5 T
DH=I# c' e& ?1 p9 \, q) t4 \
( [- P2 u& L) @% J* J. o+ V2 ?% a
这是因为h i T D h i = ∑ j = 1 n h i j 2 d j = 1 v o l ( A i ) ∑ j ∈ A i d j = 1 v o l ( A i ) v o l ( A i ) = 1 h_{i}^{T}Dh_{i}=\sum\limits_{j=1}^{n}h_{ij}^{2}d_{j}=\frac{1}{vol(A_{i})}\sum\limits_{j\in A_{i}}d_{j}=\frac{1}{vol(A_{i})}vol(A_{i})=1h ' [2 ^' Q0 u t3 h# w4 \" a- U
i& y% X0 x: s3 c( `( ^, X! T
T 4 G0 V) Q* s6 f& e- Z% z0 O+ s7 o- a, e9 m8 A3 W
Dh 5 [% l8 F3 L( c" {* L3 A oi4 N/ m+ H9 i) D# j' w
8 O, b0 G% X5 q( |2 O
= 1 V0 `' \- [ Y
j=1 - d$ O* a9 z! i' C% J! Q8 l' f5 a/ Y6 Q∑ $ }/ _2 b* ]& U$ a3 {8 Rn & m/ O9 E* \: G# x* e 0 ~5 R4 H V( D* B- u9 L% R9 l: U h " X) c1 d7 m( C" y
ij& J" X) L* m" Q- J3 U
2 8 K+ r' S6 x+ {$ m4 ~* F/ w2 W6 O5 M2 h8 H9 b# u8 S2 ~2 @
d ' n' f$ K' |1 N8 y5 r" Z5 \j4 z- E1 x# q8 m1 g+ _
0 q9 B# x$ F. U' Y, L5 h7 j8 r
= 2 p' ?: D8 z0 ?+ E
vol(A # C, A9 h+ P/ H$ U/ A% f0 p) S% Bi" w: n8 R& x D; ~& E
" t. g6 m& {! g9 b: j7 T/ l$ y
) # P; `" M# }; a, A6 p3 b! W5 @1& ]3 @, d3 m3 c" f. X2 i! a, `
3 e6 I) B8 b; l# v% D5 c% f