2025-11-18T08:19:13.523140

Rainbow subgraphs of star-coloured graphs

Lo, Markstr├Г┬╢m, Mubayi et al.
An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.
academic

рддрд╛рд░рд╛-рд░рдВрдЧреАрди рдЧреНрд░рд╛рдлрд╝ рдХреЗ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЙрдк-рдЧреНрд░рд╛рдлрд╝

рдореВрд▓ рдЬрд╛рдирдХрд╛рд░реА

  • рдкреЗрдкрд░ ID: 2511.12505
  • рд╢реАрд░реНрд╖рдХ: Rainbow subgraphs of star-coloured graphs (рддрд╛рд░рд╛-рд░рдВрдЧреАрди рдЧреНрд░рд╛рдлрд╝ рдХреЗ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЙрдк-рдЧреНрд░рд╛рдлрд╝)
  • рд▓реЗрдЦрдХ: Allan Lo, Klas Markstr├╢m, Dhruv Mubayi, Katherine Staden, Maya Stein, Lea Weber
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.CO (рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди)
  • рдкреНрд░рдХрд╛рд╢рди рддрд┐рдерд┐: 18 рдирд╡рдВрдмрд░, 2025
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2511.12505

рд╕рд╛рд░рд╛рдВрд╢

рдпрд╣ рдкреЗрдкрд░ рддрд╛рд░рд╛-рд░рдВрдЧреАрди рдЧреНрд░рд╛рдлрд╝ (star-coloured graphs) рдореЗрдВ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЙрдк-рдЧреНрд░рд╛рдлрд╝ рдХреА рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИред рдЧреНрд░рд╛рдлрд╝ рдХреЗ рдХрд┐рдирд╛рд░реЗ рдХреА рд░рдВрдЧрд╛рдИ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЧреБрдг рдЦреЛрдиреЗ рдХреЗ рджреЛ рдХрд╛рд░рдг рд╣реИрдВ: рдПрдХрд╡рд░реНрдгреА рдЪреЗрд░реА (рдЖрд╕рдиреНрди рдХрд┐рдирд╛рд░реЛрдВ рдХреА рдЬреЛрдбрд╝реА) рдпреБрдХреНрдд рд╣реЛрдирд╛ рдпрд╛ рдЖрдХрд╛рд░ 2 рдХреА рдПрдХрд╡рд░реНрдгреА рдорд┐рд▓рд╛рди рдпреБрдХреНрдд рд╣реЛрдирд╛ред рд╕рд╛рдорд╛рдиреНрдп рд░рдВрдЧрд╛рдИ рдкрд╣рд▓реА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреНрд░рддрд┐рдмрдВрдзрд┐рдд рдХрд░рддреА рд╣реИ, рдЬрдмрдХрд┐ рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рджреВрд╕рд░реА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреНрд░рддрд┐рдмрдВрдзрд┐рдд рдХрд░рддреА рд╣реИред рдкреЗрдкрд░ рдмрдбрд╝реЗ рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝ рдХреА рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдореЗрдВ рджрд┐рдП рдЧрдП рдЧреНрд░рд╛рдлрд╝ H рдХреА рдЗрдВрджреНрд░рдзрдиреБрд╖ рдкреНрд░рддрд┐ рди рд╣реЛрдиреЗ рдкрд░ рдЕрдзрд┐рдХрддрдо рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред рдпрд╣ Axenovich рдФрд░ Iverson рджреНрд╡рд╛рд░рд╛ рдЕрдзреНрдпрдпрди рдХреА рдЧрдИ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Ramsey рд╕рдВрдЦреНрдпрд╛ рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдПрдХ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓рд╛ рд╣реИ, рдФрд░ рдпрд╣ рдкреЗрдкрд░ рдЙрдирдХреЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреГрд╖реНрдарднреВрдорд┐ рдФрд░ рдкреНрд░реЗрд░рдгрд╛

1. рдЕрдиреБрд╕рдВрдзрд╛рди рд╕рдорд╕реНрдпрд╛

рдпрд╣ рдкреЗрдкрд░ рддрд╛рд░рд╛-рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдВрдЦреНрдпрд╛ (star-anti-Ramsey number) arтЛЖ(n,H) рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕реЗ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ: n рд╢реАрд░реНрд╖реЛрдВ рдХреЗ рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝ Kn рдХреА рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдореЗрдВ, рдЧреНрд░рд╛рдлрд╝ H рдХреА рдЗрдВрджреНрд░рдзрдиреБрд╖ рдкреНрд░рддрд┐ рди рд╣реЛрдиреЗ рдкрд░ рдЕрдзрд┐рдХрддрдо рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ред

2. рд╕рдорд╕реНрдпрд╛ рдХреА рдорд╣рддреНрддрд╛

  • рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡: рд╡рд┐рд░реЛрдзреА Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рд╣реИ, рдЬреЛ рджрд┐рдП рдЧрдП рд░рдВрдЧрд╛рдИ рдкреНрд░рддрд┐рдмрдВрдзреЛрдВ рдХреЗ рддрд╣рдд рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕рдВрд░рдЪрдирд╛рдУрдВ рд╕реЗ рдмрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рдЖрд╡рд╢реНрдпрдХ рдЕрдзрд┐рдХрддрдо рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ
  • рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: рд╢рд╛рд╕реНрддреНрд░реАрдп рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдВрдЦреНрдпрд╛ ar(n,H) (Erd┼Сs рдЖрджрд┐ рджреНрд╡рд╛рд░рд╛ 1975 рдореЗрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд) рдХрд┐рд╕реА рднреА рдХрд┐рдирд╛рд░реЗ рдХреА рд░рдВрдЧрд╛рдИ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ; рдпрд╣ рдкреЗрдкрд░ рдЕрдзрд┐рдХ рдкреНрд░рддрд┐рдмрдВрдзрд┐рдд рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ
  • рдХрдИ рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдЬреЛрдбрд╝рдирд╛: рдЧреНрд░рд╛рдлрд╝ рд░рдВрдЧрд╛рдИ, рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд, рд╢реАрд░реНрд╖ рд╡реГрдХреНрд╖рддрд╛ (vertex arboricity) рдЖрджрд┐ рд╕рдВрдпреЛрдЬрди рдЧрдгрд┐рдд рдХреА рдХрдИ рд╢рд╛рдЦрд╛рдУрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ

3. рдореМрдЬреВрджрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рд╕реАрдорд╛рдПрдВ

  • Axenovich рдФрд░ Iverson (2008) рдиреЗ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдЬрдм va(H) тЙе 3 рд╣реЛ, рддреЛ arтЛЖ(n,H) = (1+o(1))(1-1/(va(H)-1))(n choose 2)
  • рд▓реЗрдХрд┐рди рдЬрдм рд╢реАрд░реНрд╖ рд╡реГрдХреНрд╖рддрд╛ va(H) тЙд 2 рд╣реЛ, рддреЛ рдХреЗрд╡рд▓ рдмрд╣реБрдд рд╣реА рдХрдЪреНрдЪреА рдКрдкрд░реА рд╕реАрдорд╛ arтЛЖ(n,H) тЙд n^(2-1/c) рд╣реИ
  • рд╡рд┐рд╢рд┐рд╖реНрдЯ рдЧреНрд░рд╛рдлрд╝реЛрдВ (рдЬреИрд╕реЗ рдЪрдХреНрд░, рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝, рдЧреНрд░рд╛рдлрд╝ рдХрд╛ рд╕рдВрдпреЛрдЬрди) рдХреЗ рд╕рдЯреАрдХ рдорд╛рди рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдмрд╣реБрдд рдХрдо рдЬреНрдЮрд╛рдд рд╣реИ

4. рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛

рдпрд╣ рдкреЗрдкрд░ va(H) = 2 рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдЦрд╛рд▓реА рд╕реНрдерд╛рди рдХреЛ рднрд░рдиреЗ рдХрд╛ рд▓рдХреНрд╖реНрдп рд░рдЦрддрд╛ рд╣реИ, рдХрдИ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝ рд╡рд░реНрдЧреЛрдВ рдХреА рддрд╛рд░рд╛ рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рд╕рдЯреАрдХ рдпрд╛ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдорд╛рди рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред

рдореБрдЦреНрдп рдпреЛрдЧрджрд╛рди

рдЗрд╕ рдкреЗрдкрд░ рдХреЗ рдореБрдЦреНрдп рдпреЛрдЧрджрд╛рди рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  1. рдЪрдХреНрд░реЛрдВ рдХреЗ рд╕рдЯреАрдХ рдкрд░рд┐рдгрд╛рдо (рдкреНрд░рдореЗрдп 1.4): рд╕рднреА k тЙе 3 рдХреЗ рд▓рд┐рдП, arтЛЖ(n,Ck) = n + (k-2 choose 2) - 1 рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдФрд░ рдЪрд░рдо рд░рдВрдЧрд╛рдИ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЪрд┐рд╣реНрдирд┐рдд рдХрд░рддрд╛ рд╣реИ
  2. K4 рдХрд╛ рд╕рдЯреАрдХ рдорд╛рди (рдкреНрд░рдореЗрдп 1.5): arтЛЖ(n,K4) = 2n - 3 рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рддрдХрдиреАрдХреА рд░реВрдк рд╕реЗ рд╕рдмрд╕реЗ рдЬрдЯрд┐рд▓ рдкрд░рд┐рдгрд╛рдо рд╣реИ
  3. K4^- рдХреЗ рд╕рдЯреАрдХ рдкрд░рд┐рдгрд╛рдо (рдкреНрд░рдореЗрдп 1.6): arтЛЖ(n,K4^-) = тМК3(n-1)/2тМЛ рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдФрд░ рд╕рднреА рдЪрд░рдо рд░рдВрдЧрд╛рдИ рдХреЛ рдЪрд┐рд╣реНрдирд┐рдд рдХрд░рддрд╛ рд╣реИ
  4. K5^- рдХреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╕реАрдорд╛рдПрдВ (рдкреНрд░рдореЗрдп 1.7): (1+o(1))(n choose 2)^(3/2) тЙд arтЛЖ(n,K5^-) тЙд (1+o(1))16(n choose 2)^(3/2) рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ
  5. рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди рдХреЗ рд╕рд╛рдорд╛рдиреНрдп рдкрд░рд┐рдгрд╛рдо (рдкреНрд░рдореЗрдп 1.8): s,t тЙе 3 рд╢реАрд░реНрд╖реЛрдВ рдХреЗ рд╡реГрдХреНрд╖реЛрдВ T1,T2 рдХреЗ рд▓рд┐рдП, ex(n,Ks,t^-)/2 тЙд arтЛЖ(n,T1+T2) тЙд cn^(2-1/s) рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ
  6. рдЪрд░рдо рдШрдирддреНрд╡ рдХреА рдкреНрд░рд╛рдкреНрддрд┐ (рдЕрдиреБрдорд╛рди 1.10): рдкреНрд░рддреНрдпреЗрдХ рдкреВрд░реНрдгрд╛рдВрдХ s тЙе 1 рдХреЗ рд▓рд┐рдП, рдШрдирддреНрд╡ 2-1/s рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рд╣реИ

рд╡рд┐рдзрд┐ рд╡рд┐рд╡рд░рдг

рдХрд╛рд░реНрдп рдкрд░рд┐рднрд╛рд╖рд╛

рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ: рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝ Kn рдХреА рдХрд┐рдирд╛рд░реЗ рдХреА рд░рдВрдЧрд╛рдИ, рдЬрд┐рд╕рд╕реЗ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рд░рдВрдЧ рд╡рд░реНрдЧ рджреНрд╡рд╛рд░рд╛ рдкреНрд░реЗрд░рд┐рдд рдЙрдк-рдЧреНрд░рд╛рдлрд╝ рдПрдХ рддрд╛рд░рд╛ рд╣реИ (рдпрд╛ рддреНрд░рд┐рднреБрдЬ, рд▓реЗрдХрд┐рди рдпрд╣ рдкреЗрдкрд░ рддреНрд░рд┐рднреБрдЬ рдХреЗ рдорд╛рдорд▓реЗ рдХреЛ рдмрд╛рд╣рд░ рдХрд░рддрд╛ рд╣реИ)

рддрд╛рд░рд╛ рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдВрдЦреНрдпрд╛: arтЛЖ(n,H) := max{s тИИ тДХ : s-рд░рдВрдЧ рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ Kn рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╣реИ рдЬрд┐рд╕рдореЗрдВ H рдХреА рдЗрдВрджреНрд░рдзрдиреБрд╖ рдкреНрд░рддрд┐ рдирд╣реАрдВ рд╣реИ}

рдореБрдЦреНрдп рдЕрд╡рдзрд╛рд░рдгрд╛рдПрдВ:

  • рд╢реАрд░реНрд╖ рд╡реГрдХреНрд╖рддрд╛ va(H): рд╢реАрд░реНрд╖реЛрдВ рдХреЛ рдиреНрдпреВрдирддрдо рднрд╛рдЧреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдирд╛, рдЬрд┐рд╕рд╕реЗ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рднрд╛рдЧ рдПрдХ рд╡рди рдХреЛ рдкреНрд░реЗрд░рд┐рдд рдХрд░реЗ
  • рдХрд┐рдирд╛рд░реЗ рд╡реГрдХреНрд╖рддрд╛ ea(H): рдХрд┐рдирд╛рд░реЛрдВ рдХреЛ рдиреНрдпреВрдирддрдо рднрд╛рдЧреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдирд╛, рдЬрд┐рд╕рд╕реЗ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рднрд╛рдЧ рдПрдХ рд╡рди рдХреЛ рдкреНрд░реЗрд░рд┐рдд рдХрд░реЗ
  • рд╕рдВрдмрдВрдз: va(H) тЙд ea(H) тЙд тМИe(H)/(v(H)-1)тМЙ

рдореВрд▓ рддрдХрдиреАрдХреА рдврд╛рдВрдЪрд╛

рдкреЗрдкрд░ рдХрдИ рддрдХрдиреАрдХреА рдЙрдкрдХрд░рдгреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ:

1. рд╡рд┐рд╢реЗрд╖ рд░рдВрдЧрд╛рдИ рдирд┐рд░реНрдорд╛рдг (рдирд┐рдЪрд▓реА рд╕реАрдорд╛)

