From 56a0c84bceb6b2657928a9bef716502969b3d4b7 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Wed, 21 May 2025 15:22:53 +0800 Subject: [PATCH] l1 gap is 1 --- main.pdf | Bin 119561 -> 119549 bytes main.tex | 3 ++- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index 76831b5216b03df4aa28273cf57789a7b25c9632..794833e515c5e10724ac35e09262cb1dcf61c1b7 100644 GIT binary patch delta 10764 zcmaiaQ*)pV({yaxwr$(Cv9ax3F*mktZp@9HY_drl`#>JB{PykAkVyplObR=ybYoF*JbfF?$OP8rt{b=r#Z_3Dz`SR5^DYBI;N ztsj1UpN)EgtVFn*8h0gJ4{=jk!O4ntd`iGbXJ+9_OW+Ehv9-kBs*mIF>btKQYJ224 zUDvpFK9*e5edoLuc&I|PaJ|+u)dRT7mZCJ_MI-j0eH!e@siW#p92^N1X0kW!f-!kj zI1;plGN>tZC@id)RWG%`!u0;J3*)4^EDcODOHkR*{NlnJ41~*=2J0L|2HmYVb02V`y2Fup$M zh>0n~-v~d^^c-sxw^-a)cbp9!>KW{?HCN5ASW6M&`%oE=3s^=0*xXAiv{Anm$peqn z9Mc~hiAaTiTBIT-vJNm{Nv@&B-~Tca^moi$eTEjaU9_$JHR%cDXl{;qR8l zELyVxm8$Kdd5r%J%u+Mlka*7g>`;+$Aw(38X3s!l#YM{p&&727)_T$m84d4Jg?`zXnm7%&U5vV^0Zj$66Fz znz5R;9+m^nYg4}wn*2|{UP+@*add66Yx{3Yew4-6B4!Heu43puV*DTH8gCEI^*wtA z%hUUtWJO1gT@f5LSf=p$;_2{YsnSB!Pp5xOo?36X4kmwdCc8qIFh;k=kV2Bc-MPhg zyO+D1x$M?Euk5%{UTw$>ra--=$v#o=y|cDy3`kFkx^PZb`{U}CX!1>WZ`W<>JBB+)!0yDH_>;NdyUn-Ksk!(=@}yPYA<#h@^S-Y>|Fgy-t)2M3`04WrE_}wR z$&3(BX$beT=bHv{-b5bnhYU-> z^=9LCp#S|dH=+wHca(noF&=E4<#G;pM!~H;EODI=d25znXL$~;g$y22!ue_>H*nfP zdl|*Z0`*WbfEvY^j&vq*h1l$^6wUlVB z^?-3zshCHyyL{XO*>FmB9@DTLgHqd(w4Sp!LAABVyGP^7XSJJRk&tLm&xnJP22+yA z{?(zKFoG0GhBHkLYpxpYZeEJ`3m-K~9`q7}Y@VPIU&LV*v0PySq}xNvsgSdS37}>; z$lQ%Mo~<2BhrXwl-Gz3$AZmHaFk9##51A&8ofg(9@ysP7_ z({d(F1d2l`?8;ae1&w~~4+JFCDL~Q-tJkb@^19?S{|j3b#k37yS|jWz{WId2Rg4ZA z0|NqzRhQ-FIUL3%B7#N`cOLeFfHp zpf|O*QY1+y^ET2s*4%~I3{G(u>;r=6P82F3q`q(F@E!FoZA>SH;KUSUCctEjwvZ9_ zFiPP14!Pn-MuboSRgz301uh63J5T7~ZHs|x>8nmI4obHJv4YKaOYB=IL|du7@*{XN z*k?8KX|cbYWlF~H>17hkoMg`+Scl~wXPo zH73gc7h9EnlyF*_aN!)CAu!~YrX$>n1~L(~`ceCbfc^A07%i-H3=kES&KK=39~>$} z4RucYFSeb)Tddttq?@>-LX1*lqpW#nLyJ|vV+Xzwc20| z=bE1gmxmhT{bO4kCy-S#SX{e5urOiGt}GRK;_M#vn}<(=da$_dx{anm{6KiyYPspM zt%H%alG_@crAsyZL<;84meBc_Xp`(3J5BvsAKh#YaCy$1z>6O{%#Mbw!zy31#j={MTU) z6c5r}VAq!wRC?;T;$pQT2TLL8m3yvR=g33ijnCN1n6EcqYvi#y1+xkFubFynbC)6S z7+CIomM8{2(3QX+@XYkmhckdTFz@mL&fv<;@BLW8T{o5V$Ex*;UTVodoX~F23)4i= z1v?c(ap9Y2z7PJqS0=;4ZjYzox+|mvIiH`0RV;SjUpq_8V$Lh=wtjQDENI1i@EJwt z5sKhh@Sr7Y;D;H<%8-V@+D*^XlY^5{QXDA?r{(x4z~d|+;ureGaw z`O`{FXfzCsXrzW^m)^Ux_aDogobOQpq>!H=@iUH)`q*t2U*xP=%K04Qi)PGNKMoF8 zITi%_j{?!pA?ELlk~X1`wF`nsPQxE=bdUYv|KxhwkaJ3jL{24vE3}eFgN6m~M;h!U zm!pXXfNVT{u(zp(PmcMn_4Kjfq5_UZ(fXo72x*;4EtZ^66OF$*x=V5tt*ij9vuPxK zX^7LEz@L;%*)UZcJ2ihd#1oD?1RCxD%3bG1g!yNtwh*UB&h`D4fQfdIrGN1 z`~KU$=Fyz!cY_!~Ks~SK~*EF=}@sZR90b%bg#-GB-$t!Vn0T=aYSp zfB_V87T`pi=*d1&lQ1H@N34=D06#>OvG!%Jarf>;OnqF`u|BR;ngs@}m?$)3 zue$i*h0Qf{>u75d&pN0>nZ<#rx*xT-Wu{o|hZJABbTBOIy0UJXwr3Pw2s=;Wv}BVu z(Z%?OCJ0mx9_lT(&sp2Lh;y8gT7HJw3leE9;LgJyY`F?{RQsN(Q{SthI+Ih_eJGI(-B#3hmE$b$tX_*Og1o3A#BnU8PgRv<=fB zkZ#Sk`_h{Y(pu9-Bj&c(04=L-!2k3t-Z0L^npn@_-W6Xi>6yjgvIksCC_(<$gJZz7 z8?8`KxDqR(oc3A2t`A@i8wOR#^H5OLf~4?U~1Hb&M;dKAPXT|iMXB1g}hu1z85h3i!tN4b*! z*|=55ALwU7Tixi;irL-P{z&$Nw40Ge^2MGiADAk7C|Lwwiwmb#yQea^2;*T@k}GBBPK; zVzGfQ1)iylFePpau!INef#`x;zLlA#U}c}l{E59>2t9x)A;cv%;qt|r39BU|pnB6)TUxq6@R8AbHZ4{3`lVUnH6`ox31#t#lCFVJK6rJjk&-a*=9m&S~cX7bQ znZ8MpDE|2E9AV@9#;`>?%whY0m(JR2l$VaKRUTQglE}vwV2D{9$~VXEgg?V?paeY<^%jWS4fNIfgn*j&yZHHo$q$EMmazkqQXUtlu98fR8MTQ?Os20 z8nVS_4;W?ycvVXiNz43R!tB(*Ue83v)+aZ!Ol;2SS-^V>N<8PKFT3P-<-|9|HIMq4 zzznv(7{L{0WAV4YY2CYhDjf(q0qt1B02a?uO<}B6zVCPOU0ZQVcvaDF45QZPf_^u0 z7g()1G4mj|R=mp9+Ph0+4h84XAgD2m^SKFP;D+c<)GLBaKd zgk^MH)8f17_%_K45zC%9Jx}ZEzzq*O9cW`EDWGE#4Dt9KpmY5p$bEC|bq%%^+yMky z)xcxb)EY(9D=NBVxQI9$wtKWaan9ZhjwT^xp|((RfhN^_bgjKi5jc13*_}injQml( zhFAg&LWi~qo!>%!UY%MGBtpbi!0))-jZzD2*Nezx1hR=XVmR7Pq{zZg_G?kH8uD?b zOf;`^{rj;W?$Rd#;$9G@O(HIE<{po@JOb{iswhF6aDeK%3WX#7x2H_ir5o;`X*C)( zZ^)h$c3h;TQaESQ6wTfUH|4ypPkMNH3w#h*Wn=L9vd~^{^0e_U^UveN4%(I2^tE%x zb2fr~mrH5lMVCXuwE~0_9T=X_Y8+e{7B4mqUjsUj;VA--fzMx%SWIulUoT+ix>U8D z)sw`7xPo0|Qp{Yq{DH;B&hCV_4h`#eSSlR3wLzH@sr&Np?;K*zcoKd2Fx3RRO5@tjlEBfM30<^T$7?wobV|c zE5@EVk+#RilF%3?nIG%H3~*w2BB)S2$L37!;vnI2hrdBB-liy0b}7-D-wj(}fC&v| zSX@b3Cg6UuUXw{cP1o5pMfQJ7sW&~d-o6SX7l85ImZu%e@5(#TEbX|LrPq8 zyc3EcQ;=bbm+Zbfq9%pbR z0A8|-MB40@z}=ZR+bx-am2+fTVM~OC^~wSlV)eXz0A5;8DH?&Hkz?uGkx=L@3mDhw zhWdx!HAGTx)!CNSN2uF}^sqy ziC3zhb~6}rDSmR$7_s{pX!5S@+bfmchgf90JZq>kU;dk(D`T(3ix+3q312o8be;R6 zPHJzG?yvYGe3fso9ol>U_TBgcB>4uk=nki%--F;3L)$NpEMzXQRK1b0!rL)u+Y3*M z91{(*PO=nEL=zKvt!!Y2IIHTei{Ww;1_ZVk`GBy?^D?85=b6g@z&v%|)n}5^SnRaJ zVHOQxa(D3G_fE@M9qhX@PZB!0c%YqD|H>7v}Y#iK>HJ!FDfXskTsh=@&f-E4% zH$e2R&o>5UEB7%Iw9kJBQd8ShYxqhe9z&>e;PE)eqZMRoXA9766M_<%4%sy>r$4-8-zT63k-e*|rC_J5w+E^sm> z{x%PT&gd^y!AiE{p7M<2< z)>2m@7sgt*Ag+O_;OPEMrnaxP1g^_dcr5|57%7mZ*3pj~XUb-Rr@!lyXn>snM(ifh zKdq{-UO}7C<(JGce<5T2fIss`J$NEeCM9%Lfmc6nJru4xNB`duH7S(nl zUKPOBvoVr@nKGA}u8u3obT(xzfskJdA>0U4Q5dLK${I9dJD$#efCHo2$E3JgMW6D0 z2$OObQKnIXu0||gL_Ls8;Qy-()X}RHM^)&@ zwj@>S$15GLED}ou)*AiXeK$12!QzR^uhy}tG zAkh$ZER+3797|a9>GAFUyBfFnYK-`KICL)*Vy${llXR>18xt+W-XAw;`0u0hi_5j} zx9%!(o4THy;JBLju$L#)uQE`!_A`VaURb!GCB;vWIW@@E&VmJtAR?|u_E9q-z^iXZ z9vwC%`Kd#3xo|RSy|+Gc|8MQfEifiVAQuGFB^!!#YEql~4Wd)j@F6~cDbjt3&V#?e zuHy}wXmspU^IJOv#Y z&g1xdItHIBzR!r$Tcv>8Z%;_aR;rnnz=+IOxyQDA|9rxRT~UZ-(|0Ks5jYFI&DaCS z_7X`5{kQm;uW7+CTkLx7BJhpB;ctt?+pI z?-vscpI<&KZvn~#KdG%|C{%RkE<}s_#)#dG-ua$* zt)|)?`#N{Z4}L*k-2r%giz(|5-@CI3Z?*3w|ITV@ojvXs)BDd#wyjiD)@%)42x|Q- zwMoWGUw#}U=*L40Gybj)0w6Dhh4vfHlF#yhYrBV{b97S2YZANAWE;gyBqI134cckTP$a~m6t zEn}WG)>_3EQD8_Gm`Ke?ojd~+G~1FX?|-Mm!KY=VPF=}C4cR!aA5!%O!qAP^a6MIN zM2Gp93sam~Y;4SsO@Iot!{2Y7ti#`bLKNa3z3;wr$uJLp80F6?gYcPt>681l$R`P& z8It))2mZCMSTho?Bp-wfo7vnM&Qf-|pf+V6pXPpShC$K--e*2bXVjmgY4CKgaGxBM!QIwL#Oqt|nS5PUz& zS>(GnK^$p1W7dI?|3?`Mvu%s2k7dTn#KXU6=3>r`ZD5nOzJbiD>GZ4CVjh3!C=hRe zEpz4*g*$fxn2rnjaEf??RtKe?gCdYjsu#Wr*fGjJHk~L`jBJLXUcw$Y9USTxm=uEU zEoCntf8nQPUDLGjI|4is!JwZ*nG6{o|LqAC+l}RpYcK+*-^yPp z9MzoP0u1y|YiIc1b;-S=)rg8mOQi7Ib9zBR(q6d{h{f}RZjKO=Pl^t|Q}idt+Z@)Y z^;~{Tv@)LYY`6XCm~U~Q-(PGJ(ZXM=-vF~$Xm#+aW6A?n&5L|a-oLU3PljyP%=ybw z;1{R^T+3M5mXuL+CTP0~FRK3lNf=?YxFJZ7I{UsdPOB}1&hngHG_p3 zXTK~@u@N9g-!jy+(bxg8NcqfkapqT9y%*8enzZ;wx-vKqoGvGu+rVoi z?*KwC#Wqh)LhFdDWop0n?`ekzyF>08+Gqj zJP)aER`$m?O9MWM2rNolYvUWjuLmbSfUq8);~RKd&=j`)!|wqqXY;rqAyPw8oA^(& zw2=6+lGJ&UUhL{k%4_JsD6$SPLa+USE4wqcp6aKm_ucFWGT%W);? zG?n%hPjUb|OTzFRWC!KAxs+eTvfb+6VBxt`b$1<|MM8OR$$Sl{zNUkpU+ar9;B%G* z-3x&cY0s`>2}#x4&QXcs?QB2C_k2vRU0_fDxP7#PLzHVCmGN!A9OVaPeS#f5|u6;@P`a>o9Ng-+(6UjxNqm2m+)0cpbx*D2K^`HA&*Mz>$NYlv2*ne29Th`q$IKS}v!S5f z1-u_kSkgI_yX8O?PLDAKa^|wuPX3=)Gi5=1-@kPCY0uJA0Z#P%AJ|MyX8pb~Wi_TF zFt5Q#$7pK3M{lHgc{a;2fDgfk2C61KbKouN(wf>x7mW8l!XGL^TgnteT^&k`suv|W zHmD(Db_*~p9x5Bvdk>U81=2r?O-8@h9)}Tx%|v?b3}iN36;rq(YldO_6lFQ)=3fOR zG&kvfLc2cJqC;*oN)W785x|1y4b5B4u+9k!d2&H?V%`^K@0)w$)M|OuTRp@P2W>i&X^y=}i4y=Na z48SS^8M;tyVrBDvgJRsz3Hj>#p_+VLdw)@vuh`%9rg%|mj98q7nkmgf zDn|iQx+~Ho+4*WJur($?zQ64&vz7PHWsQZumu*j)gz`+(KJZ19=ayz#avq-|U-rAQ z?mP&XMp3+dWgL`prbNp<*FK^j%R`wLZ$?UOB#x*7yZ7wtqKb-rS@N&avk~oE!`hMHF}K%EVO?;{kdXk5t)n;ZpjRFIi^_r#rx?4O3@WpARC%%uZ5yw=^!qOf!8w zc%gh9PbAFSWBR1T9P`l;Cq3Qh*OQ$O>SF`&^-Q8HkCaT-9X_Ju5Qor})(5@MSFTmB7J2B~AO>xrHahbQ^)BNY-TwnH@ zcpFA;CE08I{Lk|IcizXKos0zyhmK>-eV{`XoICV)^Ir9F4zLM^I2~=g1uxlqQ*r>G z?~B)S>AqUix7`d~_G~hZI`aTxxy|KlVm|tV+rRD)=WnMX+$cOXo*4s(&(xuAt4Shn zyj8PM6_3uldeNtxA)uj`t0umjwS8M#nViO!0iBlzYeqf(Uq@RtoUZ(DzCLV3Tfx{> zNuu%=Iwl_KG{^6>i@wX7uzBZ_TFL;`{wyvP_2cRF0;yYWitph5#Sa=Ksz;j?khFSN z<&BQvkUjtT#V9viU+{4|HU}m3EjIh|1^;(fmahDmhkyV6-PGU!M4afXHbRIw%nRo! zHtga}A>*+-0vA)h)U$7IySL}>PD|r&fNciG`t{6(R9MF!F@@r*=AM*UL0{nhZ6GI< zlcD{~v-y0}DwDP8vDeoMbzC2Jr5-^{8_H_NSu6I)mQUo2?zj+iGG>d?rUs~~0|K?Z|3#LlYbcbs)pEQ%z%p45Bl`(uX1cK+{N*J! z_l;Q8ARz0-R4(MXbwj1QZGw>^05)v@1c@QplYcY2pJ2e{5d>;#F#fbTk80BxpAha) zwE2YNa|<6xW?TmEe3H=|=_$9X=^i}IK|{IQ(l{>W&|~m0oy{X_i~@eQSM`Hc=&$}% zo%{Ifi0yuc{>7=K|8)21Q_u2>ZIlO=4G_;^bx+f;C1(K!Zu)nD2BWUWHCkH|rF@kY zif@&cRkf$0!k?xpZyo2(ELneGYC5Y9k}1<2bi_tc z@+|GC{rXTmj{k9`qRW8ReE`|jA{SAMZ&qVr_INeynD>WS4Nvu|w52AXDub4@TfIw@ ztw*FxmyPubWg`*S1G>Z|OYR-f$YV4AuK2d5`zLX5IeA}W+->)!&1brSpK8Cnz4P{w zR=*+F0oz}0)AMgovV7&H{{=1WtG%F1@DQAAY^)jZ6QIQZo7$NsKogSi*x4rLF$7%1qJjeAGJ#Jgk=hm*JcZuZZGGIh>y87}lB3LcI+9F!uw8Z)C(k~!@ zB8%EpWqZIHqlpySl@!@55!r<%NQ@@Lj3!u32N~ZK-9CcOg~>8O1q#38g(LT{F=Txw z`hh^fb-ei$Avcm%#x0~`(XbKGHn_%yQbUyUBJ^?&!6PxK*T5CtJ{->^)hhMaD_{8j zaSkMI4uU_(Cy?41KOg>evk|)Ezdl!s2((6QYy+^e-#!@VXddDYf;33Fgj21cx|MzR zmCCPKU$ar~+HISHJcP;vH@3r*8Pz3N?c1>A_oTMU=78yA>;!(&JMUNa zEO(u@^*`ys==49L6-#=gtlA!=AovcK=KsJNUxk7ZJLAiuuLdOFV7*9mBRtl#ILTMP zDdc7;HG~FIl^(`nUdiM+ZByG5FkTI?cusq+)exx)q8c%*ZZ0z1Gg8z)!+L%XEh9== zbCIV_IucIzmDI~%e2jMgXjx=VW@zRhVPmnfQTah;ZX@%M0lXjsd|Mcb;kN;zf50R# zB7-GCitkE-eMbWIiV_J%6Glc8fkuP*>dA}n$$Ibw{`63XnXxkuN&?Hu0!K+HsVoKe F{{VkJ#q9t9 delta 10766 zcmai!V_T+yqJ^{T&7NwqHQ9Dem~7kTlQG$xY}>Xq*>19}efItX=gYd*b>Hjr`Y3{p zD2Aw; zNrI9ZZ)<+eK$5@=f{_<(a!uo)L6~_Jdwad|2bs70;CowkZ+&{}m~j7khwXokG8n{K zY?#PQ$A+^OP+1|F96NVn@5sP#xw$*+Y1uSWM-(1=?zsS?*VOw=JM};#$4fP1$`?9W14&ZSTMK*9C=M+$w)G&cO`!rug2-Y@5^d2;#g&51;NzDOreK=4I{W6Hvs3q?$6#H%_ zhvcHWNy$v1Jb4AHbTXOf6qtn0GP$X%%fGetB5m?%-ceC;%Te>;v;Gjq^m4?bA7Idi zoY*~4!L$7g00M>quqDeogCQcn&ph78G@WVC3ixl^k@u)}h{q+!HYwx2rc!1L}Uc^Qz-x*2av zIy)M6FYrxVE{FqW-Br`lBvH4(eLw!%>K(Z@KYld=aD3_yz7}38&|F__RAmx!miTUv z>0b_Yag}fUTO~f-&n$DPA~hj}*f`H`u&^VdZ#$o#k`R;wMxQL)IZrrIQ^1*!7c=qZ z_SFW#mk&3@^E&wsvE-XF%hzz?=}Wc7ake&Uv3Dq%1j&?mgSY{FnhWOE%255xl+mhr zhlU)Wk={m=h19?_5ZdkZ^`4e>f~#qnQQ3Q2U{VxQiJZo-xr(XzfcanM6k`L)@zrvQ z$JNzMvZ5jLLmm<>K#JtP65ZLwI=CUXOS5-`uB9nl8;!3chy5qOvtd@{ACKu6H#m3d z`_-5B$rwFyM$ZqcD~%la{XHu`*)-^U2-tT@$_3h~rGQ7*I z)Chw~{<0F6#4SOpwEE)K_6l#jCoz|fjRC_^4mySV#V4CB$11RbP!mVhgEvnM1+0}y z_%e%8TiR%@wRFR!k>17j0NYBrw)VKain*y@h2rnhE|^Tv5?er0?|^|4zKPVVHpp(} zigEknL043#A9*ijAG#4HDmBwxU2uODK|qU4GO+LYJj2e+Kah=(Xt^Qw>a$|MvXQL0 zx3appAB3;X@TUx;jdRARl3penh#*3nPc(Ae_4C_kVGg%gan-dmPTW`unhdwnJVQOm zl`HzTv^FsW-nvb>8xye*gH_m@I!m%zDg<>mJPbAT!^{D1hkNd9!L*<+-XA00jQ(=b zxNaaXmtx-F4?K*WTwJE;h6L1}a;urnEu-Y(9PP#TG6W&(PyV>H9YhvgrqNrR(Vv=a7TXK6JRJ$|?o#eh_70?<0V-ChYSrIQ|l$TG4 zNq#g?s7jEMGDDDT_!H5n2 zIfVwzMs~AmOph4dM|3PBs_jZ|eX?AKjY}_x`~>c`(j@heXxl>+!k$JkSy$-y?P->* zEvyIrDV(fLl6Zz6z|2Zvd?K8LS3@N;3rB?EkZ-YUz@}hs__WPWowu#QO|1w4-xX-) zFiO*!wDNob0CQ*Iy`~dHVbh>q+X|o^PIx>KUgA$SK|e_`PMVEY7kHOZnYUp0H`o&~ zeeo)fON7aPX?i&ZHyBZpeGGh})V)M?tcPbTL>xyzKvFP3CN3r>`zOmsHXulf3g(Vx zF|viwL!`w{v4gm~M1(?YBl*W}R(Tpj68lkrynk~b^aZn&4>&oORUUMN)K4Zt=S`#^ zMCZF=UWN+Y(iD_wc+zr>=@oh{FAP$Mc2Zu4Vh|M1g{y1~VOf9uV1l)=)ynt(wBt6p z2iQOqX&s&cwglF!k|E-nBS9sJb7t95D0932P<>rp!WDwWZMSWe7)1{Rw~trqFPd8! zI6d14i<|uiaL7H6*ZcLwoI9um_k3s!G$&0Z7XxAD`nJ7YJ*8@dJUG=5n+A5uWEXjJm_(MKKOd8Y7YUB(j!~b20eV%*W_*wX)YxlH(yBGg9)V#KCsL`!6gThkS=K0wFH3Y8BGBjMq}X2VJ`Y18y`ofF-d>c$FStgYeg zr^m&z#^Hmn@++#~w^*<-1N39TxF z?n7ENkNdiw_}VS4ip}NV9Wj<)UdxiaiT{&nsf)BYkYWKFD~>A>=UddCPweG)FA#N&QS7%(lw+iLVobE)}Wvsw;YM zp!o)C9zLpqb2tlIWd5A{XFPf*P?<)TZKWd@M`DsLC#!wR{ZZJ{S>VJNO~N0HKJ-V{ zj|(Ie0bZjWBk`_c=i)5x<%s@0y392|nnE6063WK7ys~XdFO$tSm))74({gQS+o*RD z{F7XhyMWNs>YA}a{-(v}5Wgejv`yY_Y^g<6_xzHhd&v0`nAlj>qB$m82+&7JUQSZ|(V0 z`$UhnwPQJE?U?PQ1E9GyisyR$L$dO@uyz^(Kx=1QN&(V_7u-I-y?nC>Wwj`cVT~!& zaZueua(&Ul)@9p=Lgu#(nw++PT0&e$i^2U*g_X2vm!7okx-~s9`56Y z{frfZw0WCLFbKd1n*}cAA5(!{`AvlqrV!zgqJ zRi(Ra{T05Ex3U24VL0Ptllfm#(PY29BiU&#xw#Uw5;5W%Z#XrITGdG{0@=s`!;UWnvxUhJPU3$<~IW<{Tz3o>&rHL z^z~f75O{ICbstV$ENCK^g_C_ei5w2w(UzXr*1Ff|VkG>Su|{Fhv`2z=-kG!UrASuh za2@2T+W6j{!+J3H9ph6)e24$Gk-jrj|TxPtX9?46niA#4}^cR#mJg z;}C4^EDfcB48;m#xn!skd8{O2v#itaYKgJe=S_u<1x)Cl3h^q*qgF1(aAe=NwtsF% zozixg+Wt#>n)c5^)pTT(9O+o4%pzfYAP`fl{e4$IFlZv>;n)M0c-+1=M&&a|q_VbHZn2f5qB>I@cKSt@F2@1Af zN&kkaiPrB5ouepC5ocOOaDBAA-KH9qcm&Q@gJ>v6#Y?> zedB9eJrZkMeeTEyHR35p>Bysb%$_U)a21^^rJO<0LF{gTQ}mJL67-VyEHJ zVzYyUA~B7Lm*gYVJGZ*S<-`R!=86_hP3*R*&Y?(mx^ItTiu78l$gm+2Xo=( z4m8U`8ywS~s|<0YpL)jQ_^{}_wc4=AM&i|DNFscoQWTWJs#g*7zqj@|P$VhyEKS6a z|4sr>q`+uMb*E$%I`@+hBO80co6RhX{~blfYlEt1W|ipP7+a=XQM82Blu z4XinFk$uR+W6$JwUd0zuyT^)`MmVQh2xY3S^P$dqTVK=C<^_R1b4{3REE?P{^7d@H z%509pGvW^FKkE*e9SNmt~6oKuj;8 zDD{KeH(A-;X+iDghR6ZuL`mL95+c=xc$pW-Lw+gmVagCB_t zRQD-xX;;0AetN2#f6jdqDg6NqWr)_|i;gcL;7a$PE6brDuRpvDZ+9IOd*>X3?2OyR z*P6Imx6fv&ch<0a-5fL5yHSU2X4cn^7^mi*hO)?@UsiD_R=eMv*)MmZ?U;Z8@6shE z(eZk^p++W&X}FL5GBN1}4T#k;%^ z?rU9z{zH^0B}j*;&JTXg2{5B(GQ?rH(>pEnwm0~D%R{W-)EYaG%85YGxd+RF;$4D* z3q3W(;c_4%c~ot9AO9zj$&rd2#!K>h%C0pEw{oEPvcaRB2GqKSb*4mPPhWThC))GI z7i3R9fp){3?g$+4oUez@n!l2gA1^I+eck$Y*|MDY!CFeDjfq!o0Vh5gxM*xPMn~RBx&k?P^-b61yRGVZPLy~I>FrBZOqPWgd8z> z<5{!3%S@}%kA6Jtk4>&~LMBuyB3$O0`F(FtufeLQ($N_}-hTqggu3flo%%2xjHo+> zpz?Og0i6lnr;y2U)_e2DM!p|To73fauoz~tC*C@}gF+{4i99h|TVjj?r(y_zvrKW3(`r0Ga1q|Hr zD_Kr#_+3soGGXA`+&3j6E4}nD8KVdduEF-8>*4*Uo@a3KT}Y8b7KMN_u6dg3M;>vg zybq}o18s$y4X~aowkQc&a$2oODJ=hTTB1hTpguuXl|xs}wGK2ebTQ&lUYCnCCSk`* z+g5;f{-nP}C#kg5d6`)+5K8yo+Vk)YEoVarusK5NJG*+Kl2(GNxfXu-P7Bckq5mVD zuEmo`gF~j7F>;RBBgrL@|FOj-26`dsITL)u{Qz7|(^RwLmOm7ew|4SsUL?rB53VkD zj)vK5ersk%*#Lttu_$hkFyA$&HlY5J4h;}$);cQ_+`q_%AoPYC8Ko>=7X_1e)bAz2 zTKtm0ZS}k)<_VX#bZbtam8$p2cjj;gCgQ-R<&LAXUuCJ@Mv`u)e|?HrMh??}ny-q< zODT1&^}FZpLb^GJDn*bDPHYKyRxCTmB(E=Q$+v@4c8-E?AGQ%;sLg=~W~1?KTR?d8 zOf7j2QX>nN;r>13x{cTeTA@tW(T2pC+tsw?p#NFV_k;t1y(eA!%nT)V3wnX?B>c4)YxnVL=F@oi ztN9dCZ}<5!uSamZU*K~D4#XHBt;j&WY-JPZ-fq@TJ>R2NEFfUQjKg}JGN9JUp_+pI zx%)@joDwo>>SqU_>)?fMqRMjh`iy_bU;b-!uavX*3m#nWykxvez&tVW3%tHU$}h;! zs>RR>{7V?}2RC!-%@{Z}Fr;m1zdpS7QLWz>`;^aYzU{vU;fQW-*}&%33?uw~J*uju z{y@elaYO$r`$wUPawJ8OB@;R${`4*V@oH$}ZFyYCZF_BJ8Yz#CO&${PDgv!1nuk?W zHygA3>mT{u4`aDJ9eTNIek|Wzh~a&>G<9fw@?;0(kc4c`Iz=sOU}GoD(IO^oSh^Ae zYk8<(bc7I%#hEp030n(>FIGeUc$!2=d&3{0ikq}dgkU;~YS_#L?uJ2DLN&AU?eIPfDI`cD5dOE2MyqN)u(j495ULcXOrbg( zmMJ6GSB}M^+bJW1osl3_ko5gj@f|40*lkI~i@5m3s|a0X znZfnbhK!&z_En;Kf0@MDGA61X4sC{Hxh@oK?o}2d#c~Jy1uZ`18qd`0tV-% z9G>f*a=t1rVApBB6%nbzCv9%7a_O$2x}72UdqN}lFWG+RG*ZahSqs{a!|Xk@BypfonkqY%R4b*zPyMNu+@Gs_z8MiAq)Bv51Yo}@%_&R)y_VpJ4}M{;4leF&3qO#_0wVk!Hq}5lmW4)=YHBMj%ur#OyV!1r`(4e#5?%nh*8h z1gvBTS6TPuZ)gH4{Te#HfBL`p9f|2x3sx~vm@qamYRXTZ&79Qa8$grtGv#-}Uk>j@ z&%HzZ04ip}XSnGrMihh2--|5^wqZHqdPpjoBynHlDRz!!Eu{Oc2UT|UO&xjXsu%5i zzM8)nBb+4-?{CL_|DLkB2!BpjNEa*mVa5(&I1&po-$>rNz!+-O$iOXAXyaEJ|k<)6iE*8@9N!2RLyMeYm;)$U>eTR#)G@>pMTQcNja_ zPI_|Bo3>CL7wb$*2tXq0N^(e?PE*!yNbmeK;XCF}=*sSG60 z0%|5tV>3T(n2C~K-^L{06lsf@%cD>+0(l1^0fkb$w^*7gIs)h->8a6u*#eA<3Kuym z8~QFJcf@1w`Mf%TqM+7+1?02{?o&@(op*vUjs9BUl^+pk-ILWz;#^?G3Fsy-z}9tY zVUi9W-`_A++>!foHaR|1`sB~!q#+L`0BsnbHLf9v@ztIr2%P*Im#YYCC$T#nFrA++8`u4rTWD{WktaqBi{H z*g3|A_N}ZN=ce1MFfq;d4ZABC!RaI~Ye8rrmflNS5CCp9Ni({dN!1iMtsp*3el_HRXf zxsW40Y~sP;nGU;e&1;BsuSIJxrb$Cab_>Ok#`fZ8e6ytW0tcz`9w@R=1~1e4%F_RY50M+qV!YPm&7t@PZm?I2 zG%Hi3Ti+7YEkYNa2KJ~K=Rz~)tL#OUvYWFA2*!?I{ypGq3oM>ih3Mq`$q!VUvE^F9 z(#oE1E0E(A- z=TP{GR#`G4YDXLc9Nw~l9K83NHA4T!0K?aCgcw$nf0ZOM;&@q+96V(WsNB*C-l z4ceI9`^nSeF-_y}T9pzB&n(y|-w<{%X=3C(k^1oEAHhO@IQ^VD!n27dWysC$vz$h~ z|5iJJ^KG?8V7c;Q59m7+xbV(i-Jf~^d$WqhjO z9rt~f^YTjdfHvZ>5=*a#t2LSP7iN8dxwn(c#yu<#B#sr_JR=olF2J%aY?=L$ zFeyATr$lRtHs&+Tf+Q&878!ppX@aXUKfTZJYG@^gU`_f`io`PSXsAC@uidcWVK+8S z{zs|B$4>H-gEgXk7`*rUwD}l=kXc8GjlrxN*{xm0_-cWzmWvG4@sfb+>Xs{2$Ugr|4$7>!&nnsSs3`@8 zJGf?mpIy8Mw!HDsdMA`O*|dy1QpDTh7RzY}3#*#82XH(jSbz80$djv$N!rKv4-yiS z^77zcE?xGz>?vGVRf%x)x1Lp1G#ccl&#JLiI?(!dS2z1Bc<|+ulU1r>14t#SF+5Bt z7Kz8)*0}rNE<_%Ly3H=twGaXi(YvL9t2Z8IOcymQOmP`~K-zY>%V0k@)*Tpa_uI|1 zw%5Qj0CdLLO^a8L95UDs(-@9d;37EaL{)q&f8lJ7-p<+Pg!t3|!%&ZxaqpGAuWGI%}9IJbTI%2c$5jvrlM; z+z3_cor#HZM%0hJ9U?l<$y-|73d1HyPL)Ko7e^M5v7Z7(g6-ng;b;(eW z416zFxeK=Ux$U6#JJ_{$sfB5LN1@>kiwKPJUlN9D1m&B= z_#Xzjn2Mo7SCJKvXe*Yxb|1mrFZBvH?=Qu(%<>TWE)ha*?i*W+#%Z&F%1>5J9QX-- zo>rwFf6xhV``q8}CK6xjKT1!Sgq)N> z59*(6$4u1fGOEj`8sg(rDLEytz_XiG@VLJiKg~XNch0x|8EIhEQ^lAsE)oQmQ*E&a z&C1ZW?%pvu{@lO;4T?IFXNQ;Uncv9q;V=!#-pCL}V%%um50!CY9Ot9w43^}z0;s8b zw`UKg?C6j;9k{>gSkR4Gh*bBqbe!p&HGDG`-7%^ut1HF~d>AQ>Xw8fsJ?ZTR&2J93 z*#{&c70Xnuu6*q<4!T;xo&c{!^n;2URiIHip*)^^TaI2@*^MHdC*hue9B)cOn21sA zg}MjPo7PW@Y?gDc%7bc4wDzL`$ke2G{oBxIz=4~st~qbMzw1H%tX2yu%K?>3vwxHO z{#kyRt&Y9;uT!wAPzL7t%UpcX2Y*|x{q?0sLR9^u0iJTG2mBt&mZ5mFxX`x*U1mV}W=ucAXpTvM#x&SVm^bK{C5iUt9SLiA@uuXdN z^b7gH4|-MMt>8{#x2gQN-1fw!K*XNCE%7sDLBe!O{)RC+&6mx|C2L#=67JV-TrhpyC2oQL%Zb;)yDj}` zCcDS)egdYL*e_ibD4-Epq+9~!E(R^n;~_Z~9i2 zLIqv|mY5#Yv7!2sx98F_=%?N`&>+0@rP5Kj;#Xsah_=^_ZG`Qbdf4T2d6T&e+9I?w zXuD}y*S!M32clG?uh_jKg*L}~n@myHS-EOL8@fxYOCSrYtxyP9&h`IfKMmC$*+mPT z>rKCWX0`}!z8%^H*n~j*_Ii-lSdm7}?43RI61;lfd1)v}br0TZZ+hf>;^-#{-t+gS z|E-`Uy?Hy&F%&c5c*BG@Sn>DoU&bEm&eMT8JlbMl4q6T0=M@U)$6gpeu}!%%%fXzh z!0bJ zQGrK5tXW5{YR)yNKBGSMYUT_f5ja?+&3&PQkguEQ%%@3zd17y&xEfKVZxOIIB_mxl z1hfugt<=UdQ10)xVGd(EVqg+aqH1Y1gg-azKRkH3a$h*=J+srHx2q#m*aKGC}YN6z4q`0j%p`?h(-~+jT~S@UUe9~OoA~HpU0_@L3xw0u=qoIvr)K( zei2LAI8ynuX*2K_R*JN$UC6@g#P)~OX2qZ;c9UMQe#?n{5NS1f#Uqtl3y*2KOh@1* z2T7-uw5RIF1Lq&_gf>ajI=S=TI2M1)aqF=M$5oA{J_j$erkPamuL>Khd`;D8n%*Q- z+ErLP#fo%UST0fNN9Bq`<{D*+-e79lEq{8hK0oLV#|r&T(BBw({`hS4ldbNe-@)Q& zwRfi5;UKU|{wKcj3IIw!vl0!hFj}U%z!?#t*w|TFQ@=*RiT~GHNXNkAU_{u&xj9AI zBse8F#kfUTL`20oS-IJSx!5__#MwnTxCKb~xc;9>>irBjHy|ywV2C?%^W-^FzcIYI zG0c%E!$4Otmom3B=ZLpFKF%(BR`vkxXJ2pfkQwD%vG7KlWobh z(>?zXNCowLy%Fbp-F|-Z99P$P9d}}++Bg-S#*v*#Ll9YMYD@kW!fvcjk=KH>&WmQ3 zbqnm7m03Ec0yx-UoxX!^^T6^I;lve@C=?M)6;ZHi!8!UVSCCj78LeU!;Z=3s(RFre zL)UjATnH(-4pvX$+77T+5FUD|XQ*ec z_<$pK5lA)>jB|*i7qcA>KAc-`Lt+PH`(-XT=~4`J;C_He5In3k+PQGR0V<|`Skd(N z?NZWH$wrxz?x9=qx@zVI_{a`dmVcrHf`TXlPafj@EHeKrqHkP)-|>b#-G-1oi^m)=SSvL=u=|Fxqf-A{gJ`Lz$|IH_xmK^^w z=A8&+APvbf-7`kCslGX~;%kCeb>P&vs4kFM?*%)_i>^!Et7ggjQF)bBKD_g!7W`iC zq-);0=t<@(dFy}jzd$R}dC+yl1}rDw7LWSBVL_)zUWLv1IOC@d$=B8_9MnpO=$0Sv zrClF*y_6J44Xs26XFKm^@RYo%4!G&B`kFo^KUMw`D)TQM)RkYGRdA$Rrgx2adl*vI zA{VeN(=Oy*SB{n1D=E^8Kd_heB`q_P#fzWJD)Nh;bCQK5O*N-S{w-I+fE+Q|*~muk z)UiAtK5A5l;i-t_feYfZg6C6!P3eYCv4_g;M&SFx@VKGBezo1%eCj=pr4M+z3joo* zt4Em#qa2739f*R9<)Qx0#g)m$9M2`B6%&{W&C?&*1Ud~X4^kKA!Aam*SrI5G#D7X4 F{0BCp5DowU diff --git a/main.tex b/main.tex index 2421567..1c4d045 100644 --- a/main.tex +++ b/main.tex @@ -181,7 +181,8 @@ To get a $O(\sqrt{\log n})$ (randomized) approximation algorithm we need to firs \] This is the framework of the proof in \cite{arora_expander_2004}. -I think the intuition behind this SDP relaxation is almost the same as \metric{}. $\ell_1$ metrics are good since they are in the cut cone. If we further require the metric in \metric{} is a $\ell_1$ metric in $\R^d$, the resulting LP is still a relaxation of \nonuscut{} and the integrality gap is upperbounded by the metric embedding theorem. \cite{leighton_multicommodity_1999} showed that the $\Theta(\log n)$ gap is tight for \metric{}, but add extra constraints to \metric{} (while keeping it to be a relaxation of \scut{} and to be polynomially solvable) may provides better gap. The SDP relaxation is in fact trying to enforce the metric to be $\ell_2^2$ in $\R^n$. +I think the intuition behind this SDP relaxation is almost the same as \metric{}. $\ell_1$ metrics are good since they are in the cut cone. However, if we further require that the metric in \metric{} is an $\ell_1$ metric in $\R^d$, then resulting LP is NP-hard, since the integrality gap becomes 1. +\cite{leighton_multicommodity_1999} showed that the $\Theta(\log n)$ gap is tight for \metric{}, but add extra constraints to \metric{} (while keeping it to be a relaxation of \scut{} and to be polynomially solvable) may provides better gap. The SDP relaxation is in fact trying to enforce the metric to be $\ell_2^2$ in $\R^n$. \bibliographystyle{alpha} \bibliography{ref}