improper choosability of graphs and maximum average degree · 2017. 1. 29. · improper...
TRANSCRIPT
-
Improper choosability of graphs and maximum average
degree
Frédéric Havet, Jean-Sébastien Sereni
To cite this version:
Frédéric Havet, Jean-Sébastien Sereni. Improper choosability of graphs and maximum averagedegree. RR-5164, INRIA. 2004.
HAL Id: inria-00071425
https://hal.inria.fr/inria-00071425
Submitted on 23 May 2006
HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.
CORE Metadata, citation and similar papers at core.ac.uk
Provided by HAL-UNICE
https://core.ac.uk/display/52794621?utm_source=pdf&utm_medium=banner&utm_campaign=pdf-decoration-v1https://hal.archives-ouvertes.frhttps://hal.inria.fr/inria-00071425
-
ISS
N 0
249-
6399
ISR
N IN
RIA
/RR
--51
64--
FR
+E
NG
ap por t
de r ech er ch e
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Improper choosability of graphs and maximumaverage degree
Frédéric Havet — Jean-Sébastien Sereni
N° 5164
Mars 2004
-
Unité de recherche INRIA Sophia Antipolis2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France)
Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65
���������������������������������� �!#"������$�%�'&$()�*�,+$���.-�� �0/��1�"2
(��"�1�
3�4�5768594;:=�@BA�C9D∗ EGF CB@�H1IKJ157L8@�M�D;:NC9HOJ1C94;C9H8: †
PRQTS�UWVWXZY [�\�]^V�_a`cb$VKd0]^ec]fdgS�UWV�]hji^kalfVKd0mn_a]goKkadpdgV
[q_srtr�kai^dqucVvigV�o�QtV�igo�QtVxw�y�zcX;{s|?Y}mn_aig]q~aas|YX�rT_aaV;]
�1��taa UWrti^k9rV�i0o�QtkBk9]g_sTdfe�ks�rt_swT_ai�ai�_srtQ]�QT_a]qV�V�w�ucV�e�]fdg`TucV�u wnrT_aipdgo�`t_ai�c igV kc] BwB9V�]pd^9_dgV�u2d^QtVZ]pU�_aV�]pdjw7dgV�aV�i
gk]p`o�Q'dgQT_dV�aV�i^e'rt_swT_ai�ai�_srtQWks9i^d^Q�_djV�_9]fd
gk]
k UWrtigkar�V�i 2 o�QtkBk9]g_stVa,¡qVrtigkaV�u£¢ ¤¦¥8d^Q_d 6 ≤ g1 ≤ 9 § 5 ≤ g2 ≤ 7 § 5 ≤ g3 ≤ 6 _swTu∀k ≥ 4, gk = 5
w¨d^QT]'rT_sr�V�i;8V�]fdg`Tuce©d^QtV�aigV�_sd^V�]pdigV�_sM(k, l)
]^`To�Q¨dgQT_dV�aV�i^e?ai�_srtQka�U�_sbBU2`TUª_¦aV�ig_aaVZucV�9i^V�VZV�]g]RdgQT_sw
M(k, l)]
k UWrtigkar�V�i l o�QtkBk7]^_atV9�«?VvrTi^k9V¬dgQT_d�k9il ≥ 2dgQtV�w
M(k, l) ≥ l + lkl+k
v®0],_$o�kaigka_ai^e9T¯VutV�uc`To�V2dgQT_dg1 ≤ 8
_swTug2 ≤ 6
,«?VW_s]pkrTi^kBucVZ_aw�`TrtrV�iq�ka`twTu�k9i
M(k, l)�PRQt]�UrTV�]RdgQT_dRk9iq_swBe�°tbcV�u
lM(k, l) −−−−→
k→∞2l
±n²7³�´gµ2¶ ·�a UWrtigkar�V�ioKkaka`Ti^wtT8o�QtkBk9]g_sTdfe91U�_sbBU2`TU¸_¦9V�i�_s9VWutV�aigV�V91rT_awT_si'ai�_srtQ¹9i^d^Q
º�»;¼¾½¹¿�ÀÂÁNÃq¿¹Ä�½�ÅÄ�Á=ÆN¼ÇÄ�È¾È É0½ËʦÅ;ÅaÀÂÁÆNÌpÍZÎ�ÉqÆN»¦ÌjÌpÊ;ÁNÀÂÅsÌpÄ�ÏvŦÁ=À�ÐNÌfÑÒÆ8Ó¹Ô�Õ�Ö;Ó�Ó¹×∗ »ÄpØKÌÒÆÚÙ�½ËÀÂŦ»¦¼ÇÄ;Û ¼¾Ï;ÁN¼ÇÄ;Û ÜÁ† ½ËÌfÁNÌfϦ¼Ù�½NÀÂŦ»¦¼ÇÄ;Û ¼¾Ï¦Á=¼ÇÄ;Û ÜÁ
-
� ���2�K���K�1�������������� �������1����� ¯� (��"���¸���,+$���.-�� ���q�q&
��� ��� � � _no�Qtka]p]g]^_atd^\UWrtigkartigV�ucV�]ai�_srtQtV;],rt_swT_aigV�]v_�\Kdg\ �V�_s`oKka`Tr?\�d^`Tuc\�V9���wr_si^d^oK`tV�i� B igV kc] _\�d^`Tut\ZVZrt`T]Rr�VKd^dRV�w7d^V�i
gkdgV��7`tVqdgka`cd�9ig_artQtVqrt_sw_si^VZucV¬U�_aV
_a`�Uk9w]gk]pk9d
k UWrti^k9rtigV 2 o�Qtk9]^]^]g_stVa �_Wrtigka`t9\¢ ¤¥�V;]�ig\�]^`td�_d�]q]p`T_sw7d�]�� 6 ≤ g1 ≤9; 5 ≤ g2 ≤ 7; 5 ≤ g3 ≤ 6
VKd∀k ≥ 4, gk = 5
��Z_swT]oKVKdR_si^d^oKVa9wtka`T]Gw7dgi^kcuc`t]^kawT]GVqrT`T]ai�_swuig\�V�
M(k, l)dgV��7`tVd^k9`cdvai�_srtQTV'ucV�ucV�aig\2UWkeaV�w�U�_bcU2`tU ]pd^igoKd^V�UV�w7d,wc\�i^V�`ti��
M(k, l)]^kadk UWrtigkartigV l o�Qtka]^]g]^_atVa��0ka`T]¯rtigka`Takaw]�7`tV ∀l ≥ 2, M(k, l) + lk
l+k
��qk9`T]Ruc\�uc`T]^kawT]¯V�wo�kaigka_aigV�7`tV
g1 ≤ 8VKd
g2 ≤ 6��qka`]Guck9wtwtkaw]G\�9_sV�UWV�w9d`twtVZk9i^wtV¬]p`tr�\�igV�`tigV0r�ka`ti
M(k, l)utkaw7d�kaw�uc\�uc`Td�7`tV9crk9`tiRd^k9`cdl°tbc\a
M(k, l) −−−−−→k→+∞
2l
� ¶ ; ´ �� � o�kakai�_d^kaw�UWrtigkartigVaBo�Qtka]^]g]^_atd^\97ucV�aig\0UWkeaV�w U�_bcU2`tU�Bai�_srtQTV0rt_swT_aigVaU�_aV
-
��������������������������������������! #"$����%�$� &
' ��&2�1����(�-$G���K�'&)(
VKd
GV_W9ig_artQ¹�«?Vvwtkad^V
V (G)d�]�aV�ipdgVKb$]^VKd0_awTu
E(G)d�]�V�utaVv]pV�d�
®*���+�-,�����.�"],_sw£_srtrto�_dgk9wnigkaU d^QTV9V�i^d^V�bn]^VKd,w9dgk�_�]^VKdvkso�kaka`ti�]S
|S| = lV
o�_s8dl oKk9k9`tigwt V�d c V�_�oKk9k9`tigwt�ks G WPRQtV/�����������������ks_�9V�i^d^VKb v w G `twTucV�i c utV�wtkad^V�u©Be
imcG(v)�],dgQtV�wB`tU2�V�i2ksRwtV�aQB�ka`ti�]
uks
vw
G]^`To�Q�dgQT_d
c(u) = c(v)�PRQTV���0�%�1�������2��ks
cw
G]
imG(c) = max{imcG(v) 3 v ∈ V (G)} 8® oKk9k9`ti^wt,] k 4 ���0�%���������¹d�]UWrtigkar�V�i^dfe ]¬_dqUWk9]pd
k_swTun_W9ig_artQ�]
k 4 ���0�%�1����� l 4 ���+�-,����5���+R�dZ_aucUWdg]0_ k UrTi^k9rV�i l o�kaka`tigwtT�PRQtVk 4 ���0�%��������6��5���-�7�-���86.%,��9�1���ka G 7ucV�wtkad^V;uW7e ck(G) 7]8dgQtV0]^U�_sV;]fdjw7d^V�9V�i
l]^`To�QWdgQT_d
G]
k UrTi^k9rV�i l oKk9k9`tig_atVa �0ksd^Vqd^QT_sd 0 UWrtigkar�V�iGo�kaka`tigwt,]jd^QtV¬`T]p`_stwtkad^kawkajrtigkar�V�i¬o�kaka`tigwtT�]pk$d^QtV0 UWrtigkar�V�i¬o�Qti^k9U�_d^ovwB`tU'V�i¬]0V�bt_aoÂdge�dgQtV'o�QtigkaU�_sd^ovwB`tU2�V�i`]p`T_ae$ucV�wtksdgV�u
χ(G): wtV�o�_sw'_awT_ska9ka`T]^eZ9V�wtV�ig_a�?�@��� 4 �A�����"-.%�7�.B�cka_Zai�_srtQ G]�_sw�_srTrto�_sd^kaw
L�Qto�Qn_9]^]^9wT]d^kWV�_9o�Q�9V�i^d^V�b
v ∈ V (G)_WrtigV�]goKig�V�u$]pdqks�oKkaka`Tig]
L(v)
L]¯_sw
l ]fd _9]^]^9wtUWV�w7d�rtigk7ucV;uWV�_ao�Q�]fd¯]ks�]^+;�V0_d¯V;_a]pd l G ] k UrTi^k9rV�i L oKk9k9`tig_atV�d^QtV�i^V�V�bB]pdg]j_k UrTi^k9rV�ijoKkaka`Ti^wt c ka G ]^`To�Q'd^QT_sd ∀v ∈ V (G), v ∈ L(v) wdgQt]o�_9]pV9 c ]_
k UWrtigkar�V�i L oKkaka`Ti^wtvks G G ] k UWrtigkar�V�i l o�QtkBk9]g_sTV�1d¯] k UWrtigkar�V�i L oKkaka`Tig_atVk9i�V�9V�igel ]fd _9]^]^awtUWV�w7d L C k9k9`ti^wt7]Wks,rt_awT_si$ai�_srtQT]WQ_¦aV�V�V�w �ucV�e#]fdg`TucV�u w rT_si^d^oK`T_ai
pk_swTu
p∗kRd^QtV
]^U�_sV;]fdqw7d^V�aV�i�]l]^`To�Q�d^Q_d0V�aV�ige rt_sw_siq9ig_artQ�]
k UWrti^k9rV�i l oKk9k9`tig_atVZ_awTu k UWrtigkar�V�il o�QTk7k7]^_atVZigV�]^r�V�oÂdg9V�ea�_sigV
wtk�wnk9i¬_sUWk9]pdZ_ak wTutV�V�u�PRQtkaU�_a]g]^V�w]^QtkV;u�w ¢ ¦¥8dgQT_d
V�aV�i^e?rt_awT_si2ai�_srtQ¨]5 o�QtkBk7]^_atV�_awTu©d^QtV�i^V�_sigV rt_swT_aiai�_srtQ]v�Qto�Q _sigV�wtksd 4 o�QTk7k7]^_atV¢X;~¦¥�]pk
p∗0 = 5���9V�ige�rt_awT_siR9ig_artQ$]
4 oKk9k9`tig_atV¢X9T~;¥�_swu dgQtV�igVv_sigV¬9ig_artQT]�Qto�Q�_sigVZwtksd1 UWrtigkar�V�i 3 oKk9k9`ti�_stVaT]^k p0 = p1 = 4 0D¯`cd¬¯V2uck�wtksd wtk d^QtV'VKbt_aoKd¬_s`tVka p∗1 �Qto�Q]RV�d^QTV�i
4kai
5j¡0kV�aV�i�Bdq]�o�kawlfV;oÂd^`Ti^V;u dgQT_dqdq]
4�
E ¶GFIH�² s �¹ ²KJMLON c ¶�F F ·QP ��� �6R+S�TOUWVYX ² X ¶IZ �X\[]R+^�T`_badc ������%�+�-.����e"-�1��B�f�@�1 4 �������������
4 4 ����������5���+�g®¬]¯]^Qtk�w wTucV�rV�wTucV�w9dge�Be �j_sd^kaw�_swTu�¡q`t8¢ &¦¥¹_awTu B igV kc] ¹¢ {s¥ËBV�aV�igert_awT_si¯ai�_srTQ�]
2 UWrtigkar�V�i 3 o�QtkBk9]g_sTVv_swu�kai¬V�aV�i^e k d^QtV�i^V_sigVvrt_awT_si¬ai�_srtQ]��Qto�Q�_sigVwtkad k UWrtigkar�V�i2 o�kaka`ti�_sTV91¡qV�wToKV pk = p∗k = 3
k9iq_swBek ≥ 2
m�k9i^V�kaV�iGUrTi^k9rV�i¯o�kaka`tigwT9]jka�rt_swT_ai9ig_artQT]QT_¦aVZ_s]pk'V�V�w�]fdg`TucV�u�`twTucV�iR]^kaUWV¬aipdgQigV�]pd^igoÂd^kaw]��PRQtV6"$�����8�Zksai�_srTQ]�dgQtV¬]^U�_sV;]fdV�wtsdgQ�ks�_o�eBo�V9�PRQTVqV� wTk�w'dgQtV�k9i^V�U kah i1isd1;�]go�Q¢ |TXaXK¥]pdg_sd^V;]GdgQT_d�V�aV�ige�rt_swT_ai9ig_artQ ka1ai^d^Q�_sd�V;_a]pd
4]
3 oKk9k9`ti�_stVakj�kasdv¢Xl&¦¥]^Qtk¯V�u�_Wrt_awT_si�9ig_artQ$ka�9i^d^Q4�Qto�Q�]�wTksd
3 o�QtkBk9]g_stV¬_awTu�PRQtkaU�_9]^]^V�w?¢X;¦¥�rtigkaV;u dgQT_dV�aV�i^e�rt_swT_ai¬9ig_artQkaGaipdgQ�_d,V�_a]pd5]
3 o�QTk7k7]^_atVa w ¢?m;¥Ú B i^V kc] �]pQtk¯V�und^QT_sdZV�aV�igerT_awT_si¯ai�_srtQ�ka�ai^d^Q�_sd¯V�_9]fd4]
1 UWrtigkar�V�i 3 o�QtkBk9]g_stVa w�¢ ¤¥Úc igV kc] TwBaV;]fdg7_d^V;u
k UWrtigkar�V�i2 o�QTk7k7]^_atdfe2ka¹rt_awT_siai�_srtQ]jw i^V�_sd^kaw��d^Q$d^QtV�i¯aipdgQ¹ �0V�wtksdgwtBe gk V¬d^QtV]^U�_sV;]fd¯w7dgV�aV�i¯]^`To�Q$d^QT_sd¯V�aV�igeWrt_swT_ai9ig_artQ ks1aipdgQ�_d¯V;_a]pd
gk]
k UrTi^k9rV�i 2 o�QtkBk9]g_stVaQTVrTi^k9V�undgQT_d6 ≤ g1 ≤ 9
5 ≤ g2 ≤ 7
5 ≤ g3 ≤ 6
_awTu∀k ≥ 4, gk = 5
¡qV�wToKVd^QTV�kawte`Tw wtk�w�_a`tV;]�_sigV
g1g2_swu
g3
w d^Qt]2r_sr�V�i;�V�]fdg`Tuce©d^QtVk UWrtigkar�V�i l o�QTk7k7]^_atdfe�kaqai�_srtQT]2w i^V�_sd^kaw¨�d^Q dgQtV�iU�_sbBU2`TU _¦aV�ig_aaV¬utV�aigV�V9
Ô1Ô Ï�nBolpOqr
-
| � � c ������G����.%�
��²�� F [ l[ ¶�F J#PRQTVZU�_sbBU�_s¹_¦9V�i�_saVZucV�9i^V�V¬ka8_9ig_artQG] �
Mad(G) := max{
∑v∈V (H) dH(v)
|V (H)|, H]p`tTai�_srtQ�ks
G}.
PRQtV¬aipdgQ _swTudgQtV0U�_sbBU2`TU _¦9V�i�_saVRucV�aigV�Vqka_rt_awT_siGai�_srtQ�_sigVqigV�_dgV�u'd^k'V�_ao�QWkad^QtV�i �� ²B¶ ² � J��k��
G�1�� �%�+�-.��-��"-�����B�f�! �"$�������
gg
Mad(G) <2g
g − 2.
¶¹¶��g£«?VZi^V;o�_aTd^QtV ��`tV�i�� ]k9i^U'`t_vkaiR_rt_swT_aiG9ig_artQH�|V (H)| − |E(H)|+ |F (H)| = 2�d^Q
|F (H)|d^QtV,wB`tU'V�iqks1=_aoKV;]Rks
H��qkad^V,d^Q_d�V�9V�ige ]p`tTai�_srtQ
Hka
GQT_a]R9i^d^Q�_d�V�_9]fd
gj]^k
g|F (H)| ≤ 2|E(H)|£PRQB`T]
2g − g|V (H)| + g|E(H)| = g|F (H)| ≤ 2|E(H)|¨¡qV�wToKV
2|E(H)||V (H)| ≤
2gg−2 −
4g(g−2)|V (H)| <
2gg−2
k9i�V�aV�i^e ]^`tt9ig_artQHka
G
�
VKdM(k, l)
V2d^QtV2aigV�_dgV�]pdqi^V;_s�]p`To�Q�dgQT_dZV�9V�ige$ai�_srTQ�ka�UW_sbcU'`tU _¦aV�i�_s9VZutV�aigV�VvV�]g]dgQT_sw
M(k, l)]
k UWrtigkar�V�i l o�QtkBk9]g_stVa : BBk9`T]pea M(k1, l) ≤ M(k2, l) k1 ≤ k2 «©VQT_¦9V¬dgQT_dM(k, 1) = 2k+2
k+2
]^wToKV_W9ig_artQ�]k UWrti^k9rV�i 1 o�QtkBk9]g_stV¬f_awTu�kawte$f�dQ_a]RU�_bcU2`tU utV�aigV�Vv_sdRUWk7]fd
k
wnk9igucV�i�d^k�w7d^igkcuc`ToKV2ka`tiqUWV�d^Qtkcu��Qto�Qn`T]^V�]q]^kaUWVuc]^o�Q_sigawtWrti^kco�V�]g]�t¯V,°Ti�]fd¬rti^V;]pV�w7ddqw��cV�oÂdgk9w�~2k9i�UWrtigkar�V�i
2 o�QtkBk7]^_atdfe ��¯VZrTi^k9V0dgQT_dRkai0V�aV�i^e k ≥ 0
4 −4
k + 2≤ M(k, 2) ≤ 4 −
2k + 4
k2 + 2k + 2.
®¬]n_ o�kaigka_ai^e9q¯V©k9cdg_aw d^QTV?k9k�wt `TrtrV�ink9`twTut]�k9igk�Qto�QO_sigV?�VKd^d^V�id^QT_aw
c igV kc] �� ]kawtV;] �g1 ≤ 8
g2 ≤ 6
g3 ≤ 6
_awTu∀k ≥ 4, gk = 5
w��BV�oKd^kaw &2¯V¬V�bBd^V�wu dgQtV,k¯V�ik9`twTu�ks��cV�oÂdgk9w�~d^kW_swBe�_s`tVZks
l��¯VZrti^k9VqdgQT_d¯kai
V�aV�i^el ≥ 2_awTu
k ≥ 0
l +lk
l + k≤ M(k, l).
_a]pd��V'rtigk7ucVvk9iZ_awBe�_a`tV'ksl_swTu
k_ ai�_srTQn�Qto�Q?]¬wtkad
k UWrtigkar�V�i l o�QtkBk9]g_stVa_awTu�VvucV;uc`ToKV,dgQT_dM(k, l) −−−−→
k→∞2l
� ���*���������2 �
��������������������
����� ���! #"%$'&(�*),+.-0/1�2$M(k, 2)
w�dgQt]�]^`tT]^V�oKd^kaw¹TVv]^QT_srtigkaV¬d^QtV,k9k�wT2dgQtV�k9i^V�U �� ²B¶ ² �4365 ���/�����
k ≥ 0 7 �����="-�1��B�5�/�O �9�985��� ,�� � c �����"�;:52"$�� �+��� �8����. 4k+4k+2
�-��
k 4���0�%�1�����
2 4 ����������5���+�g
=�Ô%
-
��������������������������������������! #"$����%�$� z
�0ksd^V�d^Q_dWk = 0
dgQtV�i^V;]p`tdWQtkaut]2d^igB_se9 wTutV�V�u _�9ig_artQ¨�d^Q U�_sbBU2`TU _¦aV�i�_s9VutV�aigV�V0V;]^]Gd^QT_aw
2o�kaw7dg_aw]GwtkoKecoKV¬_awTu ]^k]¯_kaigV�]pd�8¡qV�wToKV¬dR]
2 o�QtkBk9]g_stVa��t`ti^d^QTV�igUk9i^VM(0, 2) ≤ 2
]pwToKVv_aw�kcutu�oKeco�V,]�wtksd2 o�kaka`ti�_stVaB]^k M(0, 2) = 2 �Tkai�ta9V�iR_s`tVvks
kt¯VZ�¹wtV�V;u�d^QtV,k9k�wT'rtigV�UwT_ai^e ucV�°Twtd^kawT]q_awTu�i^V;]p`Td�] �
��²�� F [ l[ ¶�F 3 v ∈ V (G)
d^QTV�wdG(v)
ucV�wTksd^V;]Wd^QTV�utV�aigV�V�kavw d^QtVn9ig_artQ
G��tk9i _s
r�k9]^d^aV�w9dgV�9V�id�_naV�ipdgVKb?kaqucV�9i^V�V�V 7`T_s],dgk��igV�]^r¹n_dUWk9]pd�8igV�]^r¹�_sd2V�_a]pd��
d]2o�_aV�u
_d 9V�i^d^VKb��=i^V;]pr� (≤ d) aV�ipdgVKbi^V;]pr� (≥ d) aV�ipdgVKb��Â��tk9i S ⊆ V (G) �igV�]^r¹ E ⊆ E(G) �Z¯VutV�wtkad^V�Be
G−S�igV�]^r¹
G−E�1d^QtVqwTuc`oKV�u�]^`tt9ig_artQks
Gk9cdg_awtV;u7e'i^V�UWk7wt¬d^QtV0aV�i^d^oKV;]
�=i^V;]pr�qV�uc9V�]��RksS�=i^V;]pr�
E�RigkaU
V (G)�igV�]^r¹
E(G)�K
S = {v}_swTu
E = {uv}T¯V2]^QT_s
wTksd^VG − v = G − S
_swuG − uv = G − E
GPRQtV,`twtkaw�=i^V;]pr¹�w7d^V�ig]^V�oKd^kaw�ks1d^QtVv9ig_artQT]G1_awTu
G2]�dgQtV29ig_artQ
G = G1 ∪ G2�igV�]^r¹
G = G1 ∩ G2�0]p`To�Q�dgQT_d
V (G) = V (G1) ∪ V (G2)�=i^V;]pr�V (G) = V (G1)∩V (G2)
��_swTuE(G) = E(G1)∪E(G2)
�igV�]^r¹E(G) = E(G1)∩E(G2)
�® ai�_srTQ]v]g_sundgk��V
(k, 2) UWwTU�_s8dv],wtkad k UrTi^k9rV�i 2 o�QtkBk7]^_atV't`cdvV�_9o�Qks¯d�]rTi^k9rV�iR]^`tt9ig_artQT]¯]��² � �£ J L V\X ² X ¶IZ �X\[]R��T _ �k��
k ≥ 1�-.�: �+��
G�1 �
(k, 2) 4 � ��.B���9���%"$�����B�Ig��\���.� � �
δ ≥ 2g
� ��� ����� �(≤ k + 1) 4 c ����2�8������1 .G���d� :����51�.B� g
��²�� F [ l[ ¶�F S VKdD�V$_nucai�_srtQ��PRQtV k9`cdgutV�aigV�V��=i^V;]pr¹�wTucV�9i^V�V��ZkaR_n9V�i^d^V�b
uw
D]
utV�wtkad^V�u 7ed+D(u)
�=i^V;]pr�d−D(u)
�KjPRQtV :$`"-�11kau]
dD(u) = d−D(u) + d
+D(u) §d�]jdgQtVZutV�aigV�V
kauw�d^QtVv`twucV�igeBwtW`twTucigV�oÂdgV�u�ai�_srTQ¹
u_swu
v_ai^V¬df¯kka�dg]R9V�i^d^oKV;]�t_
(u, v) ucrT_dgQ�]�_Wuci^V;oÂd^V;u�rT_dgQ$igkaU u dgk v ®0w �����1��������.G1q]0_swnkaigV�w7d^V;u dgi^V�Vvwn�Qto�Q�V�9V�ige rT_dgQn]0ucigV�oKd^V;u$igkaU _WaV�ipdgVKb�o�_sV;udgQtVf���l���Ë��0ksdgV�d^QT_sd2w _sw¨_sigk9i^V;]^o�V�wTo�V'V�aV�i^e9V�i^d^V�b?VKbto�V�rcdvdgQtV igk7kadQT_a]wTutV�aigV�V
1�PRQtV
V�_¦9V�]�kajd^QTV'_sig�kaigV�]goKV�woKV_sigVdgQtV29V�i^d^oKV;]qksjk9`cdgutV�aigV�V0,® 9V�i^d^VKb��Qto�Q]0wtV�dgQtV�i,_ V�_s
wTkai¬d^QtVWigk7kad¬],_sw ��.%�`���.��-� c ����` 89®���,B�A��� 4 �-�����-������.�Z]Z_�uci^V;oÂdgV�u9ig_artQk9cdg_awtV;u�igkaU_aw�_ai^�kaigV�]goKV�wToKV¬Be$ucV�w7d^eBwTW]^kaUWV,V�_¦aV;]�
VKd
u�V'_ 9V�i^d^V�b�ksG_�ucai�_srtQ
DZPRQtV �-,��8����2�8��.�ks
uw
D�utV�wtkad^V�u
A+D(u)�]qdgQtV']^VKd
ka19V�i^d^oKV�]v]p`To�Q�d^Q_d�d^QTV�igVZ]�_
(u, v) ucrT_dgQ�w D VKdGV_
(k, 2) UWwTU�_s9ig_artQ¹8«©VvrT_si^d^_se$kaigV�w9d G `T]pwtd^QTV,kak�wtWrtigkBo�V�]g] �Xa : i^V�w7d�V�_9o�Q�V;ucaV
uv�QtV�igV
v]0_
2 9V�i^d^V�b�i^k9U u d^k v ~c
k ≥ 3ckaigV�w7d�V�_ao�Q�V�utaV
uv�QtV�i^V
v]�_
3 aV�ipdgVKbWi^k9U u dgk v &tR« QtVZd^QTV�igV¬]R_sw$`TwtkaigV�w7d^V�u V�uc9Vuv�QtV�igV
v_sw
i 9V�i^d^VKbW�d^Q 2 + k ≤ i < 3k2 + 2_swTu
ka`cd�ucV�9i^V�Vi − 1cV,k9i^V�w7d�d�igkaU
ud^k
v
PRQtVut9ig_artQDwTuc`To�V�u�Be�d^QtVvk9i^V�w7dgV�u�V�uc9V�]R]�o�_sV�u�_�:��@���������"$��.�" :-��"-�����B�ks
G
PRQtV kak�wtnrtigkar�k9]^dgk9w¹��QTk9]^V�rti^kBka¯]vVK d2dgk�d^QtV$i^V;_aucV�i��kakq]vUWUWV�uc_dgV�eigkaUdgQtVucV�°Twtd^kaw�ks8_ut]go�QT_sigawtWucai�_srtQ¹
Ô1Ô Ï�nBolpOqr
-
{ � � c ������G����.%�
¶��j¶ �[ l[ ¶GF>J �k��D
�1 � :��@����I�-��"-��.I"�:���"$����%� �! �(k, 2) 4 � ��.B���9���%"$����%�Ig
� D�I��� .��
2 4 ����1�,���� ���.G � � � (≤ k + 1) 4 c ����2�8������1 .G��� � :����5�.%�#����k�� �7��� (ii) g,�Y���� ���A� .G� ����1�,���� ��� �����+g� � k ≤ 2 7 ��.%�?� c ������8��9�O :$`"$�� 2 ��� k + 2 �I� c ��.�:52"$�� �7�-��9���I�-.��l����5g �8 k ≤ 3 7��.%�?� c ����2�8����! :5`"-��
2 7 3 �-� k + 2 ��� c ���. :$`"$�� �9��������I��.��l����5g� adc ���� 2 4 c ����` 8 �I��� ��. :$`"$�� 8I�5��2�?� 2 ��. D �-.�:/� k ≥ 3 7 c ���� 3 4 c ����` 8 �I��� ��. :$`"-�11
8I�5��2�?�
3g
� 5 �-� c ���� c ����` 8 u 7 A+D(u) �@� � ��,B�A��� 4 �����1���1����.G � �I���� �+� c ��e�I� c �:5`"-�� 2 � ����`�Yg 2���3� ��.
G�
k ≤ 2� ����2�Yg
k ≥ 3�$g ��.7�������2�8�,��+��� 7 ���Ie��. :$`"$����! 6���Ie�<1� c ��e��. A+D(u) �@����d�7�����
2� ����`�Gg
3�$g
��²�� F [ l[ ¶�F� ® 7`T_9]p _sigk9i^V;]^o�V�wTo�Vq]�_ (k, 2) 9`_a]^ _sigk9i^V;]^o�V�wTo�V��_swu�k9wte �
��aV�i^e$aV�i^d^V�b$QT_9]Rka`cd�ucV�9i^V�VZ_sdqUk7]fd max{2, 2k − 1}
��aV�i^e$V;_8QT_a]RwTucV�aigV�V,_dqUWk9]pd min{k, 3}
�² � �£ 3 � ��k ≥ 2
g �k��Q
�1b�(k, 2) 4 ��,B����� 4 �����1��������.G1 ���l��� 1: �-� u ��. : L � 2 4 �?�@��� 4������"$.B�9�.B� �!
Qg �\�I�. ��.B�
L 4 ���+�-,�����.�" �O ���I �+� c �� ��. �1K 85� �. :$1: ��. � k 4 �������������L 4 ���+�-,�����.�" �! D ��,B�� ���I��� u ���A�]���0�%������������ ���d�7���� k − 1 g
¶¹¶��g D¯e wTut`ToÂdgk9w k9w dgQtVnwB`tU2�V�i$ks,aV�i^d^oKV;]ks
QGdgQtVni^V;]p`Td �V�wt£d^ig7_se¨d^ig`tV�
|V (Q)| = 1
�B`Trtrk7]pV�wtk dgQT_d|V (Q)| > 1
_awTu£dgQtV�i^V;]p`td'QTkaut]'kaiW]pU�_sV�ik 7`T_9]p _sigk9i^V;]^o�V�wTo�V�]� VKd
v1, . . . , vs�V$dgQtV$k9`cd^wtV�9QBk9`tig]ks
uw
Q��qksdgV dgQT_d
Q − u]dgQtV$`Twtk9w ks
s (k, 2) 7`T_9]p _sigk9i^V;]^o�V�wTo�V�] Qi 1 ≤ i ≤ s igkBksd^V;u¨_d vi dgQT_dW_sigV$uc]lfk9w7d2V�btoKV�rtd'r�k9]g]pte?k9w£d^QtV�iV�_¦9V�]�
VKd
c�V�_aw
L oKk9k9`ti^wt�ksRdgQtV$V�_¦9V�]vka Q PRQtV�w Be©wuc`ToÂdgk9w do�_aw¨V�VKbBd^V�wTucV;u¨w_k UWrtigkar�V�i L oKk9k9`tigwt$ksV;_ao�Q?ksGdgQtV Qi ]^k$dgQT_d im(vi) ≤ k − 1 �BwTo�V _$V�_sks Q QT_9]wTucV�aigV�V�_djUWk7]fd
min{k, 3}_swTu
imQ(x) = imQi(x)k9ijV�9V�igeaV�ipdgVKb2ka
Qi�Qto�Q]�wtkadG_,V;_f
dgQtV�wdgQtVR`twtkawWksd^QtV;]pV�oKk9k9`tigwt7]�]�_k UWrtigkar�V�i L oKk9k9`tigwt¬ks Q ]^`To�Q'd^QT_sd im(vi) ≤ k−1 �0kvckawtVZks1d^QtVZdf¯ko�kaka`ti�]Gka
L(u)t]^_¦e
αc]�_a]g]pawtV;uWd^k�_sdRUWk7]fd
k − 1wtV�9QBk9`tig]¯ka
u]^wToKVs ≤ 2k − 1
8PRQB`T]�]^VKd^d^wtc(u) = α
t¯V,kacd�_sw$dgQtVucV;]pi^V;u�o�kaka`tigwtT�
: BBk9`T]^e9d^QtVq_ak9VigV�]^`tdGo�_awtwtksd��V�VKbBd^V�wTucV;u2k9ik = 1V;o�_a`T]pVRdj]jQtkar�V�V�]g]�d^kvV�b7dgV�wTu
V�aV�i^eL o�kaka`tigwt¬ka�d^QtVqV�_¦9V�]8w _voKk9k9`ti^wtv]^`To�Qd^QT_sdjd^QtV0i^kBksdjQ_a]�UWrti^k9rV�ipdfe 0 8¡qk¯V�aV�i�k9wtVvo�_aw�rtigkaV¬d^QTV,kak�wtV;_ V�iRi^V;]p`td �
�² � �£)S � ��Q
�1]�(1, 2) 4 ��,B�A��� 4 �����1�-������.�e���l��� 1:9��� u 7 L � 2 4 �?�@��� 4 �A�����"-.%�7�.B� �O Q �=�����
L(u) = {α, β}�-.�:
c�-.
L 4 1�-�+��,�����.I")�O S ���I ����6�O 7�+� c �� �O Q �=���8� ��.�:52"$�� 1 g�� .�9���I ��-���+� �=��.I" �I�-� :A��
=�Ô%
-
��������������������������������������! #"$����%�$� m
� � �c�9��� �1 85�`�.�:51:9��.)�
1 4 ���0�%�������� L 4 ���
-
¤ � � c ������G����.%�
�= � �B`trtr�k9]^Vatkaiq_WoKk9w9dgig_9ucoÂd^kaw�9dgQT_dv]q_aw
i aV�i^d^V�b$oKk9w9dgig_9ucoÂd^wt'd^QtV_9]^]^V�i^d^kaw�
V�d
L�V
2 ]pd _a]g]pawtUWV�w9dqka G _awTu c _ k UrTi^k9rV�i L oKk9k9`ti^wtWks G − v qPRQtV�i^V2]¬_oKk9k9`ti�ksL(v)]^_¦e
αtdgQT_dq]q_a]g]^9wtV�u d^k _dqUWk7]fd
kwtV�aQB�ka`ti�]¯ks
v VKd
v1, . . . , vsV
d^QtV;]pVvwTV�aQBk9`ti�]�
V�d
G′ = G −⋃s
j=1 A+D(vj)�®qwTu©]pV�d
c′ = ck9iZV�aV�i^en9V�i^d^VKbka
G′_swTu?V�9V�igenV;_ka
d^QtVA+D(vj)
De V�UU�_$~W_artrtV;u�d^k V;_ao�QA+D(vj)
��Qto�Q_sigVvuc]lfk9w7d0V�bco�V�rcdqr�k9]g]^tekaw©d^QTV�ivV;_¦aV�]��¯V o�_aw?V�bBd^V�wu
c′w7d^kn_
k UrTi^k9rV�i L o�kaka`tigwT$ks G − v ]p`To�Q?d^Q_dim(vj) ≤ k − 1
kai1 ≤ j ≤ s
�0k Be ucV�°Twtd^kaw ksc′d^QtV�kawTe wTV�aQBk9`ti�]'ka
vd^QT_sdvUW_¦e��V_9]^]^awtV;uαBe
c′_sigVd^QTk9]^V'ka
{v1, . . . , vs}¡qV�wToKVW]^VKdpdgwT
c′(v) = α¹d^QtV
L oKk9k9`ti^wt c′ ] k UWrtigkar�V�i;¡qV�wToKVG]
k UrTi^k9rV�i 2 o�QtkBk9]g_stV0�Qto�Q�]q_Wo�kaw7d^i�_aucoÂdgk9w¹
�
®0wT_ska9ka`T]^e9BkawtVvo�_aw�rti^k9VqdgQtV,kak�wtWV�UWU�_'�QTV�wk = 2
�² � �£�� � ��D
�� � :-�@���������"$��.�"�:-��"-�����B� �! �(2, 2) 4 � ��.%���7�-�%"$����%� G g
� � ���\�I7��,�� :$`"$�� �O �3 4 c ����` 8 �@� �l����$g
� ��� � � v�@����.
i 4 c ���� 8 �=����� i ∈ {4; 5} ���I�.f����� �-,�� :5`"-����@�]�+���]���I��. i g�² � �£)^ � ��
D�19�;:��@����I�-��"-��.I" �O 7�
(1, 2) 4 � ��.B���9���\"$����%� G g �\�I��� �@� .�� 3 4 c ���� 8 �=������-,�� :5`"-��
3��.
Dg
¶¹¶��g �B`trtr�k9]^Va�kaiv_�oKk9w9dgig_9ucoÂd^kaw��d^QT_sdv]v_
3 aV�i^d^V�bn�dgQ©k9`cdgutV�aigV�V 3 V�d u V�_swk9`cd^wTV�aQBk9`ti�ksv VKd
Q1 = A+D(u)Q2 = A
+D−vu(v)
S�V,d^QtV']pV�dqks�V;_¦aV;]ka
A+D(v)�d^Q
wTucV�aigV�V1w
A+D(v)_awTu
S′dgQtV]pV�dqks�V;_¦aV�]¯�d^Q�wTucV�9i^V�V
2w
A+D(v)
VKdL�V0_
2 ]pd _a]g]pawTUV�w7d8ka G D¯e'UwtU�_sdfeks G 9VKd c V0_ 1 UWrtigkar�V�i L oKk9k9`ti^wtkaG−A+D(v)
=j�V�i^d^oKV;]¯wtksdRwSQT_¦9V0wtkwtV�9Q7�ka`Tiw
G−A+D(v)_swTu$V�9V�ige9V�i^d^V�bWka
SQT_a]
V�bt_aoÂdge�k9wtV,wtV�aQB�ka`tiRwG −A+D(v)
��8bBdgV�wTucd^k
S ∪ S′Be$_9]^]^awtwtdgkWV�_ao�Q�aV�ipdgVKb ks
S_
o�kaka`ti0ksjdg]Z]pd¬wtkadZ_a]g]^9wtV�u�dgk d�]ZwtV�aQB�ka`ti¬wG − A+D(v)
_awTu_swBe�oKk9k9`ti0kajd�]0]pd0dgk�_9V�i^d^V�b ks
S′
�0kQ1_awTu
Q2]^_sd^]fe�V�dgQtV�i � �0kai�� �0ks V�UWU�_ &t Gk9wtV2kajd^QtV�U ]^_sd^]f°V�] �= �Â�dgQtV�w
r�k9]g]^te�dgQ$igV�oKk9k9`tigwt,ka¹aV�i^d^oKV;]jkaS′k9wtV0o�_sw V�b7dgV�wTu
cw7dgk'_
1 UrTi^k9rV�i L oKk9k9`tigwt,kaG − vu
]^`To�Q�d^QT_sdc(v) 6= c(u)
j¡0V�wTo�Vc]�_
1 UWrtigkar�V�i L o�kaka`tigwT2ks G Q1_swu
Q2]g_dg]p°TV�]�ksdgQ
(i)GdgQtV�w r�k9]g]pte �dgQ#i^V;oKkaka`Ti^wt�ka¬9V�i^d^oKV�]ka
S′kawtV�o�_aw
V�bBd^V�wucw7d^k�_
1 UWrtigkar�V�i L oKk9k9`tigwt'ks G − vu ]p`o�Q�dgQT_d im(v) = im(u) = 0 j¡0V�wTo�V c ]_1 UWrti^k9rV�i L o�kaka`tigwt2ka G �Bk
G]
1 UWrtigkar�V�i 2 o�QtkBk9]g_stV0�QTo�Q�]�_o�kaw7d^i�_autoKd^kaw¹ �
¶¹¶��R¶ � �� ²B¶ ² � 3 VKd
G�Vv_
(k, 2) UWwtU�_a�9ig_artQ$_awTu D _'ut]go�QT_sigawt2ut9ig_artQ ks G «©V2]pdg_aipdq�d^Q_�o�QT_ai^9Vw(v) = d(v)
kawnV;_ao�Q�aV�i^d^V�b�_awTu�V_artrte dgQtVvkak�wt ut]go�QT_sigawtig`tV��8V�9V�ige aV�ipdgVKb 99V�] k
k+2
d^kWV�_9o�Q�ka�dg]Rk9`cd^wtV�9QBk9`tig]�
VKdq`T]�V�bt_sUWwTV¬dgQtVvwtV� o�QT_ai^9V
w′(v)ks�_aV�ipdgVKb
v�
=�Ô%
-
��������������������������������������! #"$����%�$�
v ]q_ 2 aV�ipdgVKbBdqQ_a]RwTucV�9i^V�V 2 ]^kWd�]�wtV�Oo�QT_ai^9V0] w′(v) = 2 + 2kk+2 =
4k+4k+2
v ]j_ 3 aV�ipdgVKb2_awTu k ≥ 3 adjQT_9]8wTutV�aigV�V 3 ]pk,dg]�wTV�#o�QT_sigaV¯] w′(v) = 3+3× kk+2 =
6k+6k+2 >
4k+4k+2
v]Z_
3 aV�ipdgVKbn_swTu k = 2 dgQtV�w©dZQT_9]Zka`cd�ucV�9i^V�V 0 Be V�UWUW_�z _awTuwucV�9i^V�V0Be$o�kawT]pd^ig`ToÂdgk9w�]^k
w′(v) = 3
4 ≤ d(v) ≤ k + 1 �� k ≥ 3 �Kcd^QtV�wnBe V�UWUW_W| �= �K v Q_a]�k9`cdgucV�aigV�Ve;�V�i^k�]^kWd�]0o�QT_ai^9V]d(v) ≥ 4 > 4k+4
k+2
k + 2 ≤ d(v) < 3k2 + 2dgQtV�w V�d^QtV�i
vQ_a]'ka`cd�ucV�9i^V�V�_d�UWk9]pd
d(v) − 2_awTu ]^k?dg]
wtV� o�QT_sigaV�]�_d�V;_a]pdd(v) − (d(v) − 2) × k
k+2 =2d(v)k+2 +
2kk+2 ≥ 2 +
2kk+2 =
4k+4k+2
kai,Be V�UWUW_9]Z|T1z�_swTu©{t�dvQT_9]¬k9`cdgutV�aigV�V
d(v) − 1 w?d^Qt]o�_9]pV9BeucVK°TwTdgk9w©ka_
uc]^o�QT_ai^9wTucai�_srTQ¹vQT_a]RwTucV�aigV�V
1]pkWdg]�wtV� o�QT_ai^9V¬] �
d(v) − (d(v) − 1) ×k
k + 2+
k
k + 2= d(v) − (d(v) − 2) ×
k
k + 2≥
4k + 4
k + 2.
3k2 + 2 ≤ d(v) ≤ 2k + 1
�k ≥ 2
�KBd^QtV�w�Be V�UWU�_a]¯|�_swTu�zcvQT_9]Rka`cd�ucV�9i^V�V¬_d�UWk9]pd
d(v) − 12�Bk
w′(v) ≥ d(v) − (d(v) − 1) × kk+2 =
2d(v)k+2 +
kk+2 ≥
3k+4+kk+2 =
4k+4k+2
d(v) ≥ 2k + 2 BdgQtV�w w′(v) ≥ d(v)(1 − kk+2 ) =
2d(v)k+2 ≥
4k+4k+2
¡0V�wTo�VMad(G) ≥
1
|V |
∑
v∈V
d(v) =1
|V |
∑
v∈V
w′(v) ≥4k + 4
k + 2
�
E ¶ ¶ � �=c ³ J �k��G
�1 �]�%�+�-.����6"-�����B�f�! #"$�����8�gg
�$g0� g ≥ 8
���I�.G
�@�1 4 ���0�%�������� 2 4 ��I�l�A���5���+ 7 ��� g1 ≤ 8 g
� g0� g ≥ 6
���I�.G
�@�2 4 ���0�%�������� 2 4 ��I�l�A���5���+ 7 ��� g3 ≤ g2 ≤ 6 g
� g0� g ≥ 5
���I�.G
�@�4 4 ���0�%�������� 2 4 ��I�l�A���5���+ 7 ��� gk ≤ 4 ���� k ≥ 5 g
��� � �����("%$ &(�*).+,- /1�2$M(k, 2)
VKd,`T]¬°tbk ≥ 1 w?d^QT],]^V�oÂdgk9w¹�VW]^QT_s�o�kawT]pd^ig`ToKdZ_$=_sUWenksai�_srtQT]
(Gkn)n≥1]^`To�QdgQT_d
k9iq_sn ≥ 1
�
Gkn]�wtkad
k UWrtigkar�V�i 2 oKk9k9`tig_atVa
Mad(Gkn) =2n(4k2 + 6k + 4) + 4k2 + 6k + 2
2n(k2 + 2k + 2) + (k + 1)2
Ô1Ô Ï�nBolpOqr
-
X; � � c ������G����.%�
¡0V�wTo�VvV,��utV�uc`To�V��
� ²B¶ ² � S�5 �����-���k ≥ 1 7 M(k, 2) ≤ 4k
2 + 6k + 4
k2 + 2k + 2= 4 −
2k + 4
k2 + 2k + 2
g«©V0ucV�wtksdgV�7e
HkdgQtVqai�_srTQo�kaUWrk7]pV;u2kadf¯kv_au¦lp_9oKV�w9dj9V�i^d^oKV;]
u_swTu
v_a]^kZo�kawtwTV�oÂdgV�uBe
k + 1uc]=lfkaw7drT_sd^QT]¯ka�V�wtsdgQ
2�P�_ V
koKk9rtV�]ks
Hk_swTu$oKigV�_dgVqdgQtV¬9ig_artQ
FkBe�utV�w7d^eBwt
dgQtV$9V�i^d^V�bvksqV�_9o�Q¨oKkarBe9 �qksdgV dgQT_d
FkQ_a]k9wtV 9V�i^d^VKb©ks0ucV�aigV�V
k(k + 2)k9V�i^d^oKV;]vks
utV�aigV�Vk + 2_awTu
k(k + 1)9V�i^d^oKV;]Gka1ucV�9i^V�V
2 �0k V¬dg_ V
2n + 1oKk9rtV�]ks
Fk_awTu ¯Vlfkaw
dgQtV,aV�ipdgo�V�]vks�V�_9o�Q�o�karBe oKigV�_sd^wt_Wo�eBo�V,ka�]^+;�V
2n + 18®¯dq_a]pd�V,U�_ VZ_W]^`t�ucB]pkaw�ks
_a�dgQtVvV�utaV�]Rka�dgQtVoKecoKV,t`cd0k9wtVv]pk�_9]¯d^kWkacd�_sw$dgQtVvai�_srTQGkn
F2
H2
������������G2
1
�² � �£��Gkn
�@�].��-�k 4 ���0�%�������� 2 4 �-�+��,��������<�g
¶¹¶��g ��i�]fd¬i^V�UW_ai d^QT_sd0w�_swBek UWrtigkar�V�i 2 o�kaka`tigwT�ks Hk v QT_9]qUWrti^k9rV�ipdfe�_d0V�_9]fd
1 wTucV�V;u
v]�_
(k + 2)9V�i^d^V�b w
Hk]pk8dqQT_a]RUWrti^k9rV�ipdfe9;�V�igk2dgQtV�w�dg]
k + 2wtV�9Q7�ka`Tig]
_ai^V�oKkaka`Ti^V;u�dgQtV�]^_aUV98t`cdd^Qt]2]'UWr�k9]g]ptV$]pwTo�Vu]_nwtV�9Q7�ka`Ti2ks
v_au¦lp_9oKV�w9d'd^k�d^QtV
k + 1igV�U�_awtwtWwtV�9Q7�ka`Tig]��¡0V�wTo�Vvwn_aw7e
k UWrti^k9rV�i�oKkaka`Ti^wtks Fk v QT_9]RUWrtigkar�V�i^dfe k �ck'w�k9igutV�id^kWoKkaka`TiGdgQtV,�QtkaV¬9ig_artQ¹B¯V¬U'`T]fdRrtigkar�V�ige�o�kaka`ti¯d^QTVZ]^`t�ucBucV�u�oKeco�VZ�dgQ2o�kaka`ti�]�7�QTo�Q�]qUWr�k9]g]ptVa�
�² � �£ � �\�I �7� 85��� ,�� � c �����"5 :52"$��7�! Gkn
�@�Mkn =
(2n+1)(4k2+6k+4)−2(2n+1)(k2+2k+2)−1
g
=�Ô%
-
��������������������������������������! #"$����%�$� X9X
¶¹¶��g ®¬]�dq]�V;_a]^e$]^V�V�w¹Bd^QtV2UW_sbcU'`tU _¦aV�ig_aaVZucV�9i^V�VZkaG]Rdg]0_¦aV�i�_s9V¬ucV�aigV�V9c�Qto�Q
] �
(2n + 1)[(1 × k(k + 2) + 2) + (k × (k + 2)) + (k(k + 1) × 2)] + (2n) × 2
(2n + 1)(1 + k + k(k + 1)) + 2n= Mkn .
�
� ���*���������l �
��$����1������������
l ≥ 2����� ���! #"%$'&(�*),+.-0/1�2$
M(k, l) w�dgQt]�]^`tT]^V�oKd^kaw¹TVv]^QT_srtigkaV¬d^QtV,k9k�wT2dgQtV�k9i^V�U �� ²B¶ ² � � 5 ��� �����
l ≥ 2�-.�:f�-���
k ≥ 0 7 �����k"$�����B�$� �! 7�9�985��� ,�� � c �����"� :52"$��9�<���7�8����.l(l+2k)
l+k
�-��
k 4 ������������� l 4 ����������5���+�g
PRQtVWigV�]^`tdZkajd^QtVdgQtV�k9i^V�U ]¬d^ig7_s8k = 0
]^wToKVW_$9ig_artQkaGU�_bcU'`tU _¦9V�i�_saVutV�aigV�VV�]g],dgQT_sw
l]
(l − 1) 4 :$`"5�.�����-�` �Ë V9nV�_ao�Q£kaRdg]']p`tTai�_srtQ£QT_9]_naV�ipdgVKb©ks�ucV�9i^V�V _d2UWk9]pdl− 1
�Â8¡qV�wToKV¬d¯]l o�QtkBk9]g_sTV9��tk9iGta9V�ij_s`tV;]Gka k B¯Vq��wtV�V;u ]^kaUWVqrtigV�UWwT_sige2igV�]^`tdg]�
��²�� F [ l[ ¶�F � ®%ai�_srtQ©]']^_au?dgkV(k, l) UWwtU�_sj�d']2wtksd k UWrti^k9rV�i l o�QtkBk9]g_stV'T`cdV�aV�i^e�ka�dg]Rrtigkar�V�iq]^`tt9ig_artQ$]�
�² � �£�� � ��G
�1 �9"$����%� 7 L �/���@�� 4 �A�����"$.B�9�.%�0��. : c ��. L 4 1�-�+��,�����.I"5g9�8 9� c ����` 8 v �I�A����0�%�1�������2� ��� �+����d(v) − |L(v)| + 2
,�.�:5��c 7 ���I�. ���I���7 85�@���8���-. L 4 �-�+��,�����.I" c′ �O G ��,B�����I�-�
c′(u) = c(u)�
u 6= v��. :
imc′(v) = 0g
¶¹¶��g VKdc(v) = α
8PRQTV�wvQT_a]_dGUWk7]fd
d(v)− (d(v)−|L(v)|+2) = |L(v)|−2wtV�9Q7�ka`Tig]
dgQT_dR_sigVqwtkad¯oKk9k9`tigV�uW�d^Qα�¡qV�wToKV0d^QtV�i^V¬VKbc]pdg]¯_2o�kaka`ti
β ∈ L(v)d^QT_sd¯uckBV;]Gwtkad¯o�kaka`ti¯_swBe
wTV�aQBk9`tiRksv*�ckW]^VKd^d^wt
c(v) = β¯V,kacd�_sw�dgQtVucV;]pi^V;u�o�kaka`tigwtT
�
«©Vvwtk rTi^k9VZ_aV�wtV�i�_s
-
X¦~ � � c ������G����.%�
� � V�dL�V,_aw
l ]pd _a]g]^9wtUWV�w7d¯_awTu$]^`trtr�k9]^V v ]R_ (≤ l− 1) aV�ipdgVKb De�UWwtUW_adfe VKd cV'_k UWrtigkar�V�i L oKk9k9`ti^wtks G − v ¯®¬] v Q_a]q_sdqUk7]fd l − 1 wtV�9Q7�ka`Tig]�w G td^QTV�igVVKbc]fd�]¬_�oKkaka`Ti��]^_¦e
αdgQT_d,]0wtkadZ_9]^]^9wtV�u�dgk�_aw7e�wtV�9Q7�ka`Ti0ks
v,¡qV�woKV'o�kaka`tigwt
v�dgQαeBV�ut]0_
k UrTi^k9rV�i L o�kaka`tigwt2ka G ¡qV�wToKVG]
k UrTi^k9rV�i l o�QtkBk9]g_stVaB_WoKkaw7dgig_9ucoKd^kaw¹�= � V�d
LV_sw
l ]pd _a]g]^9wtUWV�w7d0_swTu�]p`trTrk7]pV9k9iZ_�oKk9w9dgig_9ucoÂd^kaw�td^Q_d u _awTu v _ai^V2dfkwtV�aQB�ka`ti�]1ksucV�aigV�V¯_d1UWk7]fdl+k−1
kDevUWwtUW_adfeaVKdc�VR_
k UWrtigkar�V�i L oKk9k9`ti^wtksG − {uv}
qPRQtV�wc]0_aw
L oKkaka`Ti^wtWks G ]^`To�Q�d^Q_d0V;_ao�QnaV�ipdgVKb�QT_a]0UWrtigkar�V�i^dfe�_sdUWk9]pdkV�bco�V�rcdZrk7]^]^te
u_swTu
v�Qto�QU�_¦e�QT_¦aV'UWrtigkar�V�i^dfe
k + 16D¯`cd,wnd^Qt],o�_9]pV
V,`T]^V V�UWU�_WdgkWi^V;oKkaka`Tijd^QTV�]^VZ9V�i^d^oKV;]¯_awTu k9cdg_aw�_k UWrtigkar�V�i L oKkaka`Ti^wtka G ¡qV�wToKV
G]
k UrTi^k9rV�i l o�QtkBk9]g_stVaB_WoKkaw7dgig_9ucoKd^kaw¹
�
��²�� F [ l[ ¶�F ^ VKdGV�_
(k, l) UWwTU�_s�9ig_artQ¹«?VWrT_aipdg_aek9i^V�w7d G `T]^wT$dgQtVWkak�wtrTi^kcoKV;]^] �Xa : i^V�w7d�V�_9o�Q�V;ucaV
uv�QtV�igV
v]0_
(≤ l + k − 1) 9V�i^d^VKb�igkaU u d^k v ~cR« QtV�dgQtV�igV�]j_sw
i 9V�i^d^V�b v �dgQ l+k ≤ i < l+k+ kl
QT_¦Bwt,ka`cd�ucV�9i^V�VRVKbt_aoKd^ei− l+1_swTu�wTucV�aigV�V
0t¯V,kaigV�w9dRkawTVvks1dg]q`twtkaigV�w7d^V;u$wToKucV�w9dqV;ucaV;]
uvigkaU
udgk
v
PRQtVut9ig_artQDwTuc`To�V�u�Be�d^QtVvk9i^V�w7dgV�u�V�uc9V�]R]�o�_sV�u�_�:��@���������"$��.�" :-��"-�����B�ks
G
PRQtV,k9k�wt'igV�U�_ai k9kq]¯i^k9U�d^QTVucVK°TwTdgk9w�ka8_Wuc]go�QT_sigawt'ut9ig_artQ¹��² �£cAX J� � .B�?� c ����2�8����O �:$`"$�� �+���]�8����. l + k + k
l
1�-.f��� c ���. :$`"$�� �9��������I��. ������5g� 5 �-� i ≤ l + k − 1 7 c ���� i 4 c ���� 89���A�]��.�:52"$�� 8I�$��2�?� i ��. D g
��²�� F [ l[ ¶�F � ® 7`T_9]p _sigk9i^V;]^o�V�wTo�Vqi^kBkad^V�u�_d u ]q_ (k, l) 4 ��,B�A��� 4 �-�����-������.�R8_awTu�kawte �
��aV�i^e$aV�i^d^V�b$QT_9]Rka`cd�ucV�9i^V�VZ_sdqUk7]fd max{2, 2k − 1}
��aV�i^e$V;_8QT_a]RwTucV�aigV�V,_dqUWk9]pd l + k − 1�0k ¯VvaV�wTV�i�_s+;�V V�UWU�_a]q~_swTu &t
�² � �£ J�J �k��k ≥ 2
�-.�:K�<��Q
�1 �(k, l) 4 ��,B����� 4 �����1��������.G1f���l��� : ��� u g � �� L �1)����@�� 4 �A�����"$.B�9�.%� �O Q ��,B��/���I�-� |L(v)| ≥ max{1, dQ(v) − k + 1} � v �@� � �+�! ��. : |L(v)| ≥ 2�-�8���� �=�@��lg�� :$�.���� ���
S���I�����W�O #�+� c ����8����� �I� c 6��. :$`"$��]��� �+�A���
k+1��.
Q� ��. :]���.G�/���
-
��������������������������������������! #"$����%�$� Xl&
� im(u) ≤ k − 1g
� ∀v /∈ S, im(v) ≤ kg
5 ,������I����7�-�� 7 ���A��������?� ��� �����+�-,�����.�" ���-�7 c ����2�8����O S 7 ���5�@� L 4 ���
-
X�| � � c ������G����.%�
��ksd^QQ1_swTu
Q2]g_dg]pe
(i)tdgQtV�wnV�dgQtV�i
c(v1) = c(v2)_awTu�QtV�wTo�V]pV�dpdgwt
c(u) ∈ L(u) \{c(v1)}
e7V�ut],_swL oKk9k9`ti^wt ka Q dgQT_d]g_dg]p°TV�] (i) § kai,oKk9k9`ti^wt u �d^Q�dfk�oKk9k9`ti�]0kaGd�]]fdq99V�]d^QtV,df¯k�ucV�]^i^V;u�o�kaka`tigwT9]ks
(ii)
�0k ¯Vo�_sw�igV�oKk9k9`tiR�dgQ�UWrtigkar�V�i^dfe ;�V�i^kV�_9o�Q�V�_sf ∈ S
d^Q_dqQT_9]RUWrtigkar�V�i^dfe$_d�V�_9]fd2w
Q`T]^wT V�UWU�_�tt]^woKV
dQ(f) − |L(f)| + 2 ≤ 2�PRQt]0oKkawoK`TucV�]¯dgQtVvrtigkBksf
�
�¬]pwtWd^QTV�]^Vvi^V;]p`tdg]�t¯Vvo�_swn]g_¦e UWkaigVv_s�ka`cd�dgQtV2]pd^ig`ToÂdg`ti^V,ka8_�uc]go�QT_sigawtWuc9ig_artQ¹jPRQtVk9k�wt'V�UWU�_WaV�wtV�i�_s
-
��������������������������������������! #"$����%�$� X¦z
�TkaiRdgQtVvi^kBkadvd−(v) = 0
t`cdu]R`twoKkaka`Ti^V;u$e9VKdq]pk �
|L1(v)| ≥ l − (dG(v) − dQ1(v)) + 1 = l − dG(v) + dG(v) − l + 1 + 1 = 2,
_awTu$kaiq_V;_f ∈ S
�
|L1(f)| ≥ l − dG(f) + dQ(f) ≥ l − (l + k − 1) + dQ(f) = dQ(f) − k + 1.
PRQB`T]�¯V,U�_¦e$_srtrTe V�UWU�_a],X9X,_awTu?X;~c�P1k�uck�]pkcVL1 o�kaka`ti�_a�dgQtVvV;_¦aV;]w Q �B`Trtrk7]pV°Tig]pd
k ≥ 2 D¯e V�UWU�_#XaX9�Vnk9cdg_aw _aw
L1 o�kaka`tigwt c1 ks Q1 ]p`To�Q#dgQT_dimc1Q1(v) ≤ k−1
��0ksdgVRd^QT_sdc1VKbBd^V�wTut]
cw9dgk_sw
L oKk9k9`ti^wt¬ks G−Q2 ]^`To�Q2dgQT_dV�_ao�QaV�ipdgVKbQ_a]1UWrtigkar�V�i^dfeZ_sd1UWk9]pdkVKbtoKV�rcd1r�k9]g]^tev]pk9UWVGaV�ipdgo�V�]¹ka
S �T`ti^d^QtV�i^UWkaigVa
imG−Q2(v) ≤ k−18«?V,ucVK°wtVZ_2]pd _a]g]pawtUWV�w9d L2 ks Q2 Be L2(u) = L(u) \ {α 3 ∃z 6= v ∈ NG−Q2(u), c(z) =
α)}
L2(x) = {c(x)}
x]�_©V;_,_swTu
L2(x) = L(x) \ {α 3 ∃z ∈ NG−Q2(x), c(z) = α}kad^QtV�i^�]^Va �qkad^VdgQT_d�VQ_¦aV|L2(u)| ≥ 2
x«?V?wtk _srtrte V�UU�_ X9X]pk _a]�dgk aV�d�_swL2 oKk9k9`ti^wt©ks Q2 _awTu QtV�wTo�V_sw L o�kaka`tigwT�ks G ��aV�i^e 9V�i^d^V�b wtkad w S ∪ {u, v} QT_9]UWrtigkar�V�i^dfe _dWUk7]fd
k
x ∈ {u, v}dgQtV�w��
imG(x) ≤ imG−Qi(x) + 1 ≤ k − 1 + 1 = k]^wToKVWdgQtV�igV o�_awtwtksd�V�wL2(u)
dgQtV$oKk9k9`tivks�_�wtV�9Q7�ka`Tivksuw
G − (Q2 − v)
f ∈ SQ_a]qUWrtigkar�V�i^dfe�_dZV;_a]pdk + 1d^QtV�wV2i^V;oKkaka`Ti�dZ�dgQUWrtigkar�V�i^dfe
0`T]pwt V�UWU�_ ]^woKV
dG(f)− |L(f)|+ 2 ≤ l + k − 1− l + 2 = k + 18PRQB`T]R¯VZkacd�_sw�_
k UWrtigkar�V�i L oKk9k9`ti^wtkaG�B`Trtrk7]pV�wTk
k = 1�®0rtrte7wt V�UWU�_X;~c9VRk9cdg_aw�_sw
L1 oKk9k9`ti^wtZks G−Q2 ]p`o�Q'dgQT_dV�aV�i^eaV�ipdgVKb�wtksdRwSQT_9]¯UWrtigkar�V�i^dfe_sd¯UWk7]fd
1B_swTu$V�d^QtV�i
vQT_9]GUWrtigkar�V�i^dfe
0 (i)Bkai¯dRQ_a]
UWrtigkar�V�i^dfe1_awTu$¯V,o�_sw�wuc���V�igV�w7dge$o�kaka`tiRd��dgQ$df¯ko�kaka`ti�]ks1dg]R]fd
(ii)��0ksd^V¬d^Q_d�
vQT_a]GkawtV0wtV�aQB�ka`tiGut]pd^wToÂdGi^k9U
uRQTo�Q�]G_aw�w7d^V�i^w_st9V�i^d^VKbWw
Q2dgQtV�w
|L1(v)| ≥ 3]pkv¯V
U�_¦e�]p`Trtrk7]pVd^QT_sdv`t°]
(i) �0V�°Twtwt
L2_a]0V�kaigVa�Vo�_aw_srtrte V�UWU�_X¦~'d^k
Q2]^k$_a]
dgk2k9cdg_aw _awL2 o�kaka`tigwTvks Q2 _swTuWQtV�wToKVZ_sw L o�kaka`tigwt,ks G ]^`To�QWd^QT_sd u `t°T] (i) kai (ii) �0kvcV�9V�ige aV�ipdgVKb$wtkadqw
S ∪ {u, v}QT_9]�UrTi^k9rV�ipdfe$_sd�Uk7]fd
1
v]^_sd^]f°TV;]
(i)Td^QtV�w�V�d^QtV�i
u_s]^k$]^_sd^]f°V�]
(i)k9i
u]^_sd^]f°TV;]
(ii)t`cd,w�d^Qt],o�_a]^V2¯V2U�_¦e�]p`Trtrk7]pV
u_swTu
v_ai^V2o�kaka`tigV�u
ut���V�igV�w7d^en]pk$w�_a8o�_9]pV;]�dgQtV�e�QT_¦9VvUWrtigkar�V�i^dfe�_sd¬UWk9]pd1w
G
v]^_sd^]f°TV;]
(ii)d^QTV�wdgQtV
k9wte�wtV�9Q7�ka`Ti2ksvw
Q2]
un¡0V�wTo�V V$UW_¦e©]^_sV�e©]^`trtr�k9]^V�dgQT_d
u_swTu
v_sigV oKkaka`Ti^V;u
ut���V�igV�w7d^eat]^kd^QtV�e$QT_¦9V¬UWrtigkar�V�i^dfe$_d�UWk9]pd1w
G
��wT_se9cV,o�_aw igV�oKk9k9`ti¯V�_ao�Q$V;_�kaSdgQT_dRQT_9]UWrtigkar�V�i^dfeW_sd¯V�_9]fd
2Be�`T]^wt V�UWU�_'
_awTu$d^QB`T]�¯V,kacd�_sw�_1 UrTi^k9rV�i L o�kaka`tigwT2ks G ¡0V�wTo�V
G]
k UWrtigkar�V�i l o�QtkBk9]g_sTV97_WoKk9w7d^i�_aucoÂdgk9w¹
� ² ¶GF · E't ² dgQtV�igV�]WwTk£o�i�oK`Td�wD′ PRQtV�w
Q = A+D′(u)]�_ 7`T_a]^ _ai^�kaigV�]goKV�wToKV9mnkaigV�kaV�ivV�_9o�Q¨w7d^V�i^w_sG9V�i^d^V�b
vQT_a]'ka`tdgucV�aigV�V _dUWk9]pd �=_awTu¨QtV�wToKV�VKbt_aoKd^e �
d(v) − l + 1
VKdv1, . . . , vs
Vd^QTV'k9`cd^wtV�9QBk9`tig]¬ksu¯VutVK°TwtV
Qj = A+D′(vj)
1 ≤ j ≤ s
2PRQTVQi_sigV
(k, l) 9`_a]^ _sigk9i^V;]^o�V�wTo�V�]ZdgQT_d _sigV�ut]=lfkaw7dV�bco�V�rcd�r�k9]g]pte¨kaw d^QtV�iWV�_¦aV;]� VKd F �V�d^QtV]^VKdks�V�_¦aV;]vwQSd^QtV�]^VKd2kaqV;_¦aV�]�dgQ wucV�9i^V�V$_dV;_a]pd
k + 1w
Q_swu
S̄ = F \ S
«©V$ucV�°TwtVQ̊ = Q − S̄
V�dL�V$_sw
l ]pd _a]g]^9wtUWV�w7dvks G fDe?UWwtU�_sdfe98V�d c V�_ k UWrtigkar�V�iL oKk9k9`tigwt�ks G′ = G − Q̊ V�d f �V _�V;_Rw S̄ f QT_a],UWrtigkar�V�i^dfe�_dV�_9]fd
Ô1Ô Ï�nBolpOqr
-
X;{ � � c ������G����.%�
k− dQ(f) + 19V¬i^V;oKkaka`TijdR�d^Q UWrti^k9rV�ipdfe
0`]pwt V�UWU�_2]^wToKV �
dG′(f)− |L(f)|+ 2 ≤dG(f) − dQ(f) − l + 2 ≤ l + k − 1 − dQ(f) − l + 2 = k − dQ(f) + 1
�TkaiZV�_ao�Q�aV�i^d^V�b
v ∈ Q�¯VWucVK°TwTV
L′(v) = L(v) \ {α 3 ∃w ∈ NG(v), c(w) = α} v /∈ S̄_awTuL′(v) = {c(v)}
ksd^QTV�ig�]^Va��qkad^VZd^Q_d�kaiq_aw�w7d^V�i^wT_aaV�ipdgVKbv�
|L′(v)| ≥ l − (dG(v) − dQ(v)) = l − dG(v) + dG(v) − l + 1 + 1 = 2.
�Tkaiq_V�_f ∈ S
�
|L′(f)| ≥ l − dG(f) + dQ(f) ≥ l − (l + k − 1) + dQ(f) = dQ(f) − k + 1.
�B`Trtrk7]pV'°Ti�]fdk ≥ 2Z«?V
L′ oKkaka`Ti0_s�dgQtVV;_¦aV�]��`T]pV V�UU�_�XaX2]^k�_9]qdgk$VKbBdgV�wTund,w7d^k_awL′ o�kaka`tigwtWksjV�_9o�Qnks8d^QTV Qi �_awTu�r�k9]g]pte��d^QigV�o�kaka`tigwt ]pk9UWVV;_¦aV;]�w S V9VKd¬_
k UWrti^k9rV�i L o�kaka`tigwt2ka G − u ]^`To�Q�d^QT_sd im(vj) ≤ k − 1 1 ≤ j ≤ s �0k|L′(u)| ≥ |L(u)| − d(u) + d+D′(u) = l − d(u) + d(u) − l + 2 ≥ 2
�®qwTuuQT_a]
d+(u) = d(u) − l + 2 ≤ 2k + 1ka`td^wtV�9Q7�ka`Tig]Rw
D′PRQB`T]RdgQtV�igVv]0_WoKk9k9`ti�ks
L′(u)T]g_¦e
α
dgQT_d¯]¯_a]g]^9wtV�udgk'_d¯UWk9]pdkk9`cd^wtV�9QBk9`tig]Gks
u�PRQB`T]¯]pV�dpdgwt
c(u) = αeBV�ut]G_
k UWrti^k9rV�iL o�kaka`tigwt2ka G Be�ucVK°TwTdgk9w�ka L′ �B`Trtrk7]pV$wtk
k = 1�«©V
L′ oKk9k9`ti_s�dgQtV V�_¦aV;]��`T]pV V�UWU�_£X;~�]^k_a]ZdgkVKbBdgV�wTu£d2w_awL′ o�kaka`tigwtWksjV�_9o�Qnks8d^QTV Qi �_awTu�r�k9]g]pte��d^QigV�o�kaka`tigwt ]pk9UWVV;_¦aV;]�w S V9VKd¬_
1 UWrtigkar�V�i L o�kaka`tigwtks G− u ]^`To�Q�d^QT_sd¯k9iRV�_ao�Q vj V�d^QtV�i im(vj) = 0 kai vj o�_sw�]^_sV�e VigV�o�kaka`tigV�u �dgQ�_awtksdgQtV�iqo�kaka`tiRkaL′(vj)
PRQtV�]g_sUWVo�_soK`t_dgk9w2_a]8_ak9V]^Qtkq]¹dgQtV�igV¯VKbc]pdg]�_ZoKkaka`Ti1ka
L′(u)a]g_¦e
αdgQT_d8]�_9]^]^awtV;u
dgk$_dZUWk9]pd1wtV�9QBk9`tiqks
u�]g_¦e
vi¬«?V]pV�d
c(u) = α
vi]^_sd^]f°TV;]�dgQtV°Ti�]pd¬oKk9wTucd^kaw¹�V
Q_¦aVR_1 UWrti^k9rV�i L o�kaka`tigwtqks G vi ]g_dg]p°TV�]1dgQtVq]pV;oKk9wTu2o�kawTucd^kaw'd^QTV�wVRU�_¦e]p`Trtrk7]pVdgQT_d
c(u) 6= c(v)_swu dgQ7`]�Vv_a]^k'Q_¦aVv_
1 UWrtigkar�V�i L oKk9k9`ti^wt'ks G ¡0V�wTo�VG]
k UWrtigkar�V�i L o�QtkBk9]g_sTV97_WoKk9w7d^i�_aucoÂdgk9w�
¶¹¶���¶�� �� ²B¶ ² � �� VKdG�V_
(k, l) UWwTU�_s9ig_artQ�_awTu D _Wuc]^o�QT_ai^9wT'ucai�_srtQ�ks G «©V2]pdg_aipdq�d^Q_�o�QT_ai^9Vw(v) = d(v)
kawnV;_ao�Q�aV�i^d^V�b�_awTu�V_artrte dgQtVvkak�wt ut]go�QT_sigawtig`tV��8V�9V�ige aV�ipdgVKb 99V�] k
l+k
dgkV;_ao�Q�ks8d�]�ka`td^wtV�9Q7�ka`Tig]�
VKdq`T]�V�bt_sUWwTV¬dgQtVvwtV� o�QT_ai^9V
w′(v)ks�_aV�ipdgVKb
v�
d(v) ≤ l+k−1 d�Q_a]�wucV�9i^V�V d(v) ]^k0dg]�wtV� o�QT_sigaVj] w′(v) = d(v)+ d(v)kl+k ≥ l+
lkl+k
l + k ≤ d(v) < l + k + kl
dgQtV�w�V�d^QtV�ivQ_a]¯ka`cd�ucV�9i^V�V¬_sd¯UWk9]pd
d(v)− l_swTu�]pkdg]¯wtV�
o�QT_sigaVZ]q_dqV�_9]fdd(v) − (d(v) − l) × k
l+k =ld(v)l+k +
lkl+k ≥ l +
lkl+k
tkai�Be V�UWU�_�X�&TtdQT_a]0ka`cd�ucV�9i^V�V
d(v) − l + 1 w�d^QT]¬o�_a]^VaT7e�ucV�°Twtd^kawnksj_�uc]go�QT_sigawt�ucai�_srtQ¹
vQT_9]
wucV�9i^V�V1]^kWd�]�wtV� o�QT_sigaVZ] �
w′(v) = d(v) − (d(v) − l + 1) ×k
l + k+
k
l + k= d(v) − (d(v) − l) ×
k
l + k≥ l +
k
l + k.
=�Ô%
-
��������������������������������������! #"$����%�$� X�m
l+k+ kl≤ d(v) ≤ l+2k−1
¦d^QtV�wW7e V�UWU�_X�&TvQT_a]8k9`cdgutV�aigV�V�_sd8UWk7]fd
d(v)− l+1
�Bkw′(v) ≥ d(v) − (d(v) − l + 1) × k
l+k =ld(v)l+k +
kl−kl+k ≥
l2+2kll+k = l +
kll+k
d(v) ≥ l + 2k BdgQtV�w w′(v) ≥ d(v)(1 − kl+k ) =
ld(v)l+k ≥
l2+2kll+k = l +
kll+k
¡0V�wTo�VMad(G) ≥
1
|V |
∑
v∈V
d(v) =1
|V |
∑
v∈V
w′(v) ≥ l +kl
l + k
�
��� � �����("%$ &(�*).+,- /1�2$M(k, l)
w©dgQt]2]pV;oÂd^kaw©¯VW]^QT_aGo�kawT]pd^ig`ToKdZk9i_sl ≥ 2
_awTu£_sk ≥ 11_�ai�_srTQ
Gkl�Qto�Q£]wtksd
k UWrtigkar�V�il oKk9k9`ti�_stVa!�Bkvdg]jUW_sbcU'`tU _¦9V�i�_saV¯ucV�9i^V�V�taaV�_swW`trTrV�ijk9`twTu'kai M(k, l) P1kvoKk9wT]fdgi^`oÂd
Gk2sd�_ V
k+1oKkarTV;]8ks
Hk�NucVK°TwTV�uw �B`TT]pV;oÂdgk9w�~t ~ ��_swTu'utV�w7d^edgQtV�ijaV�ipdgVKb
v�«©V ucVK°TwTV
Gkll ≥ 31wTut`ToÂdg9V�ea���i�]pd,¯V oKigV�_sd^V'd^QtV�9ig_artQ
MklBend�_ wt
ko�kartV�],ka
Gkl−1_awTu�_auTucwT2_vaV�ipdgVKb
w�Qto�Q�V�lfk9w d^kV�aV�ige2kad^QtV�ijaV�ipdgo�V�]��PRQTV�w�¯V�dg_ V
l−1o�kartV�]
M1, . . . , M l−1ka
Mkl_awTuVjlfkawW_aTd^QtV0aV�i^d^oKV;]
w1, . . . , wl−1�=]^kvd^Q_djdgQtV�e2kaigU _vo�kaUWrtVKd^V
9ig_artQnksG]^
-
X;¤ � � c ������G����.%�
]ZoKkaUWrtVKdgVa�_s�dgQtVzi0 ≤ i ≤ k + 1
�U2`T]pd¬�V'o�kaka`tigV�u�dgQtV']g_sUWVa6D¯`cd0dgQtV�ww0U'`T]pd¬QT_¦9V
UWrtigkar�V�i^dfek + 1
�
�² � �£ J � �\���.%,��9�1�� �! c ����2�8�� �O Gkl
�@��
nkl = 2l + (l + 1)k +
l∑
i=2
(l − 1)!
(l − i)!ki.
��.9�������2�8�,��+�-� 7 ���d�@� �]���-�?��.��-� ��. k �! :$`"-�11 l ��. : :5��� ��.���.%�#1�l�� ��8�.%� (l − 1)! g
¶¹¶��g
nkl]^_sd^]f°V�] �
nk2 = k2 + 3k + 3
_swTu∀l ≥ 3, nkl = (k × n
kl−1 + 1) × (l − 1) + k + 2
�
VKdsklucV�wtkad^V;]8d^QtVq]^`tU ks�d^QtVqucV�aigV�V;]8ksTdgQtVq9V�i^d^oKV�]�w
Gkl�«?V�QT_¦9V¯d^QtVRk9k�wTZigV�]^`td �
�² � �£ J ^skl
�@���]���-�?��.��-� ��.k�! �:5`"-��
l� �I���� :5��� ��.���.%� �l�� ��8�.%� �@�
2l!g
¶¹¶��gskl]g_d^]p°TV�] �
sk2 = 4k2+10k+6
_swTuskl = (l−1)(k×s
kl−1+2k×n
kl−1+l+k)+(l+1)k+2l
l ≥ 3�¡0V�wTo�Vd¬]¬_�rk9eBwtk9U w
kksjucV�aigV�V
l �t`TipdgQtV�igUWkaigVaTucV�wtksdgwT Be
ckld�]0uck9UwT_aw9d
o�kBV�� oKV�w7d�c¯VZQT_¦aV �ck2 = 4
_awTu∀l ≥ 3, ckl = (l − 1)× c
kl−1 + 2k × (l − 1)!
jPRQB`T]ckl = 2l!
�
¶��j¶ �[ l[ ¶GF 3lim
k→∞Mad(Gkl ) = 2l
g
¶¹¶��g d¬]¬oKV�_siqd^QT_sdqd^QtV2UW_sbcU'`tU _¦9V�i�_s9VZucV�aigV�Vvka
Gkl]qdg]¬_¦aV�ig_aaV,ucV�9i^V�VaRPRQtV�wnBe
V�UWU�_a],X¦z2_awTu©X�{tc¯V,QT_¦aV �
limk→∞
Mad(Gkl ) = 2l!
(l − 1)!= 2l.
�
E ¶ ¶ � �=c ³ 3�5 �����-.B��� 8I1:l 7 lim
k→+∞M(k, l) = 2l
g
¶¹¶��g d�k9kq]¯i^k9U PRQtV�kaigV�U%|�_swu�h�igkar�k9]^d^kawn~c
�
� �!���q&$¯��
¢XK¥�W�®qrTrV�¯_awTu©«x1¡0_ V�w¹�jaV�ige�rT_awT_siU�_ar©]vk9`ti2o�kaka`ti�_stVa�h8_si^d ���¬]go�QT_sigawt�����?��.G���@��g � �����Ig 3 J �fX�Im$m �ÂB|7~a��7|7aT¢¾~¦¥�W®qrtr�V�Ë�«x�¡¬_ V�w?_awTu�T��¬kBo�Q ��aV�i^enrT_awT_si,U�_sr?]Zk9`tivoKkaka`Tig_atV9¹h8_si^d ^ �¹[�V uc`To�tdfe9%�����?��.G���@��g � �����Ig 3 J �fX�Im$m �ÂB|9TX��cza{�mc
=�Ô%
-
��������������������������������������! #"$����%�$� X;
¢ &¥ � �G_d^k9w©_awTu©P,¹¡q`tN �¬VKV�oKd^aVW]pd2oKk9k9i^wt9]¬ks¯rt_swT_aiZ9ig_artQT]���#,����+g=��.B�� g��=�-�9����.�g�d�5�%�+g 3 � �fX�9a �ÂBm �B¤�mc
¢ |s¥¡ h i�iad�;;]^o�Q¹ ��w �¬i^V�=_ai^�V�wT]g_d1;���ti8ucigV� igV�]pi^V�V��0VKd�;�VG_s`tTucV�i �,`taV�N � �@�1��g�� g � �-������.� ,����I���k.B� c g%� �����+ 4 � ���2� �.Y�����" 7 � �����Ig 4 .��-� � �fX;9za �ÂX;a ��X;~at
¢¾z¦¥�W «x Q¹�� �Bk9wtT¦«x«£_swtZ_swTu �W��Q_swts® �0ksd^V¯kaw ]fd UWrti^k9rV�i C kakaigwt¬h�_awT_sih ig_artQT]� �d�5�%�+g � �-�8��g!� �� gYJ ��N~s9tX �ÂT~s{9��t~5m�&T¢ {¥[v B igV kc] N ]pdjUWrtigkar�V�i�oKk9k9`tigwtZks�rt_swT_ai�9ig_artQT]��W��� ��g�� ���5��g��W���0�Gg � �fX;a9 �Â~s5&��c~aaT
¢?m;¥[v B igV kB] N¬® h i�iad�;�]go�Q dfeBrV?d^QtV�kaigV�U�k9in]pd�oKkaka`Ti^wt9]��d^QOUWrtigkarTi^VKdfe k9wtVa�W��� ��g�� ���5��g��W���0�Gg � �fX;a9 �Âc|7$& �czsImB
¢ ¤¥[v B igV kB] N ]pd�UWrtigkar�V�ijo�kakaigwt7]�ka�rT_awT_si8ai�_srTQT]��dgQrTi^V;]^o�i^V;u29i^d^Q��� �@�������`
� �����Ig 3 J ��N~aa9 �Ât~9~cX��t~-&5&t
¢ ¥ C PRQtk9U�_a]g]pV�w¹ �jaV�ige rT_awT_si 9ig_artQ ]�z o�QtkBk9]g_stVa �g��W�-�9��g �\�I������� ^ 3 �fX;aa| �ÂX�¤9���X;¤tX9¢X;¥ C PRQtk9U�_a]g]pV�w¹
3 ]pd oKkakaigwt'rT_awT_siq9ig_artQ�ks�aipdgQ 5 ��g��W��� ��g �\�I������� ^ � �fX;a9z �ÂX�TX���X;�mc¢X9XK¥ C tPRQtkaU�_9]^]^V�w¹c®O]^Qtkai^d�]fdqo�kakaiRrtigk7ka�ks h i�iad�;;]^o�Q%� ]d^QtV�kaigV�U� �g��=�-�9��g �\�I������� ��
�N~aa$& �Â�X�¤9���X�9~t¢X¦~¦¥2m£�j�k9ad� ]pd0oKkakaigwt9]ks8rt_swT_ai¯9ig_artQT]��� �@������� �f�-�8��gkJ 3 � �fX;a$& �Ât~cX¦z �t~cX�T¢Xl&¥2m£Ij�kasd;t® wTksd
3 o�QtkBk9]g_stVqai�_srTQ �dgQtka`td & o�ecoKV�]�����@������� � �����Ig J � ^ �fX�99z �ÂI&9~az��&9~a¤t
Ô1Ô Ï�nBolpOqr
-
Unité de recherche INRIA Sophia Antipolis2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes4, rue Jacques Monod - 91893 ORSAY Cedex (France)
Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)
Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France)
Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)
ÉditeurINRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)��������� ����
���������� ��� ���
ISSN 0249-6399