!"$#%'&(*)
+,.-0/1325476980:<;>=/?A@>2CBD:087-E/FG17/HDIKJL;>MDNPOPOLQR2S;<17/+,T::5,T:+98U/V520F
WCXZY$[A\^]L_`baC[(cKdfegX^hjibYk[(\^lmonCprqtsvuSwyxDzRe{dk_df_C[|^Yk[(\ydk[(cKd$]}\^Yf[~\^hSlsT(qu>q75wrwrj
>0j^XZa_S\r^[~lXZaCdLc
\^XZadzR_S\degc\^cf^[Al7iu90nCpA9dfXdf_C['zX^YLleghC|X0dk_C[v`baC[AcdkeXZh<aChbdfeg>dk_C['[(\^hCehS|*XEdk_C[`baC[(cKdfegX^h<e.c]}[A\YA
_C[(hdkYfdfXShSl\^h\^hScKz[}YA0ZX^a|^[dcKdfa]LiCpZu3AnCp^X^aSY~ X^YR[^
RlZ[}Yfdfe.cK[([(hbd(¡¢£X^aSgl^X^a[(hC[CdTYkX^¤[}hbdfXZYfeghC|b¥§¦[}['¨o¨o¨©
ª«^¬C®Z¯Z¬S«Z©¬C«^e{£^X^a°T[}[}E\edKdk[[±odfYL\
|ZaCeglS\hS]}[]}X^aC.l_C[}g²eh^XZaCY~cdkaSleg[(c(
³´g[(\ZcK[zRYke{dk[G^X^aSYcf[(]dfegX^hhoaC[}Y~\^hSl\h[(cKdfeg\df[GX^>df_S[dfeg[GZX^acK²[}hbd~XZhdk_Cegcµ~¶·
¸ ~¹'ºS»¼¾½j¿5ºCÀjÁ
¸ ¸ wynÂ0q
x5mbÃ05
(
uÄ^ÅÆR[(](\g>dk_S\yd\*|^YL\²S_°egc\hX^Ç[A]Pd E) i3zR_C[(Yf[ V e.c\cf[dX´^[(YKdkeg]}[(c\hSl E e.c
Yk[ e.c\*z£[(e|Z_ZdTaChS]PdkeXZhDl[}ShC[Al<X^h°²\egYkcRX^
\*cf[dX´[Al|^[Ac} Èz£[(e|Z_C[(l|ZYk\^²C_<e.c\hX^Ç[A]Pd (V, E, w) izR_C[}(V,
Z[}Yfdfe.][(c(5É´X^a<cK_SX^aC.lohCXyzÊ[(\Z]L_X^>df_S['l[ShSe{dkeXZhScR[}gXyzÊ\hl['w\Cg[dfXShl[}±C\²Cg[(cX0cKa]L_XZÇ[(]dkc(
¦oeg²S[ZiSlegYf[A]Pdf[Al7iCz[}eg|^_C[Al7i.\[}g[(l7ivaC{dke{Ë\hSl²Scf[}aSlX^Ë´|^YL\²C_c}
•
XZaChSc(¡EÍ$l|^[ZiC^[(YKdk[±7io[}hSlC²XZehbd(Îl[}|ZYf[([^ieghË$\hSlXZadKË$l[(|^Yk[}[XE\h[(l|Z[^
• Ì
R
r
l
Ç[(]dfeg^[Ac}¡´\ZlrÇK\^]}[}hbd(ieghS]e.l[(hZdAiCeghCe{dkeg\^ÏiCShS\´Ð
^[(YKdk[±SÑPieghS]e.l[(hZdRdkXoÒrTYfXZie.cfX^.\ydf[Al7i²[}hSlC\^hbd(
•
^
X
Yk[RhCXZaChSc(¡>²S\df_jib]egYk]}aCe{dA´¦oaCC|ZYk\^²C_jiaChSeXZhX^|ZYk\^²C_Sc(0¢£XZhChC[(]df[Al]}X^²X^hC[(hZdAiZ]}ad$[(lC|^[(cPÒrZ[}Yfdfe.][Ac}
• Ó
^
X
Yk[G\^lrÇ[A]PdkeZ[(c(¡0]}X^hChS[(]Pdk[(l7iCcKdfYkX^hS|^gCÒyz£[A\og]}X^hChS[(]Pdk[(l|^YL\²C_>iCcKeg²C[²S\df_Ò]egYk]}aCed(
• Ó
´
³
k
Y
^
X
²[}Yfdfeg[(c(¡0µ\hSlScK_S\^oehC|dk_C[}XZYf[(iodk_C[}XZYf[(c~Ôv\^hSlÕvX^Ö×ÔrØ
•
¸ ¸ ¸ RÙEÚoÛÜ~Ý3Þß(àáh\cKX^¾dz\^Yf[²CYfX^Ç[(]d(iodf_S['l[}²[}hSlC[}hS]}e[AcR[}dz£[([}hcKXZaCYL][Sg[(cR\Yk[^¡
Weg[ª3âSãA¬©LäG_S\^cRl[(²[(hSl[(hS]eg[(cRXZhåyæã®´©ç7iyªSèSéSãAê©ëç*\^hSlªèSéSãAê©Lä
•
Weg[ªèCéSãAê©Lä_\^cRl[(²[(hSl[}h]eg[(cRXZhåyæãy®$©ç*\hSlªèSéCãAê©ç7
• Weg[ªèCéSãAê©ç_\^cRl[(²[(hSl[}h]eg[(cRXZhåyæãy®$©ç7
5XYf[(²C•Yk[(cf[}hbdRdf_C[vl[}²[}hSlC[}hS]}Yk[}.\ydkeXZh[dz[}[(hSg[(c(iSaScfehS|*\ydf_S[}\ydkeg](\jhCX^dk\dfegX^hjiX^hC[]}X^aC.ll[hC['dk_C[\
legYk[(]Pdk[(l|^YL\²C_zRe{dk_^[}Yfdfe.][Ac V = {ª3âãA¬©kä , ªèCéSãAê©Lä , ªèSéCãAê©ç , åyæãy®$©ç } iS\^hSl[(l|Z[(c
ª âãA¬©kä , ªèSéCãAê©Lä ) , (ª3âSãA¬©Lä , ªSèSéSãAê©ëç ) , (ª3âãA¬©kä , åyoæã®$©ç ) ,
ªèSéCãAê©Lä , ªèSéSãAê©ç ) , (ªèSéCãAê©Lä , åyæã®´©ç ) ,
(
ªèSéSãAê©ç , åyoæã®$©ç )} .
(
e.c\*legYk[(]Pdk[(l|ZYk\^²C_<Yk\df_C[(YRdf_\h\*cfeg²S[v|^YL\²C_ji[(\Z]L_[([([}hbdX^ E e.c\h<X^YLl[(Yf[Al²\egY
Ì Xdf['idf_SYk\\dfd(_Ci3[(cKYeghSdf]_S[ \^h
E
*
\
ÔyËë[([([}hbdcf[d {f, g}
(f, g)
ÔC~ì~í>ºCÀ3î¼TÁ}ºÁ
ï mbwrpZ
ÄAmÈðÅÍE±odf[(hSl[Al§^[(YkcfeXZhñXGÍE±[}YL]e.cK[òÔyó9²jRô^ôZôòXÖ ÔyØëWSX^YzR_Ceg]L_§y\^aC[Ac*X^ n \^Yf[<dk_C[(cf[°|ZYk\^²C_Sc
Ceg²S\^YKdke{dk[A¥
õ nö K
õ ´ö C
õ poö W
õ xEö Q
õ mCö S
n
n
n
n
n
zR_C[(Yf[ Sn egcRdf_C[÷fcdL\YKøcfe²Cg[|^YL\²C_ ({0, . . . , n} , {{0, 1} , {0, 2} , {0, 3} , . . . , {0, n}})
uùÏ>A
u$ú
nö ¡ n ∈ {1, 2} ÐTXZ*eXZhCÔe.cRgegcKdf[AlSÑP
n
Eö K
¡E[}Z[}h >÷³E\Yfdfeg[(cø\^Yf[
iS\^hSl {2, 4, . . . , n}
Cn
pbö W e.chC[}Zn[}YRCeg²S\^YKdke{dk[^ {1, 3, . . . , n − 1}
n
û
E
= {(
üSý}þkÿ
ý"!#$
þ
e
a
b
c
d
f
g
õ nö
õ ´ö
%¼'&(jÀ7º)*,+-* õ nö
Ó \^²TXZYRÍE±7SÕC$¦oXZaCYL][^¡ Ì y\ dfë´ df.\^cX^>dk_C[/.'צ3 '>Ö ¸ Ø õ ´ö10Yk\^²C_TX^YRÍE±7Có
x0ö Q egcCeg²S\Yfdfedf[TX^Y\^ n 2j[d V = {X = (x , . . . , x ) | ∀i ∈ {0, . . . , n} , x ∈ {0, 1}} = {0, 1}n [
df_Cn[£cK[}djX^[(YKdkeg]}[(c3X Q _C[>÷²\Yfdfeg[(cø0\Yk[df_C1[(h {X ∈n V | P x e.c[}Z[}h } \^hSl i {X ∈ V | P x e.cXlCl }
mCö S egc*Ce²\Yfdfedf[TX^Y*\^n n Ê_C[÷K²S\Yfdfeg[(cø\^Yf[dk_C[÷f][}hbdk[}YKø^[(iYKdk[± {0} \hSl§\^dk_C[°Xdk_C[}Y*iZ[}Yfdfe.][Ac
n
{1, . . . n}
ï mbwrpZ
ÄAm ŦoXZZ[Í´±o[(Yk]}egcf[Õ^ó²jCôZô3'X^$Ö×ÔAØë42>[d [\|^YL\²C_zRe{df_ ^[(YKdkeg]}[(c\hSl [Al|^[Ac}52>[d [df_C[
\y±egaC l[}|ZYf[([X^5dk_C[G^[(YKdkeg]}[(cX G iS\hlg[d m G[df_C[GeghCegaCl[}v|ZYf[([X^5dk_C[G^[(YKedkeg]}[(cX G $¦oM
_CXyz df_S\d
nö 2e/v ≥ m
uù
5(Ïu£ú62>[d {X , . . . , X } [*dk_C[cf[dX~Z[}Yfdfe.][(c(_C[_S\hlCcK_\oehS|<df_C[(X^Yk[} ck\roc'df_S\d 2e =
Pv
71l[}ShCedfegX^vhGX^ m i(XZhC[E_S\Zc ∀i ∈ {1, . . . , v} , deg (X ) ≥ m ircKXdk_S\yd Pv deg (X ) ≥
8
deg
(X
)
i
i
i=1
Pvi=1
9ZX^eghCeghC|df_C[dzXdkX^|Z[df_S[}YAiX^hC[|^[}dkc 2e ≥ mv iScfXdf_Si\d 2e ≥ m
4
m
=
mv
i=1
v
Eö 2e/v
≤M
uù
5(Ïu£:ú 2j[d {X , . . . , X } [Edk_C[$cf[djXZ[}Yfdfe.][(c( 7l[}ShCedfegX^hGX^ M iAX^hC[E_S\Zc ∀i ∈ {1, . . . , v} , deg (X ) ≤
1
v
P
ijcKXdf_\yd Pv deg
7<aScfehS|dk_C[_S\hSlScK_S\^oehC|df_C[(X^Yk[} \Zc\^XyZ[^i3X^hS[ i
;
M
(Xi ) ≤ vi=1 M = M v
i=1
|^[}dkc 2e ≤ M v \hl*dk_bac M ≥ 2e
v
ï mbwrpZ
ÄA=
m <>Å¢£XZhScKe.l[(Yvdk_C[<cdL\ydk[(cX1>[}hbdfa]Lb§Ð,>ÉÑPi£>[(hChC[(ckcf[}[ Ð
Ñi XZYKdk_§¢\^YfXZeghS\Si5?egYf|ZehCe.\ Ð'?0 ÑPi
¶ò[(cKd@?egYf|ZehCe.\Ð
¶A?Ñi Ì XZYKdk_ Ð Ì ¢Ñ\hSlò¦oX^aCdf_t¢\YkX^gehS\DÐϦS¢ÑiCB_CegXDÐDBÌ µÑPÌi>áhSle.\hS\òÐT Ì Ñ\^hSlDágehSX^e.cÐ
E25Ñi
Yk[}²CYk[(cf[}hbdk[(lvehdk_C[~\²egh*We|ZaCYf[ÔC ¸ 5¶ò[~z\hbd´dkXGCaCeggl*\|ZYk\^²C_zR_CXZcf[R^[(YKdkeg]}[(c´\^Yf[RcKdk\df[~hS\^[(c´\^hSlzR_C[}Yk[
\^h[Al|^[G]XZhChC[A]PdkcdzXcdL\ydk[(ce0\^hSlXZhCg*e{0dk_C[GcdL\ydf[Ac~cf_S\Yk[\]}X^X^hXZYkl[(Y(
nö¶§_Ce.]L_do²[GX|^YL\²C_ Ð
cfe²Cg[^ileYk[(]df[Al7i²Scf[}aSlX^ËáÑ£e.cRXZcKd~\²C²CYkX^²SYfe.\ydk[dkXYk[}²SYf[AcK[(hZddk_CegcRlS\ydk\b¥
uù
5(Ïu£ú£ ·cfeg²S[G|ZYk\^²C_zReg5lXS
Eö°¶DYkedf[df_S[G|^YL\²C_eh\ydk_C[}\ydkeg](\7hCX^dk\dfegX^hj
uù
5(Ïu£ú FGFAE 2´i @Ì H i F(E 2´i >É H i F( Ì i >É H i FA Ì Ii Bµ H i FJBµi >É H i FBµ'i A
¶ ? H -i FK>Évi A
¶ ? H i FK>Éi ?0 H i
FK>Éi
i
F(A
¶
?vi ?0 i
FL?0 'i ¢
i
FL?0 'i
i
F
¢
i
i
F
¢
i
S
¦
¢
Ì/H
H
Ì H
Ì@H Ì Ì@H Ì
HMH
ï mbwrpZ
ÄAO
m N>Åáhdf_C['legYk[(]Pdk[(laS{dke{Ë|^YL\²C_XEWe|ZaCYf['ÔC ¸ ibYkeg|^_bd(0¶òYfedf['lXyzRhdf_S[TX^gXyzReghC|[}g[}[}hbdLc}¡
nP
ö ?E[}Yfdfe.][Ac}iC[Al|^[Ac}
uù
5(Ïu£ú V = {a, b, c, d, e, f, g} iAzRYfedfeghC|R[Z | ba TXZY (b, a) i(XZhC[E_S\Zc E = {ba, bd, cb, db, dc, ee, ef, f e}
Eö Ó aCdfeg²Cgeg]}e{dXdf_C[G[Al|^[Ac}
uù
5(Ïu£ú£_S[GaCdfeg²Cgeg]}e{dke[Ac~\Yk[^¡ w (dc) = 2 \^hSl w (e) = 1 TX^Y~\^7X^df_C[(YR[(l|Z[(cegh e ∈ E
pböcKXZg\df[Al\^hSl²[}hlC\hbd~^[(YKdkeg]}[(c(
uù
5(Ïu£ú$cfX^.\ydk[(l7¡ g E³0[}hSlC\^hbd a
Sü ý}þkÿ
ý"!#$
x0ö°áhËál[}|ZYf[([^iX^aCdKËál[}|ZYf[([\^hSllC[}|^Yk[}[X0[(\Z]L_Z[}Yfdf[}±3
Q
b c d e f g
Ô Ô ¸ Ô ¸ R
¸
uù
5(Ïu£ú
deg
Ô ¸ Õ Ô ¸ R
R
deg+
¸ ó Õ ó ó Ô R
deg
mCöD¦bdfYkX^hS|^g\hSlz[(\og]XZhChC[A]Pdf[Al]}X^²X^hC[(hZdLcX5df_C[G|ZYk\^²C_j
uù
5(Ïu£ú¦odfYkX^hC|Z]XZhChC[(]df[Al<]X^²X^hC[(hbdkc(¡ {b, c, d} \^hSl {e, f } ¶D[A\o]XZhChC[A]Pdf[Al°]XZ²XZhC[}hbdkc(¡
\^hSl {e, f }
{a, b, c, d}
ï mbwrpZ
ÄAm ÅáhW5eg|SÔ ¸ õ EöyiSck\rzR_C[dk_C[}Ydk_C[TX^gXyzReghC|X^CÇ[(]PdLcR]}\^h[TX^aChl\^hSl7ieZ[(c(iCl[(ck]Ykeg[X^hS[^
nöD ·cKeg²Cg[G²S\ydk_X^5g[}hC|^df_<ÕcdL\YfdfeghC|eh d \^hSl[}hSleghC|egh a
uù
5(Ïu£ú´É´[Ac}¡ (d, c, b, a)
Eö ²S\ydk_²S\^ckcKeghC|vdf_CYkX^aS|^_ a i b i c \^hSl d eh<\ho*XZYklC[}YA
uù
5(Ïu£ú Ì XS¡°¦oa]L_ñ\ò²S\df_ñzX^aC.l _\r^[dfX [}hl egh a \hltdk_bachCXd*|ZX°÷ádk_CYfXZaC|^_ø a ÐTacKeghC| df_S[
l[hCe{dkeXZhXdf_C[GXoX^CÑP´¦\roeghC|^[(c(¡ c, b, a) egc~\^gcfXX^3iodf_CXZaC|^_>
pböD ²S\ydk_X5g[}hS|df_ócKdk\YfdfeghC|egh d \hSl(d,
[}hSlCehC|egh a
uù
5(Ïu£ú (d, b, d, b, a)
x0ö ·]egYk]}aCedcdL\YfdfeghC|\d d i\hSl²S\^ckcfehC|vdf_SYfXZaC|^_ a
uù
5(Ïu£ú Ì XS´ ²S\df_²S\ZcfcfehS|dk_CYfXZaC|^_ a hC[A][(ckck\Ykegdf[(YfeghS\ydk[(cdf_S[}Yk[^
mCö ·]egYk]}aCed~X5g[}hS|df_dk_CYf[([GcdL\YfdfeghC|eh e
uù
5(Ïu£ú´É´[Ac}¡E[Z | (e, e, e, e) i (e, f, e, e)
a
−
I ´:
N ´6 yM yH
´= ? 2
¹'º-SoºCÀ7ºC½5îºÁ
T VU CWX,Y[Z]\JW_^WX,^IW_`Z_a"X,bdc 4e Ge feLbXgX,hji k]k\JWX,Y[Z]\JW_^IWXl^IW_`me n]ZpoGe
T U qe 4e Z]`lcE\jeMr5sutVvmwgxpy#x5z{]yu|Kxp}{]y~suvpt:{Vyt8
suvD{]y~s]JtDe 1 ClWE
yF $+ M8Y[^[^~KqcEdY XlY[Z]\MNPOPO]Ke
© Copyright 2025 Paperzz