<ÒchapterÞ÷—¡‘’•£þ¤ýÒlabelÞÐchoos_chapÐ×× < <·ÒsetcounterÞÐpreathmÐ×ÞÐ0Ð× <ÒsetcounterÞÐpthmÐ×ÞÐ0Ð× <·ÒsetcounterÞÐpreconjaÐ×ÞÐ0Ð× < <ûõ‘öÚ¯ø¤ÚîùÚ¢¤Úê¬ñÚ•þ©Úª‘¤ùÚª¢ŠÚ÷¡¨—þöÚõêúøõüÚîùÚ¢¤Ú¤÷ïõþ¥ý <óþ¨—üÚõ¯¤žÚª¢ùÚõêúøôÚ÷—¡‘’•£þ¤ýÚð¤êú‘¨–ÆÚ¢¤ÚþöÚê¬ñÚ“ùÚ“þ‘öÚð¥þ¢ùýÚ¥ <÷—þ›ùû‘ýÚõø›ø¢Ú¢¤“‘¤ùÚþöÚõêúøôÚõü•¤¢¥þôÆ < <ð¤Úð¤éÚ$G$Ú“¤ýÚû¤Ú$f$Åóþ¨–¢ûüÚ$L$Ú“ùÚ¤»¨ú‘þ©Ú¢¨–îôÚþíÚ$L$Ť÷ïõþ¥ý <¢ª—ùÚ“‘ª¢ŠÚðøþþôÚ$G$Úð¤êüÚÞÒsiahÚ$f$Å÷—¡‘’•£þ¤×ÒindexÞ$f$Å÷—¡‘’•£þ¤× <¨–Æ <îøî—¤þöÚ䢢ڢ¤¨–Ú$k$ÚîùÚ“ùÚ¥ýÚöÚ$G$Úð¤êüÚ$k$Å÷—¡‘’•£þ¤Ú¨–Ú¤ <ÞÒsiahÚ䢢ڤ÷ðüÚóþ¨—ü×ÒfootnoteÞlist chromatic number×ÒindexÞ䢢ڤ÷ðüÚóþ¨—ü× <$G$Úõü÷‘õþôÚøÚ“‘Ú÷õ‘¢ <$\ch(G)$Ú÷õ‘þ©Úõü¢ûþôÒfootnoteÞ¢¤Ú“¤¡üÚõ¤›âÚ¬¯òžÚÞÒsiahÚ䢢Ú÷—¡‘’× <¾choice number½ÚÒindexÞ䢢Ú÷—¡‘’×Ú¤Ú“¤ýÚ䢢ڤ÷ðüÚóþ¨—üÚ“ùÚÚõü“¤÷¢Úø <öÚ¤Ú“‘Ú${\rm ch}(G)$Ú÷õ‘þ©Úõü¢û÷¢Æ×Æ < <ÒbeginÞexmpl×ÒhspaceÞ.6em×Òrm <ð¤Ú$G$Úð¤êüÚ—úüÚ“‘ª¢ŠÚ“ùÚ¥ýÚû¤Úóþ¨–¢ûüÚ÷‘—úüÚ“ùÚ¤»¨ú‘þ©ÚþíÚ¤÷ïõþ¥ý <óþ¨—üÚ¢¤¢ÚøÚ“÷‘“¤þöÚ$\ch(G)=1$ÆÚ¥Ú¯¤êüÚ¤øªöÚ¨–ÚîùÚð¤Úð¤éÚ$G$Ú¢¤ý <䢢ڤ÷ðüÚóþ¨—üÚ$1$Ú“‘ª¢ŠÚ$G$ÚûþœÚþ‘óüÚ÷¢¤¢ÆÚ•§Ú$\ch(G)=1$ŠÚð¤ÚøÚ—÷ú‘Úð¤ <$E(G)=\emptyset$Æ <ÒlabelÞchempty× <ÒendÞexmpl× < <ÒvspaceÞ-1.2em× <ÒbeginÞexmpl×ÒhspaceÞ.6em×Òrm <¯“ëÚ÷ùÚ¢¤Úõ™‘ñÉÒrefÞnonch_ex×Ú¢þ¢þôŠÚð¤éÚ÷õ‘þ©Ú¢¢ùÚª¢ùÚ¢¤ <ªîñÉÒrefÞlc_exmpl×¾’½ŠÚ$2$Å÷—¡‘’•£þ¤Ú÷þ¨–ÚøÚ¥ÚþöɤøÚ䢢ڤ÷ðüÚóþ¨—üÚö <¢¨–îôÚ$3$Ú¨–ÆÚ¥Ú¯¤êüÚõü—øöÚ÷ª‘öÚ¢¢ÚîùÚþöÚð¤éÚ$3$Å÷—¡‘’•£þ¤Ú¨–Æ <“¤ýÚþöÚõ÷àø¤Ú꤭Úî÷þ¢Ú$L$ÚþíÚ$3$Åóþ¨–¢ûüÚ“ùÚ¤»¨ú‘ýÚþöÚð¤éÚ“‘ª¢Úø <¤÷ðú‘ýÚ$c(a)$ÚøÚ$c(b)$Ú¤Ú“ùÚ—¤—þ’Ú¥Ú$L(a)$ÚøÚ$L(b)$Ú“¤ð¥þ÷þ¢ÆÚŸ‘ñÚ“‘Ú—ø›ù <“ùÚþöÚîùÚûõùÚóþ¨—ú‘Ú¨ùÚ䮸þ÷¢ŠÚ“¤ýÚ$i=1,2$Ú¤÷ðú‘ý <$c(u_i)\in L(u_i)\setminus \{c(a),c(b)\}$Úø <$c(v_i)\in L(v_i)\setminus \{c(a),c(b)\}$Úø›ø¢Ú¢¤÷¢ÆÚ“ùÉþöÉ—¤—þ’Úþí <$L$Ť÷ïõþ¥ýÉ$c$Ú“¤ýÚð¤éÚªîñÉÒrefÞlc_exmpl×¾’½Ú“ùÚ¢¨–Úõüþ¢Æ <ÒlabelÞt2222_ch× <ÒendÞexmpl× < <ÒbeginÞrem×ÒhspaceÞ.6em×Þ <õª‘“ùÚõ™‘ñÚ“‘òÚõü—øöÚ÷ª‘öÚ¢¢Úû¤Ú$\theta_{r_1,\ldots,r_p}$Úð¤êü <$3$Å÷—¡‘’•£þ¤Ú¨–ÆÚþ‘¢ø¤ýÚõüªø¢Ú$\theta_{r_1,\ldots,r_p}$Úð¤êüÚ¨–Úîù <¥Ú$p$Úõ¨þ¤Úõ›¥ýÚþ‘óüÚ“ùÚ¯øóú‘ýÚ$r_1,\ldots, r_p$Ú“þöÚ¢øÚ¤»§Ú¾™‘“–½ <$u$ÚøÚ$v$Ú—ªîþñÚª¢ùÚ¨–ÆÚ“ùÚä÷øöÚõ™‘ñÚ$\theta_{1,2,2}$Ú¢¤ <ªîñÉÒrefÞlc_exmpl×¾óé½ŠÚøÚ$\theta_{2,2,2,2}$Ú¢¤ÚªîñÉÒrefÞlc_exmpl×¾’½ <÷õ‘þ©Ú¢¢ùÚª¢ù÷¢Æ <×ÒendÞrem× < <¢¤Ú¢õùÚþöÚê¬ñÚð¥¤ùû‘þüÚ¢¤“‘¤ùÚøþ¦ðþú‘ýÚ䢢ڤ÷ðüÚóþ¨—üÚ“þ‘öÚøÚ™‘“– <õüî÷þôÆ < <ÒsectionÞ÷—¡‘’•£þ¤ýÚð¤êú‘ýÚ¡‘«× <· <ð¤Ú“ùÚû¤Ú¤»§Úð¤éÚ$G$Úóþ¨–Ú$\{1,2,\ldots,\ch(G)\}$Ú¤Ú÷¨“–Ú¢ûþôŠÚû¤ <¤÷ïõþ¥ýÚóþ¨—üÚ$G$Ú¥ÚþöÚóþ¨–¢ûüÚ¢¤ÚøìâÚþíÚ$\ch(G)$Ť÷ïõþ¥ýÚ$G$Ú¨–ÚøÚ¥ <—ã¤þéÚ䢢ڤ÷ðüÚóþ¨—üÚõü¢÷þôÚîùÚ÷þöÚ¤÷ïõþ¥ýÚóþ¨—üÚø›ø¢Ú¢¤¢ÆÚ¥Úþö¤ø <“¤ýÚû¤Úð¤éÚ$G$Ú¢¤þô >$$\Chi(G)\le\ch(G).$$ >\vspace{-\baselineskip} < <•¤¨ªüÚîùÚ“ùÚ¯ø¤Ú¯“þãüÚõ¯¤žÚõüªø¢ÚþöÚ¨–ÚîùÚ¢¤ÚùÚ¬ø¤–ÚþöÚ÷‘õ¨‘øýÚîþ¢ <õüªø¢ÚøÚþ‘ÚŸ‘ó—ú‘þüÚø›ø¢Ú¢¤¢ÚîùÚ—¨‘øýÚ¤ Ú¢û¢ŒÚð¥¤ùÚ¥þ¤Ú÷ª‘öÚõü¢û¢Úîù <õ좤Ú$\ch(G)-\Chi(G)$Úõü—ø÷¢Ú“ùÚ¢ó¡øùÚ“¥¤ïÚªø¢Æ < <ÒbeginÞprop×ÒciteÞerdos×ÒhspaceÞ.6em× <ð¤Ú$k\ge 1$ÚøÚ$r={2k-1\choose k}$ŠÚ÷ð‘ùÚ$K_{r,r}$Úð¤êüÚ$k$Å÷—¡‘’•£þ¤ <÷þ¨–Æ <ÒlabelÞbip_non_k_ch× <ÒendÞprop× < <ÒbeginÞproof× <꤭Úî÷þ¢Ú¥þ¤õ›õøäùû‘ýÚ$k$É䮸ýÚõ›õøäùÚ$A=\{1,\ldots,2k-1\}$Ú¤Ú“‘ <$L_1$ÚŠÚ$\cdots$ÚŠÚ$L_r$Ú÷õ‘þ©Ú¢ûþôÆÚ“ùÚ$i$ɲõþöÚ¤»§Ú¢¤Úû¤Ú“¡©Ú$K_{r,r}$Š <óþ¨–Ú$L_i$Ú¤Ú÷¨“–Ú¢ûþ¢Ú¾$1\le i\le r$½ÆÚð¤Ú$K_{r,r}$Ú¥Úþö <$k$Åóþ¨–¢ûüÚ“ùÚ¤»¨ú‘þ©ÚþíÚ¤÷ïõþ¥ýÚóþ¨—üÚ¢ª—ùÚ“‘ª¢ŠÚøÚ$X$ÚøÚ$Y$ <“ùÉ—¤—þ’Úõ›õøäùÚ¤÷ðú‘ýÚ“ùÉڤê—ùÚ¢¤Ú“¡©ÚøñÚøÚ“¡©Ú¢øôÚ$K_{r,r}$ <“‘ª÷¢ŠÚ÷ª‘öÚõü¢ûþôÚîùÚû¤ÚþíÚ¥Ú$X$ÚøÚ$Y$Ú¢¨–îôÚ$k$Éä®øÚ¢¤¢ÚøÚ“‘Ú—ø›ù <“ùÚþöÚîùÚ$X\cap Y=\emptyset$ÚøÚ$|X\cup Y|\le|A|= 2k-1$ŠÚ“¤û‘öÚ“ù <•‘þ‘öÚõü¤¨¢ÆÚð¤Ú$|X|\le k-1$ŠÚ÷ð‘ùÚ$A\setminus X$Ú¢¨–îôÚ$k$Éä®øÚ¢¤¢ <øÚ“÷‘“¤þöÚ÷¢þ§Ú$i$Úø›ø¢Ú¢¤¢ÚîùÚ$L_i\cap X=\emptyset$ÆÚþöÚ—÷‘ì­Ú÷ª‘ö <õü¢û¢ÚîùÚ$|X|\ge k$ÚøÚ“ùÚ¯ø¤Úõª‘“ùÚ¢¤þôÉ$|Y|\ge k$Æ <ÒendÞproof× < <ð¥¤ùÚ“‘òÚ÷ª‘öÚõü¢û¢ÚîùÚõø®øáÚ¤÷ïõþ¥ýÚóþ¨—üÚ“‘Ú¤÷ïõþ¥ýÚõãõøóüÚð¤êú‘ <—ê‘ø—ú‘ýÚ¨‘¨üÚ¢¤¢ÚøÚŸ—üÚ“¤ýÚð¤êú‘ýÚ¢ø“¡ªüÚî‘õñÚ÷þ¥Ú÷õü—øöÚ“ùÚ¨‘¢ðü <¢¤“‘¤ùÚ䢢ڤ÷ðüÚóþ¨—üÚ—¬õþôÚð¤ê–Æ < <“¤ýÚû¤Ú$k\ge 1$ŠÚ—㢢ڤ»¨ú‘ýÚîøî—¤þöÚð¤éÚ¢ø“¡ªüÚîùÚ$k$Å÷—¡‘’•£þ¤Ú÷þ¨– <¤Ú“ùÚ$N(2,k)$Ú÷õ‘þ©Úõü¢ûþôÆÚþîüÚ¥Úð‘õú‘þüÚîùÚõü—øöÚ¢¤Ú¤ùÚª÷‘¨‘þüÚ䢢ڤ÷ðü <óþ¨—üÚð¤êú‘ýÚ¢ø“¡ªüÚ“¤¢ª–ŠÚõŸ‘¨“ùÚ$N(2,k)$Úþ‘Úþ‘ê—öÚî¤÷ú‘ýÚ¡ø’Ú“¤ýÚö <¨–ÆÚ¢¤ÚÒciteÞerdos×Ú÷ª‘öÚ¢¢ùÚª¢ùÚ¨–ÚîùÚ$N(2,1)=2$ŠÚ$N(2,2)=6$ŠÚø <$12\le N(2,3)\le 14$ÆÚì®þùÚ¥þ¤Úî¤÷ú‘þüÚ“¤ýÚ$N(2,k)$Ú“ùÚ¥ýÚû¤Ú$k$Ú“ùÚ¢¨– <õü¢û¢ÚøÚõ‘ÚöÚ¤Ú“¢øöÚ“¤û‘öÚõüø¤þôÆ < <ÒbeginÞthm×ÒciteÞerdos×ÒhspaceÞ.6em× <“¤ýÚû¤Ú$k\ge 2$Ú¢¤þô >$$2^{k-1}+2\vspace{-\baselineskip} <ÒlabelÞN2k× <ÒendÞthm× < <“ùÚ›¥Úð¤êú‘ýÚ¢ø“¡ªüÚ¤¢ùÚõúôÚ¢þð¤ýÚ¥Úð¤êú‘ÚîùÚõü—øöÚõ¨ŽóùÚ÷—¡‘’•£þ¤ýÚ¤ <“ùÚ¯ø¤Ú¡‘«Ú“¤ýÚ÷ú‘Úõ¯¤žÚŠÚð¤êú‘ýÚõ¨¯žÚû¨—÷¢ÆÚ¢øÚŸ¢§ÚøÚ•¤¨©Ú¥þ¤ <¢¤ÉÒciteÞerdos×Ú¢¤“‘¤ùÚ䢢ڤ÷ðüÚóþ¨—üÚð¤êú‘ýÚõ¨¯žÒindexÞð¤éÚõ¨¯ž×Úõ¯¤ž <ª¢ùÚ¨–ÆÚ›ø“ú‘ý <þöÚ¨ùÚ÷ª‘öÚõü¢û÷¢Ú䢢ڤ÷ðüÚóþ¨—üÚð¤êú‘ýÚõ¨¯žÚ÷õü—ø÷¢Ú“ùÚ¢ó¡øùÚ“¥¤ïÚ“‘ª¢Æ < <ÒbeginÞconj×ÒciteÞerdos×ÒhspaceÞ.6em× <û¤Úð¤éÚõ¨¯žÚ$5$Å÷—¡‘’•£þ¤Ú¨–Æ <ÒlabelÞ5chconj× <ÒendÞconj× < <ÒvspaceÞ-1.2em× <ÒbeginÞconj×ÒciteÞerdos×ÒhspaceÞ.6em× <ð¤éÚõ¨¯ŸüÚø›ø¢Ú¢¤¢ÚîùÚ$4$Å÷—¡‘’•£þ¤Ú÷þ¨–Æ <ÒlabelÞ4chconj× <ÒendÞconj× < <ÒvspaceÞ-1.2em× <ÒbeginÞques×ÒciteÞerdos×ÒhspaceÞ.6em× <þ‘ÚûþœÚð¤éÚõ¨¯žÚ¢ø“¡ªüÚø›ø¢Ú¢¤¢ÚîùÚ$3$Å÷—¡‘’•£þ¤Ú÷“‘ª¢Œ <ÒlabelÞbip3chques× <ÒendÞques× < <¢¤¨—üÚŸ¢§ÉÒrefÞ5chconj×Ú—ø¨ÁÚ—øõ‘¨±öÒindexÞ—øõ‘¨±ö×Ú“‘Ú“¤û‘÷üÚ¥þ“‘ÚîùÚö <¤Ú¢¤Ú¢õùÚþöÚê¬ñÚõüø¤þôŠÚ¢¤ÉÒciteÞthomassen×Ú™‘“–Úª¢ùÚ¨–Æ <øøþ–ÒindexÞøøþ–×Ú¢¤ÉÒciteÞÐvoigtÐ×Ú¢¤¨—üÚŸ¢§ÉÒrefÞ4chconj×Ú¤Ú“‘Ú¤Žù <þíÚõ™‘ñÚ$238$Ú¤»¨üÚ÷ª‘öÚ¢¢ùÚøÚõþ¤¥¡‘÷üÒindexÞõþ¤¥¡‘÷ü× <¢¤ÉÒciteÞÐmirzakhaniÐ×Úõ™‘ñÚ¢þð¤ýÚ“‘Ú$63$Ú¤»§Ú¢¢ùÚ¨–Æ <Ÿ¢¨üÚõ÷¨ø’Ú“ùÚþ÷¨öÒfootnoteÞT.\,R.~Jensen×ÒindexÞþ÷¨ö×Úø <ª—þ“þ—¥ÒfootnoteÞM.~Stiebitz×ÒindexÞª—þ“þ—¥× <ø›ø¢Ú¢¤¢ÚîùÚ¢¤Ú¤¨—‘ýÚŸ¢¨ú‘ýÉÒrefÞ5chconj×ÚøÉÒrefÞ4chconj×Ú¢ä‘Úõüî÷¢Úû¤ <ð¤éÚõ¨¯žÚ$3$Ť÷ï•£þ¤ŠÚ$4$Å÷—¡‘’•£þ¤Ú¨–ÆÚøóüÚð¤éÚ¤ŽùÚª¢ù <¢¤ÉÒciteÞÐmirzakhaniÐ×Ú¢¤ýÚ䢢ڤ÷ðüÚ$3$Ú¨–ÚøÚ¥ÚþöɤøÚäòøùÚ“¤Ú•‘¨ Ú“ù <Ÿ¢§ÉÒrefÞ4chconj׊ڟ¢§Úþ÷¨öÚøÚª—þ“þ—¥Ú¤Ú÷þ¥Ú¤¢Úõüî÷¢ÆÚûõ÷þö <ó²öÒindexÞó²ö×ÚøÚ—‘¤¨üÒindexÞ—‘¤¨ü×Ú¢¤ÉÒciteÞÐalontarsiÐ×Ú“ù <•¤¨©ÉÒrefÞbip3chques×Ú•‘¨ Ú¢¢ù÷¢ÚîùÚ¢¤Ú•üÚõüþ¢Æ < <ÒbeginÞthm×ÒciteÞalontarsi×ÒhspaceÞ.6em× <û¤Úð¤éÚõ¨¯žÚ¢ø“¡ªüÚ$3$Å÷—¡‘’•£þ¤Ú¨–Æ <ÒlabelÞbip3ch× <ÒendÞthm× < <þöÚì®þùÚ“ùÚä÷øöÚ÷—þ›ùýÚ¥ÚþíÚì®þùÚ“¨þ‘¤Úîóü—¤Ú¢¤ÉÒciteÞalontarsi×Úõ¢ùŠ <îùÚ“‘Ú“ú¤ùðþ¤ýÚ¥Ú“¥¤û‘ýÚ›“¤Ú÷¢›õóùþú‘Ú“ùÚ¥þ“‘þüÚ™‘“–Úª¢ùÚ¨–ÚøÚõ‘ <“ùÚ¢óþñÚ¯øò÷üÚª¢öÚõ¯ó’Ú¥Úø¤¢öÚþöÚ“¤û‘öÚªôÉ•øªüÚõüî÷þôÚøÚ¡ø÷÷¢ù <äòìõ÷¢Ú¤Ú“ùÉÒciteÞalon×Ú¤›øáÚõü¢ûþôÆ < <ÒsectionÞ¨‘¡—‘¤Úð¤êú‘ýÚ$k$Å÷—¡‘’•£þ¤× <· <¤¢þ©ŠÚ¤ø“þöŠÚøÚ—þóø¤ÒindexÞ¤¢þ©×ÒindexÞ¤ø“þö×ÒindexÞ—þóø¤×Ú¢¤ÉÒciteÞerdos× <¨‘¡—‘¤Úð¤êú‘ýÚ$2$Å÷—¡‘’•£þ¤Ú¤Ú“ùÚ¯ø¤Úî‘õñÚª÷‘¨‘þüÚù÷¢Æ <þöÚ¤¢ù“÷¢ýÚ¢¤Úì®þùÚ“ã¢Úõ¢ùÚøóüÚ•þ©Ú¥ÚöÚ“ùÚþíÚ—ã¤þéÚ÷þ‘¥Ú¢¤þôÆ <꤭Úî÷þ¢Ú$G$Úð¤êüÚûõ“÷¢Ú“‘ª¢ÆÚð¤Ú$G$Ú¤»¨üÚ¥Ú¢¤›ùÚþíÚ¢ª—ùÚ“‘ª¢ŠÚöÚ¤»§ <¤ÚŸ£éÚõüî÷þôÚøÚþöÚڤڗ‘Ú›‘þüÚîùÚûþœÚ¤»¨üÚ“‘Ú¢¤›ùÚþíÚ¢¤Úð¤éÚ“‘ìü <÷õ‘÷¢Ú—Úõüî÷þôÆÚ¥þ¤ð¤éÚ¾óì‘þü½Ú$G_0$Ú¥Ú$G$ÚîùÚ“ùÚþöÚ¤ø©Ú“ùÚ¢¨– <õüþ¢Ú¤ÚÞÒsiahÚû¨—ù×ýÉ$G$ÒindexÞû¨—ù×Úõü÷‘õþôÆÚ“ùÚ¨‘¢ðüÚ¢þ¢ùÚõüªø¢Úîù <$G_0$Ú¥Ú—¤—þ’ÚŸ£éÚ¤»¨ú‘ýÚ¢¤›ùÚþíÚõ¨—ìñÚ¨–Æ < <ÒbeginÞthm×ÒciteÞerdos×ÒhspaceÞ.6em× <þíÚð¤éÚûõ“÷¢Ú$2$Å÷—¡‘’•£þ¤Ú¨–ŠÚð¤ÚøÚ—÷ú‘Úð¤Úû¨—ùÚöÚþíÚ¤»§Ú—÷ú‘Š <þíÚ¢ø¤Ú¥øšŠÚþ‘Ú$\theta_{2,2,2r}$Ú“ùÚ¥ýÚþíÚ$1\le r$Ú“‘ª¢Æ <ÒlabelÞ2choose× <ÒendÞthm× < <¢¤Úþ÷›‘Ú“ùÚ¢óþñÚ¯øò÷üÚ“ø¢öÚ“¤û‘öÚì®þùÉÒrefÞ2choose×Ú¥Ú÷ìñÚöÚ¡ø¢¢¤ý <õüî÷þôÚøÚ¡ø÷÷¢ùÚäòìõ÷¢Ú¤Ú“ùÚÒciteÞerdos×Ú¤›øáÚõü¢ûþôÆ < <þîüÚ¥Úì®þùû‘ýÚõúôÚ÷à¤þùÚ¤÷ïõþ¥ýÚð¤êú‘Úì®þùýÚ¥ <û‘þø©ÒfootnoteÞG.~Haj\'os×ÒindexÞû‘þø©×ÒindexÞì®þùÚû‘þø©×Ú¨–ÚîùÚ“¤ý <û¤É$k$ŠÚûõùÚð¤êú‘ýÚ“‘Ú䢢ڤ÷ðüÚ“¥¤ð—¤Ú¥Ú$k$Ú¤Ú“ùÚ¢¨–Úõü¢û¢ÆÚ¢¤Ú¢õù <þöÚ“¡©Úì®þùýÚõª‘“ùÚì®þùÚû‘þø©Ú¤Ú“¤ýÚ¤÷ïõþ¥ýÚóþ¨—üÚ“þ‘öÚõüî÷þôÆ < <÷¡¨—þöÚð¤êüÚîùÚ䢢ڤ÷ðüÚ“þ©Ú¥Ú$k$Ú¢¤¢Úð¤éÚî‘õñÚ$k+1$Ú¤»¨üÚ¨–Æ <û‘þø©Ú—“¢þóú‘þüÚ¤øýÚð¤êú‘Ú“¢áÚÚîùÚ“‘Ú÷ú‘Úõü—øöÚûõùÚð¤êú‘ýÚ“‘ <䢢ڤ÷ðüÚ“þ©Ú¥Ú$k$Ú¤Ú¥Úð¤éÚ$K_{k+1}$Ú“ùÚ¢¨–Úø¤¢ÆÚ—“¢þóú‘ýÚøýÚª‘õñ <¨ùÚäõóð¤Ú¥þ¤Ú¨–Æ <· <ÒbeginÞitemize× <ÒitemÓ(i)ÑÚ“ùÚð¤éÚ¢¢ùÚª¢ùÚþíÚ¤»§Úþ‘ÚþíÚþ‘ñÚ®‘êùÚõüÚî÷þôÆ <ÒitemÓ(ii)ÑÚð¤Ú$G_1$ÚøÚ$G_2$Ú¢øÚð¤éÚõ›¥ýÚ¤»¨üÚøÚ$u_1v_1$ÚøÚ$u_2v_2$ <“ùÚ—¤—þ’Úþ‘óú‘þüÚ¥Ú$G_1$ÚøÚ$G_2$Ú“‘ª÷¢ŠÚð¤éÚ$G$Ú¤Ú¥Ú$G_1+G_2$Ú“ù <þöÚ—¤—þ’Úõü¨‘¥þôÚîùÚ$u_1$ÚøÚ$u_2$Ú¤Ú“¤ÚûôÚõ÷¯“ëÚùŠÚþ‘óú‘ýÚ$u_1v_1$ <øÚ$u_2v_2$Ú¤ÚŸ£éŠÚøÚþ‘ñÚ$v_1v_2$Ú¤Ú®‘êùÚõüî÷þôÆ <¾ªîñÉÒrefÞhajos_fig×Ú¤Ú““þ÷þ¢Æ½ <· <ÒbeginÞfigure×ÓÐhtÐÑ <Òcentering <Òenglish <·ÒinputÞhajos.pic× >\special{em:linewidth 0.4pt} >\unitlength .8mm >\linethickness{0.4pt} >\begin{picture}(150.89,35.89) >\put(9.89,-0.11){\circle*{2.00}} >\put(30.22,-0.11){\circle*{2.00}} >\put(-0.11,19.89){\circle*{2.00}} >\put(39.89,19.89){\circle*{2.00}} >\put(19.89,34.89){\circle*{2.00}} >\put(19.89,14.89){\circle*{2.00}} >\emline{9.89}{-0.11}{1}{29.89}{-0.11}{2} >\emline{29.89}{-0.11}{3}{19.89}{14.89}{4} >\emline{19.89}{14.89}{5}{9.89}{-0.11}{6} >\emline{9.89}{-0.11}{7}{-0.11}{19.89}{8} >\emline{-0.11}{19.89}{9}{19.89}{34.89}{10} >\emline{19.89}{34.89}{11}{19.89}{14.89}{12} >\emline{19.89}{14.89}{13}{39.89}{19.89}{14} >\emline{39.89}{19.89}{15}{29.89}{-0.11}{16} >\emline{39.89}{19.89}{17}{19.89}{34.89}{18} >\emline{19.89}{14.89}{19}{-0.11}{19.89}{20} >\put(49.89,19.89){\circle*{2.00}} >\put(69.89,19.89){\circle*{2.00}} >\put(59.89,-0.11){\circle*{2.00}} >\put(59.89,14.89){\circle*{2.00}} >\emline{49.89}{19.89}{21}{69.89}{19.89}{22} >\emline{69.89}{19.89}{23}{59.89}{-0.11}{24} >\emline{59.89}{-0.11}{25}{49.89}{19.89}{26} >\emline{49.89}{19.89}{27}{59.89}{14.89}{28} >\emline{59.89}{14.89}{29}{69.89}{19.89}{30} >\emline{59.89}{14.89}{31}{59.89}{-0.11}{32} >\put(99.89,-0.11){\circle*{2.00}} >\put(120.22,-0.11){\circle*{2.00}} >\put(89.89,19.89){\circle*{2.00}} >\put(129.89,19.89){\circle*{2.00}} >\put(109.89,34.89){\circle*{2.00}} >\put(109.89,14.89){\circle*{2.00}} >\emline{99.89}{-0.11}{33}{119.89}{-0.11}{34} >\emline{119.89}{-0.11}{35}{109.89}{14.89}{36} >\emline{109.89}{14.89}{37}{99.89}{-0.11}{38} >\emline{99.89}{-0.11}{39}{89.89}{19.89}{40} >\emline{89.89}{19.89}{41}{109.89}{34.89}{42} >\emline{109.89}{34.89}{43}{109.89}{14.89}{44} >\emline{109.89}{14.89}{45}{129.89}{19.89}{46} >\emline{129.89}{19.89}{47}{109.89}{34.89}{48} >\emline{109.89}{14.89}{49}{89.89}{19.89}{50} >\put(149.89,19.56){\circle*{2.00}} >\put(140.09,0.06){\circle*{2.00}} >\put(139.89,14.56){\circle*{2.00}} >\emline{129.89}{19.56}{51}{149.89}{19.56}{52} >\emline{149.89}{19.56}{53}{139.89}{-0.44}{54} >\emline{129.89}{19.56}{55}{139.89}{14.56}{56} >\emline{139.89}{14.56}{57}{149.89}{19.56}{58} >\emline{139.89}{14.56}{59}{139.89}{-0.44}{60} >\emline{120.22}{-0.11}{61}{139.89}{-0.11}{62} >\put(41.00,22.67){\makebox(0,0)[cc]{$u_1$}} >\put(50.67,22.67){\makebox(0,0)[cc]{$u_2$}} >\put(33.67,1.00){\makebox(0,0)[cc]{$v_1$}} >\put(56.67,1.00){\makebox(0,0)[cc]{$v_2$}} >\bezier{70}(72.00,10.83)(76.00,9.33)(78.83,12.33) >\bezier{70}(78.83,12.33)(81.50,14.67)(83.67,12.83) >\emline{83.33}{13.00}{91}{81.67}{13.00}{92} >\emline{83.50}{13.00}{93}{82.33}{14.33}{94} >\put(120.00,-3.00){\makebox(0,0)[cc]{$v_1$}} >\put(140.00,-3.00){\makebox(0,0)[cc]{$v_2$}} >\put(130.00,22.00){\makebox(0,0)[lb]{$u_1(u_2)$}} >\end{picture} <Òfarsi <ÒcaptionÞäõóð¤Ú¢øôÚû‘þø©× <ÒlabelÞhajos_fig× <ÒendÞfigure× <ÒenglishÒfarsi <· <ÒitemÓ(iii)ÑÚ¢¤Úð¤éÚ¢¢ùÚª¢ùÚ¢øÚ¤»§Úõ¨—ìñÚ¤Ú“¤ÚûôÚõ÷¯“ëÚõüî÷þôÆ <ÒendÞitemize× < <ì®þùÚîò¨þíÚû‘þø©Ú“ùÚ¬ø¤–Ú¥þ¤Ú¨–Æ < <ÒbeginÞthm×ÒciteÞhajos×ÒhspaceÞ.6em× <û¤Úð¤éÚ“‘Ú䢢ڤ÷ðüÚ“þ©Ú¥Ú$k$Ú¤Úõü—øöÚ“‘Ú¢÷“‘óùýÚ$)$õ—÷‘ûü$($Ú¥ <äõóð¤û‘ýÚ(i)ŠÚ(ii)ŠÚøÚ(iii)Ú¥Úð¤éÚ$K_{k+1}$Ú“ùÚ¢¨–Úø¤¢Æ <ÒendÞthm× < <“¤ýÚ“þ‘öÚì®þùýÚõª‘“ùÚ“‘Úì®þùÚû‘þø©Ú“¤ýÚ¤÷ïõþ¥ýÚóþ¨—üŠÚäõóð¤Ú(iii) <¤Ú“‘Úäõóð¤Ú¢þð¤ýÚîùÚöÚ¤É(iii$'$)Úõü÷‘õþôÚ›‘þð¥þöÚõüî÷þôÆ <· <ÒbeginÞitemize× <ÒitemÓ(iii$'$)ÑÚ꤭Úî÷þ¢Ú$G$Úð¤êüÚ“‘Ú䢢ڤ÷ðüÚóþ¨—üÚ“þ©Ú¥Ú$k$ÚøÚ$L$Úþí <$k$Åóþ¨–¢ûüÚ“ùÚ¤»¨ú‘ýÚ$G$Ú“‘ª¢ÚîùÚ$G$ÚûþœÚ$L$Ť÷ïõþ¥ýÚ÷¢¤¢ÆÚð¤Ú$u$ÚøÚ$v$ <¢øÚ¤»§Ú$G$Ú“‘ª÷¢Ú“ùÚ¯ø¤ýÚîùÚ$L(u)=L(v)$ŠÚþöÚ¢øÚ¤»§Ú¤Ú“¤ÚûôÚõ÷¯“ëÚî÷þ¢Æ <ÒendÞitemize× < <ð¤Ú${\cal G}_k$Úõ›õøäùÚûõùÚð¤êú‘ýÚ“‘Ú䢢ڤ÷ðüÚóþ¨—üÚ“þ©Ú¥Ú$k$Ú“‘ª¢ŠÚ“ù <¨‘¢ðüÚ¢þ¢ùÚõüªø¢ÚîùÚ${\cal G}_k$Ú—Ÿ–Úäõóð¤û‘ýÚ(i)ÚøÚ(iii$'$)Ú“¨—ùÚ¨–Æ <ûõ÷þöÚ¢¤ÚóôÚ¥þ¤Úõü“þ÷þôÚîùÚ${\cal G}_k$Ú—Ÿ–Úäõóð¤Ú(ii)Ú÷þ¥Ú“¨—ùÚ¨–Æ < <ÒbeginÞlem×ÒciteÞgravier×ÒhspaceÞ.6em× <õ›õøäùÚ${\cal G}_k$Ú—Ÿ–Úäõóð¤Ú(ii)Ú“¨—ùÚ¨–Æ <ÒlabelÞhaj2closed× <ÒendÞlem× < <ÒbeginÞproof× <õ‘Úûõ‘öÚ÷õ‘¢û‘þüÚ¤ÚîùÚ¢¤Ú“þ‘öÚ¬ø¤–Úäõóð¤É(ii)Úõ¢Ú“ùÉÚõü“¤þôÆÚ꤭ <î÷þ¢Ú$G_1,G_2\in{\cal G}_k$ÚøÚð¤éÚŸ‘¬ñÚ¥Ú÷›‘ôÚäõóð¤É(ii)Ú¤Ú$G$ <“÷‘õþ¢ÆÚ•§Ú“¤ýÚ$i=1,2$ŠÚÒÚ$k$Åóþ¨–¢ûüÚ$L_i$Ú“ùÚ¤»¨ú‘ýÚ$G_i$Úø›ø¢Ú¢¤¢ <îùÚ$G_i$ÚûþœÚ$L_i$Ť÷ïõþ¥ýÚ÷¢¤¢ÆÚ“¢øöÚ—ùÚª¢öÚ¥Úîóþ–ŠÚõü—ø÷þô <꤭Úî÷þôÚ$L_1(u_1)=L_2(u_2)$ÆÚŸ‘ñÚ$k$Åóþ¨–¢ûüÚ$L$Ú“ùÚ¤»¨ú‘ýÚ$G$Ú¤ <÷‘öÚ—ã¤þéÚõüî÷þôÚîùÚ“¤ýÚ$i=1,2$ŠÚ$L|_{V(G_i)}=L_i$ÆÚð¤Ú$G$Úþí <$L$Ť÷ïõþ¥ýÚ$c$Ú¢ª—ùÚ“‘ª¢ŠÚ“‘Ú—ø›ùÚ“ùÚþöÚîùÚ¢¤Ú$G$Ú¢øÚ¤»§ <$v_1$ÚøÚ$v_2$Ú“‘ÚûôÚõ›‘ø¤÷¢ŠÚ¢¤þôÚ$c(v_1)\not=c(v_2)$ÆÚ•§Ú$i$Úø›ø¢ <¢¤¢ÚîùÚ$c(v_i)\not=c(u)$Ú¾$u$Ú¤»§ÚŸ‘¬ñÚ¥ÚþîüÚöÚ$u_1$ÚøÚ$u_2$ <¨–½ÆÚ“ùɤøª÷üÚ$c|_{V(G_i)}$ÚþíÉ$L_i$Ť÷ïõþ¥ýÚ“¤ýÚ$G_i$Ú¨–ÚîùÚ“‘ <꤭ڛø¤Ú¢¤Ú÷õüþ¢ÆÚ•§Ú$G$ÚûþœÚ$L$Ť÷ïõþ¥ýÚ÷¢¤¢ÚøÚ¥Éþöɤø <$G\in{\cal G}_k$Æ <ÒendÞproof× < <¥Úð¥¤ùÉÒrefÞbip_non_k_ch×Úõü¢÷þôÚ“¤ýÚû¤Ú$k$Ú䢢û‘ýÚ$r$ÚøÚ$s$ <ø›ø¢Ú¢¤¢ÚîùÚ$K_{r,s}\in{\cal G}_k$ÆÚ¢¤Úì®þùÚõª‘“ùÚû‘þø©Ú¢¤Úøìâ <÷ª‘öÚõü¢ûþôÚîùÚûõùÚÚ䮑ýÚ${\cal G}_k$Ú¥ÚþíÚ$K_{r,s}$Ú“ùÚ¢¨–Úõüþ÷¢Æ < <ÒbeginÞthm×ÒciteÞgravier×ÒhspaceÞ.6em× <ð¤Ú$K_{r,s}$ŠÚ$k$Å÷—¡‘’•£þ¤Ú÷“‘ª¢ŠÚû¤Úð¤éÚ“‘Ú䢢ڤ÷ðüÚóþ¨—ü <“þ©Ú¥Ú$k$Ú¤Úõü—øöÚ“‘Ú¢÷“‘óùýÚ$)$õ—÷‘ûü$($Ú¥Úäõóð¤û‘ýÚ(i)ŠÚ(ii)Š <øÚ(iii$'$)Ú¥Úð¤éÚ$K_{r,s}$Ú“ùÚ¢¨–Úø¤¢Æ <ÒendÞthm× < <ì®þùÚ“‘òÚ“ùÚ¨‘¢ðüÚ¥Ú¢øÚóôÚ¥þ¤Ú÷—þ›ùÚõüªø¢Æ < <ÒbeginÞlem×ÒciteÞgravier×ÒhspaceÞ.6em× <û¤Ú䮸Ú${\cal G}_k$Ú¤Úõü—øöÚ“‘Ú¢÷“‘óùýÚ$)$õ—÷‘ûü$($Ú¥Úäõóð¤û‘ýÚ(i)ŠÚ(ii)Š <øÚ(iii$'$)ڥڗ㢢ýÚð¤éÚ÷¢“¡ªüÚî‘õñÚ䮸Ú${\cal G}_k$Ú“ùÚ¢¨–Úø¤¢Æ <ÒendÞlem× < <ÒbeginÞproof× <꤭Úî÷þ¢Ú$G\in{\cal G}_k$Ú¤Ú“—øöÚ“‘Ú¢÷“‘óùýÚõ—÷‘ûüÚ¥Úäõóð¤û‘ý <(i)ŠÚ(ii)ŠÚøÚ(iii$'$)ڥڗ㢢ýÚð¤éÚ÷¢“¡ªüÚî‘õñÚ䮸Ú${\cal G}_k$ <“ùÚ¢¨–Úø¤¢ÆÚð¤Ú$G'\in{\cal G}_k$Úª‘õñÚ$G$Ú“ùÚä÷øöÚ¥þ¤ð¤éÚóì‘þüÚ“‘ª¢Š <¤øªöÚ¨–ÚîùÚ$G'$Ú¤Úõü—øöÚ“‘Ú÷¢“‘¤Ú™¤Úäõóð¤Ú(i)Ú¥Ú$G$Ú“ùÚ¢¨–Úø¤¢Æ <¥Ú¯¤êüÚõü—øöÚ“‘Ú÷¢“‘¤Ú™¤Úäõóð¤Ú(i)Ú“¤Ú$G$ŠÚþíÚð¤éÚ÷¢“¡ªüÚî‘õñÚ䮸 <${\cal G}_k$Ú¤Ú“ùÚ¢¨–Úø¤¢ÆÚ•§Úð¤Úõ™‘ñÚ÷ì®üÚ“¤ýÚþöÚóôÚø›ø¢Ú¢ª—ùÚ“‘ª¢Š <þíÚõ™‘ñÚ÷ì­Úõ‘î¨þõ‘ñÚ÷þ¥Úõü—øöÚþ‘ê–Æ < <꤭Úî÷þ¢Ú$G$ÚþíÚõ™‘ñÚ÷ì­Úõ‘î¨þõ‘ñÚ“‘ª¢ÆÚ¥Ú÷›‘ÚîùÚ$G$Ú÷¢É“¡ªüÚî‘õñ <÷þ¨–ŠÚ¤»¨ú‘ýÚ$x$ŠÚ$y$ŠÚøÚ$z$Ú¢¤ÚöÚø›ø¢Ú¢¤÷¢ÚîùÚ$xz\not\in E(G)$ÒÚ$xy,$ <øÚ$yz\in E(G)$ÆÚð¤êú‘ýÚ$G_1=G+xy$ÚøÚ$G_2=G+xz$Ú¤Ú¢¤Ú÷à¤Úõüðþ¤þôÚø <“¤ýÚ—õ‘þ¥Ú“þöÚ¤»¨ú‘ýÚ÷ú‘ŠÚ“¤ýÚû¤Ú¤»§Ú$v$Ú¥Ú$G$ŠÚ¤»§Úõ—÷‘à¤Ú“‘ <öÚ¢¤Ú$G_1$Ú¤Ú“ùÚ$v_1$ŠÚøÚ¤»§Úõ—÷‘à¤Ú“‘ÚöÚ¢¤Ú$G_2$Ú¤Ú“ùÚ$v_2$ <÷õ‘þ©Úõü¢ûþôÆÚ“‘Ú—ø›ùÚ“ùÚõ‘î¨þõ‘ñÚ“ø¢öÚ$G$ŠÚð¤êú‘ýÚ$G_1$ÚøÚ$G_2$Ú¤ <õü—øöÚ“‘Úäõóð¤û‘ýÚ(i)ŠÚ(ii)ŠÚøÚ(iii$'$)ڥڗ㢢ýÚð¤éÚ÷¢“¡ªüÚî‘õñ <䮸Ú${\cal G}_k$Ú“ùÉ¢¨–Úø¤¢ÆÚ÷ª‘öÚõü¢ûþôÚ$G$Ú¤Úõü—øöÚ“‘Úäõóð¤û‘ý <(ii)ÚøÚ(iii$'$)Ú¥Ú$G_1$ÚøÚ$G_2$Ú“ùÉ¢¨–Úø¤¢ÆÚþöÚ“‘Úõ™‘ñÚ÷ì­Ú“ø¢ö <$G$Ú›ø¤Ú¢¤Ú÷õüþ¢ÚøÚ“÷‘“¤þöÚ“¤û‘öÚ¤Úî‘õñÚõüî÷¢Æ < <þ‘óú‘ýÚ$x_1y_1$Ú¥Ú$G_1$ÚøÚ$x_2y_2$Ú¥Ú$G_2$Ú¤Ú¢¤Ú÷à¤Úõüðþ¤þôÚøÚð¤é <$H$Ú¤Ú“‘Úäõóð¤Ú(ii)Ú“ùÉ¢¨–Úõüø¤þôÚ¾¤»¨ú‘ýÚ$x_1$ÚøÚ$x_2$Ú¤Úþîü <õüî÷þô½ÆÚð¤Ú$L_0$ÚþíÚ$k$Åóþ¨–¢ûüÚ“ùÚ¤»¨ú‘ýÚ$G$Ú“‘ª¢ÚîùÚ$G$Š <$L_0$Ť÷ï•£þ¤Ú÷þ¨–ŠÚ$k$Åóþ¨–¢ûüÚ$L$Ú“ùÚ¤»¨ú‘ýÚ$H$Ú¤Ú“‘ <$L(v_0)=L(v_1)=L_0(v)$Ú“¤ýÚû¤Ú$v\in V(G)$ŠÚ—ã¤þéÚõüî÷þôÆÚ“‘Ú—ø›ùÚ“ù <“¤û‘öÚóôÉÒrefÞhaj2closed׊Ú$H$ÚûþœÚ$L$Ť÷ïõþ¥ýÚ÷¢¤¢ÆÚŸ‘ñÚøöÚ“¤ýÚû¤ <$v\in V(G)$ÚîùÚ$v\not=x$ŠÚÒÚÚ¢¤þôÚ$L(v_1)=L(v_2)$ŠÚÒÚÚ“‘Úäõóð¤É(iii$'$) <¤»¨ú‘ýÚ$v_1$ÚøÚ$v_2$Ú¤Ú¢¤Ú$H$ÚÒÚþîüÚõüî÷þôÚ—‘Ú“ùÚð¤éÚ$G$Ú“¤¨þôÆ <ÒendÞproof× < <ÒvspaceÞ-1.2em× <ÒbeginÞlem×ÒciteÞgravier×ÒhspaceÞ.6em× <û¤Úð¤éÚ÷¢“¡ªüÚî‘õñÚ䮸Ú${\cal G}_k$Ú¤Úõü—øöÚ“‘Ú¢÷“‘óùýÚ$)$õ—÷‘ûü$($Ú¥ <äõóð¤û‘ýÚ(i)ÚøÚ(iii$'$)Ú¥Úû¤Úð¤éÚ¢ø“¡ªüÚî‘õñÚ䮸Ú${\cal G}_k$Ú“ùÉ¢¨– <ø¤¢Æ <ÒendÞlem× < <ÒbeginÞproof× <꤭Úî÷þ¢Ú$G=K_{r_1,\ldots,r_p}\in{\cal G}_k$ÚøÚ$R_1$ÚŠÚ$\cdots$ÚŠÚ$R_p$ <“¡ªú‘ýÚ$G$Ú“‘ª÷¢ÚîùÚ$|R_i|=r_i$ÆÚõü—ø÷þôÚ꤭Úî÷þôÚ$k,p\ge 2$ÆÚŸ‘ñÚð¤ <$K_{r,s}\in{\cal G}_k$ŠÚ“‘Ú“ú¤ùðþ¤ýÚ¥Úäõóð¤É(i)Ú¤»¨ú‘ÚøÚþ‘óú‘þüÚ“ù <$G$Ú®‘êùÚõüî÷þôÚ—‘Ú“ùÚð¤éÚ$H=K_{s_1,\ldots,s_p}$Ú“‘Ú“¡ªú‘ýÚÚ$S_1$ÚŠ <$\cdots$ÚŠÚ$S_p$Ú¾$|S_i|=s_i$½Ú“¤¨þôÚîùÚ$r_i\le s_i$ÆÚ•§Úõü—ø÷þôÚ$G$ <¤Ú¥þ¤ð¤êüÚ¥Ú$H$Ú“ðþ¤þôÚøÚ꤭Úî÷þôÚ$R_i\subset S_i$Æ < <Ÿ‘ñÚ꤭Úî÷þ¢Ú$G$Ú¥Ú$k$Åóþ¨–¢ûüÚ$L$Ú“ùÚ¤»¨ú‘þ©ÚûþœÚ¤÷ïõþ¥ýÚóþ¨—ü <÷¢¤¢ÆÚ“¤ýÚû¤Ú$1\le i\le p$Ú¤»¨üÚ$v_i\in R_i$Ú“¤õüð¥þ÷þôÚøÚ“ùÚû¤ <$u\in S_i\setminus R_i$ŠÒÚÚóþ¨–Ú$L(v_i)$Ú¤Ú÷¨“–Úõü¢ûþôÆÚ¤øªöÚ¨–Úîù <$H$Ú¥ÚþöÚóþ¨–¢ûüÚ“ùÚ¤»¨ú‘þ©ÚûþœÚ¤÷ïõþ¥ýÚóþ¨—üÚ÷¢¤¢ÆÚ•§Ú“‘ <“ú¤ùðþ¤ýÚ¥Úäõóð¤É(iii$'$)ÒÚøÚ“‘Ú—ø›ùÚ“ùÚªþøùÚóþ¨–¢ûüÚ“ùÚ䮑ý <$S_i\setminus R_i$ŠÒÚõü—ø÷þôÚû¤Ú$u\in S_i\setminus R_i$ÒÚ¤Ú“‘Ú$v_i$ <þîüÚî÷þôÚ—‘Ú“ùÚ$G$Ú“¤¨þôÆ <ÒendÞproof× < <ÒsectionÞð¤êú‘ýÚ$k$Å—“‘ûþ¢ù× <· <þíÚð¤éÚ¤ÚÞÒsiahÚ$k$Å—“‘ûþ¢ù×ÒfootnoteÞ$k$--degenerate×ÒindexÞ$k$Å—“‘ûþ¢ù× <ÒindexÞ—“‘ûþ¢ù×ÚðøþþôŠÚð¤Úû¤ <¥þ¤ð¤éÚöÚ¤»¨üÚ¥Ú¢¤›ùÚŸ¢î™¤Ú$k$Ú¢ª—ùÚ“‘ª¢ÆÚ“‘Ú¨—ì¤Ú¤øýڗ㢢 <¤»¨ú‘ýÚþíÚð¤éÚ$k$Å—“‘ûþ¢ùÚõü—øöÚ¢¤¨—üÚð¥¤ùÚ¥þ¤Ú¤Ú“ùÚ¨‘¢ðüÚ÷ª‘öÚ¢¢Æ < <ÒbeginÞprop×ÒhspaceÞ.6em× <û¤Úð¤éÚ$k$Å—“‘ûþ¢ùÚ$(k+1)$Å÷—¡‘’•£þ¤Ú¨–Æ <ÒlabelÞkdeg× <ÒendÞprop× < <¥ÉþöɤøÚð¤Ú$G$ÚþíÚð¤éÚøÚ$k_0$Úîøî—¤þöÚ䢢ýÚ“‘ª¢ÚîùÚ“ùÚ¥ýÚöÚ$G$Úð¤êü <$k_0$Å—“‘ûþ¢ùÚ¨–ŠÚ÷ð‘ùÚ$\ch(G)\le k_0+1$ÆÚþöÚ÷‘õ¨‘øýÚ“¤ýÚ“¤¡üÚð¤êú‘Ú“ù <—¨‘øýÚ—“¢þñÚõüªø¢ÆÚ“ùÚä÷øöÚ÷õø÷ùÚ“¤ýÚð¤éÚî‘õñÚ$n$ɤ»¨üŠÚ$k_0=n-1$Ú•§ <$\ch(K_n)\le n$ÚøÚ¥Ú¨øýÚ¢þð¤ÚøöÚ$\Chi(K_n)=n$ŠÚ¢¤þôÚ$\ch(K_n)\ge n$Úø <“÷‘“¤þöÚ$\ch(K_n)=n$ÆÚûõ÷þöÚ“¤ýÚû¤Ú¢¤¡–±ÒindexÞ¢¤¡–×Ú¢¨–îôÚ¢øÚ¤»¨ü <¾$k_0=1$½ÚøÚû¤ <¢ø¤Úꤢھ$k_0=2$½Ú“ùÚ¨‘¢ðüÚ¢þ¢ùÚõüªø¢ÚîùÚ䢢ڤ÷ðüÚóþ¨—üÚ“¤“¤Ú“‘Ú$k_0+1$ <¨–ÆÚøóüÚð¤êú‘þüÚ÷þ¥Úø›ø¢Ú¢¤÷¢ÚîùÚ“¤ýÚ÷ú‘Ú÷‘õ¨‘øýÚ$\ch(G)\le k_0+1$ <îþ¢Ú¨–ÆÚ“ùÚä÷øöÚ÷õø÷ùÚ“¤ýÚ¢ø¤û‘ýÚ¥øšÚ¢¤þôÚ$k_0=2$ÚøóüÚ¥ <ì®þùÉÒrefÞ2choose×Úõü¢÷þôÚîùÚ¢ø¤û‘ýÚ¥øšÚ$2$Å÷—¡‘’•£þ¤Úû¨—÷¢Æ < <õü¢÷þôÚð¤Ú$G$Úð¤êüÚõ¨¯žÚ“‘ª¢Ú¢¤þôÚ$\delta(G)\le 5$ÚøÚ“‘Ú—ø›ùÚ“ù <þöÚîùÚû¤Ú¥þ¤ð¤éÚþíÚð¤éÚõ¨¯žÚ¡ø¢Úõ¨¯žÚ¨–ŠÚ•§Úû¤Úð¤éÚõ¨¯ž <ÒindexÞð¤éÚõ¨¯ž×Ú$5$Å—“‘ûþ¢ù <¨–ÚøÚþöÚ÷ª‘öÚõü¢û¢ÚîùÚ䢢ڤ÷ðüÚóþ¨—üÚð¤êú‘ýÚõ¨¯žÚŸ¢î™¤Ú$6$Ú¨–ÆÚøóü <Ÿ¢§ÉÒrefÞ5chconj×Ú¢ä‘Úõüî÷¢ÚîùÚ䢢ڤ÷ðüÚóþ¨—üÚð¤êú‘ýÚõ¨¯žÚŸ¢î™¤Ú$5$Ú¨–Æ <•§Ú¢¤Ú¬ø¤—üÚîùÚ¢¤¨—üÚþöÚŸ¢§Ú÷ª‘öÚ¢¢ùÚªø¢ŠÚ¤¢ùýÚ¢þð¤Ú¥Úð¤êú‘Ú¢¤Ú¢¨– <¡øûþôÚ¢ª–ÚîùÚ“¤ýÚ÷ú‘Ú÷‘õ¨‘øýÚ$\ch(G)\le k_0+1$Úîþ¢Ú¨–ÆÚì®þùÚ¥þ¤ <¢¤¨—üÚŸ¢§ÉÒrefÞ5chconj×Ú¤Ú“ùÚ¨‘¢ðüÚ÷—þ›ùÚõü¢û¢Ú¾÷—þ›ùÉÒrefÞ5chthm×½Æ < <ÒbeginÞthm×ÒciteÞthomassen×ÒhspaceÞ.6em× <꤭Úî÷þ¢Ú$G$Úð¤êüÚõ¨¯žÚøÚûõ“÷¢Ú“‘ª¢ÚîùÚõ¤¥Úû¤Úø›ùÚõ—÷‘ûüÚöÚþíÚõ™ó˜ÚøÚõ¤¥ <ø›ùÚ÷‘õ—÷‘ûüÚöÚ¢ø¤Ú$C:v_1v_2\cdots v_pv_1$Ú¨–ÆÚþíÚóþ¨–¢ûüÚ$L$Ú“ùÚ¤»¨ú‘ý <$G$Ú¤Ú¢¤Ú÷à¤Ú“ðþ¤þ¢ÚîùÚ$|L(v_1)|=|L(v_2)|=1$ŠÚ$L(v_1)\not=L(v_2)$Š <$|L(v_i)|=3$Ú“¤ýÚû¤Ú$3\le i\le p$ŠÚøÚ$|L(v)|=5$Ú“¤ýÚû¤ <$v\in V(G\setminus C)$Æ <¢¤ÚþöÚ¬ø¤–Ú$G$ÚþíÚ$L$Ť÷ïõþ¥ýÚ¢¤¢Æ <ÒlabelÞplanarch× <ÒendÞthm× < <ÒbeginÞproof× <™“‘–Ú¤Ú“ùÚ¨—ì¤Ú¤øýڗ㢢ڤ»¨ú‘ýÚ$G$Ú÷›‘ôÚõü¢ûþôÆÚ“‘Ú—ø›ùÚ“ùÚþöÚîù <$p\ge 3$ŠÚ•‘þùÚ¨—ì¤Ú¤Ú¢ø¤Ú“ùÚ¯øñÚ$3$Úõüðþ¤þôÆÚ¤øªöÚ¨–ÚîùÚ¢¤ÚþöÚŸ‘ó– <ŸîôÚ“¤ì¤¤Ú¨–ÆÚŸ‘ñÚð¤Ú$G$Úð¤êüÚ›¥Ú$C_3$Ú“ø¢ùÚøÚŸîôÚ“¤ýÚûõùÚð¤êú‘þü <îùÚîõ—¤Ú¥Ú$n(G)$Ú¤»§Ú¢¤÷¢Ú¢¤¨–Ú“‘ª¢ŠÚ“‘Ú¢¤Ú÷à¤Úð¤ê—öÚ¢øÚŸ‘ó–Ú÷ª‘ö <õü¢ûþôÚ$G$ÚþíÚ$L$Ť÷ïõþ¥ýÚ¢¤¢Æ < <÷¡¨–Ú꤭Úî÷þ¢Ú$C$ÚþíÚø—¤Ú¢ª—ùÚ“‘ª¢ÆÚð¤ÚþöÚø—¤Úþ‘ñÚ$v_iv_j$Ú“‘ª¢ÚîùÚ$i$$\ech(G)\le 2\Delta(G)-1$$ >\vspace{-\baselineskip} < <øóüÚ“‘Úõì‘þ¨ùÚþöÚî¤öÚ“‘Úì®þùÚøþ¥þ÷ïÒindexÞøþ¥þ÷ï×ÒindexÞì®þùÚøþ¥þ÷ï× <¾$\Chi'(G)\le\Delta(G)+1$½ŠÚ¢¤õüþ‘“þô <îùÚ“‘þ¢Úî¤÷ú‘ýÚ¡þóüÚ“ú—¤ýÚ•þ¢Úî÷þôÚøÚ¥Ú›õóùÚî¤÷ú‘þüÚ“¤Ÿ¨’Ú$\Delta(G)$ <“þ‘“þôÚîùÚ®¤þ’ÚÚ$\Delta(G)$Ú¢¤Ú÷ú‘Úîõ—¤Ú¥Ú$2$Ú“‘ª¢ÆÚþîüÚ¥Ú÷—þ›ùû‘Ú¢¤Úþö <¥õþ÷ùÚ¢¤Úì®þùÚ“ã¢Úõüþ¢Æ < <ÒbeginÞthm×ÒciteÞchethagg×ÒhspaceÞ.6em× <“¤ýÚû¤Úð¤éÚ“¢øöÚõ™ó˜Ú$G$Ú¢¤þô >$$\ech(G)\le\frac{9}{5}\Delta(G).$$ >\vspace{-\baselineskip} <ÒendÞthm× < <þöÚì®þùÚ÷—þ›ùÚ¬óüÚõ¤›âÉÒciteÞchethagg×Ú¨–ÚøÚ“¤ýÚ›óøðþ¤ýÚ¥Ú¯øò÷ü <ª¢öÚõ¯ó’ŠÚ¥Ú£î¤Ú“¤û‘öÚöÚªôÚõü•øªþôÆ