рд╢рдмреНрджрдХреЛрд╢ рдХреНрд░рдо рд░рдВрдЧрд╛рдИ (Lexical colouring) Glex_n:

  • рд╕рдВрдХреНрд░рдордгреАрдп рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ рд▓реЗрдВ, i-рд╡рд╛рдВ рддрд╛рд░рд╛ vi рдХреЛ рдХреЗрдВрджреНрд░ рдХреЗ рд░реВрдк рдореЗрдВ, рдкрддреНрддрд┐рдпрд╛рдВ рд╕рднреА vj (j > i) рд╣реИрдВ
  • рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: n-1
  • рдЧреБрдг: рдХреЛрдИ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЪрдХреНрд░ рдирд╣реАрдВ (рд▓реЗрдореНрдорд╛ 3.2)

рдЙрдиреНрдореБрдЦ рд░рдВрдЧрд╛рдИ (Orientable colouring) G^T_n:

  • рджрд┐рдП рдЧрдП рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ T рдХреЗ рд▓рд┐рдП, i-рд╡рд╛рдВ рддрд╛рд░рд╛ vi рдХреЛ рдХреЗрдВрджреНрд░ рдХреЗ рд░реВрдк рдореЗрдВ
  • рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: n - |{v : d+(v)=0}| тИИ {n-1, n}

рдЗрдВрджреНрд░рдзрдиреБрд╖ рд╡рд┐рд╕реНрддрд╛рд░ рд░рдВрдЧрд╛рдИ Rn(Gn1,...,GnтДУ):

  • Tur├бn рдЧреНрд░рд╛рдлрд╝ TтДУ(n) рдХреЗ рд▓рд┐рдП рдЗрдВрджреНрд░рдзрдиреБрд╖ рд░рдВрдЧрд╛рдИ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ
  • рдкреНрд░рддреНрдпреЗрдХ рднрд╛рдЧ рдХреЗ рдЕрдВрджрд░ рджреА рдЧрдИ рд░рдВрдЧрд╛рдИ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ
  • рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: tтДУ(n) + ╬г|C(Gni)|

рд╕рдВрд╢реЛрдзрд┐рдд рд░рдВрдЧрд╛рдИ G(S):

  • рд░рдВрдЧрд╛рдИ G рд╕реЗ рд╢реБрд░реВ рдХрд░реЗрдВ, рдХрд┐рдирд╛рд░реЗ-рдЕрд╕рдВрдпреБрдХреНрдд рддрд╛рд░реЛрдВ рдХреЗ рд╕рдореБрдЪреНрдЪрдп S рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рддрд╛рд░реЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдирдпрд╛ рд░рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ
  • рд╡рд┐рд░рд▓ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЙрдк-рдЧреНрд░рд╛рдлрд╝ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП

2. рдКрдкрд░реА рд╕реАрдорд╛ рддрдХрдиреАрдХреЗрдВ

рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝ рд╡рд┐рд╢реНрд▓реЗрд╖рдг:

  • рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдХреЛ рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝ рдореЗрдВ рдкреНрд░реЗрд░рд┐рдд рдХрд░реЗрдВ: рддрд╛рд░реЗ рдХреЗ рдХреЗрдВрджреНрд░ рд╕реЗ рдкрддреНрддрд┐рдпреЛрдВ рдХреА рдУрд░
  • рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ рдХреЗ рдЧреБрдгреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ (рдЬреИрд╕реЗ R├йdei рдкреНрд░рдореЗрдп: рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ рдореЗрдВ рдирд┐рд░реНрджреЗрд╢рд┐рдд Hamilton рдкрде рд╣реИ)

рд╕рд╣рд╛рдпрдХ рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝:

  • рд░рдВрдЧрд╛рдИ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкрдХрдбрд╝рдиреЗ рд╡рд╛рд▓реЗ рд╕рд╣рд╛рдпрдХ рдирд┐рд░реНрджреЗрд╢рд┐рдд рдЧреНрд░рд╛рдлрд╝ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░реЗрдВ
  • рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП K4 рдкреНрд░рдорд╛рдг рдореЗрдВ, рдЪрд╛рдк тИТтЖТuv рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ рдЬрдм u рдмрд┐рд▓реНрдХреБрд▓ рдПрдХ рддрд╛рд░реЗ рдХрд╛ рдХреЗрдВрджреНрд░ рд╣реЛ

рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди (рд▓реЗрдореНрдорд╛ 2.2):

  • рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝ G рдХреЗ рд▓рд┐рдП, рдпрджрд┐ e(G) тЙе cn^(2-1/s), рддреЛ рдЖрдХрд╛рд░ a рдХрд╛ рд╕рдореБрдЪреНрдЪрдп A рдореМрдЬреВрдж рд╣реИ, рдЬрд┐рд╕рд╕реЗ рдХрд┐ A рдХреЗ рдкреНрд░рддреНрдпреЗрдХ s-рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдХреЗ тЙеb рд╕рд╛рдорд╛рдиреНрдп рдмрд╛рд╣рд░реА рдкрдбрд╝реЛрд╕реА рд╣реЛрдВ
  • рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рдкреНрд░рдорд╛рдг рдХреЗ рд▓рд┐рдП рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ

рдореБрдЦреНрдп рдкреНрд░рдореЗрдпреЛрдВ рдХреА рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐

рдкреНрд░рдореЗрдп 1.4 (рдЪрдХреНрд░) рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░:

  1. рдирд┐рдЪрд▓реА рд╕реАрдорд╛: рд╕рдВрд╢реЛрдзрд┐рдд рдЙрдиреНрдореБрдЦ рд░рдВрдЧрд╛рдИ рдХрд╛ рдирд┐рд░реНрдорд╛рдг
    • n-k+1 рд╢реАрд░реНрд╖реЛрдВ рдкрд░ Ck-рдореБрдХреНрдд рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ T рд▓реЗрдВ
    • k-1 рд╢реАрд░реНрд╖реЛрдВ рдХрд╛ рдПрдХ рдХреНрд▓рд┐рдХ рдЬреЛрдбрд╝реЗрдВ, рд╕рднреА рдХрд┐рдирд╛рд░реЗ T рд╕реЗ рдХреНрд▓рд┐рдХ рдХреА рдУрд░
    • рдХреНрд▓рд┐рдХ рдХреЗ рдЕрдВрджрд░ рдЗрдВрджреНрд░рдзрдиреБрд╖ рд░рдВрдЧрд╛рдИ
  2. рдКрдкрд░реА рд╕реАрдорд╛: рдкреНрд░реЗрд░рдг
    • рдпрджрд┐ рдкреНрд░рддреНрдпреЗрдХ рд╢реАрд░реНрд╖ тЙе2 рддрд╛рд░реЛрдВ рдХрд╛ рдХреЗрдВрджреНрд░ рд╣реИ, рддреЛ рдЗрдВрджреНрд░рдзрдиреБрд╖ Cn рд╣реИ (рд▓реЗрдореНрдорд╛ 4.3)
    • рдЕрдиреНрдпрдерд╛ рдПрдХ рд╢реАрд░реНрд╖ v рдореМрдЬреВрдж рд╣реИ рдЬреЛ тЙд1 рддрд╛рд░реЗ рдХрд╛ рдХреЗрдВрджреНрд░ рд╣реИ
    • G-v рдкрд░ рдкреНрд░реЗрд░рдг, рд╕рдВрд░рдЪрдирд╛ рд╡рд┐рд╡рд░рдг рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ

