. ~2 p, U7 r1 k5 f- l: C2 g" u2 N8 {$ M* y7 ?. f
于是,对于h i T L h i h_{i}^{T}Lh_{i}h 1 B6 Z& K/ s3 T: `i) z+ u" ?8 I5 z0 T/ n
T8 O1 M$ o9 X9 e$ h. M4 u
7 S0 @0 U& k- w' l- t2 O2 W7 I
Lh - e# {4 w! U2 X. e) a6 A+ h+ t) N3 i, M! Q
i + j8 ]8 Y0 B$ v5 S$ } ) `- X# b( ?2 V- Y( I; N5 J ,根据拉普拉斯矩阵性质可知! E/ h+ _% v2 D0 V
% X2 s7 E+ c/ l
对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f * Y! b; W+ p: G) n9 y& ^7 L/ o
1$ M. h1 C. ]- M9 s" u
# |! H5 R+ M$ L ,...,f $ A1 N0 V+ t% y2 X6 r k
n : X0 s( p- q3 L% Z3 y+ M8 O$ T# X ?2 \) Y8 o
) 3 k9 R: e6 ^7 z! t7 o
T 5 Q4 N- ^3 L) T- A% B- C ∈R ! [7 q+ e" f5 }7 x
n + w% s7 ^- U3 X* i6 R; H ,有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 H/ l4 W% T) R; P) Q6 ]
T' P5 [; d1 s/ X* }
Lf= ! u% K7 X2 _3 x. b# b
2 5 u) m% M$ h5 n6 A1% V5 e4 X! l: q" ~
. S. B3 n- F* g4 ?& ~ U" M( | 1 U' |2 Y; x6 ~i,j=1% z4 P1 M: m7 L- j7 F
∑+ h" W5 G" [2 J8 I
n6 P6 d! s' h9 ?( A
" i$ j {3 N. [ w / P& k" i# J8 `$ r; i. R
ij- y0 s* G9 e* ]: v; j4 h9 J. x
3 C3 t$ a% W5 h& ~/ T (f & p2 k' H: V. V8 f4 _. Z
i0 ?+ \# L$ y' Z/ a, B- A. P: b
! g& @; |. w+ V, W- @
−f ( [/ l$ T+ O; x
j* H2 ?5 S) k( O/ f' |! Z6 P/ K h
" {2 V3 Y5 u3 S7 o- k ) - Z9 }9 @' V/ K- I1 e' w0 F20 ~" D* b+ j/ {, `& @" b
% g/ h4 U+ Q3 r0 {( R* Mh 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}|}6 k3 v2 I# M! ]" b
h ) K( W$ C& d. { b: M' |
i Y. o5 I# @2 M/ @. \T' a% P% `8 _! I d
3 \% d. W" T- r2 [; t
Lh 0 {% i' l: L' S. p. A, si# k6 n q* T) F4 m7 \; p( W
4 a. S+ B, h. \, F- G5 v3 W
= & g# Q/ {+ X% M8 X* |, J; L" ]28 g/ L* [; `6 R! m
1# a: T t9 P$ w( J& N
( k- x/ L# f( H. k# g9 P9 A7 E
x6 O0 s% X4 |m=13 Y3 a0 V | f' P/ \8 C
∑ G( E/ l: H8 `3 k* m: S
& F; Z/ U$ M. ^; x7 R8 E
. ?+ P# s3 v4 w1 n* q: j1 qn=1- w( a: I4 C) v' ]
∑! ?6 A# R9 ~: ?% c( B+ p4 d
+ E* f' c3 `% C6 I: ?, ~) h
w @7 M- t1 N- x' Y4 d5 P T% a3 jmn8 t$ c9 e* f' b& j/ |* z. t: k8 s, {
* ]1 G- `- x+ a# F2 u5 M (h ( J& O7 t% W$ |3 d2 L, o& |: s8 Lim ) R9 w* V0 a( ~: c2 ^ 2 j- R4 A) @. \+ c/ }" o p5 { −h 8 o6 |8 `! u! V( S8 z0 x
in ! f$ [& j" }- N5 m8 b ; S/ D/ P& L2 m# j! u; @+ C- {0 h ) 3 V# c" i3 o1 s2 # u9 f3 g- [: D, r$ _+ ?+ ^ = 9 n; j+ k7 `. s$ p( A% m
∣A 1 J, @; p2 R @( L' L1 Y8 T# z- e9 [8 [
i 3 Q% {. I5 q c 4 E6 p, w& S8 }+ p* Z* L: j ∣) w2 B3 V& ^) i6 @- M2 A( p
cut(A 5 l1 j; Q' k: [. w, @i % R7 q" E, N, m6 u8 v4 w$ ] 8 e* z1 c4 C) y4 g , 6 v$ |% R4 ?* C6 m2 O, R5 c9 @+ B4 ~
A ; A" m2 U) ~ ?: L, n! E# L4 G L6 oˉ9 c: \2 t* Z* o; d
4 _0 l: J1 z5 R H, O
i 6 N* J; h4 Q0 r, K; r( u) \ + b; L2 \4 O! ?3 I* {$ R( Y )0 h# g% U8 Q6 ^( X6 {
5 h2 V+ f8 L0 J7 B& Y3 k; C* n9 Y
% A8 \2 D+ _8 v$ @! Y6 h5 b9 M0 H , Z+ G# v& {' O# ]0 s4 P+ e严格证明过程请看刘建平博客:链接 g b! C8 h2 ?) b' H d: q
可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h # V* A, R4 D t; Q8 E! ^7 {; Oi # B9 k, Y$ K- z0 XT $ e6 ~5 h& y6 z+ I% A0 I % I; k2 o( X" r! i9 @3 X( r5 a4 F0 c Lh n i8 C- d6 X, ` n% Y0 ci2 p$ v1 m& ^, X/ x' q
3 n3 f2 m, \0 B- T
,那么对于k kk个子图 & {& }1 [+ T! n3 g5 _( s! c P5 |) t9 q% F
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)% w8 @% u4 j3 }
RatioCut(A ( u3 \8 Y1 O2 T' E. G2 Q1 # _! O- { b$ h0 V " L2 c r2 n" f ,A . j ~% {( b" R6 k+ a; h/ H7 B- e
2 3 z8 f9 }+ Z; G" _0 s+ e, Q$ u2 G# F8 m7 s! r
,...,A 4 l& A7 o" `: p/ ]6 @
k . B# d0 M" k4 B' p( \) [6 Y. O4 j( m+ Q
)= 2 p I' l) A2 Y4 y- Oi=1! `$ M; w- o3 o: }8 c8 L1 ~' v
∑* ~2 \3 B3 P) e/ J8 m- h4 Z
k, Z) f% L8 }! { D
+ A5 v- G" I# O9 x8 Z h 4 @9 }9 [9 F- w. V
i. K7 w7 M4 O1 a
T0 m" p, k8 I( v* x( _/ V
# p8 q- H$ D9 L5 |/ R7 [* q Lh ) E# e7 N. s. a. Yi) u: O3 r- q! s' C1 d! G! `
- g# _$ j2 O& [" v0 k) i9 C! P2 T8 B0 Y
= : ~. [3 a; |: X" U9 ?* p" d3 I
i=1 G+ p; x- y$ `& N∑1 A" g, Z7 D9 M" |
k3 R7 x# ?8 L3 O, c$ Z: i
" ?$ K- P- @9 J) Q. t" a, u0 I (H : e8 C0 B. [2 ^0 D% X4 I' t/ S7 Q" S% XT 2 T- F: ^) m) [% ~- a# ]+ B LH) % y- L/ S/ a0 L' @+ w' e) d
ii, d `# r/ a" l/ A
" A% S/ u4 ^# ?, x6 |, J+ j$ T2 N =tr(H ( w1 A0 }# o* F
T( ^, o9 ?$ v8 Z* Y4 s/ @
LH)) {* E0 U- B) F1 F
8 [" ?) t& [6 L- [ W9 H
因此,R a t i o n C u t RationCutRationCut切图本质就是最小化t r ( H T L H ) tr(H^{T}LH)tr(H ' r% A* a6 e7 Z7 E
T 1 m0 ?% a' Q t) Q" k LH)。又因为H T H = I H^{T}H=IH % z' @" Z, b( `
T & S4 S. k* x- T H=I(单位矩阵),则切图优化目标为 - W' e9 ^. C* @( n1 Z) [, A% ^ & ~( H$ S% W0 _0 i* A; c5 za 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 ' n7 v) Y" a4 \H, N( @( w; b* D( H6 x
argmin7 D' P% g# Y1 K! x! @/ A1 u
5 s- [ h/ W, a& ^. Q# N
6 N; r f: ~4 B: B
& I+ j; X$ V l H2 i tr(H ; a1 ^+ M- V: u k/ WT6 F% b/ n, s6 Q% B! J) k; l
LH)s.t.H ! \3 N, N) y6 [& [T + z$ k2 k* z# g' t- m* Z0 [$ C H=I0 G1 Y" d! [; r/ y( ^' c
: g" ^/ N' J2 J对于优化目标t r ( H t L H ) tr(H^{t}LH)tr(H & B& e( [7 L7 @
t4 o. H3 H" \( t2 T& v; y" E
LH)中的每一个优化子目标h i T L h i h_{i}^{T}Lh_{i}h ( G: |9 I8 [# \9 L/ `
i 9 W( s2 N, ?9 ^" K u, @1 ZT+ e1 [0 S& [; a% Y
$ P$ A4 {* P% |% d
Lh ! \, M& v( Z7 ` t* _/ P1 L) [( ?' Zi/ A$ m3 u( p! `. X* {
& O+ c5 c" }8 e6 a k- J0 ~5 j8 y
,其中的h hh是单位正交基,L LL为对称矩阵,所以此时h i T L h i h_{i}^{T}Lh_{i}h ) v% I% Z) J1 P1 _: A5 \
i " S' u7 x+ ?! u2 l* ^T& i* h; i$ [0 ]
9 {5 `! X. G0 s+ A7 t1 h
Lh 7 ^" o# [4 q/ b- R3 q
i 4 C2 m2 H' _9 j' X3 m) |2 C . L& ?" |, M, y/ J0 r 的最大值即为L LL的最大特征值、最小值即为L LL的最小特征值。而在谱聚类中,我们的目标就是要找到目标的最小特征值,得到对应特征值向量,此时切图效果最佳。所以对于h i T L h i h_{i}^{T}Lh_{i}h : e: ?0 x/ O) h: b3 \+ }
i % u7 h# h; s0 e- a& E4 YT5 z4 y6 o: i/ {
$ `( X5 n/ a- Y) J( N: z Lh 1 H% o9 |' S u6 u" F% j
i9 J+ t6 g, A1 _) G/ G, O$ D
, I: G7 S. H: p& C. Z5 y) Q
,目标就是找到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 ( A& e9 Z" d) z G& it- d6 v3 {- O9 L% \. O, _; A2 C
LH)= 1 N5 G& n0 q- S/ S3 }2 _
i=1( X- r8 _2 G b; r4 x% ]1 O" u0 N
∑+ T; u# ?) o0 n, K m* R
k 9 \4 ?+ X& R. ]% ?0 ` # u: o; i# p3 t# \" F y' S5 v: } h 4 R, a3 v9 Q$ Y1 @0 e" _, Wi7 l" m( _& S. k% j: y! V6 ?
T% o2 f: m; h1 g! I
, J& C' ]+ S. @8 [# k2 r Lh ' u. ]- P2 I% Z6 o& D8 Z
i7 A' b# h0 S' ?- E( T' F* `4 {, _% M
! H1 @$ n5 B! d ,则目标就是要找到k kk个最小的特征值% {3 F3 N9 [, l) g6 ^& Y
/ A2 I8 I* _/ i5 k C
因此,通过找到L LL的最小的k kk个特征值,可以得到对应的k kk个特征向量,这k kk特特征向量组成一个n nn×k kk维矩阵,也即H HH。一般需要对矩阵H HH按行做标准化,如下 ) L: T, q: F/ _# F$ f * D0 x* Q# s0 `一般来说,k kk远小于n nn,也就说进行了降维: d1 t1 Y/ z; @0 r8 V
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}}}, G0 t+ s3 U3 I4 }7 k/ l8 o
h . y' i3 l3 y/ c# @2 g5 Mij( @; }4 P+ j7 E1 w9 [2 M! A
∗ & h' p2 l9 C( T & x' ^) o+ T/ e) P8 Y2 O; ^ = # b2 [* e# f1 ?4 O* `4 h9 w/ f
( 2 ~1 n$ w! V. F. H* E9 B9 g8 st=1# r2 d4 A( b* }9 v G u( D% t
∑ e+ [7 n0 V7 j. h9 d
k. F& x& ?3 Z# v2 ~8 y
" f6 O8 _7 _% g& B7 @5 h h 2 X8 x5 w+ f5 Y3 K
it 1 d. l j$ B9 _6 p1 C2+ [( g; [; W6 l
; u. ^2 r/ b3 A3 z( M8 T ) - I, ], q* W N. A2: a" T8 z8 B i( Z R$ |5 ~: H
1 6 b1 k9 s' }" D1 w* u " w5 H/ U/ k6 ? . H9 _: ^$ L `* ^' ?" s! N9 u6 S1 Z% i# y. }3 o
h , J' U& n* G& [) @9 V
ij ) w% H% o- x: u/ V9 p $ @. F. \* O1 K; z/ M* G2 K' b9 \! O& Z5 l# f# r( W
6 ], g7 H$ C! v; C0 q * k- \( j8 L; L; o' S ( r: Y/ \8 {" p' d- J' L这里需要注意,降维后导致得到的指示向量h hh对应的H HH现在并不能完全指示各样本的归属,因此一般在得到n × k n×kn×k维的矩阵H HH后还需要对每一行进行一次传统的聚类,比如使用K-Means聚类* [/ c |3 m! e) A& G7 M
- B1 B! D7 o' S3 i, M# s
(2)规范割(常用) + O6 W1 @" G# [! H规范割和比例割类似,只是把比例割的分母∣ A i ∣ |A_{i}|∣A " ]* B7 e# B* O) yi/ y! a5 @' j- x& x5 c' ]* r0 U- Q& N
+ O% C7 U/ P* P- ]5 {6 h* V+ [ ∣换成了v o l ( A i ) vol(A_{i})vol(A * P1 P) i0 m. pi2 |, P5 H! z" C a
! A0 Z$ _" \- \6 c1 N1 m$ F
),定义指示向量h i j h_{ij}h , P8 ]5 V6 \8 {! k e' ?# Qij9 c7 [% c3 f% _5 T
( B' ~& |0 f5 ^+ @ J: r
如下 $ b/ y4 t, Q. l$ }0 D9 M8 R6 L8 a& c
h i j = { 0 , v i ∉ A j v o l ( A i ) , v i ∈ A j h_{ij}= i$ N+ m' \. H1 Z6 T0 @
{0,vi∉Ajvol(Ai)−−−−−−√,vi∈Aj 4 z( ]/ h7 a1 z- s3 `9 e{0,vi∉Ajvol(Ai),vi∈Aj4 K6 H# `- m& p8 j9 E7 `! _
h % W7 H2 j6 N6 v5 {# z
ij - ~8 ^: j- \- k1 _) a% |" m, M8 {" E/ b6 z$ e! K- q1 s
={ / a( b4 }5 J0 @: G' E0,v $ J- a" y. i2 g1 [6 Ti4 C; W, n* c" U# O( c" _
/ f7 z* T' Q/ O2 l$ l% M ∈/ D8 N( N6 g3 P7 C. L
/ " p) c4 Y% c/ P' wA ; \. c, C" X3 p5 U* y( Z& S- E' [j# G4 t) l: L% i& v
9 T: c; q6 r, `' M" T# n/ D! I
! ]" @, p) ~' e' tvol(A ( e3 x" X& V2 f3 F
i" @! b3 Y0 ?# ?4 `/ i% Y
L( S" D* H0 \& o1 g& k
)" {( z' ]$ j' {; ?4 z% [9 V' i
# Q% k. m6 h4 f' ]" Q( V& v
,v ! ^) l# \' X, u' X% b' Fi' U3 n4 ]5 r, M; S: Z
, M/ |8 B+ O5 m: ~$ L, E9 U ∈A ) ^$ O- w: Q& x
j, k# H" A3 \. l3 u
9 |: ~- x8 j" i% X/ k% {2 ]4 \ U S8 k4 i n' @, Q' J/ n
3 s k: [6 q7 [9 R% ?/ ?. S # C4 m- e* Z* u: Q: u % @' _8 T1 n& h, O! e+ E' Q" y: C5 ^于是,对于h i T L h i h_{i}^{T}Lh_{i}h 0 {: U% W0 X, z% G7 b7 fi 6 ~7 e2 K# o( W1 p' z' D1 Z' JT7 @% p' J# B4 j8 _2 X3 V/ N
2 R- c8 r0 P$ n" B
Lh $ |' S+ I: q/ G( c- r- _i4 e! ^8 i- w7 e8 Q" R
+ M! M9 O" ?; f, Y: T6 Y
,根据拉普拉斯矩阵性质可知 3 `6 F: B+ j2 X: l0 y# m" k, X5 W0 B% X/ L4 e& W
对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f 1 F' b! m2 @, q$ m* y1' d. s) Y# l8 a( H0 y$ x7 }) v
, p! v$ }1 ^4 _! ]4 [ ,...,f : s; D3 F3 Z* ?: v M
n1 N' Q9 c$ V4 _, Q& y
$ i7 K# V/ k* p7 q- b- O
) ; {$ C) t9 @ O5 A
T 2 g( U+ @4 a3 ]) I/ ^5 N! \ ∈R A; X) @) d, p$ e
n % ^# @! n3 }( W8 e# t ,有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 C8 |( n% T1 o8 a iT2 @9 }4 _ J$ n; x7 ^
Lf= ) k* U% L( j3 [* @( h9 \2" ~ @" b5 J; z( a( c$ z- ^1 t
1 6 @. i7 }: {1 W0 m, Z' z: [4 y6 `3 i3 I! |
* w, p% s: y8 E9 K) o9 R# G
i,j=1 ; O# x' x1 ^5 T3 x∑ , l# c" W1 M0 L( t) wn ; `; K" M: B) [# _; D' M* g6 z/ N& x1 Z
w 4 `. \3 [: B& e5 ]3 L, iij6 z. V2 }/ z' _# Z2 R! P
; [ x! c& g5 \. G8 _
(f ) F, _& d# U" Y- Pi6 K' T/ p5 y) ] o2 p1 N$ Y C
+ p: |8 x; f$ `# |. ?' I
−f # f: G6 _3 M) m. yj: G- X" u# @. G) X( O
?4 w" G+ R, m9 @/ i1 a5 } ) " h8 ` a2 H- ?6 ^' m26 H1 g6 j5 n4 k, G9 H: y' Q, q
m t b9 H6 @% K7 p) eh 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})}$ J) b8 b w, i$ Q7 O7 i! m
h $ ]- a$ D% z# g- f" A! ~i 9 t. C, m+ p& I. I7 dT9 f8 i1 r3 J6 m5 U
) i2 Y( q( d5 z& z; V) Z Lh 0 H: d% U& O/ J2 c+ q9 x0 ?i7 E8 {, @! u* u9 S
( O5 s) Z8 T* k: D+ ^ = J4 p5 G$ N' h9 `/ _* u, i9 V5 _2 5 c" M/ u0 T7 Q( m, J1 ; E( g; G* P, b$ m: ]; \ _- F0 n1 B/ R1 g: g9 Z
. r0 H# I( o; A- N
m=1" @" l1 b5 X* i* `# n0 p4 x
∑ * q& @$ p7 F& F5 t6 ?- O 0 {6 E9 p; a. U& J/ ^7 z7 h1 H" h- K: s% i9 f
n=16 L! B2 z9 W" S7 K1 `
∑* V3 N+ G; m4 S: x2 @& i. h+ J
! o7 L4 E) I, D# j w - @5 U2 b$ y3 @$ i/ o" v+ Z Bmn9 j; P+ V: d: s: G
; e9 e1 N; @# P' E: J; U# h% |6 b (h & X$ Y' ?& G& ]; y" J R; P
im : v7 L! i. w; I3 H7 ?$ J1 ^1 g; ~0 U
−h 7 J( g7 O. B# U, Tin* ]1 c% }6 U$ B R
) Q6 ^, M8 e* o4 o
) 7 _5 ] x$ T! J, U22 G- [0 W" `/ Z/ _8 }9 A
= 7 v( x4 r3 Q; K1 B W Y' Vvol(A 3 h5 F7 m1 ]- p5 y
i# E3 a% I L; F* r
6 |5 a5 U+ s7 X+ P- X" p2 v ): K0 G3 n! ^6 ^5 }
cut(A # S/ w: D* A& |
i$ y8 D7 r. m, i1 ^, l/ N6 { @! m
7 P% i: m" U$ \; d5 ?
, " H8 ]0 q- v2 O$ f! A* w" O: M$ @
A8 T2 e! x6 p, v ?' |4 b
ˉ # V5 o* \; r2 V, F, G) S+ O/ R3 Q$ Z, H" e
i1 e) x3 L {% z5 C
4 `: n$ x0 _8 E
) ) N* [% [. y6 S/ O+ N" @" Y( ^0 M/ ]* K1 O' n q* O+ m
$ x" M# } m1 U$ N
P% p5 v, l( K+ ?% V! X) L严格证明过程请看刘建平博客:链接 ! @" v, c! k4 J可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h 6 K- t: W8 C1 H3 @5 j/ A. di: r. r* V: L% S) K5 B
T( u2 e% |9 P4 j- o% _, e
3 K+ ?7 W, t J5 T6 v- u, J0 Z; d Lh % l" i* j! q+ O Li 4 P0 B5 Q+ T! U5 j& @( H: y/ f1 ~5 I
,那么对于k kk个子图/ i$ \, {2 y( D- ~$ P
; l8 S( W8 H. k1 SN 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)7 x0 z2 h7 l7 `# {3 t
NCut(A 5 I! U9 ~' l \0 M' n
1- W/ D2 _0 Z( m6 s# M
7 W0 R+ g* Z \" R
,A - L+ V( O' O) |1 L
24 @* x* s: J5 ?) p# [7 ? e
4 t/ G; x: w! H' S. M' G
,...,A ) P4 @* U& k7 P. p0 b4 hk ( a8 y- F; O- u0 n$ F; v( j/ F% O+ o/ r/ v
)= 5 k# H |) H3 J$ N# a: N
i=1+ ?, I9 [" p. s/ o5 r+ q
∑ $ \: q! J2 J/ n! F) jk ; s4 ]7 ^; M; W- e" i " v1 Q- Y+ X; g; o A+ ] h & N0 U) E7 y! R% Q2 |! x$ f
i8 \3 u R! k0 N" \
T ' f/ O; p+ |/ C9 L3 M W y/ O: b3 h
Lh + ~1 _ v, z9 ]$ y' Li9 K! \ U9 Q; P3 y- p8 g9 A
) n$ G- P( K2 R, g' Y( \
= % F. }' F5 H4 \7 W3 Ui=1 % E; u! N @* A0 k O+ K1 z∑ 0 ~4 O$ x9 T* gk" {2 w- n( E4 O
- T7 m: B) B: Y9 }" f" m
(H + @4 g1 N, ?# o+ w7 i
T4 l8 q# t ^! w# A
LH) ]* a# v6 i) w1 m' _ii 3 \, v. M+ Z: s3 {0 c # ^6 g8 h( G+ i( ^' Z =tr(H - z7 F2 O9 s( r' H6 l: t$ l
T ( `! z1 S6 h! {% T6 q) g0 d2 G LH)5 A8 ]# D$ ~+ f& p3 O
, y3 U1 K; D% a但此时H T H ≠ I H^{T}H \not=IH ; r' W/ P0 m/ x; @T 0 }+ T( y, g3 C/ d" {3 W: e$ W5 _ H: `/ |: r' D a* r& l
- x, B! |0 J. a=I,而是H T D H = I H^{T}DH =IH : l5 F1 v' }, V! M4 D3 S% a9 a
T 3 d! }5 w% j& m( R. D2 Z DH=I9 y' |; L1 Q1 o1 Y, c) `5 I
0 p) ~6 {3 x; F这是因为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 3 i( ?1 [9 R6 F, S4 j2 N5 N1 Hi ~+ r8 `; V/ [; ^6 B. K- FT : w4 k# p7 |4 t/ I$ q! k: g% m8 E7 Q4 m1 g4 h
Dh ; w3 D4 L6 k k
i2 F9 m$ W2 Y' q
* W1 z+ J3 x5 q0 O$ p4 M, H; ] = ( W( D8 C o P: }' Aj=17 e; E8 \) C, k9 [3 }
∑ 9 v9 G- h7 o( k6 N1 nn* r0 m u5 x2 T8 o
$ |, n* W/ ^7 v4 b
h 6 D' B% ?/ G; r8 M% b7 i' J
ij5 {! G9 r6 H2 B
2 s( \$ s/ T; M: a9 F: ] 2 N, K* Z5 j! I d $ @- j& v# E8 r9 T/ D
j 7 R: V8 k$ m& N5 o3 Q: w5 p8 {! y- b
= 0 p p2 Z, I$ ? \3 }
vol(A , A) D( @4 `6 T' L( a/ ni1 Z+ B4 W L# ^" \
# q c; m' S, O ) , [. f$ w+ q9 _! _1+ _) ^4 X) L# Z' i
% b5 i. s5 W' i& r1 a, ]( ?+ k , W$ Z5 K- @/ c' X- rj∈A ' Q! _+ r9 \; si2 r$ K1 `/ F0 x
( _. R3 ~0 w( Y, d( T, E/ x( U , N9 q& T4 h- j, a! d∑ 1 b* r# r8 Y6 J" D9 f " a- v% ~4 C6 w* ~3 r d : e' {: A+ X3 B5 ~% f: j
j% p8 M* O! i! Q3 @. e: t+ T3 C" i" W# E
$ J w# P# O7 T9 X G( g6 o
= 0 l; j9 V9 ^1 G) yvol(A 3 `* X# R* T- U, J
i 6 m8 r3 }5 j/ A( l/ G3 B$ Y1 e+ Q5 n5 P3 P
) F. {: P) P6 ]$ f0 m0 m
1 - J' m/ p* F) v 2 R3 A* a9 h2 S' p% n! D vol(A ' a3 A$ t( q. L1 V7 |i! L3 i: V0 n$ k0 b/ ^
" ~6 E' W9 ?+ b* G: O )=1$ b# k8 F( u" _8 Q( o3 X8 @/ i
因此,此时切图优化目标为6 [# J4 G) o0 Y* ]! x
& b* g0 z( Z* X4 qa r g m i n ⏟ H t r ( H T L H ) s . t . H T D H = I \underbrace{argmin}_{H} tr(H^{T}LH) s.t.H^{T}DH=I5 g/ G9 a$ r( J a: k: D
H+ L& Z! P- W/ U. S- M7 W
argmin # ?' r/ ^ u. S+ p ( J2 n2 b. O, F% i" c) e' ^/ A: `& |- {0 ?( B2 m" F& Y; z; J1 O/ {
$ k$ `' W# O& @9 r/ V& r tr(H ; z% M3 D( N. K4 vT( m6 ] u. m: |) D& D; z6 l
LH)s.t.H 2 v2 h) P5 G+ ]6 b/ CT' B+ R7 A7 X/ I
DH=I 9 p1 Y1 ^) }* ?; k7 c7 y2 R: U! l- } / F! k+ s' }# ]/ g) t5 T: W但是现在矩阵H HH中的指示向量h hh并不是标准正交基,所以需要对H HH做一定转换。令H = D − 1 2 F H=D^{-\frac{1}{2}}FH=D 3 g6 g/ d, g% X7 e4 \. }" N8 {
− 8 p( w% }- W7 x' X
2/ N5 t a8 v, [) K) C
1& v9 w/ n% ?# r# H% z/ u
6 ]8 s& q9 P7 x0 N# o( @0 L0 F' g# O
( r2 w& f1 e O F,则H T L H = F T D − 1 2 L D − 1 2 F H^{T}LH=F^{T}D^{-\frac{1}{2}}LD^{-\frac{1}{2}}FH & {4 a* P5 J9 YT 3 [- `% i8 J6 M* C3 I! F8 r LH=F # j5 Q9 ]4 h' O: d9 z; ET ' G4 J( |% E" v$ h8 s4 h/ z D 2 f/ p' Y; S; k; f7 Q− % u3 Y1 B5 Z, ~, K: L; \2 s
20 W$ ~. z9 D! c0 J2 ~' V" m h
1, X9 H4 t: S0 \5 A
. }/ N7 y0 ]$ n R9 }
% d; z; L7 @/ \6 c% k" `1 Y5 w9 j LD & G; g; e. A5 f7 u− , R/ l5 m1 }$ n9 L, l b
2( t. P8 }( o. M; M7 f4 J& x& t
1 2 S" {% _3 {4 j& v) [4 o' }1 w6 s3 Q! H( N
1 h' k1 G+ W5 o$ G! X( h
F、H T D H = F T F = I H^{T}DH=F^{T}F=IH 0 ]/ g6 k e* C& C; x- {* j$ xT, c& s6 r" D) n+ L1 j/ a/ `0 U
DH=F ) v/ G; l' j5 k6 |2 ~T; K/ M. ?0 s- w+ t7 X$ P3 Y
F=I,于是优化目标变更为# ?5 q5 E6 J$ A5 U; N
a r g m i n ⏟ F t r ( F T D − 1 2 L D − 1 2 F ) s . t . F T F = I \underbrace{argmin}_{F} tr(F^{T}D^{-\frac{1}{2}}LD^{-\frac{1}{2}}F) s.t.F^{T}F=I & K& p. \! ]% RF ; w$ R; [3 [8 Yargmin j3 n4 Q4 z2 r" \8 m( `3 |1 {7 f, s4 s& @4 Y
* w$ f/ S6 n- v3 z* p" d4 {+ h, H% X# t! z+ ~0 p- T
tr(F % Q$ s% O1 {9 ^T r% @0 ~7 D- p) ? D / f. y! ~- p, @1 F$ b; d8 _
− # e( q7 s6 }7 l4 B' I% t% Z1 e
2* e) X; X3 m4 [! H7 p- I. `
1* L& b- f. Y' q& n
Z- B" v2 V. v/ O% z& @0 x6 u4 c j7 ]" A: G2 L4 w LD \1 J" G4 C% I* Y- K- F5 y. K
− / x) g$ F2 o3 F! a' \2 p. n9 K6 [9 |5 ?2 k
1 : r5 f0 ^0 f L. T; i" {( ~% n6 n, M. z2 f0 n