23
Improper choosability of graphs and maximum average degree Fr´ ed´ eric Havet, Jean-S´ ebastien Sereni To cite this version: Fr´ ed´ eric Havet, Jean-S´ ebastien Sereni. Improper choosability of graphs and maximum average degree. RR-5164, INRIA. 2004. <inria-00071425> HAL Id: inria-00071425 https://hal.inria.fr/inria-00071425 Submitted on 23 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es. CORE Metadata, citation and similar papers at core.ac.uk Provided by HAL-UNICE

Improper choosability of graphs and maximum average degree · 2017. 1. 29. · Improper choosability of graphs and maximum average degree Fr ed eric Havet, Jean-S ebastien Sereni

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

  • 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