рдкреНрд░рдореЗрдп 1.5 (K4) рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░ (рд╕рдмрд╕реЗ рдЬрдЯрд┐рд▓):

рд╕реВрдХреНрд╖реНрдо рд╕рдВрд░рдЪрдирд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдЕрдкрдирд╛рддрд╛ рд╣реИ:

  1. рдЕрдЪреНрдЫреА рдЯреБрдкрд▓ (Good tuple) P = (W,Y,Z,x,v*,cZ):
    • 7 рдЧреБрдгреЛрдВ P1-P7 рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рд╢реАрд░реНрд╖ рд╕рдореБрдЪреНрдЪрдп рд╡рд┐рдШрдЯрди
    • рдореБрдЦреНрдп: C(YтИкZ) = C(Y) тИк C(Z) тИк {cZ}
  2. рддреАрди-рдЪрд░рдг рдирд┐рд░реНрдорд╛рдг:
    • рд▓реЗрдореНрдорд╛ 6.1: рдпрджрд┐ тКЫ(x) тЙе 3, рддреЛ great tuple рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░реЗрдВ
    • рд▓реЗрдореНрдорд╛ 6.2: great tuple рдХреЛ restricted tuple рдореЗрдВ рд╕реБрдзрд╛рд░реЗрдВ
    • рд▓реЗрдореНрдорд╛ 6.3: restricted tuple рдХреЛ C(G) = CP рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реА рдЕрдЪреНрдЫреА рдЯреБрдкрд▓ рдореЗрдВ рд╕реБрдзрд╛рд░реЗрдВ
  3. рдкреНрд░реЗрд░рдг рдкреВрд░реНрдг рдХрд░рдирд╛:
    • |C(G)| тЙд |C(W)| + |C(Y)| + |C(Z)| + 1
    • W,Y,Z рдкрд░ рдкреБрдирд░рд╛рд╡рд░реНрддреА рд░реВрдк рд╕реЗ рдкреНрд░реЗрд░рдг рдкрд░рд┐рдХрд▓реНрдкрдирд╛ рд▓рд╛рдЧреВ рдХрд░реЗрдВ

рдкреНрд░рдореЗрдп 1.6 (K4^-) рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░:

  1. рдирд┐рдЪрд▓реА рд╕реАрдорд╛: рд╢рдмреНрджрдХреЛрд╢ рдХреНрд░рдо рд░рдВрдЧрд╛рдИ рдХреЛ рд╕рдВрд╢реЛрдзрд┐рдд рдХрд░реЗрдВ
    • рдЖрдзрд╛рд░: рд╢рдмреНрджрдХреЛрд╢ рдХреНрд░рдо рд░рдВрдЧрд╛рдИ (n-1 рд░рдВрдЧ)
    • тМК(n-1)/2тМЛ рдХрд┐рдирд╛рд░реЗ-рдЕрд╕рдВрдпреБрдХреНрдд рдЗрдВрджреНрд░рдзрдиреБрд╖ рдХрд┐рдирд╛рд░реЗ рдЬреЛрдбрд╝реЗрдВ
  2. рдКрдкрд░реА рд╕реАрдорд╛: рдкреНрд░реЗрд░рдг + рд╕рдВрд░рдЪрдирд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг
    • рдорд┐рд▓рд╛рди M рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░реЗрдВ: рдЕрджреНрд╡рд┐рддреАрдп рд░рдВрдЧ рдХрд┐рдирд╛рд░реЛрдВ рдХрд╛ рдкреНрд░реЗрд░рд┐рдд рдЙрдк-рдЧреНрд░рд╛рдлрд╝
    • M рдЕрдзрд┐рдХрддрдо рдПрдХ рдорд┐рд▓рд╛рди + рдПрдХ 2-рдХрд┐рдирд╛рд░реЗ рдкрде рдпрд╛ рддреНрд░рд┐рднреБрдЬ рд╣реИ
    • рд╕рд╛рдмрд┐рдд рдХрд░реЗрдВ рдХрд┐ e(M) тЙе тМИn/2тМЙ

рдкреНрд░рдореЗрдп 1.8 (рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди) рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░:

  1. рдКрдкрд░реА рд╕реАрдорд╛: рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди
    • рдкреНрд░рддреНрдпреЗрдХ рддрд╛рд░реЗ рдХреЛ рдХреЗрдВрджреНрд░ рд╕реЗ рдмрд╛рд╣рд░ рдХреА рдУрд░ рдЙрдиреНрдореБрдЦ рдХрд░реЗрдВ
    • narтЛЖ(T1) рд╢реАрд░реНрд╖реЛрдВ рдХрд╛ рд╕рдореБрдЪреНрдЪрдп A рдЦреЛрдЬреЗрдВ, рдЬрд┐рд╕рд╕реЗ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ s-рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдХреЗ тЙеnarтЛЖ(T2)+s-1 рд╕рд╛рдорд╛рдиреНрдп рдмрд╛рд╣рд░реА рдкрдбрд╝реЛрд╕реА рд╣реЛрдВ
    • A рдореЗрдВ T1 рдХреЛ рдПрдореНрдмреЗрдб рдХрд░реЗрдВ, рд╕рд╛рдорд╛рдиреНрдп рдмрд╛рд╣рд░реА рдкрдбрд╝реЛрд╕рд┐рдпреЛрдВ рдореЗрдВ T2 рдХреЛ рдПрдореНрдмреЗрдб рдХрд░реЗрдВ
  2. рдирд┐рдЪрд▓реА рд╕реАрдорд╛: рд╢рдмреНрджрдХреЛрд╢ рдХреНрд░рдо рд░рдВрдЧрд╛рдИ рдХреЛ рд╕рдВрд╢реЛрдзрд┐рдд рдХрд░реЗрдВ
    • рдореБрдЦреНрдп рд▓реЗрдореНрдорд╛ 7.2: T1+T2 рдХрд┐рд╕реА рднреА рд╡рди F рдХреЛ рд╣рдЯрд╛рдиреЗ рдкрд░, рд╢реЗрд╖ рднрд╛рдЧ рдореЗрдВ рд╡рд┐рд╖рдо рдЪрдХреНрд░ рдпрд╛ Ks,t^- рд╣реЛрддрд╛ рд╣реИ
    • ex(n,Ks,t^-) тЙе ╬й(n^(2-1/s)) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕реЗрдЯрдЕрдк

рдпрд╣ рдкреЗрдкрд░ рдПрдХ рд╢реБрджреНрдз рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрдгрд┐рдд рдкреЗрдкрд░ рд╣реИ, рдкреНрд░рдпреЛрдЧреЛрдВ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИред рд╕рднреА рдкрд░рд┐рдгрд╛рдо рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЧрдП рд╣реИрдВред

