% L- o: R: e* S. p8 L( g1 x$ B于是,对于h i T L h i h_{i}^{T}Lh_{i}h 2 H/ o! l9 p' @6 R- z( Yi 2 e6 C4 b/ i8 ?% @$ }$ HT( k- V( D2 [* v2 R4 v
7 i2 y! I% v/ I* L' }* A
Lh # l& W% u' Q: h; D$ p' N
i9 q& y* _" m k H! A* b
$ ^& X0 Q* K' b; D5 W
,根据拉普拉斯矩阵性质可知% ?( [) s9 b% ~% K
- U! o# I/ s' F ^8 n' Z( l# ^
对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f M' J& c) }: A) L1- M$ b2 n" [/ I1 }3 u4 U7 e3 B
2 B" s1 `% W% ^( D2 L ,...,f : R1 E3 n+ M8 P: An 7 f5 |6 o R) N& n i6 ~6 U6 K/ |3 j ) 3 i2 z9 R% J- bT , s- a% E# v( {* a; u- H) X# m ∈R 9 z. t# N2 _6 P7 \3 k
n b3 Y4 T1 w8 N) v% G" H9 F ,有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 " b2 v$ Q* R0 x, [9 |' a8 rT ; [4 O+ A& w9 `) Z; p, t Lf= # T9 W' _0 h4 M) V, J2 - p9 {* L* N0 @4 M% k" {1# X" v4 Y( O# z+ k1 I$ u: D# l9 Q
4 V/ Q; V+ D8 B4 M' s' a8 E: Q7 S4 Z
i,j=1 8 z% ?7 x0 S/ b8 D2 E2 M, I4 a8 M∑" f, B) C5 p$ k' I% L) [8 R) G
n ; U# ?, _! l* x& w' b" u 4 ?% n, l) J, I" M" E w 3 E& z9 Y$ ]) ?ij " q3 Q" Q/ e# f8 {$ p" V. y4 e1 l V( ^+ j9 q
(f & ]& ?1 Q6 [ c& Y. K! `1 ?; ~0 }
i ' S8 }5 m9 T% G. {6 U 0 y+ R( e; [' f u9 R −f : o$ [, R) P6 i: \3 F/ }# I
j $ w/ p4 y" Y6 I, v - \( C7 G* {/ H, e s ) 7 @% ?: V7 N" N2 r5 j# F* O
24 [: a& u. e P7 I7 z
8 V3 _1 S* G1 }4 y [6 {
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}|} , |# E+ X2 o+ U3 Lh ( _' r$ @6 z% E; K; X8 Wi' ?3 s' l$ e1 x2 N+ F
T! d; Y0 d5 K& U8 Y: e2 T1 q* y M! _! n
. ?* k# {% J7 q5 N7 s3 q/ y8 G
Lh ( [' Z& R. C5 n" ~6 Y# |3 N c
i( d: d3 h6 h! X
. s' V+ I, @2 w, g% c = / j8 R0 R" c3 i4 l+ |+ f2 M( p! {! s. s& [8 A
1' C- c) n0 p# K0 `. u. k. n. m
% C, ^. i$ E2 N& @# p) T8 @ _ 4 B7 T' e+ I" M% ^2 jm=1 z& s9 k! U& H3 ], ?+ k2 X7 [
∑0 O: u2 a* _9 M5 q0 [( ~. x
" A& t3 O: D; j0 i. W o) q/ I+ I! ^$ h4 k1 y7 L
n=1 * {* N" ~* j- z' I/ F∑ * G! H. E3 o/ X/ t* v S1 g1 w% s, w- s. z3 X$ o7 [
w # e5 D U+ e/ {3 W$ Q% ]
mn% v+ l' j& E% @ p; R
8 J1 _+ O5 T' n
(h ! K! s! ]: T( ?5 j! l& p1 g
im1 V/ \' a& {0 e& S# l' q2 m
0 K% l9 K, g4 G% B0 o
−h ( c+ _3 W! s8 Z. D( B: v4 S9 }- W
in : o& H# ~& a! G9 W1 U 9 Q1 U; A* W3 r# c" h4 @/ E ) A0 K" W' O, Y6 c r) Z f
2 # |$ R( @! O$ `6 w4 N% l; @: z = ' N* ~( T2 J3 N* J+ L& x1 B
∣A ( r) |- E7 f0 \- K- o- Mi , E( @8 L; N3 H* X ~/ h, E4 i3 B
∣% ~: O. y8 i) h' R1 I
cut(A ( e/ B5 Y& a% a( M1 [* D% ?i/ b+ K; N) D' U3 U/ g% D
* Z5 p/ C! y4 @8 t9 H# K4 B+ l , 0 I5 j) X. \6 f4 @$ K. KA2 m* v6 p8 m: i" Q# Y( C. W
ˉ/ W. U% k: f4 s& i' C4 ?
8 z/ a- p' C8 Q6 a% g
i $ b8 a; E* ?5 V2 [# g$ V# _4 y 5 w, f8 T# e+ ]6 Y& z )+ n, y Y% f: p# Y- T
) E! S0 C1 F4 x6 `1 v
. \8 k, n: _. g% p+ ?3 b
3 y0 v5 `5 R3 W) r( k严格证明过程请看刘建平博客:链接/ h8 T' T9 m. c1 \, ~7 n8 t
可以看到,对于某一个子图i ii,R a t i o n C u t RationCutRationCut就对应于h i T L h i h_{i}^{T}Lh_{i}h : g! u% J$ X/ Y6 C) R" C _9 ~" d
i . W$ g1 v$ m5 yT8 H# w( M" Q- I! W0 Y
4 m8 z; P2 M% q6 L, A( J Lh / W/ K* j% I. P/ g4 U* H# N1 a P6 Vi 1 Z' r; }( v0 Y0 H( O 6 r5 h" `0 i. c6 X0 i4 Z. Y0 K- K ,那么对于k kk个子图; o& d! [) X1 l4 y, t& ^0 d2 w
( \! M3 o9 {- U& `
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: y1 Q* W( f+ v5 H
RatioCut(A ( X; N0 R# ]) o* {: @
1; ~; [# w' X& p6 T q1 N8 E. o/ [
+ U' g6 A" Y+ L! I, m
,A 9 S) t: _9 a( d* i, P, T5 Y2/ s4 s+ L$ U+ a8 ]( f
0 w6 Q" O+ I/ H9 O* j" |
,...,A + @) q, [9 w4 V2 c* @& d4 l
k; W& u) W8 h( @
: l c1 V. \9 a# x: z7 ?: o
)= 8 X1 r7 Z$ `) F* n0 Ei=1, M# u/ ?4 }. Q" {, L* [, l0 W8 C; r) \
∑9 Z- o2 j( @/ h6 R* s! C- `1 F
k, u' v& @5 U. U: A
+ z$ e( t* E7 ^" U2 j# F
h 0 j' Y& O/ F+ d4 g8 f7 x8 d
i 7 A+ c; N4 n# `T$ s, ?7 |: ~' x; [8 x$ g. C/ \
7 X/ r3 O+ [% \ Lh % T) o+ {: }# R2 Z8 F+ ~i0 T8 y2 b/ D4 U' q$ w. q1 N y
2 b' }9 Z, n! g; g5 D = $ A3 d2 W2 \6 I) p2 K/ ui=1 - w1 T5 M$ H, |) Q2 l∑' I q' r* c1 N8 F, I; Q/ k9 l. s
k 2 r) f0 x( k$ H6 e* g4 x: {) v! o! V: n
(H " C* N+ r7 [& A" z1 a9 e
T! W3 ?5 p9 Z& v; T; G
LH) 9 E& ?3 w; I; z4 A/ g
ii& L5 P) ]0 X, e \, h& E% `
% u& F# L, Q7 h5 u4 Y
=tr(H " G6 @6 Y, j1 ~9 {" hT7 e' o4 c6 ?' r+ ?; ?2 m4 F
LH) # t& C3 X( m* E0 h w% c. } 4 |8 x& g5 I" l1 g |: V3 Y% R1 h因此,R a t i o n C u t RationCutRationCut切图本质就是最小化t r ( H T L H ) tr(H^{T}LH)tr(H 8 K8 M# ~6 `! l! {( W# q
T @% e- q1 W7 v" z% g" p' W+ b4 f LH)。又因为H T H = I H^{T}H=IH * H, y3 b0 S: l. e1 [9 U* b1 F+ \8 sT / A9 {- r6 q6 k8 Y4 g; W H=I(单位矩阵),则切图优化目标为 # O* O' Y3 q4 C6 |1 I , f) B# m" y# |6 f3 da 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 + l5 H! ~) j+ y' N5 e, g' \5 LH 7 I% H& g/ C" B2 y8 Zargmin ) \3 m5 ?: E# \: m7 s4 p% s3 H/ f5 Z' L3 f7 _1 W t
0 T3 \8 }7 R. I, r& E 2 l1 ?; q+ G( j6 ^ tr(H % ?, u3 b; F! ]0 q2 \ U# M
T1 f m8 l H( ^; V' k
LH)s.t.H " o, j0 P9 Y M# W* a1 A6 O
T. n( ?: `8 ^. }( q
H=I. j0 E( s& m& p: j' {
: M2 t* C) \/ C& e4 f3 u. b7 w
对于优化目标t r ( H t L H ) tr(H^{t}LH)tr(H 6 x1 o3 o X* M u' p
t$ |& Z; h5 w0 d+ g+ S. q
LH)中的每一个优化子目标h i T L h i h_{i}^{T}Lh_{i}h 1 d' k* ]7 N! b, i! n C
i6 Q0 L: J( f1 x6 m
T ( Y/ [2 C$ P1 W+ `/ J. Z( O+ _7 l; D/ F* H2 L+ o; N- k$ w7 W
Lh " H0 K; x; [* R" [0 j, Pi . z3 J$ Q# J( _4 v+ S# e( Y9 n 0 _' Q: s0 z# e ,其中的h hh是单位正交基,L LL为对称矩阵,所以此时h i T L h i h_{i}^{T}Lh_{i}h ; m+ f; {& `3 t- W, T Gi7 a/ {5 z9 S! {+ e1 s
T ) n0 o1 Z* C. }, Z$ _4 f9 _3 n8 _6 S8 k
Lh + \; W+ L# y; _4 N. i9 {i $ u9 B8 f: k L8 X4 l- E) a1 K0 J% _, i0 V& q
的最大值即为L LL的最大特征值、最小值即为L LL的最小特征值。而在谱聚类中,我们的目标就是要找到目标的最小特征值,得到对应特征值向量,此时切图效果最佳。所以对于h i T L h i h_{i}^{T}Lh_{i}h 8 t6 F. ~1 _2 l; _$ bi. W, E8 v4 m# ~' W* p, @7 L" f n
T3 M# Z5 U/ ~) Y, O
2 j5 D5 O" H" P# Q4 S! Y; J9 |
Lh , `- a& ~' E; Z6 ^; ~
i / a3 E3 j+ b5 B7 V# ?7 s; z2 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 $ w% c0 k+ x3 @$ d# R+ _2 l) o6 wt ! N% S/ i+ n& D" n% B4 r LH)= $ y; \: H% V7 b7 _$ B' c
i=1 * r. B! C" X) \2 ~1 t' H7 E, s∑+ ?4 N. H, Z0 z' D4 n( ^) i
k( o" A6 e: ~: w5 ` I8 k9 M
9 Y! [; g& A8 o [1 ^, S" I0 B h ! n, a- B9 u( ?' z& u: z# g
i 9 b% S# a0 H5 d) dT 6 O4 N: ~' |$ \$ c3 a% t 2 I0 `: X5 n( ] _ Lh 9 I0 y3 u3 z. U3 J$ Y8 [
i 8 E1 F% O. }5 s* @+ `' _0 d3 z6 N1 g# {% O; Q
,则目标就是要找到k kk个最小的特征值- w* _9 c6 q7 Y' u! P, w4 b
1 n6 a o& [5 Z: t9 E2 p! _一般来说,k kk远小于n nn,也就说进行了降维 ; e3 ^1 H9 K Yh 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}}} % `; P, |7 Z( D: K0 Kh & X# ]9 k" J2 h; T0 {
ij* Y/ s. e+ s9 ~9 O
∗3 k: J! v% e w# W
4 P6 O# V1 u9 n3 z4 O, _% N0 J
= ' T5 q' `5 ?7 ~ T2 S% i/ ~# X0 s2 S( 3 T" |2 x& c# e) p0 c. dt=1* U- C. ]5 |7 ^4 Q7 S
∑ ^3 }. n8 }! f1 N
k * @6 n2 N! |* Q/ K" h, W6 k/ C$ L/ Y $ u1 G$ M. G3 P4 Z) s. m h & p/ D' ?( l( K* \3 u/ yit; o# L) E% M C: H
25 H( H! `1 P. b+ |$ c; ]
o b& w) p- q4 E& B# k
) 1 H1 ^) q4 a0 f6 P% r) O, s6 ~
2 - |0 F- W Y9 R4 G9 ~+ P* }10 o) n! _. \* D* j1 Z9 ^
9 H$ x0 x5 m& O' G% I1 F/ i
4 U! Q8 x2 A8 O7 }! w K
& V7 A$ k; r/ a9 l3 c! f+ E. S
h 1 t7 F A9 d, S( B l6 {- F+ C
ij6 [, S, [( O; }
! q0 ?4 A, M6 l6 V
7 c& T" a: Z; b' @( U& ~: u" g2 o1 N
. Q" u# R n$ J& }. F ! T/ T* I, x" u; |/ j1 W- I B7 f! J" A* J$ O2 ?8 q r) {8 ^这里需要注意,降维后导致得到的指示向量h hh对应的H HH现在并不能完全指示各样本的归属,因此一般在得到n × k n×kn×k维的矩阵H HH后还需要对每一行进行一次传统的聚类,比如使用K-Means聚类* n) p4 W! j& r! c0 t, l9 G& u% V
) |6 A/ X3 }" O5 \* Y(2)规范割(常用) 1 D( M# Q2 B$ |+ W `3 ^规范割和比例割类似,只是把比例割的分母∣ A i ∣ |A_{i}|∣A o, G8 |+ e$ H9 R" A$ i
i+ ^6 R1 [4 j ]& Y
- o' c4 R, j3 e' k1 \4 ?8 o& R
∣换成了v o l ( A i ) vol(A_{i})vol(A 4 f' @+ ^" O) {- h+ Oi% P9 q9 c. z. C. `
2 b: x' o% ~- m3 Z7 l4 i* e ),定义指示向量h i j h_{ij}h $ n9 _. p! z/ b; ^2 _6 U$ wij 6 v+ ?6 c- j8 ~; {9 V; F4 y& y4 p: t1 f- [* R2 c
如下1 f; C; ^/ F5 e5 X0 [
+ `% }7 _# l6 L! b- |0 `1 b: oh i j = { 0 , v i ∉ A j v o l ( A i ) , v i ∈ A j h_{ij}= . V3 N" `( A% A6 Y4 \{0,vi∉Ajvol(Ai)−−−−−−√,vi∈Aj9 z& S/ \2 o4 ?) t3 `
{0,vi∉Ajvol(Ai),vi∈Aj # R) j3 e9 } }2 Qh ! q: [/ e6 [; D% ]+ n# |ij! A, q6 U/ d1 B0 b6 E
( @+ Q2 n4 A4 t" E3 Q ={ & f: ` w5 b3 W. @ a2 a P/ k/ H
0,v 6 ?; |( C& D) `4 M: b- N& s( c2 J
i; }$ o8 q2 M5 b( T. `, X) Y9 d
4 V2 Y% I- m$ p" W
∈* W- r6 U* b X0 |* Y3 i( M
/ ! G2 c& f- ^, ~* p; LA 8 v: X0 r# e; o8 D1 ~2 n
j$ `( C e% b6 \7 x7 J' x; t
1 R0 h! ?) u) w" k* a, ?* V4 g+ r& c* T$ @$ Q& I: ~' R
vol(A + c; T3 |: H+ D8 R# d n3 o: |
i # s/ O) k I" `; Y % F# E5 K- H+ ]0 V' V5 \- g )3 U& @: v: ?9 Q
$ @6 R# M' T) B: {7 _. P ,v - o: g5 T O5 h6 O" X
i% T0 Q) _9 W& v7 ~0 V6 t
$ w3 b, N" p" J5 b$ M, ]+ f4 ?# V
∈A * }7 i3 E0 D% E, s
j $ E& I5 s: r2 _+ Z- n8 ` ! @/ C3 N7 T* a 3 C2 c2 X- i+ Y4 C( N - R* m! z5 i1 N; K" R \: a ; R- M: H: W9 q5 Z5 T 5 w* g1 ~- x6 R& `于是,对于h i T L h i h_{i}^{T}Lh_{i}h * e/ l4 [2 Y! f6 f9 h; E
i9 @9 R! B3 Z) \6 l/ `
T4 f/ g }& T R6 h
$ P+ r4 D9 ?9 }3 a6 S Lh ) d% Y$ ~+ x- {6 E
i% A$ t1 @- m3 _& ]/ g k
( _7 ^+ n& g* a- p# ^. e- e5 q6 L" D
,根据拉普拉斯矩阵性质可知5 m7 U9 z3 s) z+ K
# D5 W5 k& ~% R+ }对于任意向量f = ( f 1 , . . . , f n ) T ∈ R n f=(f_{1},...,f_{n})^{T} \in R^{n}f=(f 3 z& I# r+ j9 q+ R a# G3 X
1 # y6 B" c W. [+ q! j . G6 ? B" |- ]( d- ` ,...,f $ h# k5 {2 n% Y! y! F
n( ~9 Y8 Y3 m2 z' }2 U
9 y0 N2 M9 t- s+ C ) % s- B) f5 D- ]+ y
T , g* X* g+ a" o, d }$ F2 O+ L/ o3 |- Q ∈R : J) P4 K; S1 Y
n # h; R4 W+ Z6 N% z5 t! R Z ,有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 * M) q! P; A% ~5 k, Y. U! F. N' UT; f1 K+ j: [/ g$ ~; G$ P
Lf= 8 g) Q+ u; A4 r# L3 Z3 c! K- X
22 ?8 X: \& z: u( E9 s. ]: `
1 , [$ c9 H/ U9 D0 J9 b* w 1 x+ R: P- [3 Y% G2 h& ^' @) e6 V
i,j=17 r; K. m Y8 a7 g/ E
∑ ( E% V, P" K. O% {4 [( @n % ?6 x; t: X/ r5 m- q) X& a+ z% k J3 z3 L
w - a+ E1 G" s) E: y/ _
ij 3 _0 a6 a# F5 C1 x" {5 ]$ B2 @( X8 I/ t! h! ~: N1 d
(f & g E5 I# T: d" @ A0 ?: G" v8 i
i ! @" F; R, D' W( _% m1 K' \9 e5 b9 F6 m- G; a7 O5 M; P- P9 ^3 C* K
−f 7 N7 r* u. Q+ k5 mj2 Y9 k7 i' x+ k$ M0 J5 \0 ~5 x
4 `+ C$ v; S+ ^) H4 f5 Y1 r O ) ' V4 a% U, b1 t4 @4 I
2# E$ L8 G; S8 Y5 \
2 l5 |& d0 ?- V2 h0 O3 F# sh 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})} + W) P* I+ w% x/ _ i* F! {h 6 ] K& w* S, p: ?! d0 O$ G( \5 Z
i $ s4 a) |- r1 ?, w. OT6 b7 V( t2 \" B0 Q3 X' o
0 I) S. G3 [, s/ ^
Lh # P1 L) L1 P2 S2 T4 ?i( ?- S- U% n4 h" g v. I* \
5 q, I/ y+ |% K! j = 6 h" K# ?6 W- W7 r+ ^! I
2 + v7 \9 M! I# Y' m. P1 3 |1 Q7 a; o0 q, d. L* f- y7 @' v! {5 R4 X7 [
1 h7 m4 O0 F7 ?3 `8 ~m=1 . k0 x) p$ z9 C- B6 d* W( [∑ , p) Z' S W% P' g3 E8 s7 F: M
$ h+ o6 ^9 f' {! e; K
n=1 1 Q7 z; G+ x0 ~" i' Q" Z∑& T) o9 B4 q2 w
2 g5 B& r$ j, e* W ~* b, r* j w 9 y/ W4 |; h+ P9 i
mn : p( S, c# C# m, O; O) @" H$ Y! I1 S: p
(h 2 }1 W) b# N. W8 W# g6 ]
im9 W9 z+ x4 Q+ X W$ K. O
" C' e6 G$ p" A3 b1 {; ^9 O2 k6 T
−h 0 w# f$ P0 N" H* Y% ]$ V
in$ c, I4 h8 u5 E2 e
* l2 A1 z k) s( I7 N) O
) 4 Y4 l, C" S2 u. f' O) Z
2 5 V6 y1 M6 h/ ?8 M = 5 p3 N r9 t$ c/ T, s
vol(A " y |' ^: a" a# Y' k' y. Xi% v' \) Y0 R% `: ~2 x m$ L) n. I
' F/ `! x' f( F ?' M6 S0 Z ); ^- i8 A& o5 i7 d& }
cut(A 3 D( ?! ?# ?3 A3 M: gi$ B, c+ }3 E1 V: r
' ^, j, p8 [5 T. Q: j1 K# k3 L , ) k$ B0 m. C! t8 M" G8 _0 ]A 3 g6 c( y; q1 [' \! Jˉ 1 ~4 v3 A- I G* z8 b, g ! Q# q5 x1 B6 J8 }: Qi 9 {5 N( O$ j- _; a: _2 y& q' W) V& l' x
). p9 |1 E# k" E' W! D( @+ t
" t; I) Z% R; h9 m7 @. V0 X) I, z/ r! L
% |5 M: }+ h% Y5 d+ \ 7 A: @6 A- S* P y1 b3 F" p+ U严格证明过程请看刘建平博客:链接 s# r( y/ F" ^/ ?: I [; {/ 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 8 B/ k5 D' g9 Q* E0 zi# N# J, N* i7 \0 G8 Q
T" {. j8 a$ t3 j
1 p) a5 y: m T; L# H
Lh : \0 `+ S; m; u6 M! h. L$ _. Yi) j9 E( b, Y4 ?/ b# x: v
- b \! j5 C# W; D: X7 I
,那么对于k kk个子图 % I$ y5 @$ A! C4 I! `; ~5 }# T0 x: `9 \ r! z0 b' B
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)0 E% |6 W) {9 o, n, O, g
NCut(A 3 u' L" ?' T& J" ]* a7 Z1 6 t" @4 p9 O) k& p9 S9 q1 x * \7 s! R" a" | O ,A + [/ W' q) E, E {5 w- k4 f0 M2 # G# L1 j0 }3 S. k o6 u ' O& N+ |) ~; ^8 l& V ,...,A 7 S9 f5 x9 d% E' T1 p: s
k ( F( \7 V1 E. D, Q4 N7 w1 D / I1 ?& a( h$ t/ P f* t )= # |$ ]1 R7 h9 t9 {9 V @. d
i=1 ; I8 S4 [( o& C& f. |* |% m∑ 1 \2 i6 b0 x6 G; @2 u) S, yk 3 ]1 ` [: v' V4 R4 Z( E 4 x6 Z4 ]7 Q- b' W; [ h ! |* h% {3 K0 G! J+ e& I( K# N
i, S2 W: Y. y, g0 ~' \6 ~7 L( ]4 K
T % @! O1 {: ]2 Y7 z7 v8 \0 g; L) n! k1 q8 ]& c& M t
Lh 2 S3 _ d8 @: z1 V1 g% i ^9 `i 1 L" b" @+ P9 {& n$ v% G! K% ~) _' o
= 9 T3 f" E+ i/ J. li=1 ; o ]6 j& B6 {8 O7 _1 T9 D: o∑ ; s; J3 N& A8 m8 U. lk 2 l3 x% F3 l* z( V( Z* h+ A0 Y' a8 s 4 ~+ z. K5 b8 y$ W$ k. h/ a (H 7 a, Y4 c7 a3 g5 ?/ s' t) S$ iT % I4 P6 W) Y0 ^; V7 r! v. T LH) 7 J" r5 L/ R; I* N- Y4 F; r- i
ii * g @4 a4 u* Q+ v5 q; M1 o; Y% Q6 ?& }
=tr(H 3 s2 D# e9 A' r" S7 \, UT $ U5 c% C0 J; a7 c LH)$ {( w% ~& r9 t! B3 k3 f. t, M
. q9 j+ Q/ z' I' P, C但此时H T H ≠ I H^{T}H \not=IH % G+ k3 L" J, Q5 l& h: n* M' h' U
T 2 r J4 f3 o* X H 1 U4 z j+ |( {2 w. V+ _7 v2 Y- s# k8 m X( i; n
=I,而是H T D H = I H^{T}DH =IH 2 F7 a* g7 k+ ET' b7 o) \$ d4 F" N
DH=I1 j$ n. ?+ W$ j C* E9 O0 \
) x) D& Q* X1 X6 M* [8 a( P
这是因为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 : r! W c2 H' [& V/ Y
i ; C5 z4 m. ?+ W5 ^/ k( \7 m# i; I* qT 1 f1 M0 I! {) h+ T ' r5 K/ ^0 j' I1 w! F" p1 Z! E1 O Dh ) u8 I; o- B- f$ z2 m* wi3 j3 `, U; ]) X% `/ i
& ~% X7 F) `" P
= 6 @) t2 z" W9 x: b" l7 Q( |
j=1 & t' Q' @8 M! X5 Z% |∑ * T0 G, s7 w, x0 On2 _% h+ V! i% _ X! } H. b6 g1 u
P9 g, K# d6 H2 T t9 G
h + ]. I- m8 C1 P
ij & k, Y: [5 d5 H2 2 r, q/ ~0 N$ I4 f0 J/ N 1 l$ a4 l$ n" j! m) \$ q1 M; x4 o d , S; N, {7 M% Z, S& G! k" mj 9 O; B! B* I( {3 Y7 H ) ?# R4 }0 y; d/ G! r = , c1 |" Q" ?" w/ H& ^2 B" vvol(A * x$ T8 B6 R) U, g4 z0 Ni' a: v/ f' W5 ?; F, x% G
# ~: r: z: m& g1 f
)8 W/ f! ~1 g* K: J* L" e( `3 P& O
1 ' m1 X+ W+ `6 {2 \! W1 R# K$ u( v2 p" `7 W: ^1 m" N. z$ q
3 s \ @3 F! }j∈A : b1 P, a# D. ]: }
i 9 E! X- ~8 g! @4 D1 j; O: J$ E1 d- |/ y/ z6 Q+ z
) Z: X3 j& s3 y u! I% W
∑ % S% S. z. _0 _, D9 K ; v2 C5 G5 {* [6 k! [: t d 6 H. q2 e& k9 ?+ M
j _- H/ @7 l! i% ?; C A/ A5 B4 u2 ^0 S
= + G$ a: Y4 h t# \1 a
vol(A 7 e" v h) o0 }, [$ s, ]5 J
i+ L5 C0 v4 ^8 i; H
. W2 m& D# `3 n9 [5 W9 R! a
) & i& y2 ^$ r0 b6 ?( o2 Q1 ) x+ x" k' N6 V& j9 s4 F + |. q# U" y9 J: r$ d: } vol(A " _8 S2 N: n" q+ ?3 a/ t$ t Ki " h2 s8 Q- Q" r6 z8 y7 L0 E) c7 ]4 D. c0 K& H) N9 m
)=15 s* I. N7 g3 u
因此,此时切图优化目标为 : d0 I9 {1 t& e% A2 v U$ a$ b R5 @9 U4 m% U9 H
a 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=I2 E) U8 c8 f! m* y
H 5 v7 \2 r8 m6 yargmin4 r- h- s; x, s) j1 k& c
/ l9 f7 V' I+ J- Z) S! _4 O+ @ u3 y5 j w. f
O5 W( f# i: P4 F/ P7 l
tr(H 4 B. g6 E( ~5 K$ f/ R
T3 b" ^- t0 G5 |) m( M
LH)s.t.H 0 E1 G* K7 N* h0 @& ?& \T , V1 M, K7 T! Q1 B$ r( J9 ] DH=I / u# M7 ^2 Y" f$ D. o& `4 t2 Z % S% Q3 n$ m* G [# Q4 H但是现在矩阵H HH中的指示向量h hh并不是标准正交基,所以需要对H HH做一定转换。令H = D − 1 2 F H=D^{-\frac{1}{2}}FH=D 6 P5 O4 b- }1 o" I- F( q
− 6 i/ F( R; W! \& {; o2 % `6 }+ z2 r$ x# f2 M. a2 S1( s3 Q3 y' o' |7 R4 }
3 s( B: b+ }7 H& c3 C% ~- i7 \5 K8 u
5 `8 @/ H0 ~: M
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 1 d; |& T0 e+ D( |, A
T / G4 j. H8 B9 A8 v; a3 u- O6 a LH=F 8 @- R1 b- l: E' a
T j7 ?* V3 @, v D 7 E, a% H: @7 s
− 3 b3 S5 R- ] D
2 6 e1 z2 \& M' O5 O1 + S* c' G& ?8 S8 o9 @, E, ?' j7 P6 I# K
# k8 V" U+ d L
LD % ~# y0 _) B0 [3 J$ p& {− ! q" V3 E7 O& ~8 [& n$ g+ |
2) g+ M# x- n: o G$ L
12 f5 H. U; F, q9 _* c( ~6 B
& q8 |+ C: g" v* S 6 i# H- F- w- {* x' b9 D v F、H T D H = F T F = I H^{T}DH=F^{T}F=IH ; R3 ]4 P& \, p$ B$ n. }' [4 QT6 c( N6 t4 K) D) m( A
DH=F 9 @+ u! U/ H* MT+ I' R" p9 x4 u0 m- ?& U0 L
F=I,于是优化目标变更为 ) ]4 f+ l1 @" za 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' g4 n' E+ P1 G
F0 |( M5 H/ z' M# i/ l$ ]
argmin 2 X0 s) z. P w3 E7 {- @0 f) r F. M/ T$ W& Y
/ o+ C# U* |; a. f5 C ' W o; t( z/ Q1 k' A$ q# m9 |) Y tr(F 5 R" Z# y0 _8 hT 5 K; U, u( i5 W D 9 ~) r" R7 e8 E, Z8 T
− ( L$ F/ z: U! R/ T+ c2 & P# w; x7 p& z, l( V( ^, g1 7 t g2 q1 y) R; a7 @% P4 D % t! N' _- t$ b7 L. e: q 8 G H' u. C& l" e/ ~% U- _ LD ( ]5 s' P; c2 N+ ?1 C" m: Z− : n# \+ S4 l+ f+ d29 C/ u9 v& }' o5 O( t8 A
1 * [. ]% |! E* s+ {% ?2 Q, i+ k8 q" I9 M* T% R- l