2025-11-29T20:13:19.018445

Caps and Wickets

F├Г┬╝hrer, Solymosi
Let $H_n^{(3)}$ be a 3-uniform linear hypergraph, i.e. any two edges have at most one vertex common. A special hypergraph, {\em wicket}, is formed by three rows and two columns of a $3 \times 3$ point matrix. In this note, we give a new lower bound on the Tur├Г┬бn number of wickets using estimates on cap sets. We also show that this problem is closely connected to important questions in additive combinatorics.
academic

рдХреИрдкреНрд╕ рдФрд░ рд╡рд┐рдХреЗрдЯ

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

  • рдкреЗрдкрд░ ID: 2405.00923
  • рд╢реАрд░реНрд╖рдХ: Caps and Wickets (рдХреИрдкреНрд╕ рдФрд░ рд╡рд┐рдХреЗрдЯ)
  • рд▓реЗрдЦрдХ: Jakob F├╝hrer (рдЧреНрд░рд╛рдЬрд╝ рдкреНрд░реМрджреНрдпреЛрдЧрд┐рдХреА рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп), Jozsef Solymosi (рдмреНрд░рд┐рдЯрд┐рд╢ рдХреЛрд▓рдВрдмрд┐рдпрд╛ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп рдФрд░ рдУрдмреБрдбрд╛ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.CO (рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: arXiv v3, 26 рдЬреВрди 2024
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2405.00923

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

рдпрд╣ рдкреЗрдкрд░ 3-рдПрдХрд░реВрдк рд░реИрдЦрд┐рдХ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдореЗрдВ рд╡рд┐рд╢реЗрд╖ рд╕рдВрд░рдЪрдирд╛рдУрдВ - рд╡рд┐рдХреЗрдЯ (рддреАрди рд╕реНрддрдВрдн рджреНрд╡рд╛рд░) рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛ рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИред рд╡рд┐рдХреЗрдЯ 3├Ч3 рдмрд┐рдВрджреБ рдореИрдЯреНрд░рд┐рдХреНрд╕ рдХреА рддреАрди рдкрдВрдХреНрддрд┐рдпреЛрдВ рдФрд░ рджреЛ рд╕реНрддрдВрднреЛрдВ рд╕реЗ рдмрдирд╛ рд╣реЛрддрд╛ рд╣реИред рд▓реЗрдЦрдХ рдХреИрдк рд╕реЗрдЯ рдХреЗ рдЕрдиреБрдорд╛рдиреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡рд┐рдХреЗрдЯ рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рдирдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВ рдФрд░ рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдХреЗ рд╕рд╛рде рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рдХреЛ рдЙрдЬрд╛рдЧрд░ рдХрд░рддреЗ рд╣реИрдВред

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

рдореВрд▓ рд╕рдорд╕реНрдпрд╛

рдЗрд╕ рдкреЗрдкрд░ рдореЗрдВ рдЕрдзреНрдпрдпрди рдХреА рдЧрдИ рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рд╣реИ: рд╡рд┐рдХреЗрдЯ рд╕рдВрд░рдЪрдирд╛ рд╕реЗ рд░рд╣рд┐рдд 3-рдПрдХрд░реВрдк рд░реИрдЦрд┐рдХ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдореЗрдВ рдЕрдзрд┐рдХрддрдо рдХрд┐рддрдиреЗ рдХрд┐рдирд╛рд░реЗ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ? рдпрд╣ рд╕рдорд╕реНрдпрд╛ Gy├бrf├бs рдФрд░ S├бrk├╢zy рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХреА рдЧрдИ рдереА, рдЬрд┐рд╕реЗ exL(n,W) рдХреЗ рд░реВрдк рдореЗрдВ рджрд░реНрд╢рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЕрд░реНрдерд╛рддреН рд╡рд┐рдХреЗрдЯ рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛ред

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

  1. рдЪрд░рдо рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдореМрд▓рд┐рдХ рд╕рдорд╕реНрдпрд╛: рддреБрд░рд╛рди-рдкреНрд░рдХрд╛рд░ рдХреА рд╕рдорд╕реНрдпрд╛рдПрдВ рдЪрд░рдо рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдХреА рдореВрд▓ рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛ рд╣реИрдВ, рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛ рдХреЛ рд╕рдордЭрдирд╛ рд╕рдВрдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИред
  2. рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рд╕рд╛рде рдЧрд╣рд░рд╛ рд╕рдВрдмрдВрдз: рдпрд╣ рдкреЗрдкрд░ рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдХреЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдХреЛ рдЙрдЬрд╛рдЧрд░ рдХрд░рддрд╛ рд╣реИ:
    • рдХреИрдк рд╕реЗрдЯ рд╕рдорд╕реНрдпрд╛ (FтВГтБ┐ рдореЗрдВ рддреАрди-рдкрдж рд╕рдорд╛рдВрддрд░ рд╢реНрд░реЗрдгреА рд╕реЗ рд░рд╣рд┐рдд рдЕрдзрд┐рдХрддрдо рд╕рдореБрдЪреНрдЪрдп)
    • рд░реБрдЬрд╝реНрд╕рд╛ рдХреА рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЗ рд╕рдорд╛рдзрд╛рди рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рдорд╕реНрдпрд╛
    • рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди
  3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдмрд┐рдВрджреБ: рдпрд╣ рд╕рдорд╕реНрдпрд╛ рдЪрд░рдо рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рд╕реНрдерд┐рдд рд╣реИ, рдЬреЛ рдкреНрд░рддреАрдд рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рдЕрд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИред

рдореМрдЬреВрджрд╛ рд╡рд┐рдзрд┐рдпреЛрдВ рдХреА рд╕реАрдорд╛рдПрдВ

  • рдЕрдкрд░реНрдпрд╛рдкреНрдд рдирд┐рдЪрд▓реА рд╕реАрдорд╛: рдкрд╣рд▓реЗ рд╕реЗ рдЬреНрдЮрд╛рдд рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдХреЗрд╡рд▓ exL(n,W) тЙе cn^(3/2) рдереА, рдЬреЛ рдЪрддреБрд░реНрднреБрдЬ рд╕реЗ рдмрдЪрдиреЗ рд╡рд╛рд▓реЗ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдирд┐рд░реНрдорд╛рдг рд╕реЗ рдЖрдИ рдереА
  • рдХрдордЬреЛрд░ рдКрдкрд░реА рд╕реАрдорд╛: рд╣рд╛рд▓ рд╣реА рдореЗрдВ exL(n,W) = o(n┬▓) рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛, рд▓реЗрдХрд┐рди рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдХреЗ рдмреАрдЪ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░ рдореМрдЬреВрдж рд╣реИ
  • рд╕рдВрдмрдВрдз рдХреА рдХрдореА: рдкрд┐рдЫрд▓реЗ рдХрд╛рд░реНрдп рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдореЗрдВ рдЧрд╣рд░реЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдкрд░реНрдпрд╛рдкреНрдд рдЙрдкрдпреЛрдЧ рдирд╣реАрдВ рдХрд░ рд╕рдХреЗ

рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рдкреНрд░реЗрд░рдгрд╛

рд▓реЗрдЦрдХреЛрдВ рдХрд╛ рдкреНрд░рд╕реНрдерд╛рди рдмрд┐рдВрджреБ рдпрд╣ рд╣реИ: рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА рдХреА рд╢рд╛рд╕реНрддреНрд░реАрдп рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рд╕реЗ рд╕реАрдЦрддреЗ рд╣реБрдП, рдХреИрдк рд╕реЗрдЯ рдХреА рдирд╡реАрдирддрдо рдкреНрд░рдЧрддрд┐ рдХреЗ рд╕рд╛рде рдорд┐рд▓рдХрд░, рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдФрд░ рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рдмреАрдЪ рдкреБрд▓ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛, рдЬрд┐рд╕рд╕реЗ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рд╣реЛ рд╕рдХреЗред

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

  1. рд╕реБрдзрд╛рд░реА рдЧрдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛: exL(m,W) тЙе m^1.544 рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛, рдЬреЛ рдкрд┐рдЫрд▓реА m^1.5 рдХреА рд╕реАрдорд╛ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реБрдзрд╛рд░ рд╣реИ
  2. рд░рдЪрдирд╛рддреНрдордХ рд╡рд┐рдзрд┐: рдХреИрдк рд╕реЗрдЯ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рдирдИ рдирд┐рд░реНрдорд╛рдг рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХреА рдЧрдИ, рдЬреЛ FтВГтБ┐ рдореЗрдВ рдХреИрдк рд╕реЗрдЯ рдХреЛ рд╡рд┐рдХреЗрдЯ-рд░рд╣рд┐рдд рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд░рддреА рд╣реИ
  3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рдВрдмрдВрдз:
    • рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдФрд░ рдХреИрдк рд╕реЗрдЯ рд╕рдорд╕реНрдпрд╛ рдХреЗ рджреНрд╡рд┐рджрд┐рд╢реАрдп рд╕рдВрдмрдВрдз рд╕рд┐рджреНрдз рдХрд┐рдП рдЧрдП
    • рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди рдореЗрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛ (c тЙд 0.5 рд╕реЗ c тЙд 0.456 рддрдХ)
    • рд░реБрдЬрд╝реНрд╕рд╛ рдХреА рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг рд╕рдорд╕реНрдпрд╛ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдЧрдП
  4. рдирдИ рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд: рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдореЗрдВ рдЖрдЧреЗ рд╕реБрдзрд╛рд░ рдХреЗ рд▓рд┐рдП рддреАрди рд╕рдВрднрд╛рд╡рд┐рдд рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХреА рдЧрдИ рд╣реИрдВ:
    • рд╕рдореАрдХрд░рдг 3x+y=2z+2w рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рд░реБрдЬрд╝реНрд╕рд╛ рдХреА рд╕рдорд╕реНрдпрд╛
    • рдореЙрдбреНрдпреВрд▓рд░ рдЕрдВрдХрдЧрдгрд┐рдд рдореЗрдВ рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг рд╕рдорд╕реНрдпрд╛
    • рдЖрдЗрдЬреЗрдВрд╕реНрдЯреАрди рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдореЗрдВ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рд╕реЗ рдмрдЪрдиреЗ рдХреА рд╕рдорд╕реНрдпрд╛
  5. рдкреНрд░рддрд┐рд╡рд░реНрддреА рдкрд░рд┐рдгрд╛рдо: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рдХрд┐ exL(m,W) тЙд m^(2-c) рдХреЗ рд░реВрдк рдХреА рдХреЛрдИ рднреА рдКрдкрд░реА рд╕реАрдорд╛ рдХреИрдк рд╕реЗрдЯ рдХреЗ рдЖрдХрд╛рд░ рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХреА рдУрд░ рд▓реЗ рдЬрд╛рдПрдЧреА

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

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

рдЗрдирдкреБрдЯ: рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ n (рд╢реАрд░реНрд╖реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛) рдЖрдЙрдЯрдкреБрдЯ: exL(n,W) рдХреА рдирд┐рдЪрд▓реА рд╕реАрдорд╛, рдЕрд░реНрдерд╛рддреН n рд╢реАрд░реНрд╖реЛрдВ рдХреЗ 3-рдПрдХрд░реВрдк рд░реИрдЦрд┐рдХ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдореЗрдВ, рд╡рд┐рдХреЗрдЯ рдЙрдк-рд╕рдВрд░рдЪрдирд╛ рд╕реЗ рд░рд╣рд┐рдд рд╣реЛрдиреЗ рдкрд░ рдЕрдзрд┐рдХрддрдо рдХрд┐рдирд╛рд░реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдмрд╛рдзрд╛ рд╢рд░реНрддреЗрдВ:

  • рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл 3-рдПрдХрд░реВрдк рд╣реИ (рдкреНрд░рддреНрдпреЗрдХ рдХрд┐рдирд╛рд░реЗ рдореЗрдВ рдареАрдХ 3 рд╢реАрд░реНрд╖ рд╣реИрдВ)
  • рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд░реИрдЦрд┐рдХ рд╣реИ (рдХрд┐рдиреНрд╣реАрдВ рджреЛ рдХрд┐рдирд╛рд░реЛрдВ рдореЗрдВ рдЕрдзрд┐рдХрддрдо рдПрдХ рд╢реАрд░реНрд╖ рд╕рд╛рдЭрд╛ рд╣реИ)
  • рд╡рд┐рдХреЗрдЯ рд╕рдВрд░рдЪрдирд╛ рд╕реЗ рд░рд╣рд┐рдд рд╣реИ

рдореБрдЦреНрдп рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐

1. рдХреИрдк рд╕реЗрдЯ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдирд┐рд░реНрдорд╛рдг

рд╢реАрд░реНрд╖ рд╕рдореБрдЪреНрдЪрдп рдбрд┐рдЬрд╝рд╛рдЗрди:

  • рддреАрди рд╢реАрд░реНрд╖ рд╡рд░реНрдЧ: A := FтВГтБ┐ ├Ч {0}, B := FтВГтБ┐ ├Ч {1}, C := FтВГтБ┐ ├Ч {2}
  • рдпреЗ рддреАрди рд╡рд░реНрдЧ FтВГ^(n+1) рдореЗрдВ рддреАрди рд╕рдорд╛рдирд╛рдВрддрд░ рд╣рд╛рдЗрдкрд░рдкреНрд▓реЗрди рд╣реИрдВ
  • рдХреБрд▓ рд╢реАрд░реНрд╖реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: 3┬╖3тБ┐ = 3^(n+1)

рдХреИрдк рд╕реЗрдЯ рдХрд╛ рдЪрдпрди: S тКВ FтВГтБ┐ рдХреЛ рддреАрди-рдкрдж рд╕рдорд╛рдВрддрд░ рд╢реНрд░реЗрдгреА рд╕реЗ рд░рд╣рд┐рдд рдЕрдзрд┐рдХрддрдо рд╕рдореБрдЪреНрдЪрдп (рдХреИрдк рд╕реЗрдЯ) рдорд╛рдирд╛ рдЬрд╛рдП, |S| тЙе 2.2202тБ┐ рдЬреНрдЮрд╛рдд рд╣реИ

рдХрд┐рдирд╛рд░реЛрдВ рдХреА рдкрд░рд┐рднрд╛рд╖рд╛: S' = S ├Ч {1} рдХреЛ рдорд╛рди рд▓реАрдЬрд┐рдПред рддреАрди рд╢реАрд░реНрд╖ a тИИ A, b тИИ B, c тИИ C рдПрдХ рдХрд┐рдирд╛рд░рд╛ рдмрдирд╛рддреЗ рд╣реИрдВ, рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ рдХреЛрдИ s тИИ S' рдореМрдЬреВрдж рд╣реИ рдЬреИрд╕реЗ рдХрд┐:

  • b = a + s
  • c = a + 2s

рдпрд╣ рдкрд░рд┐рднрд╛рд╖рд╛ рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА рдХреА рд╢рд╛рд╕реНрддреНрд░реАрдп рдирд┐рд░реНрдорд╛рдг рд╕реЗ рдкреНрд░реЗрд░рд┐рдд рд╣реИ, рд▓реЗрдХрд┐рди рдкреВрд░реНрдгрд╛рдВрдХ рд╡рд▓рдп Z/nZ рдХреЛ FтВГтБ┐ рд╕реЗ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддреА рд╣реИред

2. рд╡рд┐рдХреЗрдЯ рд╕реЗ рдмрдЪрдиреЗ рдХрд╛ рдкреНрд░рдорд╛рдг

рдореБрдЦреНрдп рдЕрд╡рд▓реЛрдХрди: рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдореЗрдВ рд╡рд┐рдХреЗрдЯ рдЪрд╛рд░ рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИ:

x + s = y + t
x + 2s = z + 2v
y + u = z + v
x + 2w = y + 2u

рд╡рд┐рд▓реЛрдкрди рд╡рд┐рд╢реНрд▓реЗрд╖рдг: x, y, z рдХреЛ рд╡рд┐рд▓реЛрдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рдмрд╛рдж рджреЛ рд╕реНрд╡рддрдВрддреНрд░ рд╕рдореАрдХрд░рдг рдкреНрд░рд╛рдкреНрдд рд╣реЛрддреЗ рд╣реИрдВ:

  • w + v = 2t
  • s + t = u + v

рдкрд╣рд▓реА рд╕рдореАрдХрд░рдг рдХреА рднреВрдорд┐рдХрд╛: w + v = 2t рдореЗрдВ S' рдореЗрдВ рд╡рд┐рднрд┐рдиреНрди t, v, w рдХреЗ рд▓рд┐рдП рдХреЛрдИ рдЧреИрд░-рддреБрдЪреНрдЫ рд╕рдорд╛рдзрд╛рди рдирд╣реАрдВ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ S' FтВГ^(n+1) рдореЗрдВ рдПрдХ рдХреИрдк рд╕реЗрдЯ рд╣реИред

рдирд┐рд╖реНрдХрд░реНрд╖: рдПрдХрдорд╛рддреНрд░ рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рдХреЗрдЯ t = v = w рдФрд░ s = u рдХреЗ рдорд╛рдорд▓реЗ рд╕реЗ рдЖрддреЗ рд╣реИрдВред

3. рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛

рдкреНрд░рддреНрдпреЗрдХ рд╡рд┐рдХреЗрдЯ 2-рдЖрдпрд╛рдореА рдПрдлрд╛рдЗрди рдЙрдк-рд╕реНрдерд╛рди рдореЗрдВ 5 рд░реЗрдЦрд╛рдУрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИред рдЗрд╕ рддрд░рд╣ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рдПрдлрд╛рдЗрди рдЙрдк-рд╕реНрдерд╛рди рдореЗрдВ 6 рд░реЗрдЦрд╛рдПрдВ рд╣реИрдВ (t рдФрд░ s рдХреЗ рдЪрдпрди рдХреЗ рдЕрдиреБрд░реВрдк), рдЬрд┐рдирдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ 5 рдПрдХ рд╡рд┐рдХреЗрдЯ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддреЗ рд╣реИрдВред

рдкреНрд░рддреНрдпреЗрдХ рд╡рд┐рдХреЗрдЯ W' рдЕрдзрд┐рдХрддрдо 30|S| рдЕрдиреНрдп рд╡рд┐рдХреЗрдЯ рдХреЗ рд╕рд╛рде рдкреНрд░рддрд┐рдЪреНрдЫреЗрдж рдХрд░рддрд╛ рд╣реИ: W' рдХрд╛ рдкреНрд░рддреНрдпреЗрдХ рдХрд┐рдирд╛рд░рд╛ e S рдореЗрдВ рддрддреНрд╡ s' рдХреЗ рд╕рд╛рде рдПрдХ 2-рдЖрдпрд╛рдореА рдПрдлрд╛рдЗрди рдЙрдк-рд╕реНрдерд╛рди рдХреЛ рдлреИрд▓рд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдЕрдзрд┐рдХрддрдо 6 рд╡рд┐рдХреЗрдЯ W' рдХреЗ рд╕рд╛рде рдкреНрд░рддрд┐рдЪреНрдЫреЗрдж рдХрд░рддреЗ рд╣реИрдВред

4. рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд░рдВрдЧрд╛рдИ рдФрд░ рд▓реЛрд╡рд╛рдЬрд╝ рд╕реНрдерд╛рдиреАрдп рд▓реЗрдореНрдорд╛

рд░рдВрдЧрд╛рдИ рд░рдгрдиреАрддрд┐:

  • рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: k := (120|S|)^(1/4)
  • рдкреНрд░рддреНрдпреЗрдХ рдХрд┐рдирд╛рд░реЗ рдХреЛ рд╕реНрд╡рддрдВрддреНрд░ рд░реВрдк рд╕реЗ рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд░рдВрдЧ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдкреНрд░рддреНрдпреЗрдХ рд░рдВрдЧ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ 1/k рд╣реИ

рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг:

  • рдПрдХрд▓ рд╡рд┐рдХреЗрдЯ рдХреЗ рдПрдХрд╡рд░реНрдгреА рд╣реЛрдиреЗ рдХреА рд╕рдВрднрд╛рд╡рдирд╛: (1/k)тБ┤
  • рдкреНрд░рддреНрдпреЗрдХ рд╡рд┐рдХреЗрдЯ рдЕрдзрд┐рдХрддрдо 30|S| рдЕрдиреНрдп рд╡рд┐рдХреЗрдЯ рдХреА рд░рдВрдЧрд╛рдИ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ

рд▓реЛрд╡рд╛рдЬрд╝ рд╕реНрдерд╛рдиреАрдп рд▓реЗрдореНрдорд╛ рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдЪреВрдВрдХрд┐ (1/k)тБ┤ ┬╖ 30|S| < 1 (рдЬрдм рдкреИрд░рд╛рдореАрдЯрд░ рдЙрдЪрд┐рдд рд░реВрдк рд╕реЗ рдЪреБрдиреЗ рдЬрд╛рддреЗ рд╣реИрдВ), рдПрдХрд╡рд░реНрдгреА рд╡рд┐рдХреЗрдЯ рд╕реЗ рд░рд╣рд┐рдд рд░рдВрдЧрд╛рдИ рдореМрдЬреВрдж рд╣реИред

рдкрд░рд┐рдгрд╛рдо рдирд┐рд╖реНрдХрд░реНрд╖рдг: рд╕рдмрд╕реЗ рдмрдбрд╝реА рд░рдВрдЧ рд╢реНрд░реЗрдгреА рдХрд╛ рдЪрдпрди рдХрд░рдХреЗ, рд╡рд┐рдХреЗрдЯ-рд░рд╣рд┐рдд рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ, рдХрд┐рдирд╛рд░реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХрдо рд╕реЗ рдХрдо:

3тБ┐|S|/k тЙе (3 ┬╖ 2.2202^(3/4))тБ┐ / 120^(1/4)

рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ рдмрд┐рдВрджреБ

  1. рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рд╕реЗ рдкрд░рд┐рдорд┐рдд рдХреНрд╖реЗрддреНрд░реЛрдВ рддрдХ: рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА рдирд┐рд░реНрдорд╛рдг рдХреЛ Z/nZ рд╕реЗ FтВГтБ┐ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдЧрдпрд╛, рдХреИрдк рд╕реЗрдЯ рдХреА рдирд╡реАрдирддрдо рдкреНрд░рдЧрддрд┐ рдХрд╛ рд▓рд╛рдн рдЙрдард╛рдпрд╛ рдЧрдпрд╛
  2. рд╕рдореАрдХрд░рдг рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рд╕рд╛рд╡рдзрд╛рдиреАрдкреВрд░реНрд╡рдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рд┐рд▓реЛрдкрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рд╡рд┐рдХреЗрдЯ рд╕реЗ рдмрдЪрдиреЗ рдХреА рд╕рдорд╕реНрдпрд╛ рдХреЛ рдХреИрдк рд╕реЗрдЯ рдХреЗ рдЧреБрдгреЛрдВ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛
  3. рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╡рд┐рдзрд┐: рд▓реЛрд╡рд╛рдЬрд╝ рд╕реНрдерд╛рдиреАрдп рд▓реЗрдореНрдорд╛ рдХрд╛ рдХреБрд╢рд▓ рдЕрдиреБрдкреНрд░рдпреЛрдЧ, рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд░рдВрдЧрд╛рдИ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдирд┐рд╢реНрдЪрдпрд╛рддреНрдордХ рдЕрд╕реНрддрд┐рддреНрд╡ рдкрд░рд┐рдгрд╛рдо рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЧрдП
  4. рдЬреНрдпрд╛рдорд┐рддреАрдп рджреГрд╖реНрдЯрд┐рдХреЛрдг: рд╕рдВрдпреЛрдЬрди рд╕рдорд╕реНрдпрд╛ рдХреЛ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ (рдПрдлрд╛рдЗрди рдЙрдк-рд╕реНрдерд╛рди рдореЗрдВ рд░реЗрдЦрд╛ рд╡рд┐рдиреНрдпрд╛рд╕) рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛
  5. рджреНрд╡рд┐рджрд┐рд╢реАрдп рд╕рдВрдмрдВрдз: рди рдХреЗрд╡рд▓ рдХреИрдк рд╕реЗрдЯ рд╕реЗ рд╡рд┐рдХреЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛, рдмрд▓реНрдХрд┐ рдпрд╣ рднреА рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рдХрд┐ рд╡рд┐рдХреЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рдХреИрдк рд╕реЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд░ рд╕рдХрддреА рд╣реИ

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

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

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

рдкреИрд░рд╛рдореАрдЯрд░ рдЪрдпрди

  • рдХреИрдк рд╕реЗрдЯ рдЖрдХрд╛рд░: рдЬреНрдЮрд╛рдд |S| тЙе 2.2202тБ┐ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЧрдпрд╛ (Romera-Paredes рдЖрджрд┐ 2024 рдХреЗ рдкрд░рд┐рдгрд╛рдо рд╕реЗ)
  • рд░рдВрдЧреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛: k = (120|S|)^(1/4), рдпрд╣ рдЪрдпрди рд▓реЛрд╡рд╛рдЬрд╝ рд╕реНрдерд╛рдиреАрдп рд▓реЗрдореНрдорд╛ рдХреА рд╢рд░реНрддреЛрдВ рдХреЛ рдкреВрд░рд╛ рдХрд░рдиреЗ рдХреЛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИ
  • рдЖрдпрд╛рдо рдкреИрд░рд╛рдореАрдЯрд░: n рдХреИрдк рд╕реЗрдЯ рд╕реНрдерд┐рдд рд╕реНрдерд╛рди FтВГтБ┐ рдХрд╛ рдЖрдпрд╛рдо рд╣реИ

рдЬреНрдЮрд╛рдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ

  • рдХреИрдк рд╕реЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛: 2.756тБ┐ (Ellenberg-Gijswijt 2017)
  • рдХреИрдк рд╕реЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛: 2.2202тБ┐ (Romera-Paredes рдЖрджрд┐ 2024)
  • рдкрд┐рдЫрд▓реА рд╡рд┐рдХреЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛: cn^(3/2) (рдЪрддреБрд░реНрднреБрдЬ рд╕реЗ рдмрдЪрдиреЗ рд╡рд╛рд▓реА рдирд┐рд░реНрдорд╛рдг рд╕реЗ)
  • рдЬреНрдЮрд╛рдд рдКрдкрд░реА рд╕реАрдорд╛: exL(n,W) = o(n┬▓) (Solymosi 2024)

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

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо

рдкреНрд░рдореЗрдп (рдореБрдЦреНрдп рдирд┐рдЪрд▓реА рд╕реАрдорд╛):

exL(m, W) тЙе m^1.544

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

тЙе 3^n ┬╖ |S| / k
тЙе 3^n ┬╖ 2.2202^n / (120|S|)^(1/4)
тЙе (3 ┬╖ 2.2202^(3/4))^n / 120^(1/4)

рдЪреВрдВрдХрд┐ рдХреБрд▓ рд╢реАрд░реНрд╖реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ m = 3^(n+1), рдЗрд╕рд▓рд┐рдП n = logтВГ(m/3), рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдиреЗ рдкрд░:

exL(m, W) тЙе c ┬╖ m^(logтВГ(3 ┬╖ 2.2202^(3/4)))
         = c ┬╖ m^(1 + logтВГ(2.2202^(3/4)))
         тЙИ c ┬╖ m^1.544

рдпрд╣ рдкрд┐рдЫрд▓реА m^1.5 рд╕реЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реБрдзрд╛рд░ рд╣реИред

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЦреЛрдЬреЗрдВ

рдЦреЛрдЬ 1: рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз

рджрд╛рд╡рд╛ 1: 9 рд╢реАрд░реНрд╖реЛрдВ рд╡рд╛рд▓реЗ рдкреНрд░рддреНрдпреЗрдХ 3-рднрд╛рдЧ 3-рдПрдХрд░реВрдк рд░реИрдЦрд┐рдХ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдЬрд┐рд╕рдореЗрдВ рдХрдо рд╕реЗ рдХрдо 5 рдХрд┐рдирд╛рд░реЗ рд╣реИрдВ, рд╡рд┐рдХреЗрдЯ рдпрд╛ (6,3)-рд╡рд┐рдиреНрдпрд╛рд╕ рд╣реЛрддрд╛ рд╣реИред

рдирд┐рд╖реНрдХрд░реНрд╖: рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди рдореЗрдВ, рд╕реНрдерд┐рд░рд╛рдВрдХ c тЙд 0.456, рдЬреЛ рдкрд┐рдЫрд▓реА c тЙд 0.5 рд╕реЗ рд╕реБрдзрд╛рд░ рд╣реИред

рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░:

  • рдпрджрд┐ рдбрд┐рдЧреНрд░реА 3 рдХрд╛ рд╢реАрд░реНрд╖ рдореМрдЬреВрдж рд╣реИ (7-рд╢реАрд░реНрд╖ рддрд╛рд░рд╛), рддреЛ рд╢реЗрд╖ рджреЛ рдХрд┐рдирд╛рд░реЛрдВ рдХреЛ рдХрдо рд╕реЗ рдХрдо 3 рдЕрддрд┐рд░рд┐рдХреНрдд рд╢реАрд░реНрд╖реЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ, рдХреБрд▓ тЙе10, рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕
  • рдЗрд╕рд▓рд┐рдП рд╕рднреА рд╢реАрд░реНрд╖реЛрдВ рдХреА рдбрд┐рдЧреНрд░реА 1 рдпрд╛ 2 рд╣реИ
  • рддреАрди рднрд╛рдЧ рдкреНрд░рддреНрдпреЗрдХ рдореЗрдВ 3 рд╢реАрд░реНрд╖ рд╣реИрдВ, 6 рдбрд┐рдЧреНрд░реА-2 рд╢реАрд░реНрд╖, 3 рдбрд┐рдЧреНрд░реА-1 рд╢реАрд░реНрд╖
  • рд╡рд┐рдиреНрдпрд╛рд╕ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рд╡рд┐рдХреЗрдЯ рдЖрд╡рд╢реНрдпрдХ рд░реВрдк рд╕реЗ рдмрдирддрд╛ рд╣реИ

рдЦреЛрдЬ 2: рдкреНрд░рддрд┐рд╡рд░реНрддреА рдкрд░рд┐рдгрд╛рдо

рдирд┐рд╖реНрдХрд░реНрд╖: exL(m,W) тЙд m^(2-c) рдХреЗ рд░реВрдк рдХреА рдХреЛрдИ рднреА рдКрдкрд░реА рд╕реАрдорд╛ FтВГтБ┐ рдореЗрдВ рдХреИрдк рд╕реЗрдЯ рдЖрдХрд╛рд░ рдХреА рдКрдкрд░реА рд╕реАрдорд╛ 3^((4/3)(1-c)n) рдХреА рдУрд░ рд▓реЗ рдЬрд╛рдПрдЧреАред

рдорд╣рддреНрд╡:

  • рдпрджрд┐ exL(m,W) тЙд m^1.69 рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХреЗ, рддреЛ Ellenberg-Gijswijt рдХреА рдХреИрдк рд╕реЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рд╣реЛрдЧрд╛
  • рдпрд╣ рджреЛрдиреЛрдВ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рдмреАрдЪ рджреНрд╡рд┐рджрд┐рд╢реАрдп рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ

рд╕рдВрднрд╛рд╡рд┐рдд рд╕реБрдзрд╛рд░

рдмреЗрд╣рддрд░ рдХреИрдк рд╕реЗрдЯ рдХрд╛ рдЙрдкрдпреЛрдЧ: рдпрджрд┐ Tyrrell рдЕрдиреБрдорд╛рди (рдЖрдХрд╛рд░ 2.233тБ┐ рдХреЗ рдХреИрдк рд╕реЗрдЯ рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡) рд╕рддреНрдп рд╣реИ, рддреЛ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:

exL(m, W) тЙе m^1.548

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

рдЪрд░рдо рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд

  1. рддреБрд░рд╛рди рд╕рдорд╕реНрдпрд╛рдПрдВ:
    • рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА (1978): рд╢рд╛рд╕реНрддреНрд░реАрдп рддреНрд░рд┐рднреБрдЬ рдкреНрд░рдгрд╛рд▓реА рдирд┐рд░реНрдорд╛рдг, рдЫрд╣-рдмрд┐рдВрджреБ рддреАрди-рддреНрд░рд┐рднреБрдЬ рд╡рд┐рдиреНрдпрд╛рд╕ рд╕реЗ рдмрдЪрдирд╛
    • Lazebnik-Verstra├лte (2003): рдкрд░рд┐рдзрд┐ 5 рдХреЗ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ
  2. рд░реИрдЦрд┐рдХ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛рдПрдВ:
    • Gy├бrf├бs-S├бrk├╢zy (2022): рдЕрдзрд┐рдХрддрдо 5 рдХрд┐рдирд╛рд░реЛрдВ рд╡рд╛рд▓реА рд╡рд┐рдиреНрдпрд╛рд╕ рдХреА рддреБрд░рд╛рди рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рдЕрдзреНрдпрдпрди, рд╡рд┐рдХреЗрдЯ рдПрдХрдорд╛рддреНрд░ рдЕрдирд╕реБрд▓рдЭреА рд╕реНрдерд┐рддрд┐ рд╣реИ
    • Solymosi (2024): exL(n,W) = o(n┬▓) рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рд╕рд┐рджреНрдз рдХреА

рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди

  1. рдХреИрдк рд╕реЗрдЯ рд╕рдорд╕реНрдпрд╛:
    • Behrend (1946): рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдореЗрдВ рд╕рдорд╛рдВрддрд░ рд╢реНрд░реЗрдгреА рд╕реЗ рдмрдЪрдиреЗ рд╡рд╛рд▓реА рдирд┐рд░реНрдорд╛рдг
    • Edel (2004): рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдЙрддреНрдкрд╛рдж рдХреИрдк рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░, рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдирд┐рд░реНрдорд╛рдг
    • Croot-Lev-Pach (2017): ZтВДтБ┐ рдореЗрдВ рдкреНрд░рдЧрддрд┐-рдореБрдХреНрдд рд╕рдореБрдЪреНрдЪрдп рдкрд░ рдШрд╛рддрд╛рдВрдХреАрдп рдЫреЛрдЯреА рдКрдкрд░реА рд╕реАрдорд╛
    • Ellenberg-Gijswijt (2017): FтВГтБ┐ рдореЗрдВ 2.756тБ┐ рдКрдкрд░реА рд╕реАрдорд╛, рд╕рдлрд▓рддрд╛ рдХрд╛ рдкрд░рд┐рдгрд╛рдо
    • Tyrrell (2023): рдирдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдирд┐рд░реНрдорд╛рдг
    • Romera-Paredes рдЖрджрд┐ (2024): рдмрдбрд╝реЗ рднрд╛рд╖рд╛ рдореЙрдбрд▓ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ 2.2202тБ┐ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдЦреЛрдЬ
  2. рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЗ рд╕рдорд╛рдзрд╛рди рд╕рдореБрдЪреНрдЪрдп:
    • рд░реБрдЬрд╝реНрд╕рд╛ (1993): рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдореЗрдВ рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЗ рд╕рдорд╛рдзрд╛рди рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рд╢рд╛рд╕реНрддреНрд░реАрдп рдХрд╛рд░реНрдп, рд╕рдореАрдХрд░рдг 3x+y=2z+2w рдХреА рд╕рдорд╕реНрдпрд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд
  3. рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди:
    • рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ (2021): 9 рд╢реАрд░реНрд╖реЛрдВ рдкрд░ рдХрдо рд╕реЗ рдХрдо 5 рдХрд┐рдирд╛рд░реЛрдВ рд╡рд╛рд▓реЗ рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рдШрдирддреНрд╡ рдЕрдиреБрдорд╛рди

рдЗрд╕ рдкреЗрдкрд░ рдХреЗ рд▓рд╛рдн

  1. рд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░: рдкрд╣рд▓реА рдмрд╛рд░ рдХреИрдк рд╕реЗрдЯ рдХреА рдирд╡реАрдирддрдо рдкреНрд░рдЧрддрд┐ рдХреЛ рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдкрд░ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЧрдпрд╛
  2. рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрди: рдкреНрд░рддреАрдд рд╣реЛрдиреЗ рд╡рд╛рд▓реА рдЕрд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рдЙрдЬрд╛рдЧрд░ рдХрд┐рдП рдЧрдП
  3. рджреНрд╡рд┐рджрд┐рд╢реАрдп рдкрд░рд┐рдгрд╛рдо: рди рдХреЗрд╡рд▓ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░, рдмрд▓реНрдХрд┐ рдХреИрдк рд╕реЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд╛ рдорд╛рд░реНрдЧ рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛
  4. рд╕рдорд╕реНрдпрд╛ рдкреНрд░рд╕реНрддрд╛рд╡: рддреАрди рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХреА рдЧрдИ рд╣реИрдВ рдЬреЛ рдЖрдЧреЗ рд╕реБрдзрд╛рд░ рдореЗрдВ рд╕рд╣рд╛рдпрдХ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ

рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ

рд╕рдорд╕реНрдпрд╛ 1: рд░реБрдЬрд╝реНрд╕рд╛ рд╕рдорд╕реНрдпрд╛ (1993)

рд╕рдорд╕реНрдпрд╛: рдкрд╣рд▓реЗ n рдкреНрд░рд╛рдХреГрддрд┐рдХ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдЕрдзрд┐рдХрддрдо рдЙрдк-рд╕рдореБрдЪреНрдЪрдп S рдХрд╛ рдЖрдХрд╛рд░ рдХреНрдпрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ S рдореЗрдВ рд╕рдореАрдХрд░рдг 3x+y=2z+2w рдХрд╛ рдХреЛрдИ рдЧреИрд░-рддреБрдЪреНрдЫ рд╕рдорд╛рдзрд╛рди рдирд╣реАрдВ рд╣реИ?

рдорд╣рддреНрд╡: рдпрджрд┐ |S| = n^(1-o(1)), рддреЛ exL(m,W) = m^(2-o(1)) рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬреЛ рдЕрдиреБрдорд╛рдирд┐рдд рдКрдкрд░реА рд╕реАрдорд╛ рдХреЗ рдХрд░реАрдм рд╣реИред

рд╡рд┐рд╕реНрддрд╛рд░: рдХрд┐рд╕реА рднреА рдПрдмреЗрд▓рд┐рдпрди рд╕рдореВрд╣ рдореЗрдВ рдЗрд╕ рд╕рдореАрдХрд░рдг рдпрд╛ рд╕рдорд╛рди рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рд╕реЗ рдмрдЪрдиреЗ рд╡рд╛рд▓реЗ рдмрдбрд╝реЗ рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдЦреЛрдЬрдирд╛ рдкрд░реНрдпрд╛рдкреНрдд рд╣реИред

рд╕рдорд╕реНрдпрд╛ 2: рдореЙрдбреНрдпреВрд▓рд░ рдЕрдВрдХрдЧрдгрд┐рдд рдореЗрдВ рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг

рд╕рдорд╕реНрдпрд╛: Z/nZ рдореЗрдВ рдЕрдзрд┐рдХрддрдо рд╕рдореБрдЪреНрдЪрдп S рдХрд╛ рдЖрдХрд╛рд░ рдХреНрдпрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ S рдореЗрдВ рд╕рдореАрдХрд░рдг

kx - (k-1)y тЙб z (mod n)

рдХрд╛ рдХреЛрдИ рдЧреИрд░-рддреБрдЪреНрдЫ рд╕рдорд╛рдзрд╛рди рдирд╣реАрдВ рд╣реИ, рдЬрд╣рд╛рдВ n = k┬▓ - k + 1, k рдмрдбрд╝рд╛ рдкреВрд░реНрдгрд╛рдВрдХ рд╣реИ?

рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдЪрд╛рд░:

  • рдкреИрд░рд╛рдореАрдЯрд░ ╬▒ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рдХрд┐рдирд╛рд░реЛрдВ рдХреЛ x, x+s, x+╬▒s рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдП рди рдХрд┐ x, x+s, x+2s
  • k рдХрд╛ рдЪрдпрди рдХрд░реЗрдВ рдЬреИрд╕реЗ рдХрд┐ k рдФрд░ k-1 рджреЛрдиреЛрдВ n рдХреЗ рд╕рд╛рде рд╕рд╣рдЕрднрд╛рдЬреНрдп рд╣реЛрдВ, рд░реИрдЦрд┐рдХрддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП
  • рд╡рд┐рдХреЗрдЯ рдХреА рд╕рдореАрдХрд░рдг рд╡рд┐рд▓реЛрдкрди рдХреЗ рдмрд╛рдж рдмрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рдЖрд╡рд╢реНрдпрдХ рд╕рдореАрдХрд░рдг рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ

рд╕рдорд╕реНрдпрд╛ 3: рдЖрдЗрдЬреЗрдВрд╕реНрдЯреАрди рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдореЗрдВ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ

рд╕рдорд╕реНрдпрд╛: рддреНрд░рд┐рднреБрдЬ рдЬрд╛рд▓реА рдореЗрдВ рдЕрдзрд┐рдХрддрдо рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдХреНрдпрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдХрд┐рд╕реА рднреА рджрд┐рд╢рд╛ рдХреЗ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рдирд╣реАрдВ рд╣реИрдВ?

рдкреГрд╖реНрдарднреВрдорд┐:

  • рдЖрдЗрдЬреЗрдВрд╕реНрдЯреАрди рдкреВрд░реНрдгрд╛рдВрдХ: a+╧Йb рдХреЗ рд░реВрдк рдХреА рдЬрдЯрд┐рд▓ рд╕рдВрдЦреНрдпрд╛рдПрдВ, рдЬрд╣рд╛рдВ ╧Й = (-1+iтИЪ3)/2, a,bтИИZ
  • рдЬрдЯрд┐рд▓ рддрд▓ рдкрд░ рддреНрд░рд┐рднреБрдЬ рдЬрд╛рд▓реА рдмрдирд╛рддреЗ рд╣реИрдВ

рдирд┐рд░реНрдорд╛рдг:

  • рд╢реАрд░реНрд╖ рд╕рдореБрдЪреНрдЪрдп: En = {a+╧Йb : N(a+╧Йb) = a┬▓+b┬▓ тЙд n}
  • рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рд╕реЗ рд░рд╣рд┐рдд рдЙрдк-рд╕рдореБрдЪреНрдЪрдп Sn рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдХрд┐рдирд╛рд░реЛрдВ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдП
  • рдХрд┐рдирд╛рд░реЗ рдкрд░рд┐рднрд╛рд╖рд╛: b = a-s, c = a+╧Йs, рдЬрд╣рд╛рдВ sтИИSn

рдореБрдЦреНрдп рд╕рдореАрдХрд░рдг: рд╡рд┐рдХреЗрдЯ рд╢рд░реНрдд рд╕рд░рд▓ рд╣реЛрдХрд░:

t - w = ╧Й(w - v)

рдпрд╣ рдареАрдХ t, v, w рдХреЗ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рдмрдирд╛рдиреЗ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИред

рдХрдард┐рдирд╛рдИ: рдирд┐рд╢реНрдЪрд┐рдд рджрд┐рд╢рд╛ рдХреЗ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рд╕реЗ рдмрдЪрдирд╛ рдЖрд╕рд╛рди рд╣реИ (Behrend-рдкреНрд░рдХрд╛рд░ рдирд┐рд░реНрдорд╛рдг), рд▓реЗрдХрд┐рди рд╕рднреА рджрд┐рд╢рд╛рдУрдВ рдХреЗ рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рд╕реЗ рдмрдЪрдирд╛ рдмрд╣реБрдд рдХрдард┐рди рдкреНрд░рддреАрдд рд╣реЛрддрд╛ рд╣реИред

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

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

  1. рд╕реБрдзрд╛рд░реА рдЧрдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛: exL(m,W) тЙе m^1.544, рдкрд┐рдЫрд▓реА m^1.5 рд╕реЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реБрдзрд╛рд░
  2. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рдВрдмрдВрдз:
    • рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдХреИрдк рд╕реЗрдЯ рд╕рдорд╕реНрдпрд╛ рд╕реЗ рдШрдирд┐рд╖реНрда рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ
    • рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди рдХреЗ рд╕реНрдерд┐рд░рд╛рдВрдХ рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛
    • рд░реБрдЬрд╝реНрд╕рд╛ рдХреА рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг рд╕рдорд╕реНрдпрд╛ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛
  3. рджреНрд╡рд┐рджрд┐рд╢реАрдп рдкрд░рд┐рдгрд╛рдо: рд╡рд┐рдХреЗрдЯ рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХреИрдк рд╕реЗрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХреА рдУрд░ рд▓реЗ рдЬрд╛рдПрдЧрд╛
  4. рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ: m^(2-╬╡) рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рддрдХ рдкрд╣реБрдВрдЪрдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рддреАрди рд╕рдВрднрд╛рд╡рд┐рдд рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХреА рдЧрдИ рд╣реИрдВ

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

  1. рд╕реАрдорд╛рдУрдВ рдХрд╛ рдЕрдВрддрд░:
    • рдирд┐рдЪрд▓реА рд╕реАрдорд╛: m^1.544
    • рдКрдкрд░реА рд╕реАрдорд╛: o(m┬▓)
    • рдЕрднреА рднреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░ рдореМрдЬреВрдж рд╣реИ, рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдорд╛рди m┬▓ рдХреЗ рдХрд░реАрдм рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
  2. рдЬреНрдЮрд╛рдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдкрд░ рдирд┐рд░реНрднрд░рддрд╛: рд╕реБрдзрд╛рд░ рдХреИрдк рд╕реЗрдЯ рдХреА рдкреНрд░рдЧрддрд┐ рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИ, рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рд╡рд░реНрддрдорд╛рди рд╕рд░реНрд╡рд╢реНрд░реЗрд╖реНрда рдкрд░рд┐рдгрд╛рдореЛрдВ рддрдХ рд╕реАрдорд┐рдд рд╣реИ
  3. рдирд┐рд░реНрдорд╛рдг рдХреА рд╡рд┐рд╢реЗрд╖рддрд╛: рдирд┐рд░реНрдорд╛рдг FтВГтБ┐ рдХреА рд╡рд┐рд╢реЗрд╖ рд╕рдВрд░рдЪрдирд╛ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ, рдЕрдиреНрдп рд╕реЗрдЯрд┐рдВрдЧреНрд╕ рдореЗрдВ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХрдард┐рди рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
  4. рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рдХрдард┐рдирд╛рдИ:
    • рд╕рдорд╕реНрдпрд╛ 1 (рд░реБрдЬрд╝реНрд╕рд╛ 1993) 30 рд╡рд░реНрд╖реЛрдВ рд╕реЗ рдЦреБрд▓реА рд╣реИ
    • рд╕рдорд╕реНрдпрд╛ 3 (рд╕рдордмрд╛рд╣реБ рддреНрд░рд┐рднреБрдЬ рд╕реЗ рдмрдЪрдирд╛) рдмрд╣реБрдд рдХрдард┐рди рдкреНрд░рддреАрдд рд╣реЛрддрд╛ рд╣реИ
    • рдпрд╣ рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рд╣реИ рдХрд┐ рдпреЗ рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреНрд░рднрд╛рд╡реА рд░реВрдк рд╕реЗ рд╣рд▓ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ

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

  1. рдХреИрдк рд╕реЗрдЯ рд╕реАрдорд╛рдУрдВ рдореЗрдВ рд╕реБрдзрд╛рд░:
    • рдпрджрд┐ Tyrrell рдЕрдиреБрдорд╛рди рд╕рддреНрдп рд╣реИ, рддреЛ m^1.548 рддрдХ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
    • рдмреЗрд╣рддрд░ рдХреИрдк рд╕реЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рд╕реАрдзреЗ рд╡рд┐рдХреЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд░рддреА рд╣реИ
  2. рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рд╕рдорд╛рдзрд╛рди:
    • рд░реБрдЬрд╝реНрд╕рд╛ рдХреА рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг рд╕рдорд╕реНрдпрд╛
    • рдореЙрдбреНрдпреВрд▓рд░ рдЕрдВрдХрдЧрдгрд┐рдд рдореЗрдВ рд╕рдореАрдХрд░рдг рд╕реЗ рдмрдЪрдиреЗ рдХреА рд╕рдорд╕реНрдпрд╛
    • рдЖрдЗрдЬреЗрдВрд╕реНрдЯреАрди рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдореЗрдВ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдорд╕реНрдпрд╛
  3. рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░:
    • exL(n,W) рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░
    • рдпрд╣ рдмрджрд▓реЗ рдореЗрдВ рдХреИрдк рд╕реЗрдЯ рдХреА рдКрдкрд░реА рд╕реАрдорд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд░реЗрдЧрд╛
  4. рдирд┐рд░реНрдорд╛рдг рдХрд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг:
    • рдЕрдиреНрдп рд╕рдореВрд╣реЛрдВ рдпрд╛ рдХреНрд╖реЗрддреНрд░реЛрдВ рдкрд░ рд╕рдорд╛рди рдирд┐рд░реНрдорд╛рдг рдХреА рдЦреЛрдЬ
    • рдЕрдиреНрдп рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдгреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди
  5. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╕рддреНрдпрд╛рдкрди:
    • рдЫреЛрдЯреЗ рдкреИрдорд╛рдиреЗ рдкрд░ рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╕рддреНрдпрд╛рдкрди
    • рдмреЗрд╣рддрд░ рдирд┐рд░реНрдорд╛рдг рдпрд╛ рд╡рд┐рдиреНрдпрд╛рд╕ рдХреА рдЦреЛрдЬ

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

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

  1. рд╡рд┐рдзрд┐ рдХреА рдирд╡рд╛рдЪрд╛рд░ рд╢рдХреНрддрд┐:
    • рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА рдирд┐рд░реНрдорд╛рдг рдХреЛ рдкреВрд░реНрдгрд╛рдВрдХ рд╡рд▓рдп рд╕реЗ рдкрд░рд┐рдорд┐рдд рдХреНрд╖реЗрддреНрд░ рддрдХ рдХреБрд╢рд▓рддрд╛рдкреВрд░реНрд╡рдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдЧрдпрд╛
    • рдХреИрдк рд╕реЗрдЯ рдХреА рдирд╡реАрдирддрдо рдкреНрд░рдЧрддрд┐ рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЧрдпрд╛
    • рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╡рд┐рдзрд┐ (рд▓реЛрд╡рд╛рдЬрд╝ рд╕реНрдерд╛рдиреАрдп рд▓реЗрдореНрдорд╛) рдХрд╛ рдкрд░рд┐рд╖реНрдХреГрдд рдЕрдиреБрдкреНрд░рдпреЛрдЧ
  2. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ:
    • рдЪрд░рдо рд╣рд╛рдЗрдкрд░рдЧреНрд░рд╛рдл рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рдпреЛрдЧрд╛рддреНрдордХ рд╕рдВрдпреЛрдЬрди рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рдЙрдЬрд╛рдЧрд░ рдХрд┐рдП рдЧрдП
    • рдХрдИ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЗ рдмреАрдЪ рд╕рдорд╛рдирддрд╛ рдпрд╛ рдирд┐рд╣рд┐рддрд╛рд░реНрде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдЧрдП
    • рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ рдЕрдиреБрдорд╛рди рдХреЗ рд╕реНрдерд┐рд░рд╛рдВрдХ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛
  3. рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рдорд╣рддреНрддрд╛:
    • 30 рд╡рд░реНрд╖реЛрдВ рд╕реЗ рдЪрд▓реА рдЖ рд░рд╣реА рд╕рдорд╕реНрдпрд╛ рдХреА рд╕реАрдорд╛ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реБрдзрд╛рд░
    • рджреНрд╡рд┐рджрд┐рд╢реАрдп рдкрд░рд┐рдгрд╛рдо (рд╡рд┐рдХреЗрдЯтЖФрдХреИрдк рд╕реЗрдЯ)
    • рдЖрдЧреЗ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рд╕реНрдкрд╖реНрдЯ рджрд┐рд╢рд╛ рдирд┐рд░реНрджреЗрд╢
  4. рд▓реЗрдЦрди рд╕реНрдкрд╖реНрдЯрддрд╛:
    • рд╕рдВрд░рдЪрдирд╛ рд╕реНрдкрд╖реНрдЯ, рддрд░реНрдХ рдХрдареЛрд░
    • рдЖрд░реЗрдЦ рд╕рд╣рдЬ (рд╡рд┐рдХреЗрдЯ рд╕рдВрд░рдЪрдирд╛, рд╕рдореАрдХрд░рдг рд╕рдВрдмрдВрдз, рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡реНрдпрд╛рдЦреНрдпрд╛)
    • рдкрд░реНрдпрд╛рдкреНрдд рдкреГрд╖реНрдарднреВрдорд┐ рдкрд░рд┐рдЪрдп рдФрд░ рдкреНрд░реЗрд░рдгрд╛
  5. рд╕рдорд╕реНрдпрд╛ рдкреНрд░рд╕реНрддрд╛рд╡:
    • рддреАрди рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рд╕реНрдкрд╖реНрдЯ рдЧрдгрд┐рддреАрдп рд╕реВрддреНрд░реАрдХрд░рдг
    • рд╡рд┐рднрд┐рдиреНрди рдЧрдгрд┐рддреАрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ (рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд, рдЬреНрдпрд╛рдорд┐рддрд┐, рд╕рдВрдпреЛрдЬрди)
    • рднрд╡рд┐рд╖реНрдп рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдареЛрд╕ рджрд┐рд╢рд╛рдПрдВ

рдХрдордЬреЛрд░рд┐рдпрд╛рдВ

  1. рд╕реАрдорд╛рдУрдВ рдХрд╛ рдЕрднреА рднреА рдмрдбрд╝рд╛ рдЕрдВрддрд░:
    • рдирд┐рдЪрд▓реА рд╕реАрдорд╛ m^1.544 рдФрд░ рдЕрдиреБрдорд╛рдирд┐рдд m^(2-o(1)) рдХреЗ рдмреАрдЪ рдЕрднреА рднреА рджреВрд░реА рд╣реИ
    • рдКрдкрд░реА рд╕реАрдорд╛ o(m┬▓) рднреА рдкрд░реНрдпрд╛рдкреНрдд рд╕рдЯреАрдХ рдирд╣реАрдВ рд╣реИ
    • рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдорд╛рди рд╕рдВрднрд╡рддрдГ m┬▓ рдХреЗ рдХрд░реАрдм рд╣реИ
  2. рдирд┐рд░реНрднрд░рддрд╛ рд╕рдорд╕реНрдпрд╛:
    • рд╕реБрдзрд╛рд░ рдХреИрдк рд╕реЗрдЯ рдХреА рдкреНрд░рдЧрддрд┐ рдкрд░ рдЧрд╣рд░рд╛рдИ рд╕реЗ рдирд┐рд░реНрднрд░ рд╣реИ
    • рдХреИрдк рд╕реЗрдЯ рд╕рдорд╕реНрдпрд╛ рд╕реНрд╡рдпрдВ рднреА рджреАрд░реНрдШрдХрд╛рд▓реАрди рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛ рд╣реИ
    • рдПрдХ рдкреНрд░рдХрд╛рд░ рдХреА "рдЪрдХреНрд░реАрдп рдирд┐рд░реНрднрд░рддрд╛" рдмрдирддреА рд╣реИ
  3. рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХрддрд╛:
    • рд╕рдорд╕реНрдпрд╛ 1 30 рд╡рд░реНрд╖реЛрдВ рд╕реЗ рдЦреБрд▓реА рд╣реИ, рд╕рдВрднрд╡рддрдГ рдмрд╣реБрдд рдХрдард┐рди рд╣реИ
    • рд╕рдорд╕реНрдпрд╛ 3 рдХреА рдХрдард┐рдирд╛рдИ рдХрд╛ рдкрд░реНрдпрд╛рдкреНрдд рдореВрд▓реНрдпрд╛рдВрдХрди рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
    • рдЗрди рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рд╣рд▓-рдпреЛрдЧреНрдпрддрд╛ рдкрд░ рдЪрд░реНрдЪрд╛ рдХреА рдХрдореА рд╣реИ
  4. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╕рддреНрдпрд╛рдкрди рдХреА рдХрдореА:
    • рдЫреЛрдЯреЗ рдкреИрдорд╛рдиреЗ рдкрд░ рдорд╛рдорд▓реЛрдВ рдХрд╛ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╕рддреНрдпрд╛рдкрди рдирд╣реАрдВ рд╣реИ
    • рд╕реНрдерд┐рд░рд╛рдВрдХ рдХрд╛рд░рдХ рд╕рдВрднрд╡рддрдГ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реИрдВ
    • рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреА рдХрдореА рд╣реИ
  5. рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХреА рд╕реАрдорд╛рдПрдВ:
    • рдирд┐рд░реНрдорд╛рдг FтВГ рдХреА рд╡рд┐рд╢реЗрд╖ рдЧреБрдгреЛрдВ рдкрд░ рдЕрддреНрдпрдзрд┐рдХ рдирд┐рд░реНрднрд░ рд╣реИ
    • рдЕрдиреНрдп рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рдпрд╛ рд╕рд╛рдорд╛рдиреНрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рд╣реИ
    • рдЖрдЗрдЬреЗрдВрд╕реНрдЯреАрди рдкреВрд░реНрдгрд╛рдВрдХ рдирд┐рд░реНрдорд╛рдг рдЕрднреА рдкреВрд░реА рддрд░рд╣ рд╡рд┐рдХрд╕рд┐рдд рдирд╣реАрдВ рд╣реИ

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

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

рдкреНрд░рдпреЛрдЬреНрдп рдкрд░рд┐рджреГрд╢реНрдп

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

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

  1. рд░реБрдЬрд╝реНрд╕рд╛-рд╕рдЬрд╝реЗрдореЗрд░реЗрдбреА (1978): рд╢рд╛рд╕реНрддреНрд░реАрдп рддреНрд░рд┐рднреБрдЬ рдкреНрд░рдгрд╛рд▓реА рдирд┐рд░реНрдорд╛рдг, рдЗрд╕ рдкреЗрдкрд░ рдХреА рд╡рд┐рдзрд┐ рдХрд╛ рдЖрдзрд╛рд░
  2. Ellenberg-Gijswijt (2017): рдХреИрдк рд╕реЗрдЯ рдХреА рд╕рдлрд▓рддрд╛ рдХреА рдКрдкрд░реА рд╕реАрдорд╛ 2.756тБ┐
  3. Romera-Paredes рдЖрджрд┐ (2024): рдирд╡реАрдирддрдо рдХреИрдк рд╕реЗрдЯ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ 2.2202тБ┐, рдЗрд╕ рдкреЗрдкрд░ рдореЗрдВ рд╕реАрдзреЗ рдЙрдкрдпреЛрдЧ рдХреА рдЧрдИ
  4. Gy├бrf├бs-S├бrk├╢zy (2022): рд╡рд┐рдХреЗрдЯ рд╕рдорд╕реНрдпрд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд, рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рд╕реАрдзрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рд╡рд┐рд╖рдп
  5. рдЧреЛрд╡рд░реНрд╕-рд▓реЙрдиреНрдЧ (2021): рд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрдорд╛рди, рдЗрд╕ рдкреЗрдкрд░ рдиреЗ рдЗрд╕рдХреЗ рд╕реНрдерд┐рд░рд╛рдВрдХ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд┐рдпрд╛
  6. рд░реБрдЬрд╝реНрд╕рд╛ (1993): рд░реИрдЦрд┐рдХ рд╕рдореАрдХрд░рдг рд╕рдорд╕реНрдпрд╛, рдЗрд╕ рдкреЗрдкрд░ рдХреА рд╕рдорд╕реНрдпрд╛ 1 рдХрд╛ рд╕реНрд░реЛрдд

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