рдореБрдЦреНрдп рдЙрдкрдХрд░рдг

  1. рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдкрд░рд┐рдгрд╛рдо:
    • K┼Сv├бri-S├│s-Tur├бn рдкреНрд░рдореЗрдп
    • Erd┼Сs-Stone рдкреНрд░рдореЗрдп
    • Zarankiewicz рд╕рдорд╕реНрдпрд╛ рдХреА рдЬреНрдЮрд╛рдд рд╕реАрдорд╛рдПрдВ
  2. рд╕рдВрдпреЛрдЬрди рд╕рдВрд░рдЪрдирд╛рдПрдВ:
    • рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ рд╕рд┐рджреНрдзрд╛рдВрдд
    • Tur├бn рдЧреНрд░рд╛рдлрд╝
    • рд╡реГрдХреНрд╖реЛрдВ рдХрд╛ рд╕рдВрдпреЛрдЬрди
  3. рд╕рдВрднрд╛рд╡реНрдп рд╡рд┐рдзрд┐:
    • рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди
    • Chernoff рд╕реАрдорд╛

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рдкрд░рд┐рдгрд╛рдо

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рд╕рд╛рд░рд╛рдВрд╢

рдЧреНрд░рд╛рдлрд╝ HarтЛЖ(n,H)рдкреНрд░рдореЗрдп
Ck (kтЙе3)n + (k-2 choose 2) - 11.4 (рд╕рдЯреАрдХ + рд╕рдВрд░рдЪрдирд╛)
K3n - 1рдЕрдиреБрдорд╛рди (рд▓реЗрдореНрдорд╛ 3.3)
K42n - 31.5 (рд╕рдЯреАрдХ)
K4^-тМК3(n-1)/2тМЛ1.6 (рд╕рдЯреАрдХ + рд╕рдВрд░рдЪрдирд╛)
K5^-╬Ш(n^(3/2))1.7 (рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ)
T1+T2 (рд╡реГрдХреНрд╖)╬Ш(n^(2-1/s))1.8 (рдХреНрд░рдо)

рд╕рдВрд░рдЪрдирд╛ рдЪрд┐рд╣реНрдирдХрд░рдг

рдкреНрд░рдореЗрдп 1.4 (рдЪрдХреНрд░) рдХреА рдЪрд░рдо рд░рдВрдЧрд╛рдИ:

  • рдЖрдХрд╛рд░ n-k+1 рдФрд░ k-1 рдХреЗ рд╢реАрд░реНрд╖ рд╕рдореБрдЪреНрдЪрдп A,B рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡
  • A рдкрд░ Ck-рдореБрдХреНрдд рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ T рд╕реЗ рдЙрдиреНрдореБрдЦрддрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ
  • рд╕рднреА A рд╕реЗ B рдХреЗ рдХрд┐рдирд╛рд░реЗ A рд╕реЗ B рдХреА рдУрд░ рдирд┐рд░реНрджреЗрд╢рд┐рдд рд╣реИрдВ
  • B рдХреЗ рдЕрдВрджрд░ рдЗрдВрджреНрд░рдзрдиреБрд╖ рд░рдВрдЧрд╛рдИ

рдкреНрд░рдореЗрдп 1.6 (K4^-) рдХреА рдЪрд░рдо рд░рдВрдЧрд╛рдИ:

  • рд╡рд┐рд╖рдо n: рд╢реАрд░реНрд╖ рдХреНрд░рдо v1,...,vn, vivj рдХреЛ min{i,j} рд╕реЗ рд░рдВрдЧреАрди рдХрд░реЗрдВ, тМКn/2тМЛ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдХрд┐рдирд╛рд░реЗ рдЬреЛрдбрд╝реЗрдВ
  • рд╕рдо n: рд╕рдорд╛рди рд▓реЗрдХрд┐рди 3 рд╢реАрд░реНрд╖реЛрдВ рдХреА рд╡рд┐рд╢реЗрд╖ рд╕рдВрд░рдЪрдирд╛ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрдВ

рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЦреЛрдЬреЗрдВ

  1. ar(n,H) рдФрд░ arтЛЖ(n,H) рдмрд╣реБрдд рдЕрд▓рдЧ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ:
    • ar(n,K4) = ex(n,K3) + 1 = ╬Ш(n┬▓)
    • arтЛЖ(n,K4) = 2n - 3 = ╬Ш(n)
  2. рдЪрд░рдо рдШрдирддреНрд╡ рдХреА рдкреНрд░рд╛рдкреНрддрд┐:
    • рд╕рднреА sтЙе1 рдХреЗ рд▓рд┐рдП рдШрдирддреНрд╡ 2-1/s рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рд╣реИ
    • рд╕рдорд╕реНрдпрд╛ 1.9 рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд: рдХреМрди рд╕реЗ rтИИ1,2 рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рд╣реИрдВ?
  3. ea(H)=2 рдХреЗ рдЧреНрд░рд╛рдлрд╝ рдХрд╛ рд╡реНрдпрд╡рд╣рд╛рд░ рдЬрдЯрд┐рд▓ рд╣реИ:
    • рдЬрдм ea(H)тЙе3 рд╣реЛ, рддреЛ arтЛЖ(n,H) рдЕрддрд┐рд░реЗрдЦреАрдп рд╣реИ
    • рдЬрдм ea(H)=2 рд╣реЛ, рддреЛ рд░реИрдЦрд┐рдХ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ (рдЕрдиреБрдорд╛рди)

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп

1. рд╡рд┐рд░реЛрдзреА Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд

рд╢рд╛рд╕реНрддреНрд░реАрдп рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдВрдЦреНрдпрд╛ ar(n,H) (Erd┼Сs-Simonovits-S├│s, 1975):

  • ar(n,Ck) = (k-2 choose 2) + n/(k-1) + O(1)
  • ar(n,Kk) = ex(n,Kk-1) + 1
  • рд╕рд╛рдорд╛рдиреНрдп рд╕реАрдорд╛: ex(n,FH^-) + 1 тЙд ar(n,H) тЙд ex(n,H)

2. рд╕рд╛рдорд╛рдиреНрдп рд░рдВрдЧрд╛рдИ рдореЗрдВ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдЙрдк-рдЧреНрд░рд╛рдлрд╝

  • Maamoun-Meyniel (1989): Kn рдХреА рд╕рд╛рдорд╛рдиреНрдп рд░рдВрдЧрд╛рдИ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдмрд┐рдирд╛ рдЗрдВрджреНрд░рдзрдиреБрд╖ Hamilton рдкрде рдХреЗ
  • Andersen (1989): рд▓рдВрдмрд╛рдИ n-2 рдХреЗ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдкрде рдХреЛ рдЧрд╛рд░рдВрдЯреА рджреЗрдиреЗ рдХрд╛ рдЕрдиреБрдорд╛рди
  • Alon-Pokrovskiy-Sudakov (2017): рд▓рдВрдмрд╛рдИ n-o(n) рдХреЗ рдЗрдВрджреНрд░рдзрдиреБрд╖ рдкрде рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ

3. рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Ramsey рд╕рдВрдЦреНрдпрд╛рдПрдВ

