рдкрд┐рдЫрд▓реЗ рд░рд╡рд┐рд╡рд╛рд░ рдХреЛ, рд░реВрд╕реА рдХреЛрдб рдХрдк 2014 рдХрд╛ рдХреНрд╡рд╛рд▓реАрдлрд╛рдЗрдВрдЧ рджреМрд░ рд╣реБрдЖред рдЗрд╕рдореЗрдВ 802 рдкреНрд░реЛрдЧреНрд░рд╛рдорд░реЛрдВ рдиреЗ рднрд╛рдЧ рд▓рд┐рдпрд╛, рдЬрд┐рдиреНрд╣реЛрдВрдиреЗ рдЪрд╛рд░ рдпреЛрдЧреНрдпрддрд╛рдУрдВ рдореЗрдВ рд╕рд░реНрд╡рд╢реНрд░реЗрд╖реНрда рдкрд░рд┐рдгрд╛рдо рджрд┐рдЦрд╛рдПред рдЗрд╕ рд╕реНрддрд░ рдкрд░, рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХреЛ 3 рдШрдВрдЯреЗ рдореЗрдВ рдЫрд╣ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рдирд╛ рдерд╛, рдЬреЛ рдПрдХ рдШрдВрдЯреЗ рдФрд░ рдпреЛрдЧреНрдпрддрд╛ рд░рд╛рдЙрдВрдб рдореЗрдВ рдПрдХ рд╕реЗ рдЕрдзрд┐рдХ рдХрд╛рд░реНрдп рд╣реИред рдФрд░ рдХрд╛рд░реНрдп рдкрд┐рдЫрд▓реЗ рд╡рд╛рд▓реЗ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдмрд╣реБрдд рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдереЗред 802 рдХреА рдкреНрд░рддрд┐рдпреЛрдЧрд┐рддрд╛ рдХреЗ рджреМрд░рд╛рди, рдХреЗрд╡рд▓ 444 рдкреНрд░рддрд┐рднрд╛рдЧреА рдХрдо рд╕реЗ рдХрдо рдПрдХ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдереЗред рдХреБрд▓ 3271 рд╕рдорд╛рдзрд╛рди рднреЗрдЬреЗ рдЧрдП рдереЗ, рдЬрд┐рдирдореЗрдВ рд╕реЗ 1402 рд╕рд╣реА рдереЗред
рдЬреАрдПрдирдпреВ рд╕реА ++ рдореЗрдВ рдЕрдзрд┐рдХрд╛рдВрд╢ рд╕рдорд╛рдзрд╛рди 1516 рд╣реИрдВред
рдЬрд╛рд╡рд╛ 7 рдореЗрдВ 333 рд╕рдорд╛рдзрд╛рди рд╣реИрдВред
рдЬрд╛рд╡рд╛ 8 - 106 рд╕рдорд╛рдзрд╛рдиред
рдкрд╣рд▓рд╛ рдХрд╛рд░реНрдп A 2:52 рдорд┐рдирдЯ рдореЗрдВ Gennady Korotkevich (рдкрд░реНрдпрдЯрдХ) рджреНрд╡рд╛рд░рд╛ рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ред Gennady рдиреЗ рдХреНрд░рдорд╢рдГ B, C рдФрд░ D рдХреЛ рдХреНрд░рдорд╢рдГ 7:05, 24:29 рдФрд░ 13:05 рдорд┐рдирдЯ рдкрд░ рд╣рд▓ рдХрд┐рдпрд╛ред рд╕рдорд╕реНрдпрд╛ рдИ рдХреЛ рдкрд╣рд▓реЗ рджрд┐рдорд┐рддреНрд░реА рдИрдЧреЛрд░реЛрд╡ (рджрд┐рдорд┐рддреНрд░реА_рдПрдЧреЛрд░реЛрд╡) рджреНрд╡рд╛рд░рд╛ 40:59 рдорд┐рдирдЯ рдкрд░ рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ред рд╕рдорд╕реНрдпрд╛ рдПрдл рд░реВрд╕реА рдХреЛрдб рдХрдк рдХреЗ рдЗрддрд┐рд╣рд╛рд╕ рдореЗрдВ рд╕рдмрд╕реЗ рдХрдард┐рди рдореЗрдВ рд╕реЗ рдПрдХ рдмрди рдЧрдИ - рд╕рднреА рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдореЗрдВ рд╕реЗ, рдХреЗрд╡рд▓ рддреАрди рд▓реЛрдЧреЛрдВ рдиреЗ рдЗрд╕реЗ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рд╣рд▓ рдХрд┐рдпрд╛, рдФрд░ рд╕рдорд╕реНрдпрд╛ рдПрдл рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдкрд╣рд▓реЗ рдЖрд░рд╕реАрд╕реА 2013 рдкреЗрдЯреНрд░ рдорд┐рддреНрд░реАрдЪреЗрд╡ (рдкреЗрдЯреНрд░) рдХреЗ рд╡рд┐рдЬреЗрддрд╛ 2:25:46 рдореЗрдВ рдереЗред
рд╕рднреА рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рдкреВрд░рд╛ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдкрд╣рд▓реЗ 2 рдШрдВрдЯреЗ 47 рдорд┐рдирдЯ рдореЗрдВ Pavel Kunyavskiy (PavelKunyavskiy) рдерд╛ред 3 рд▓реЛрдЧреЛрдВ рджреНрд╡рд╛рд░рд╛ рдХреЗрд╡рд▓ 6 рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛, 5 рдФрд░ рдЕрдзрд┐рдХ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ 100 рд▓реЛрдЧреЛрдВ рджреНрд╡рд╛рд░рд╛ рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ред рдкреЛрд╖рд┐рдд рд╢реАрд░реНрд╖ 50 рдореЗрдВ рдЕрдВрддрд┐рдо рд░реЛрдорди рдмреЗрд▓реА (рд░реЛрдорд╛рд╡реНрд╣рд╛рдЗрдЯ) рдерд╛, рдЬрд┐рд╕рдиреЗ рд╢реБрд░реВ рд╣реЛрдиреЗ рдХреЗ 2 рдШрдВрдЯреЗ 30 рдорд┐рдирдЯ рдмрд╛рдж рдкрд╛рдВрдЪрд╡рд╛рдВ рдХрд╛рд░реНрдп рдкрд╛рд░рд┐рдд рдХрд┐рдпрд╛ред
рдЬреАрддрдиреЗ рдХреА рдЗрдЪреНрдЫрд╛ рдХреЗ рд▓рд┐рдП, рд╣рдо Egor рдХреБрд▓рд┐рдХреЛрд╡ (Egor) рдХреЛ рдиреЛрдЯ рдХрд░рддреЗ рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЛрдВрдиреЗ 7 рд╡реЗрдВ рдкреНрд░рдпрд╛рд╕ рдореЗрдВ рдПрдХ рдХрд╛рд░реНрдп рдХреЛ рдкрд╛рд░рд┐рдд рдХрд░рддреЗ рд╣реБрдП рд╢реАрд░реНрд╖ 50 рдореЗрдВ рдкреНрд░рд╡реЗрд╢ рдХрд┐рдпрд╛ред рдФрд░ рдкреЗрдЯреНрд░ рдорд┐рддреНрд░реАрдЪреЗрд╡ (рдкреЗрдЯреНрд░), рдЬрд┐рдиреНрд╣реЛрдВрдиреЗ рд╕рдорд╕реНрдпрд╛ C рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рддрд░реАрдХреЗ рдХрд╛ рдкрддрд╛ рдирд╣реАрдВ рд▓рдЧрд╛рдпрд╛, рдЗрд╕реЗ рд╣рд▓ рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХрд░рдиреЗ рд╕реЗ рдЗрдирдХрд╛рд░ рдХрд░ рджрд┐рдпрд╛, рд╕рдмрд╕реЗ рдореБрд╢реНрдХрд┐рд▓ рдХрд╛рдо F рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рдкрд╣рд▓рд╛ рдерд╛ред рдФрд░ рдлрд┐рд░, рдХрд╛рд░реНрдп C рдкрд░ рд▓реМрдЯрддреЗ рд╣реБрдП, рдЗрд╕реЗ рдЕрдВрдд рд╕реЗ 4 рдорд┐рдирдЯ рдкрд╣рд▓реЗ рдкрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдФрд░ рдХреБрд▓ 3 рд▓рд┐рдпрд╛ред рдЬрдЧрд╣ред
рдЗрд╕ рджреМрд░ рдореЗрдВ рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХрд╛ рдХреНрд╖реЗрддреНрд░реАрдп рд╡рд┐рддрд░рдг рдирд┐рдореНрдирд╛рдиреБрд╕рд╛рд░ рдерд╛:
рд░реВрд╕ | 515 |
рдпреВрдХреНрд░реЗрди | 112 |
рдмреЗрд▓реЛрд░реВрд╕ | 77 |
рдХрдЬрд╛рдЦрд╕реНрддрд╛рди | 26 |
рдЕрдореЗрд░рд┐рдХрд╛ | 17 |
рдЖрд░реНрдореАрдирд┐рдпрд╛ | 8 |
рдЙрдЬрд╝реНрдмреЗрдХрд┐рд╕реНрддрд╛рди | 8 |
рд╕реНрд╡рд┐рдЯреНрдЬрд░рд▓реИрдВрдб | 6 |
рдЬрд░реНрдордиреА | 4 |
рд▓рд╛рддрд╡рд┐рдпрд╛ | 4 |
рдСрд╕реНрдЯреНрд░рд┐рдпрд╛ | 2 |
рдмреБрд▓реНрдЧрд╛рд░рд┐рдпрд╛ | 2 |
рдпреВрдирд╛рдЗрдЯреЗрдб рдХрд┐рдВрдЧрдбрдо | 2 |
рдЬреЙрд░реНрдЬрд┐рдпрд╛ | 2 |
рдореЛрд▓рджреЛрд╡рд╛ | 2 |
рдкреЛрд▓реИрдВрдб | 2 |
рд╕рд┐рдВрдЧрд╛рдкреБрд░ рдЧрдгрд░рд╛рдЬреНрдп | 2 |
рдЖрдЬрд╝рд░рдмрд╛рдЗрдЬрд╛рди | 1 |
рдЕрд░реНрдЬреЗрдВрдЯреАрдирд╛ | 1 |
рдЖрдпрд░рд▓реИрдВрдб | 1 |
рдХрдирд╛рдбрд╛ | 1 |
рд╕рд╛рдЗрдкреНрд░рд╕ | 1 |
рд▓рд┐рдереБрдЖрдирд┐рдпрд╛ | 1 |
рдХреЛрд░рд┐рдпрд╛ рдЧрдгрд░рд╛рдЬреНрдп | 1 |
рд╕реНрд▓реЛрд╡рд╛рдХрд┐рдпрд╛ | 1 |
рдЯрд░реНрдХреА | 1 |
рд╕реНрд╡реАрдбрди | 1 |
рдЬрд╛рдкрд╛рди | 1 |
рдХреНрд╡рд╛рд▓реАрдлрд╛рдЗрдВрдЧ рджреМрд░ рдореЗрдВ рдореБрдХрд╛рдмрд▓рд╛ рддреАрд╡реНрд░ рдерд╛ред рдирддреАрдЬрддрди, 50 рд╕рдмрд╕реЗ рдордЬрдмреВрдд рдкреНрд░реЛрдЧреНрд░рд╛рдорд░ рдлрд╛рдЗрдирд▓ рдореЗрдВ рдкрд╣реБрдВрдЪреЗред рд╣рдо рдЙрдирдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдмрд╛рдж рдореЗрдВ рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рдмрд╛рдд рдХрд░реЗрдВрдЧреЗред
рдЯрд╛рд╕реНрдХ рдП рдХрд╛рд░реНрдпреЛрдВ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг
рд╡рд┐рдЪрд╛рд░: рдЕрдиреНрдирд╛ рдорд╛рд▓реЛрд╡рд╛
рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди: рдПрдВрдбреНрд░реА рдХреЛрдорд╛рд░реЛрд╡
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдПрдВрдбреНрд░реА рдХреЛрдорд╛рд░реЛрд╡
рдХрд╛рд░реНрдп рдореЗрдВ рдкрд╛рд░реНрд╕рд┐рдВрдЧ рдХрд╛рд░реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП рдПрдХ рдпреЛрдЬрдирд╛ рддреИрдпрд╛рд░ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ рддрд╛рдХрд┐ рдкрд╛рд░реНрд╕рд┐рдВрдЧ рдХреА рдХреБрд▓ рдЕрд╡рдзрд┐ рдиреНрдпреВрдирддрдо рд╣реЛред рдкрд╣рд▓реЗ рд╕реЗ рд▓реЗрдХрд░ рдорд╕реНрдд рддрдХ рдХреНрд░рдо рдореЗрдВ рдХрд╛рд░реНрдп рдХреЛ рд╣рд▓ рдХрд░рдирд╛ рдЪрд╛рд╣рд┐рдПред рдПрдХ рдХрд╛рд░реНрдп рдХреЗ рд▓рд┐рдП рдкрд╛рд░реНрд╕рд┐рдВрдЧ рд╕рдордп t рд╕реЗрдХрдВрдб рд╣реИред рдПрдХ рдЬреВрд░реА рд╕рджрд╕реНрдп рдХреА рдЬрдЧрд╣ рдПрдХ рдХрд╛рд░реНрдп рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░рдирд╛ - c рд╕реЗрдХрдВрдбред рдпрджрд┐ рдПрдХ рд╣реА рдЬреВрд░реА рд╕рджрд╕реНрдп рдПрдХ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдХрдИ рдХрд╛рд░реНрдп рдХрд░рддрд╛ рд╣реИ, рддреЛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдирд╣реАрдВ рд╣реИред рдпрд╣ рдкреНрд░рддреНрдпреЗрдХ рдЬреВрд░реА рд╕рджрд╕реНрдп рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рд╡рд╣ рдХрд┐рди рдХрд╛рд░реНрдпреЛрдВ рд╕реЗ рдирд┐рдкрдЯрдирд╛ рдЪрд╛рд╣рддрд╛ рд╣реИ рдФрд░ рдХреМрди рд╕реЗ рдирд╣реАрдВред
рдпрд╣ рд╕рдорд╕реНрдпрд╛ рдПрдХ рд▓рд╛рд▓рдЪреА рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рджреНрд╡рд╛рд░рд╛ рд╣рд▓ рдХреА рдЧрдИ рд╣реИред рд╣рдо рдПрдХ рдЬреВрд░реА рд╕рджрд╕реНрдп рдХрд╛ рдЪрдпрди рдХрд░рддреЗ рд╣реИрдВ рдЬреЛ рдкрд╣рд▓реЗ рд╕реЗ рд╢реБрд░реВ рд╣реЛрдиреЗ рд╡рд╛рд▓реА рдЕрдзрд┐рдХрддрдо рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░ рд╕рдХрддрд╛ рд╣реИред рдЙрд╕реЗ рдмрддрд╛рдПрдВ рдХрд┐ k рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рдХреИрд╕реЗ рд╣рд▓ рдХрд░реЗрдВред рдлрд┐рд░, рд╣рдо рд╡рд╣ рдЪреБрди рд▓реЗрддреЗ рд╣реИрдВ рдЬреЛ рдЬрд╛рдирддрд╛ рд╣реИ рдХрд┐ рдЕрдзрд┐рдХрддрдо рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рдХреИрд╕реЗ рд╣рд▓ рдХрд░рдирд╛ рд╣реИ, рдЬреЛ рдХрд┐ kth рд╕реЗ рд╢реБрд░реВ рд╣реЛрддрд╛ рд╣реИред рд╣рдо рдЗрд╕ рддрд░рд╣ рд╕реЗ рдЬрд╛рд░реА рд░рдЦреЗрдВрдЧреЗ рдЬрдм рддрдХ рдХрд┐ рд╕рднреА рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рд╣рд▓ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдлрд┐рд░ рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдЙрддреНрддрд░ m ┬╖ t + q ┬╖ c рд╣реИ , рдЬрд╣рд╛рдБ q рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рдХреА рд╕рдВрдЦреНрдпрд╛ рд╣реИред
рдпрд╣ рд╕рдмрд╕реЗ рдЕрдЪреНрдЫрд╛ рдЬрд╡рд╛рдм рдХреНрдпреЛрдВ рд╣реИ? рдПрдХ рдЬреВрд░реА рд╕рджрд╕реНрдп рдХреЛ рдХреБрдЫ рдмрд┐рдВрджреБрдУрдВ рдкрд░ рдЪреБрдирд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдП рдЬреЛ рдЕрдзрд┐рдХрддрдо рдХрд╛рд░реНрдпреЛрдВ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдирд╣реАрдВ рдХрд░рдирд╛ рдЪрд╛рд╣рддрд╛ рд╣реИред рдлрд┐рд░, рдЗрд╕ рддрдереНрдп рд╕реЗ рдХрд┐ рд╡рд╣ рдХрд┐рд╕реА рдРрд╕реЗ рд╡реНрдпрдХреНрддрд┐ рджреНрд╡рд╛рд░рд╛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ рдЬреЛ рдЬрд╛рдирддрд╛ рд╣реИ рдХрд┐ рдХреИрд╕реЗ рдЕрдзрд┐рдХ рдЬреБрджрд╛ рдХрд░рдирд╛ рд╣реИ рдФрд░ рдЙрд╕реЗ рдЕрдзрд┐рдХ рдЬреБрджрд╛ рд╣реЛрдиреЗ рджреЗрдирд╛ рд╣реИ, рдЬрд╡рд╛рдм рдХреЗрд╡рд▓ рд╕реБрдзрд╛рд░ рдХрд░ рд╕рдХрддрд╛ рд╣реИред
рдпрд╣ рд╕рдорд╛рдзрд╛рди O (n ┬╖ m) рдХреЗ рд▓рд┐рдП рдХрд╛рдо рдХрд░рддрд╛ рд╣реИ ред
рдЖрдк рдЧрддрд┐рд╢реАрд▓ рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдПрдХ рд╕рд░рд▓ рд╕рдорд╛рдзрд╛рди рднреА рд▓рд┐рдЦ рд╕рдХрддреЗ рд╣реИрдВред dp [ i ] [ j ] рдЙрд╕ рдиреНрдпреВрдирддрдо рд╕рдордп рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ рдЬрд┐рд╕реЗ рдЦрд░реНрдЪ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐ рдореИрдВ рдХрд╛рд░реНрдп рдбрд┐рд╕реЗрдмрд▓реНрдб рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ рдФрд░ i- th рдЬреВрд░реА рд╕рджрд╕реНрдп рдбрд┐рд╕рд╛рдЗрдб рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ред рдЗрд╕ рд╕рд░рдгреА рдХреЛ рдЖрд╕рд╛рдиреА рд╕реЗ O (n 2 m) рдХреЗ рд░реВрдк рдореЗрдВ рдЧрд┐рдирд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рд╕реБрджреВрд░ рдЕрдореЗрдЬрд╝реЕрди рдкрд░ рд╕рдорд╕реНрдпрд╛ рдмреА
рд╡рд┐рдЪрд╛рд░: рд╡рд┐рдЯрд╛рд▓реА рдЕрдХреНрд╖реЗрдиреЛрд╡
рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди: рдбреЗрдорд┐рдб рдХреБрдЪреЗрд░реЗрдВрдХреЛ
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдбреЗрдорд┐рдб рдХреБрдЪреЗрд░реЗрдВрдХреЛ
рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдореЗрдВ, рдПрдХ рд╕реАрдзрд╛ рдЧреНрд░рд╛рдл рдмрдирд╛рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ рдЬрд┐рд╕рдореЗрдВ n рд╢реАрд░реНрд╖ рд░реЗрдЦрд╛рдПрдБ рд╣реЛрдВ рдЬрд┐рдирдореЗрдВ рдирд┐рдореНрди рд╕реНрдерд┐рддрд┐рдпрд╛рдБ рд╕рдВрддреБрд╖реНрдЯ рд╣реЛрдВ:
- рдЧреНрд░рд╛рдл рдореЗрдВ рдЪрдХреНрд░ рдирд╣реАрдВ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП;
- рдкреНрд░рддреНрдпреЗрдХ рдХрд┐рдирд╛рд░реЗ рдкрд░ рдЕрдзрд┐рдХрддрдо рдПрдХ рдХрд┐рдирд╛рд░реЗ рд╣реЛрддрд╛ рд╣реИ;
- рдЧреНрд░рд╛рдлрд╝ рдореЗрдВ рдмрд┐рд▓реНрдХреБрд▓ рдПрдХ рдХреЛрдиреЗ рд╣реЛрдиреЗ рдЪрд╛рд╣рд┐рдП рдЬрд┐рд╕рдореЗрдВ рд╕реЗ рдмрд╛рд╣рд░ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдХрд┐рдирд╛рд░реЗ рдореМрдЬреВрдж рд╣реЛрдВ;
- рдЧреНрд░рд╛рдлрд╝ рдореЗрдВ рдмрд┐рд▓рдХреБрд▓ рдХреЛрдиреЗ рд╣реЛрдиреЗ рдЪрд╛рд╣рд┐рдП рдЬрд┐рд╕рдореЗрдВ рдЖрдиреЗ рд╡рд╛рд▓реЗ рдХрд┐рдирд╛рд░реЗ рдореМрдЬреВрдж рд╣реЛрдВред
рд╢реБрд░реВ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдорд╛рдорд▓реЛрдВ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░реЗрдВрдЧреЗ рдЬрдм рдЬрд╡рд╛рдм "IMPOSSIBLE" рд╣реЛрдЧрд╛ред рдпреЗ рдРрд╕реЗ рдорд╛рдорд▓реЗ рд╣реИрдВ рдЬрдм рдХрдо рд╕реЗ рдХрдо рдПрдХ рд╕реНрдерд┐рддрд┐ рд╕рддреНрдп рд╣реИ:
- рдмреЗрдЯрд┐рдпреЛрдВ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдЕрдзрд┐рдХ рдорд╛рддрд╛рдУрдВ;
- n -1 рд╕реЗ рдЕрдзрд┐рдХ рдорд╛рддрд╛рдПрдБ рд╣реИрдВ (рд╕рднреА рдорд╛рддрд╛рдПрдБ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ);
- n -1 рд╕реЗ рдЕрдзрд┐рдХ рдмреЗрдЯрд┐рдпрд╛рдВред
рдпрджрд┐ рдЗрд╕ рддрд░рд╣ рдХреЗ рдЧреНрд░рд╛рдл рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ, рддреЛ рдкрд╣рд▓реЗ рд╣рдо рдХрд┐рдирд╛рд░реЛрдВ рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рд╣рдорд╛рд░реЗ рдкрд╛рд╕ рдПрдХ +1 рдорд╣рд┐рд▓рд╛ рд╢рд╛рдорд┐рд▓ рд╣реЛрдЧреА, рдФрд░ рд╣рдорд╛рд░реА рдПрдХ рдорд╛рдВ рдФрд░ рдПрдХ рдмреЗрдЯрд┐рдпрд╛рдВ рд╣реЛрдВрдЧреАред рдЬрд┐рд╕рдХреЗ рдмрд╛рдж, рд╣рдо рдХрд┐рд╕реА рднреА рдорд╛рддрд╛рдУрдВ рдХреА рдмреЗрдЯрд┐рдпреЛрдВ рдХреЗ рдкреВрд░рдХ рд╣реИрдВ рддрд╛рдХрд┐ рдмреЗрдЯрд┐рдпрд╛рдВ рдмрд┐рд▓реНрдХреБрд▓ рдмреА рдмрди рдЬрд╛рдПрдВред рдРрд╕рд╛ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рдХрд┐ рдХреБрдЫ рдорд╣рд┐рд▓рд╛рдПрдВ рди рддреЛ рдорд╛рдВ рд╣реИрдВ рдФрд░ рди рд╣реА рдмреЗрдЯрд┐рдпрд╛рдВ, рд▓реЗрдХрд┐рди рдпрд╣ рдХрд╛рд░реНрдп рдХреА рд╕реНрдерд┐рддрд┐ рдХреЗ рд╡рд┐рдкрд░реАрдд рдирд╣реАрдВ рд╣реИред
рд╕рдорд╕реНрдпрд╛ рд╕реАред рдкреНрд░рдпреЛрдЧрд╢рд╛рд▓рд╛ рднреМрддрд┐рдХреА
рд╡рд┐рдЪрд╛рд░: рд╡рд┐рдЯрд╛рд▓рд┐рдХ рдЕрдХреНрд╕реЗрдиреЛрд╡
рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди: рдЖрд░реНрдЯреЗрдо рд╡рд╛рд╕рд┐рд▓рд┐рд╡
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдЖрд░реНрдЯреАрдо рд╡рд╛рд╕рд┐рд▓рд┐рд╡
рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдореЗрдВ, рдпрд╣ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ рдХрд┐ рдардВрдбреЗ рдФрд░ рдЧрд░реНрдо рдкрд╛рдиреА рдХреЗ рд╕рд╛рде рджреЛ рдЬрд╣рд╛рдЬреЛрдВ рд╕реЗ рдкрд╛рдиреА рдорд┐рд▓рд╛рдХрд░ рдкрд╛рдиреА рдХрд╛ рддрд╛рдкрдорд╛рди рдХреНрдпрд╛ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред рдХрд┐рд╕реА рджрд┐рдП рдЧрдП рддрд╛рдкрдорд╛рди рдкрд░ рдРрд╕реЗ рдХрдИ рдЕрдиреБрд░реЛрдзреЛрдВ рдХрд╛ рдЬрд╡рд╛рдм рджреЗрдирд╛ рдЖрд╡рд╢реНрдпрдХ рдерд╛ред
рд╣рдо рдкрд╛рдиреА рдХреЗ рддрд╛рдкрдорд╛рди рдХреЗ рд▓рд┐рдП рд╕реВрддреНрд░ рд▓рд┐рдЦрддреЗ рд╣реИрдВ рдпрджрд┐ рд╣рдо рд╡реЙрд▓реНрдпреВрдо рдЧ i рдХреЗ рд╕рд╛рде рдПрдХ рдмрд░реНрддрди рд╕реЗ рдардВрдбрд╛ рдкрд╛рдиреА рдорд┐рд▓рд╛рддреЗ рд╣реИрдВ рдФрд░ рдорд╛рддреНрд░рд╛ h j : T = p / q = (C ┬╖ c i + H ┬╖ h j ) / (c i + h j ) рдХреЗ рд╕рд╛рде рдПрдХ рдмрд░реНрддрди рд╕реЗ рдЧрд░реНрдо рдкрд╛рдиреА рдорд┐рд▓рд╛рддреЗ рд╣реИрдВред рдЗрд╕ рд╕реВрддреНрд░ рд╕реЗ, рд╣рдореЗрдВ рдпрд╣ рдкрддрд╛ рдЪрд▓рддрд╛ рд╣реИ рдХрд┐ (H ┬╖ q - p) / (p - C ┬╖ q) = c i / h j рдЗрд╕ рдкреНрд░рдХрд╛рд░, рд╣рдордиреЗ рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдХреЛ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдореЗрдВ рдХрдо рдХрд░ рджрд┐рдпрд╛: рдПрдХ рдЕрдирд┐рдпрдорд┐рдд рдЕрдВрд╢ рдФрд░ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдФрд░ рд╣рд░ рдХрд╛ рдПрдХ рд╕реЗрдЯ рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдХреНрдпрд╛ рдПрдХ рдЕрдВрд╢ рдХрд╛ рдЪрдпрди рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ рдФрд░ рднрд╛рдЬрдХ рддрд╛рдХрд┐ рджрд┐рдП рдЧрдП рдЕрдВрд╢ рдкреНрд░рд╛рдкреНрдд рд╣реЛ?
рд╣рдо рд╕рдВрдХреЗрддрди A x , рд╕рднреА c i / x рдХреЗ рд╕рдореБрдЪреНрдЪрдп рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдБ c i , x рд╕реЗ рд╡рд┐рднрд╛рдЬреНрдп рд╣реИред рдЗрд╕реА рддрд░рд╣, рдмреА y рд╕рднреА h i / y рдХрд╛ рд╕реЗрдЯ рд╣реИ, рдЬрд╣рд╛рдБ h i рдХреЛ y рд╕реЗ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рддрдм irreducible рднрд┐рдиреНрди p / q рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ A p рдФрд░ B q рдкреНрд░рддрд┐рдЪреНрдЫреЗрдж рд╣реЛред рдпрд╣ рдзреНрдпрд╛рди рджреЗрдиреЗ рдпреЛрдЧреНрдп рд╣реИ рдХрд┐ рд╕рднреА рд╕реЗрдЯ рдП рдПрдХреНрд╕ рдФрд░ рдмреА рд╡рд╛рдИ рдХрд╛ рдХреБрд▓ рдЖрдХрд╛рд░ рдУ ( рдПрдо рд▓реЙрдЧ рдПрдо ) рд╣реИ, рдЬрд╣рд╛рдВ рдПрдо рдЬрд╣рд╛рдЬреЛрдВ рдХреА рдорд╛рддреНрд░рд╛ рдкрд░ рдкреНрд░рддрд┐рдмрдВрдз рд╣реИ (рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдореЗрдВ, рдПрдо 10 10 рд╣реИ)ред
рдЬрдм A x рдФрд░ B y рдХреЛ рдХреНрд░рдордмрджреНрдз рд╕реВрдЪрд┐рдпреЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ рдПрдХ рдХреНрд╡реЗрд░реА рдХреЛ O (M / max (x, y)) рдореЗрдВ рдирд┐рд╖реНрдкрд╛рджрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдпрджрд┐ рд╣рдо рдП рдФрд░ рдмреА рд╡рд╛рдИ рдХреЛ рдмрд┐рдЯ рд╕реЗрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рджрд░реНрд╢рд╛рддреЗ рд╣реИрдВ, рддреЛ рд╣рдореЗрдВ рдкреНрд░рддрд┐ рдЕрдиреБрд░реЛрдз рдУ ( рдПрдо / 64) рдореЗрдВ рдПрдХ рд╕рдорд╛рдзрд╛рди рдорд┐рд▓рддрд╛ рд╣реИред
рд╕рдмрд╕реЗ рддреЗрдЬрд╝ рд╕рдорд╛рдзрд╛рди рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрджрд┐ рдЖрдк рдХрдИ рдмрд╛рд░ рдПрдХ рд╣реА рдЕрдВрд╢ рдХреЗ рдЙрддреНрддрд░реЛрдВ рдХреА рдЧрдгрдирд╛ рдирд╣реАрдВ рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рд╕рдорд╛рдзрд╛рди рдХрд╛рд░реНрдп рд╕рдордп рдХреЗ рд▓рд┐рдП рдЕрдзрд┐рдХ рд╕рдЯреАрдХ рдЕрдиреБрдорд╛рди рд╕рд╛рдмрд┐рдд рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИред рдЖрдЗрдП рд╣рдо рдЕрдиреБрдорд╛рди O ((M + k) sqrt (M)) рд╕рд┐рджреНрдз рдХрд░реЗрдВ, рдЬрд╣рд╛рдБ k рдкреНрд░рд╢реНрдиреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд╣реИред рдпрджрд┐ p рдФрд░ q рдХреА рдЕрдзрд┐рдХрддрдо sqrt (M) рд╕реЗ рдЕрдзрд┐рдХ рд╣реИ, рддреЛ рдХреНрд╡реЗрд░реА рдХреЛ O (sqrt (M)) рдореЗрдВ рд╕реЗрдЯ рдХреЗ рдЫреЛрдЯреЗ рдХреЗ рд╕рднреА рддрддреНрд╡реЛрдВ рдХреЛ рджреЗрдЦрддреЗ рд╣реБрдП рдирд┐рд╖реНрдкрд╛рджрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЕрдиреНрдп рд╕рднреА рдкреНрд░рд╢реНрдиреЛрдВ рдХреЗ рд▓рд┐рдП рдирд┐рд╖реНрдкрд╛рджрди рд╕рдордп рдХрд╛ рдпреЛрдЧ рдХрд╛ рдЕрдиреБрдорд╛рди рд▓рдЧрд╛рдПрдВред O (M / x) рдореЗрдВ рдирд┐рд╖реНрдкрд╛рджрд┐рдд рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ 2 рд╕реЗ рдЕрдзрд┐рдХ рдПрдХреНрд╕ рдХреНрд╡реЗрд░реА рдирд╣реАрдВ рд╣реИрдВред рд╕рднреА рдПрдХреНрд╕ рдкрд░ рд╕рд╛рд░рд╛рдВрд╢рд┐рдд рдХрд░рдирд╛ рдФрд░ рдпрд╣ рдзреНрдпрд╛рди рд░рдЦрдирд╛ рдХрд┐ x sqrt (M) рд╕реЗ рдмрдбрд╝рд╛ рдирд╣реАрдВ рд╣реИ, рд╣рдо рдЕрдиреБрдорд╛рди O ((M + k) sqrt (M)) рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ: рд╕рдорд╛рдзрд╛рди рдХрд╛ рдХреБрд▓ рд╕рдордп: O ((M + k) sqrt (M) ред
рдЯрд╛рд╕реНрдХ рдбреАред рдЖрд░реА рдХрд╛ рдирд┐рд░реНрдорд╛рдг
рд╡рд┐рдЪрд╛рд░: рдирд┐рдХреЛрд▓реЗ рд╡реЗрджрд░рдирд┐рдХреЛрд╡
рдЕрд╣рд╕рд╛рд╕: рдирд┐рдХреЛрд▓реЗ рд╡реЗрджрд░рдирд┐рдХреЛрд╡
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдирд┐рдХреЛрд▓реЗ рд╡реЗрджрд░рдирд┐рдХреЛрд╡
рдХрд╛рд░реНрдп рдХреЛ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИ, рдЬреИрд╕реЗ:
- рдПрдХ 2 ┬╖ i -1 тЙд рдПрдХ 2 ┬╖ i
- рдПрдХ 2 ┬╖ i тЙе рдПрдХ 2 ┬╖ i + 1
рд╕рднреА рдХреЗ рд▓рд┐рдП рдореИрдВ 1 рд╕реЗ n We 2 рддрдХред рд╣рдо рдЗрд╕ рддрд░рд╣ рдХреЗ рдХреНрд░рдордЪрдп рдореЗрдВ рд╡реГрджреНрдзрд┐ рдХреА рд╡реГрджреНрдзрд┐ рдХреЛ рдХрд╣рддреЗ рд╣реИрдВред
рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ рдРрд╕реЗ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдЙрди рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ рдЬрд┐рдирдХреА рд╕рдВрдЦреНрдпрд╛ рд╡рд┐рд╖рдо рд╕реНрдерд┐рддрд┐ рд╣реИ, рдЙрдирдХреЗ рдкрдбрд╝реЛрд╕рд┐рдпреЛрдВ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдЕрдзрд┐рдХ рд╣реИред рд╡рд┐рд╢реЗрд╖рдг рдкрддреНрд░рд╛рдЪрд╛рд░: b i = n - рдПрдХ i ред рд╣рдо рдЗрд╕ рддрд░рд╣ рдХреЗ рдХреНрд░рдордЪрдп рдХреЛ рдШрдЯрддреЗ рд╣реБрдП рдЖрд░реА рдХреЗ рд░реВрдк рдореЗрдВ рдХрд╣рддреЗ рд╣реИрдВред рд╕рдорд╕реНрдпрд╛ рдХреЗ рд╕рдорд╛рдзрд╛рди рдХреЗ рд▓рд┐рдП рдпрд╣ рдЖрдЧреЗ рднреА рд╣рдорд╛рд░реЗ рд▓рд┐рдП рдЙрдкрдпреЛрдЧреА рд╣реЛрдЧрд╛ред
рдЬрд╛рд╣рд┐рд░ рд╣реИ, рдпрджрд┐ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд▓рдВрдмрд╛рдИ 0 рдпрд╛ 1 рд╣реИ, рддреЛ рдЙрддреНрддрд░ 1 рд╣реИред
рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рд╣рдо 0 рд╕реЗ n рддрдХ рдХреА рд╕рднреА рд▓рдВрдмрд╛рдИ рдХреЗ рд▓рд┐рдП рдЙрддреНрддрд░ рдЬрд╛рдирддреЗ рд╣реИрдВ, рд╣рдо рдЙрддреНрддрд░ рдХреЛ +1 рдХреЗ рд▓рд┐рдП рдкрд╛рддреЗ рд╣реИрдВред рд╣рдо рдХреБрд▓ рд╕рдВрдЦреНрдпрд╛ рдЕрдиреБрдХреНрд░рдореЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВрдЧреЗред рдмрдврд╝рддреА рд╣реБрдИ рд╕рдВрдЦреНрдпрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрдкрдХреЛ рдЕрдиреБрдХреНрд░рдореЛрдВ рдХреА рдХреБрд▓ рд╕рдВрдЦреНрдпрд╛ рдХреЛ 2 рд╕реЗ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ рдмрдврд╝рддреА рд╕рдВрдЦреНрдпрд╛ рдШрдЯрдиреЗ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИред
рдЪрд▓реЛ n +1 рдХреЛ 2 ┬╖ k рдкрд░ рд░рдЦрд╛ рдЬрд╛рдП, рдлрд┐рд░ рдкрд╣рд▓реЗ рд╣рдорд╛рд░реЗ рдкрд╛рд╕ 2 ┬╖ k an1 рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд╕рд╛рде рдПрдХ рдмрдврд╝рддреА рд╣реБрдИ рдХрдЯрд╛рд╡ рд╣реИ, рдФрд░ рдлрд┐рд░ n ┬╖2 ┬╖ k +1 рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд╕рд╛рде рдПрдХ рдмрдврд╝рддреА sawtooth рд╣реИред рдкрд╣рд▓реЗ 2 ┬╖ k positions1 рдкрджреЛрдВ рдХреЗ рд▓рд┐рдП, рд╣рдо рдХрд┐рд╕реА рднреА n рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдЪреБрди рд╕рдХрддреЗ рд╣реИрдВред рдХреБрд▓ рдореЗрдВ, рд╣рдо рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ рдХрд┐ рд▓рдВрдмрд╛рдИ n + 1 рдХреЗ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП рд╕рдВрдЦреНрдпрд╛ n + 1 рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╣реИ 2 ┬╖ k : ans 2 ┬╖ k ┬╖ 1 ┬╖ ans n ┬╖2 ┬╖ k +1 ┬╖ Binom ( n , 2 / k тИТ1) ред
N +1 рдХреЛ рд╕реНрдерд┐рддрд┐ 2 ┬╖ k +1 рдкрд░ рд░рдЦрд╛ рдЬрд╛рдП, рдлрд┐рд░ рдкрд╣рд▓реЗ рд╣рдорд╛рд░реЗ рдкрд╛рд╕ 2 oth k рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд╕рд╛рде рдПрдХ рдШрдЯрддрд╛ рд╣реБрдЖ sawtooth рд╣реИ, рдФрд░ рдлрд┐рд░ n ┬╖2 ┬╖ k рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд╕рд╛рде рдмрдврд╝ рд░рд╣рд╛ рд╣реИред рдкрд╣рд▓реЗ 2 ┬╖ k рдкрджреЛрдВ рдХреЗ рд▓рд┐рдП, рд╣рдо рдХрд┐рд╕реА рднреА n рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдЪреБрди рд╕рдХрддреЗ рд╣реИрдВред рдХреБрд▓ рд╣рдореЗрдВ рдпрд╣ рдорд┐рд▓рддрд╛ рд╣реИ рдХрд┐ рд▓рдВрдмрд╛рдИ n + 1 рдХреЗ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП рдирдВрдмрд░ n + 1 рд╕реНрдерд┐рддрд┐ 2 ┬╖ k + 1: ans 2 ┬╖ k ┬╖ ans n тИТ2 ┬╖ k ┬╖ Binom ( n , 2 ┬╖ k )ред
рдХреБрд▓, рд▓рдВрдмрд╛рдИ n +1 рдХреЗ sawtooth рджреГрд╢реНрдпреЛрдВ рдХреА рдХреБрд▓ рд╕рдВрдЦреНрдпрд╛: ans n +1 = k n k = 0 ans k ┬╖ ans n - k ┬╖ Binom (n, k) ред
рдЯрд╛рд╕реНрдХ рдИред рд╡реЗрддрди
рд╡рд┐рдЪрд╛рд░: рдЕрдиреНрдирд╛ рдорд╛рд▓реЛрд╡рд╛
рдПрд╣рд╕рд╛рд╕: рдкрд╛рд╡реЗрд▓ рдХреНрд░реЛрдЯрдХреЛрд╡
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдкрд╛рд╡реЗрд▓ рдХреНрд░реЛрдЯрдХреЛрд╡
рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдореЗрдВ, рдПрдХ рдирд┐рд░реНрджреЗрд╢рд┐рдд рдЧреНрд░рд╛рдлрд╝ рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рд╕рднреА рдкрд╕рд▓рд┐рдпреЛрдВ рдХреЛ рддреАрди рднрд╛рдЧреЛрдВ рдореЗрдВ рд╡рд░реНрдЧреАрдХреГрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:
- рдЗрд╕ рд░рд┐рдм рдХреЗ рд╢реАрд░реНрд╖ рдкрд░ рд╡реЗрддрди рдФрд░ рдмреЛрдирд╕ рдХреА рдХрд┐рд╕реА рднреА рд╡реНрдпрд╡рд╕реНрдерд╛ рдореЗрдВ, рдиреЗрддреГрддреНрд╡ рдХреА рд╢рд░реНрдд рдкреВрд░реА рдХреА рдЬрд╛рдПрдЧреА;
- рдиреЗрддреГрддреНрд╡ рдХреА рд╢рд░реНрддреЛрдВ рдХреЛ рдкреВрд░рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдпрд╛ рддреЛ рдЗрд╕ рд░рд┐рдм рдХреЗ рджреЛрдиреЛрдВ рдЫреЛрд░реЛрдВ рдкрд░ рдПрдХ рдмреЛрдирд╕ рдХреЗ рд╕рд╛рде рд╡реЗрддрди рдХреЛ рдмрджрд▓рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдпрд╛ рдХрд┐рд╕реА рднреА рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рд▓рд┐рдП рдирд╣реАрдВ;
- рдореИрдиреБрдЕрд▓ рдХреА рд╢рд░реНрддреЛрдВ рдХреЛ рдкреВрд░рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЗрд╕ рд░рд┐рдм рдХреЗ рдХреЛрдиреЗ рдореЗрдВ рд╕реЗ рдПрдХ рдкрд░ рдмреЛрдирд╕ рдХреЗ рд╕рд╛рде рд╡реЗрддрди рдХреЛ рдмрджрд▓рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред
рдкрд╣рд▓реЗ рдкреНрд░рдХрд╛рд░ рдХреЗ рд╕рднреА рдХрд┐рдирд╛рд░реЛрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдФрд░ рджреВрд╕рд░реЗ рдФрд░ рддреАрд╕рд░реЗ рдкреНрд░рдХрд╛рд░ рдХреЗ рдХрд┐рдирд╛рд░реЛрдВ рдХреЗ рдЙрдиреНрдореБрдЦреАрдХрд░рдг рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рднреВрд▓ рдЬрд╛рдУред рдЗрд╕рдХреЗ рдмрд╛рдж, рд╣рдо рджреВрд╕рд░реЗ рдкреНрд░рдХрд╛рд░ рдХреЗ рдХрд┐рдирд╛рд░реЛрдВ рдХреЗ рд╕рд╛рде рдПрдХ рджреВрд╕рд░реЗ рд╕реЗ рдкрд╣реБрдВрдЪрдиреЗ рд╡рд╛рд▓реЗ рдХреЛрдиреЗ рдХреЛ рдЬреЛрдбрд╝рддреЗ рд╣реИрдВред рдЙрд╕рдХреЗ рдмрд╛рдж, рдпрд╣ рдЬрд╛рдВрдЪрдиреЗ рдХрд╛ рдХрд╛рд░реНрдп рдХрд┐ рдХреНрдпрд╛ рдореИрдиреБрдЕрд▓ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЛ рдкреВрд░рд╛ рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ, рдпрд╣ рдЬрд╛рдВрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рдиреАрдЪреЗ рдЖрддрд╛ рд╣реИ рдХрд┐ рдХреНрдпрд╛ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдЧреНрд░рд╛рдл рдХреЛ рджреЛ рд░рдВрдЧреЛрдВ рдореЗрдВ рд░рдВрдЧрдирд╛ рд╕рдВрднрд╡ рд╣реИ, рдЬрд┐рд╕реЗ рдЧрд╣рд░рд╛рдИ рдореЗрдВ рдЬрд╛рдХрд░ рд╣рд▓ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рдиреНрдпреВрдирддрдо рд╕рдВрдЦреНрдпрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЬрд┐рд╕рдореЗрдВ рдЖрдкрдХреЛ рдПрдХ рдмреЛрдирд╕ рдХреЗ рд╕рд╛рде рд╡реЗрддрди рд╕реНрд╡реИрдк рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИ, рд╣рдо рдЗрд╕ рдЦреЛрдЬ рдХреЛ рдЧрд╣рд░рд╛рдИ рд╕реЗ рд╕рдВрд╢реЛрдзрд┐рдд рдХрд░рддреЗ рд╣реИрдВред рдЪрд╛рд░реЛрдВ рдУрд░ рдЬрд╛рдиреЗ рдФрд░ рдЕрдЧрд▓реЗ рдЬреБрдбрд╝реЗ рдШрдЯрдХ рдХреЛ рджреЛ рд░рдВрдЧреЛрдВ рдореЗрдВ рд░рдВрдЧрдиреЗ рдХреЗ рдмрд╛рдж, рд╣рдо рдПрдХ рдФрд░ рджреВрд╕рд░реЗ рд░рдВрдЧ рдореЗрдВ рд░рдВрдЧреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдХреЛрдиреЗ рдХреА рд╕рдВрдЦреНрдпрд╛ (рдореВрд▓ рдЧреНрд░рд╛рдл, рджреВрд╕рд░реЗ рдкреНрд░рдХрд╛рд░ рдХреЗ рдХрд┐рдирд╛рд░реЛрдВ рд╕реЗ рдЬреБрдбрд╝рдиреЗ рд╕реЗ рдкрд╣рд▓реЗ) рдХреА рдЧрдгрдирд╛ рдХрд░рддреЗ рд╣реИрдВ, рдФрд░ рдпрджрд┐ рдЖрд╡рд╢реНрдпрдХ рд╣реЛ рддреЛ рд░рдВрдЧ рдХреЛ рдЙрд▓реНрдЯрд╛ рдХрд░рддреЗ рд╣реИрдВред
рдЯрд╛рд╕реНрдХ рдПрдл рд░реЛрдмреЛрдЯ
рд╡рд┐рдЪрд╛рд░: рдмреЛрд░рд┐рд╕ рдорд┐рдирд╛рдПрд╡
рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди: рдмреЛрд░рд┐рд╕ рдорд┐рдирд╛рдПрд╡, рдЖрд░реНрдЯреЗрдо рд╡рд╛рд╕рд┐рд▓рд┐рд╡
рд╡рд┐рд╢реНрд▓реЗрд╖рдг: рдмреЛрд░рд┐рд╕ рдорд┐рдирд╛рдПрд╡, рдЖрд░реНрдЯреЗрдо рд╡рд╛рд╕рд┐рд▓рд┐рд╡
рдХрд╛рд░реНрдп рдореЗрдВ, рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдЪрд░рдгреЛрдВ рдореЗрдВ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдПрдХ рд╕реЗрд▓ рд╕реЗ рджреВрд╕рд░реЗ рддрдХ рд╡рд┐рднрд┐рдиреНрди рдкрдереЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреА рдЧрдгрдирд╛ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдЙрд╕реА рд╕рдордп, рдПрдХ рд░реЛрдмреЛрдЯ рдЬреЛ рдХреНрд░рд┐рдпрд╛ рдХрд░рддрд╛ рд╣реИ, рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдкрд╣рд▓реЗ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдкрд░ рдирд╣реАрдВ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рд░реЛрдмреЛрдЯ рдХреЗрд╡рд▓ рдПрдХ рдЪреМрдерд╛рдИ рдЕрдирдВрдд рд╡рд┐рдорд╛рди рдкрд░ рд╣реА рдЪрд▓ рд╕рдХрддрд╛ рд╣реИред
рдкрд╣рд▓реЗ, рдмрд┐рдирд╛ рдХрд┐рд╕реА рд╢рд░реНрдд рдХреЗ рдПрдХ рд╕реЗрд▓ рд╕реЗ рджреВрд╕рд░реЗ рд╕реЗрд▓ рдореЗрдВ рдЬрд╛рдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЬреНрдЮрд╛рдд рдХрд░реЗрдВ рдХрд┐ рдЖрдк рдЕрдВрддрд┐рдо рд╕реЗрд▓ рд╕реЗ рдкрд╣рд▓реЗ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдкрд░ рдирд╣реАрдВ рдЬрд╛ рд╕рдХрддреЗ рд╣реИрдВред рдЗрд╕ рд╕рдорд╕реНрдпрд╛ рдХреЛ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рджреНрд╡рд╛рд░рд╛ рд╕реНрд╡рддрдВрддреНрд░ рд░реВрдк рд╕реЗ рд╣рд▓ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рдлрд┐рд░ рдПрдХ рд╕рдордиреНрд╡рдп рдореЗрдВ рдХрд┐рддрдиреА рдЪрд╛рд▓реЗрдВ рдмрдирд╛рдИ рдЧрдИрдВ, рдФрд░ рджреВрд╕рд░реЗ рдореЗрдВ рдХрд┐рддрдиреА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╣реБрдИ рд╣реИред рдХреИрд╕реЗ рдПрдХ рдЖрдпрд╛рдореА рдорд╛рдорд▓реЗ рдореЗрдВ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП? рдмрддрд╛ рджреЗрдВ рдХрд┐ рд░реЛрдмреЛрдЯ рдореЗрдВ рд╢реБрд░реБрдЖрдд рдореЗрдВ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ x 1 рд╣реИ , рдФрд░ рдЕрдВрдд рдореЗрдВ рдЗрд╕рдХреЗ рдкрд╛рд╕ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ x 2 рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред A = | x 2 - x 1 | рдФрд░ рдХреБрд▓ t рдЪрд╛рд▓реЗрдВ рдмрдирд╛рдИ рдЧрдИрдВред рддрдм рд╡рд┐рднрд┐рдиреНрди рд╡рд┐рдзрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ t ( t - a ) / 2 ( t - рдХреЗ рд╕рд╛рде рд╕рдВрдпреЛрдЬрди рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрдЧреА - рдПрдХ рдЧреИрд░-рдирдХрд╛рд░рд╛рддреНрдордХ рдФрд░ рд╕рдо рд╣реЛрдиреА рдЪрд╛рд╣рд┐рдП)ред рд╣рд╛рд▓рд╛рдВрдХрд┐, рдХрд┐рд╕реА рдХреЛ рдпрд╣ рдзреНрдпрд╛рди рд░рдЦрдирд╛ рдЪрд╛рд╣рд┐рдП рдХрд┐ рдпрд╛рддреНрд░рд╛ рдХреЗ рджреМрд░рд╛рди рд░реЛрдмреЛрдЯ рдХреЗрд╡рд▓ рдПрдХ рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╕рдордиреНрд╡рдп рд░рдЦ рд╕рдХрддрд╛ рд╣реИред рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╕реЗрд▓ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рдШрдЯрд╛рдПрдВ - x 1 рд╕реЗ x 2 ред рдпрд╣ рд╕рдЪ рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ x 1 рд╕реЗ рдкрдереЛрдВ рдХреЗ рдмреАрдЪ рдПрдХ-рд╕реЗ-рдПрдХ рдкрддреНрд░рд╛рдЪрд╛рд░ рджрд┐рдЦрд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдЬреЛ рд╕рдордиреНрд╡рдп рдХреА рд╕рдХрд╛рд░рд╛рддреНрдордХрддрд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХрд╛ рдЙрд▓реНрд▓рдВрдШрди рдХрд░рддрд╛ рд╣реИ, рд╕рд╛рде рд╣реА рд╕рд╛рде x 1 рд╕реЗ рд╕рднреА рдкрдеред рдПрдХ рджреВрд╕рд░реЗ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд░рд╛рд╕реНрддреЛрдВ рдореЗрдВ рдкрд╣рд▓реЗ рднрд╛рдЧ рдореЗрдВ рджрд░реНрдкрдг рд╣реЛрдЧрд╛ (рдЬрдм рддрдХ рдХрд┐ рд╡реЗ рд╕реЗрд▓ 0 рдореЗрдВ рдкреНрд░рд╡реЗрд╢ рди рдХрд░реЗрдВ) рдФрд░ рдЖрдо рджреВрд╕рд░реЗ рднрд╛рдЧред
рдЖрдЗрдП рд╣рдо рджреЛ-рдЖрдпрд╛рдореА рд╕рдорд╕реНрдпрд╛ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рд╣рдордиреЗ рдкрд╣рд▓реЗ рд╕реЗ рд╣реА рдкреНрд░рддреНрдпреЗрдХ рд╕реЗрд▓ рдХреЗ рд╕рд╛рде рдПрдХ рд╕реЗрд▓ рд╕реЗ рджреВрд╕рд░реЗ (рдкреНрд░рддреНрдпреЗрдХ рдирд┐рд╢реНрдЪрд┐рдд рдпрд╛рддреНрд░рд╛ рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд▓рд┐рдП) рдореЗрдВ рд╕рдордиреНрд╡рдп рдХрд░рдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЧрд┐рдирд╛ рд╣реИред рджреЛ-рдЖрдпрд╛рдореА рд╕рдорд╕реНрдпрд╛ рдХреЗ рд▓рд┐рдП рд╕рдорд╛рди рдореВрд▓реНрдпреЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдкреНрд░рддреНрдпреЗрдХ рд╕рдордиреНрд╡рдп рдкрд░ рдЦрд░реНрдЪ рдХрд┐рдП рдЧрдП рд╕рдордп рдХреА рдорд╛рддреНрд░рд╛ рдХреЛ рдЫрд╛рдВрдЯрдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдФрд░ рдлрд┐рд░ рдкрд╣рд▓реЗ рд╕реЗ рдЧрдгрдирд╛ рдХреА рдЧрдИ рд╕рд░рдгрд┐рдпреЛрдВ рдореЗрдВ рд╕рдВрдмрдВрдзрд┐рдд рдорд╛рдиреЛрдВ рдХреЛ рдЧреБрдгрд╛ рдХрд░реЗрдВ, рдФрд░ рд╡рд┐рднрд┐рдиреНрди рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рдЧреБрдгрд╛ рдХрд░рдХреЗ рдЪреБрдиреЗрдВ рдХрд┐ рдХреМрди рд╕реЗ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реЛрдВрдЧреЗред рдЗрди рдореВрд▓реНрдпреЛрдВ рдХреА рд╢реАрдШреНрд░рддрд╛ рд╕реЗ рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрдк рдлреВрд░рд┐рдпрд░ рдЯреНрд░рд╛рдВрд╕рдлреЙрд░реНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдмрд╣реБрдкрдж рдХреЗ рдЧреБрдгрди рдореЗрдВ рд╕рдорд╕реНрдпрд╛ рдХреЛ рдХрдо рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╕рдВрдпреЛрдЬрдиреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд╕реВрддреНрд░ рдореЗрдВ рдЙрдкрд╕реНрдерд┐рддрд┐ рд╕реЗ рдЫреБрдЯрдХрд╛рд░рд╛ рдкрд╛рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдЗрд╕реЗ factorials рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд▓рд┐рдЦреЗрдВрдЧреЗред рд╢рд░реНрддреЛрдВ рдХреЛ рд╕рдореВрд╣реАрдХреГрдд рдХрд░рдиреЗ рдХреЗ рдмрд╛рдж, рд╣рдореЗрдВ рдпрд╣ рдкрддрд╛ рдЪрд▓рддрд╛ рд╣реИ рдХрд┐ рдореВрд▓ рд╕рд░рдгрд┐рдпреЛрдВ рдХреЗ ith рддрддреНрд╡реЛрдВ рдХреЛ i рд╕реЗ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдирд╛ рд╕рдВрднрд╡ рд╣реИ!, рдкрд░рд┐рдгрд╛рдореА рдмрд╣реБрдкрджреЛрдВ рдХреЛ рдЧреБрдгрд╛ рдХрд░реЗрдВ, рдФрд░ рдлрд┐рд░ i рджреНрд╡рд╛рд░рд╛ рдЕрдВрдХ рдХреЗ рдорд╛рди рдХреЛ рдЧреБрдгрд╛ рдХрд░реЗрдВ! рд╕рдорд╕реНрдпрд╛ рдореЗрдВ, рдореЙрдбреНрдпреВрд▓ рдЬрд┐рд╕рдХреЗ рджреНрд╡рд╛рд░рд╛ рд╕рднреА рдСрдкрд░реЗрд╢рди рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдЗрд╕ рддрд░рд╣ рд╕реЗ рдЪреБрдирд╛ рдЧрдпрд╛ рдерд╛ рдХрд┐ рдЗрд╕рдХреЗ рд╕рд╛рде рдПрдХ рддреЗрдЬреА рд╕реЗ рдлреВрд░рд┐рдпрд░ рд░реВрдкрд╛рдВрддрд░рдг рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рдЕрдм рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ рдХрд┐ рдЗрд╕ рддрдереНрдп рдХреЛ рдХреИрд╕реЗ рдзреНрдпрд╛рди рдореЗрдВ рд░рдЦрд╛ рдЬрд╛рдП рдХрд┐ рдЕрдВрддрд┐рдо рдЪрд░рдг рддрдХ рд░реЛрдмреЛрдЯ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдореЗрдВ рдкреНрд░рд╡реЗрд╢ рдирд╣реАрдВ рдХрд░ рд╕рдХрддрд╛ рд╣реИред рд╣рдо рдЧрддрд┐рд╢реАрд▓ рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЙрддреНрддрд░ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВрдЧреЗред рдмрддрд╛ рджреЗрдВ рдХрд┐ рдЯреА рдореВрд╡ рд╕реЗ рдХрдо рд╕реЗрд▓ рдореЗрдВ рдкрд╣реБрдВрдЪрдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдкрд╣рд▓реЗ рд╣реА рдЧрд┐рдиреА рдЬрд╛ рдЪреБрдХреА рд╣реИред рдЯреА рдореВрд╡реНрд╕ рдХреЗ рд▓рд┐рдП рдЗрди рдорд╛рдиреЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЯреА рдЪрд╛рд▓реЛрдВ рдореЗрдВ рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХреБрд▓ рддрд░реАрдХреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ рдФрд░ рдЗрд╕рд╕реЗ рд╕рднреА рддрд░реАрдХреЛрдВ рдХреЛ рдШрдЯрд╛рдПрдВ рдЬреЛ рдЯреА рд╕реЗ рдкрд╣рд▓реЗ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдореЗрдВ рдкреНрд░рд╡реЗрд╢ рдХрд░рддреЗ рд╣реИрдВред рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдкрд╣рд▓реЗ рдХрджрдо рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░реЗрдВрдЧреЗ, рдЬрд┐рд╕рдореЗрдВ рд░реЛрдмреЛрдЯ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдкрд░ рдЬрд╛рдПрдЧрд╛ рдФрд░ рд╕реЗрд▓ рд╕реЗ рдмрд╛рд╣рд░ рдирд┐рдХрд▓рдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЛ рдЧреБрдгрд╛ рдХрд░реЗрдЧрд╛ ( x 2 , y 2 ) рдФрд░ рд╢реЗрд╖ рд╕рдордп рдореЗрдВ рдЙрд╕ рдкрд░ рд╡рд╛рдкрд╕ рд▓реМрдЯреЗрдВред рдЙрд╕реА рд╕рдордп, рд░реЛрдмреЛрдЯ рдЕрдВрддрд┐рдо рд╕реЗрд▓ рдореЗрдВ рдЬрд┐рддрдиреА рдмрд╛рд░ рдЖрд╡рд╢реНрдпрдХ рд╣реЛ (рджреВрд╕рд░реЗ рднрд╛рдЧ рдореЗрдВ) рдХрд╛ рджреМрд░рд╛ рдХрд░ рд╕рдХрддрд╛ рд╣реИред
рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ рдЕрдм рддрдХ рдЙрд▓реНрд▓рд┐рдЦрд┐рдд рд╕рдорд╛рдзрд╛рди t 2 рдХреЗ рд▓рд┐рдП рдХрд╛рдо рдХрд░рддрд╛ рд╣реИред рддреЗрдЬреА рд╕реЗ рд╕рдорд╛рдзрд╛рди рдХреЗ рд▓рд┐рдП, рдХрд┐рд╕реА рдХреЛ рдХрд╛рд░реНрдп рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдХрд╛рд░рдг рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред Denote f (x) = f 0 x 0 + f 1 x 1 + ... + f t x t + ... , рдЬрд╣рд╛рдБ f i рдХрд╛ рдЙрддреНрддрд░ рд╣реИ, рдХреЛрдИ рд╕рдорд╕реНрдпрд╛ рдирд╣реАрдВ рд╣реИред рдЗрд╕реА рдкреНрд░рдХрд╛рд░, рд╣рдо рдЧрдгрдирд╛ (x) рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддреЗ рд╣реИрдВ - рд░рд╛рд╕реНрддреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рдЬрдирд░реЗрдЯрд┐рдВрдЧ рдлрд╝рдВрдХреНрд╢рди, рдЕрдВрддрд┐рдо рдореЛрдбрд╝ рдкрд░ рдкрд╣рд▓реА рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐ рдХреА рд╢рд░реНрддреЛрдВ рдХреЛ рдзреНрдпрд╛рди рдореЗрдВ рд░рдЦреЗ рдмрд┐рдирд╛, рдЪрдХреНрд░ (x) - рдЕрдВрддрд┐рдо рд╕реЗрд▓ рд╕реЗ рд╕реНрд╡рдпрдВ рдХреЗ рд▓рд┐рдП рдкрдереЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рдЬрдирд░реЗрдЯрд┐рдВрдЧ рдлрд╝рдВрдХреНрд╢рдиред рдЪ i рдХреЗ рд▓рд┐рдП рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕рдВрдмрдВрдзреЛрдВ рд╕реЗ, рд╣рдо рд╕рдВрдмрдВрдз рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рд╡реНрдпреБрддреНрдкрдиреНрди рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ: f (x) = count (x) - f (x) рдЪрдХреНрд░ (x) , whence f (x) = count (x) / (рдЪрдХреНрд░) (x) + 1) = рдЧрд┐рдирддреА (x) (рдЪрдХреНрд░ (x) + 1) -1 ред рдЪ рдХреА рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП , рдЖрдкрдХреЛ рджрд╛рдИрдВ рдУрд░ рдЕрдВрд╢ рдХреЗ рдкрд╣рд▓реЗ t + 1 рд╕рджрд╕реНрдпреЛрдВ рдХреЛ рдЧрд┐рдирдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдпрд╣ рдЪрдХреНрд░ (x) + 1 рдмрд╣реБрдкрдж modulo x t + 1 рдХреЗ рд╡реНрдпреБрддреНрдХреНрд░рдо рдХреА рдЧрдгрдирд╛ рдХрд░рдХреЗ, рдФрд░ рдкрд░рд┐рдгрд╛рдо рдХреЗ рд╕рд╛рде рдЧрд┐рдирддреА (x) рдЧреБрдгрд╛ рдХрд░рдХреЗ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╡реНрдпреБрддреНрдХреНрд░рдо рдмрд╣реБрдкрдж рдореЙрдбреБрд▓реЛ x t + 1 рдХреЛ рддреЗрдЬреА рд╕реЗ рдлреВрд░рд┐рдпрд░ рд░реВрдкрд╛рдВрддрд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╕рдордп O ( t log t ) рдореЗрдВ рд▓рд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдХреБрд▓ рд░рди рд╕рдордп: рдУ ( рдЯреА рд▓реЙрдЧ рдЯреА )ред