Axenovich-Iverson (2008):

  • RF(n,H) рдХрд╛ рдЕрдзреНрдпрдпрди: рдПрдХрд╡рд░реНрдгреА F рдФрд░ рдЗрдВрджреНрд░рдзрдиреБрд╖ H рд╕реЗ рдмрдЪрдиреЗ рд╡рд╛рд▓реА рдЕрдзрд┐рдХрддрдо рд░рдВрдЧ рд╕рдВрдЦреНрдпрд╛
  • рд╕рд╛рдмрд┐рдд рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдЬрдм F рддрд╛рд░рд╛ рдирд╣реАрдВ рд╣реИ, рддреЛ RF(n,H) рдХреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдорд╛рди va(H) рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рд╣реЛрддрд╛ рд╣реИ
  • рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рдкрд░рд┐рдгрд╛рдо: arтЛЖ(n,H) = R{M2,K3}(n,{H})

4. рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд

  • Erd┼Сs-Stone рдкреНрд░рдореЗрдп: ╧З(H)тЙе3 рд╣реЛрдиреЗ рдкрд░, ex(n,H) = (1-1/(╧З(H)-1)+o(1))(n choose 2)
  • Zarankiewicz рд╕рдорд╕реНрдпрд╛: z(m,n;s,t) рдХреА рд╕реАрдорд╛рдПрдВ
  • Tur├бn рдШрдирддреНрд╡: рдХреМрди рд╕реЗ rтИИ1,2 рдЪрд░рдо-рдкреНрд░рд╛рдкреНрдп рд╣реИрдВ

рдирд┐рд╖реНрдХрд░реНрд╖ рдФрд░ рдЪрд░реНрдЪрд╛

рдореБрдЦреНрдп рдирд┐рд╖реНрдХрд░реНрд╖

  1. va(H)=2 рдХреЗ рдХрдИ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рдорд▓реЛрдВ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ:
    • рдЪрдХреНрд░: рд╕рдЯреАрдХ рдорд╛рди рдФрд░ рд╕рдВрд░рдЪрдирд╛ рдЪрд┐рд╣реНрдирдХрд░рдг
    • рдЫреЛрдЯреЗ рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝: K3, K4, K4^- рдХреЗ рд╕рдЯреАрдХ рдорд╛рди
    • рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди: рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдХреНрд░рдо
  2. рдирдИ рддрдХрдиреАрдХреА рдврд╛рдВрдЪрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ:
    • рдЕрдЪреНрдЫреА рдЯреБрдкрд▓ рд╡рд┐рдзрд┐ рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП
    • рд╕рдВрд╢реЛрдзрд┐рдд рд░рдВрдЧрд╛рдИ рдирд┐рд░реНрдорд╛рдг рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдХреЗ рд▓рд┐рдП
    • рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди рдКрдкрд░реА рд╕реАрдорд╛ рдХреЗ рд▓рд┐рдП
  3. рдХрдИ рдЧрдгрд┐рддреАрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ:
    • рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдФрд░ рд╢реАрд░реНрд╖ рд╡реГрдХреНрд╖рддрд╛
    • рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд
    • рдЯреВрд░реНрдирд╛рдореЗрдВрдЯ рд╕рд┐рджреНрдзрд╛рдВрдд

рд╕реАрдорд╛рдПрдВ

  1. K4^- рдФрд░ рдмрдбрд╝реЗ рдЧреНрд░рд╛рдлрд╝ рдХреА рдЪрд░рдо рд░рдВрдЧрд╛рдИ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЪрд┐рд╣реНрдирд┐рдд рдирд╣реАрдВ рд╣реИ:
    • K4 рдХреЗ рдХрдИ рдЪрд░рдо рд░рдВрдЧрд╛рдИ рд╣реИрдВ, рдкреЗрдкрд░ рдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рдирд╣реАрдВ рджреЗрддрд╛
    • K5 рдФрд░ рдмрдбрд╝реЗ рдкреВрд░реНрдг рдЧреНрд░рд╛рдлрд╝ рдХреЗ рд╕рдЯреАрдХ рдорд╛рди рдЕрдЬреНрдЮрд╛рдд рд╣реИрдВ
  2. ea(H)=2 рдХрд╛ рд╕рд╛рдорд╛рдиреНрдп рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдзреВрд░рд╛ рд╣реИ:
    • рдЕрдиреБрдорд╛рди arтЛЖ(n,H) = ╬Ш(n) рдЬрдм ea(H)=2, рд▓реЗрдХрд┐рди рд╕рд╛рдмрд┐рдд рдирд╣реАрдВ
    • 4-рдирд┐рдпрдорд┐рдд рдЧреНрд░рд╛рдлрд╝ рдХрд╛ рд╡реНрдпрд╡рд╣рд╛рд░ рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рд╣реИ
  3. рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди рдХреА рд╕реАрдорд╛рдУрдВ рдореЗрдВ рдЕрдВрддрд░рд╛рд▓ рд╣реИ:
    • рдКрдкрд░реА рдФрд░ рдирд┐рдЪрд▓реА рд╕реАрдорд╛рдПрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ рдХрд╛рд░рдХ рд╕реЗ рднрд┐рдиреНрди рд╣реИрдВ
    • рд╕рдЯреАрдХ рд╕реНрдерд┐рд░рд╛рдВрдХ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИрдВ
  4. рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рдШрдирддреНрд╡ рд╕рдореБрдЪреНрдЪрдп рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИ:
    • рдХреЗрд╡рд▓ 2-1/s рдХреА рдкреНрд░рд╛рдкреНрддрд┐ рд╕рд╛рдмрд┐рдд рдХреА рдЧрдИ рд╣реИ
    • рд╕рдорд╕реНрдпрд╛ 1.9: рдХреМрди рд╕реЗ rтИИ1,2 рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рд╣реИрдВ?

рднрд╡рд┐рд╖реНрдп рдХреА рджрд┐рд╢рд╛рдПрдВ

рдкреЗрдкрд░ рдЦрдВрдб 8 рдореЗрдВ рдХрдИ рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рддрд╛ рд╣реИ:

рд╕рдорд╕реНрдпрд╛ 8.1: arтЛЖ(n,Kk) рдХреЗ рд╕рдЯреАрдХ рдорд╛рди рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░реЗрдВ (kтЙе5)

рд╕рдорд╕реНрдпрд╛ 8.2: arтЛЖ(n,H) = ╬Ш(n) рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдЧреНрд░рд╛рдлрд╝ H рдХреЛ рдЪрд┐рд╣реНрдирд┐рдд рдХрд░реЗрдВ

  • рдЬреНрдЮрд╛рдд: ea(H)тЙе3 тЯ╣ arтЛЖ(n,H) рдЕрддрд┐рд░реЗрдЦреАрдп
  • рдЕрдиреБрдорд╛рди: ea(H)=2 тЯ╣ arтЛЖ(n,H) = ╬Ш(n)

рд╕рдорд╕реНрдпрд╛ 8.5: ea(H)=2 рд╣реЛрдиреЗ рдкрд░ arтЛЖ(n,H) = ╬Ш(n) рд╕рд╛рдмрд┐рдд рдпрд╛ рдЦрдВрдбрди рдХрд░реЗрдВ

рдЕрдиреНрдп рджрд┐рд╢рд╛рдПрдВ:

  • 3-рдЖрдпрд╛рдореА рдШрди Q3: arтЛЖ(n,Q3) тЙе 2n+21, рдХреНрдпрд╛ ╬Ш(n) рд╣реИ?
  • 4-рдирд┐рдпрдорд┐рдд рдЧреНрд░рд╛рдлрд╝ рдХрд╛ рд╡реНрдпрд╡рд╣рд╛рд░
  • рдЕрдзрд┐рдХ рд╕рдЯреАрдХ рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди рд╕реАрдорд╛рдПрдВ

рдЧрд╣рди рдореВрд▓реНрдпрд╛рдВрдХрди

рд╢рдХреНрддрд┐рдпрд╛рдВ

  1. рддрдХрдиреАрдХреА рдЧрд╣рд░рд╛рдИ:
    • K4 рдХрд╛ рдкреНрд░рдорд╛рдг рдЕрддреНрдпрдВрдд рд╕реВрдХреНрд╖реНрдо рд╣реИ, рдЕрдЪреНрдЫреА рдЯреБрдкрд▓, great, restricted рдЖрджрд┐ рд╕реНрддрд░реАрдп рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддрд╛ рд╣реИ
    • рдХрдИ рддрдХрдиреАрдХреА рдЙрдкрдХрд░рдгреЛрдВ рдХрд╛ рдирд╡реАрди рд╕рдВрдпреЛрдЬрди (рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝, рд╕рд╣рд╛рдпрдХ рдЧреНрд░рд╛рдлрд╝, рдкреНрд░реЗрд░рдг)
  2. рдкрд░рд┐рдгрд╛рдо рдкреВрд░реНрдгрддрд╛:
    • рдХреЗрд╡рд▓ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдорд╛рди рдирд╣реАрдВ, рдмрд▓реНрдХрд┐ рдЪрд░рдо рд░рдВрдЧрд╛рдИ рд╕рдВрд░рдЪрдирд╛ рднреА рджреЗрддрд╛ рд╣реИ (Ck, K4^-)
    • рд╡рд┐рд╢рд┐рд╖реНрдЯ рдЧреНрд░рд╛рдлрд╝ рд╕реЗ рд╕рд╛рдорд╛рдиреНрдп рдЧреНрд░рд╛рдлрд╝ рд╡рд░реНрдЧреЛрдВ рддрдХ (рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди) рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдЕрдзреНрдпрдпрди
  3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди:
    • Axenovich-Iverson рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░рд╛рд▓ рдХреЛ рднрд░рддрд╛ рд╣реИ
    • рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рдФрд░ рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ
    • рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рдШрдирддреНрд╡ рдХреА рдирдИ рд╕рдорд╕реНрдпрд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рддрд╛ рд╣реИ
  4. рд▓реЗрдЦрди рд╕реНрдкрд╖реНрдЯрддрд╛:
    • рдЕрдЪреНрдЫреА рд╕рдВрд░рдЪрдирд╛, рд╕рд░рд▓ рд╕реЗ рдЬрдЯрд┐рд▓ рддрдХ
    • рдкрд░реНрдпрд╛рдкреНрдд рд▓реЗрдореНрдорд╛ рддреИрдпрд╛рд░реА
    • рд╕реНрдкрд╖реНрдЯ рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░ рд╡рд┐рд╡рд░рдг
  5. рд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░:
    • рд╕рдВрд╢реЛрдзрд┐рдд рд░рдВрдЧрд╛рдИ рддрдХрдиреАрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд
    • рдЕрдЪреНрдЫреА рдЯреБрдкрд▓ рдврд╛рдВрдЪрд╛ рдЬрдЯрд┐рд▓ рдмрд╛рдзрд╛рдУрдВ рдХреЛ рд╕рдВрднрд╛рд▓рддрд╛ рд╣реИ
    • рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди рдХрд╛ рд░рдВрдЧрд╛рдИ рд╕рдорд╕реНрдпрд╛рдУрдВ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ

рдХрдорд┐рдпрд╛рдВ

  1. K4 рдЪрд░рдо рд░рдВрдЧрд╛рдИ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЪрд┐рд╣реНрдирд┐рдд рдирд╣реАрдВ рд╣реИ:
    • рдкреЗрдкрд░ рд╕реНрд╡реАрдХрд╛рд░ рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдХрдИ рдЪрд░рдо рд░рдВрдЧрд╛рдИ рдореМрдЬреВрдж рд╣реИрдВ рд▓реЗрдХрд┐рди рдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рдирд╣реАрдВ рджреЗрддрд╛
    • рдпрд╣ рд╕рдорд╕реНрдпрд╛ рдХреА рдХрдард┐рдирд╛рдИ рд╣реЛ рд╕рдХрддреА рд╣реИ, рд▓реЗрдХрд┐рди рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЕрдВрддрд░рд╛рд▓ рдЫреЛрдбрд╝рддрд╛ рд╣реИ
  2. рдХреБрдЫ рдкреНрд░рдорд╛рдг рд▓рдВрдмреЗ рд╣реИрдВ:
    • K4 рдХрд╛ рдкреНрд░рдорд╛рдг рдмрдбрд╝реА рдЬрдЧрд╣ рд▓реЗрддрд╛ рд╣реИ (рдЦрдВрдб 6)
    • рдЖрд╡рд╢реНрдпрдХ рд╣реЛрдиреЗ рдХреЗ рдмрд╛рд╡рдЬреВрдж, рдкрдардиреАрдпрддрд╛ рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИ
  3. рдЕрдВрддрд░рд╛рд▓ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡:
    • K5^- рдХреА рдКрдкрд░реА рдФрд░ рдирд┐рдЪрд▓реА рд╕реАрдорд╛рдПрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ 16 рд╕реЗ рднрд┐рдиреНрди рд╣реИрдВ
    • рд╡реГрдХреНрд╖ рд╕рдВрдпреЛрдЬрди рдХреА рд╕реАрдорд╛рдПрдВ рдкрд░реНрдпрд╛рдкреНрдд рдХрд╕реА рдирд╣реАрдВ рд╣реИрдВ
  4. рдХрдИ рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ:
    • рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рдиреЗ рдХреЗ рдмрд╛рд╡рдЬреВрдж, рдХрдИ рдореВрд▓ рдорд╛рдорд▓реЗ (рдЬреИрд╕реЗ Kk, kтЙе5) рдЕрдирд╕реБрд▓рдЭреЗ рд╣реИрдВ
    • ea(H)=2 рдХрд╛ рдЕрдиреБрдорд╛рди рд╕рд╛рдмрд┐рдд рдирд╣реАрдВ рд╣реИ
  5. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдЪрд░реНрдЪрд╛ рдЕрдкрд░реНрдпрд╛рдкреНрдд:
    • рд╢реБрджреНрдз рдЧрдгрд┐рдд рдкреЗрдкрд░ рд╣реЛрдиреЗ рдХреЗ рдирд╛рддреЗ, рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдкрд░ рдЪрд░реНрдЪрд╛ рдирд╣реАрдВ
    • рдХрдВрдкреНрдпреВрдЯрд░ рд╡рд┐рдЬреНрдЮрд╛рди, рдиреЗрдЯрд╡рд░реНрдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдЕрдиреНрд╡реЗрд╖рд┐рдд рдирд╣реАрдВ

рдкреНрд░рднрд╛рд╡

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреНрд░рднрд╛рд╡:
    • рддрд╛рд░рд╛ рд░рдВрдЧрд╛рдИ рд╡рд┐рд░реЛрдзреА Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдЕрдзреНрдпрдпрди рдХреЛ рдЦреЛрд▓рддрд╛ рд╣реИ
    • va(H)=2 рдорд╛рдорд▓реЗ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдкрджреНрдзрддрд┐рд╡рд┐рдЬреНрдЮрд╛рди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
    • рд╕рдВрдпреЛрдЬрди рдЧрдгрд┐рдд рдХреА рдХрдИ рд╢рд╛рдЦрд╛рдУрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ
  2. рдЕрдиреБрд╡рд░реНрддреА рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдПрдВ:
    • рддрд╛рд░рд╛-рдкреНрд░рд╛рдкреНрдп рдШрдирддреНрд╡ рдХреЗ рдЕрдзреНрдпрдпрди рдХреЛ рдкреНрд░реЗрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ
    • ea(H)=2 рдорд╛рдорд▓реЗ рдХреЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╡рд┐рдХрд╛рд╕ рдХреЛ рдЖрдЧреЗ рдмрдврд╝рд╛рддрд╛ рд╣реИ
    • рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕рдорд╕реНрдпрд╛рдПрдВ рдЕрдиреБрд╡рд░реНрддреА рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  3. рддрдХрдиреАрдХреА рдпреЛрдЧрджрд╛рди:
    • рдЕрдЪреНрдЫреА рдЯреБрдкрд▓ рд╡рд┐рдзрд┐ рдЕрдиреНрдп рд░рдВрдЧрд╛рдИ рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИ
    • рд╕рдВрд╢реЛрдзрд┐рдд рд░рдВрдЧрд╛рдИ рдирд┐рд░реНрдорд╛рдг рддрдХрдиреАрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╣реЛ рд╕рдХрддреА рд╣реИ
    • рдЖрд╢реНрд░рд┐рдд рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдЪрдпрди рдХрд╛ рдирдпрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ
  4. рд╕реАрдорд╛рдПрдВ:
    • рд╢реБрджреНрдз рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкрд░рд┐рдгрд╛рдо рд╣реЛрдиреЗ рдХреЗ рдирд╛рддреЗ, рд╕реАрдзреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕реАрдорд┐рдд рд╣реИрдВ
    • рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдХрд╛рдлреА рд╕рдВрдпреЛрдЬрди рдЧрдгрд┐рдд рдкреГрд╖реНрдарднреВрдорд┐ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ

рдЙрдкрдпреБрдХреНрдд рдкрд░рд┐рджреГрд╢реНрдп

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЕрдиреБрд╕рдВрдзрд╛рди:
    • рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рд╢реЛрдзрдХрд░реНрддрд╛
    • Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд рд╢реЛрдзрдХрд░реНрддрд╛
    • рдЧреНрд░рд╛рдлрд╝ рд░рдВрдЧрд╛рдИ рд╕рд┐рджреНрдзрд╛рдВрдд рд╢реЛрдзрдХрд░реНрддрд╛
  2. рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ:
    • рд╢реАрд░реНрд╖/рдХрд┐рдирд╛рд░реЗ рд╡реГрдХреНрд╖рддрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
    • рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Ramsey рд╕рдВрдЦреНрдпрд╛рдПрдВ
    • рдЪрд░рдо рдШрдирддреНрд╡ рдкреНрд░рд╛рдкреНрддрд┐ рд╕рдорд╕реНрдпрд╛рдПрдВ
  3. рд╡рд┐рдзрд┐ рдЙрдзрд╛рд░:
    • рдЬрдЯрд┐рд▓ рд╕рдВрд░рдЪрдирд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╡рд╛рд▓реА рд░рдВрдЧрд╛рдИ рд╕рдорд╕реНрдпрд╛рдПрдВ
    • рдЪрд░рдо рдЙрджрд╛рд╣рд░рдг рдирд┐рд░реНрдорд╛рдг рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╡рд╛рд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ
    • рдЙрдиреНрдореБрдЦ рдЧреНрд░рд╛рдлрд╝ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ

рд╕рдВрджрд░реНрдн (рдореБрдЦреНрдп рд╕рд╛рд╣рд┐рддреНрдп)

  1. Erd┼Сs, Simonovits, S├│s (1975): Anti-Ramsey theorems - рд╡рд┐рд░реЛрдзреА Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдиреАрдВрд╡
  2. Axenovich, Iverson (2008): Edge-colorings avoiding rainbow and monochromatic subgraphs - рдЗрд╕ рдкреЗрдкрд░ рджреНрд╡рд╛рд░рд╛ рд╕реАрдзреЗ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд╛рд░реНрдп
  3. Erd┼Сs, Stone (1946): On the structure of linear graphs - рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдореВрд▓ рдкреНрд░рдореЗрдп
  4. K┼Сv├бri, S├│s, Tur├бn (1954): On a problem of K. Zarankiewicz - Zarankiewicz рд╕рдорд╕реНрдпрд╛ рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп рдкрд░рд┐рдгрд╛рдо
  5. Fox, Sudakov (2011): Dependent random choice - рдЗрд╕ рдкреЗрдкрд░ рджреНрд╡рд╛рд░рд╛ рдЙрдкрдпреЛрдЧ рдХреА рдЧрдИ рдореБрдЦреНрдп рд╕рдВрднрд╛рд╡реНрдп рдЙрдкрдХрд░рдг

рд╕рдордЧреНрд░ рдореВрд▓реНрдпрд╛рдВрдХрди: рдпрд╣ рд╕рдВрдпреЛрдЬрди рдЧрдгрд┐рдд рдХрд╛ рдПрдХ рдЙрдЪреНрдЪ рдЧреБрдгрд╡рддреНрддрд╛ рд╡рд╛рд▓рд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреЗрдкрд░ рд╣реИ, рдЬреЛ рддрд╛рд░рд╛ рд░рдВрдЧреАрди рдЧреНрд░рд╛рдлрд╝ рдХреА рд╡рд┐рд░реЛрдзреА Ramsey рд╕рдорд╕реНрдпрд╛ рдХрд╛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ, рдХрдИ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рдорд▓реЛрдВ рдореЗрдВ рд╕рдЯреАрдХ рдпрд╛ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдкрд░рд┐рдгрд╛рдо рджреЗрддрд╛ рд╣реИред рддрдХрдиреАрдХреА рдЧрд╣рд░рд╛рдИ рдЕрдзрд┐рдХ рд╣реИ, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ K4 рдХрд╛ рдкреНрд░рдорд╛рдг рдкрд░рд┐рд╖реНрдХреГрдд рд╕рдВрдпреЛрдЬрди рдХреМрд╢рд▓ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред рдкреЗрдкрд░ рди рдХреЗрд╡рд▓ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдХреА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдкрджреНрдзрддрд┐рд╡рд┐рдЬреНрдЮрд╛рди рдврд╛рдВрдЪрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдФрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд░рддрд╛ рд╣реИред рдЪрд░рдо рдЧреНрд░рд╛рдлрд╝ рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ Ramsey рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╢реЛрдзрдХрд░реНрддрд╛рдУрдВ рдХреЗ рд▓рд┐рдП, рдпрд╣ рдПрдХ рдЖрд╡рд╢реНрдпрдХ рдкрдардиреАрдп рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рд╛рд╣рд┐рддреНрдп рд╣реИред