рдХрд▓ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдореЗрдВ, рднрд╡рд┐рд╖реНрдп рдореЗрдВ рдПрдХ рджрд┐рд▓рдЪрд╕реНрдк рдХрд╛рдо рд╕рд╛рдордиреЗ рдЖрдпрд╛ - рдореИрдВ рдпрд╣рд╛рдБ рдорджрдж рдирд╣реАрдВ рдХрд░ рд╕рдХрддрд╛ рд▓реЗрдХрд┐рди рдЗрд╕реЗ рдЕрд▓рдЧ рдХрд░ рд╕рдХрддрд╛ рд╣реВрдВред
рдЗрд╕рд▓рд┐рдП, рдХрдерд╛рдирдХ рдирд┐рдореНрдирд╛рдиреБрд╕рд╛рд░ рд╣реИ: рдкреНрд░реЛрдлреЗрд╕рд░ рдиреЗ рдирд┐рдХрд╛рдпреЛрдВ рдХреЗ рдЖрджрд╛рди-рдкреНрд░рджрд╛рди рдХреЗ рд▓рд┐рдП рдПрдХ рдорд╢реАрди рдХрд╛ рдЖрд╡рд┐рд╖реНрдХрд╛рд░ рдХрд┐рдпрд╛, рдЬреЛ рдХрд┐, рдЬреИрд╕рд╛ рдХрд┐ рдпрд╣ рдирд┐рдХрд▓рд╛, рдХреЗрд╡рд▓ рдПрдХ рджрд┐рд╢рд╛ рдореЗрдВ рдХрд╛рдо рдХрд░рддрд╛ рд╣реИред рдХрдИ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреЗ рдмрд╛рдж, рдирд╛рдпрдХреЛрдВ рдиреЗ рдЦреБрдж рдХреЛ рдПрдХ рдореБрд╢реНрдХрд┐рд▓ рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдкрд╛рдпрд╛ рдЬрд┐рд╕рдореЗрдВ рдЙрдиреНрд╣реЗрдВ рдЕрдкрдиреЗ рд╢рд░реАрд░ рдореЗрдВ рд╡рд╛рдкрд╕ рдЖрдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рд░рд╛рд╕реНрддрд╛ рдмрдирд╛рдирд╛ рдкрдбрд╝рд╛ред рдпрд╣ рд╡рд╣ рдЬрдЧрд╣ рд╣реИ рдЬрд╣рд╛рдБ "рд╢реБрджреНрдз рдЧрдгрд┐рдд" рд╣рдорд╛рд░реА рдорджрдж рдХрд░реЗрдЧрд╛ред
рддреЛ рдЪрд▓рд┐рдП рд╢реБрд░реВ рдХрд░рддреЗ рд╣реИрдВред рдЪрд▓реЛ рд╕реЗрдЯ рдкрд░ рд▓рдВрдмрд╛рдИ k рдХрд╛ рдПрдХ рдЪрдХреНрд░ рд╣реИ [n] = {1 ... n} ред рд╡реНрдпрд╛рдкрдХрддрд╛ рдХреЗ рдиреБрдХрд╕рд╛рди рдХреЗ рдмрд┐рдирд╛, рд╣рдо рд▓рд┐рдЦрддреЗ рд╣реИрдВ:
рдЕрдм рдЪрд▓реЛ (рдП, рдмреА) рдПрдХ рдЯреНрд░рд╛рдВрд╕рдкреЛрдЬрд╝рди рд╣реИ рдЬреЛ рдП рдФрд░ рдмреА рдХреА рд╕рд╛рдордЧреНрд░реА рдХреЛ рд╕реНрд╡реИрдк рдХрд░рддрд╛ рд╣реИред
рдзрд╛рд░рдгрд╛ рд╕реЗ [рдПрди] рдкрд░ рдХреБрдЫ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ред
рд╣рдо рджреЛ "рдирдП рдирд┐рдХрд╛рдпреЛрдВ" {x, y} рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддреЗ рд╣реИрдВ рдФрд░ рд▓рд┐рдЦрддреЗ рд╣реИрдВ
рдХрд┐рд╕реА рднреА i = 1, ... k рдХреЗ рд▓рд┐рдП, рд╣рдо рд▓рд┐рдЦрддреЗ рд╣реИрдВ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд░реВрдк рдореЗрдВ:
рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ рдЯреНрд░рд╛рдВрд╕реНрдлрд╝реЙрд░реНрдореЗрд╢рди рдПрдХ рддрддреНрд╡ рдХреЛ [n] рд╕реЗ рдХреБрдЫ рддрддреНрд╡ рдХреЗ рд╕рд╛рде {x, y} рд╕реЗ рдмрджрд▓ рджреЗрддрд╛ рд╣реИ , рдЗрд╕рд▓рд┐рдП, рд╕рднреА рдЯреНрд░рд╛рдВрд╕рдкреЛрдЬрд╝рд┐рд╢рди рдЙрди рд▓реЛрдЧреЛрдВ рд╕реЗ рднрд┐рдиреНрди рд╣реЛрддреЗ рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЛрдВрдиреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХрд╛ рдЧрдарди рдХрд┐рдпрд╛ рдерд╛ , рд╕рд╛рде рд╣реА рдЯреНрд░рд╛рдВрд╕рдкреЛрдЬрд╝рд┐рд╢рди (x, y) рд╕реЗ рднреА ред рдПрдХ рд╕рд╛рдзрд╛рд░рдг рдЪреЗрдХ рджреЗрддрд╛ рд╣реИ:
рдЗрд╕ рддрд░рд╣ рд╕реЗ рд▓рдВрдмрд╛рдИ k рдХреЗ рдПрдХ рдЪрдХреНрд░ рдХреЛ рдмрджрд▓ рджреЗрддрд╛ рд╣реИ, x рдФрд░ y рдХреЛ рдЯреНрд░рд╛рдВрд╕рдкреЛрдЬрд╝реЗрд╢рди (x, y) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдмрд┐рдирд╛ рдкреБрди: рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдХрд░рддрд╛ рд╣реИред
рдЕрдм рдЪрд▓реЛ - рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди; рдпрд╣ рд╕реНрд╡рддрдВрддреНрд░ рдЪрдХреНрд░реЛрдВ рдХреА рдПрдХ рд╕рдВрд░рдЪрдирд╛ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рд╣реЛрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рдКрдкрд░ рдкреНрд░рд╛рдкреНрдд рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЙрд▓рдЯрд╛ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬрд┐рд╕рдХреЗ рдмрд╛рдж, рдпрджрд┐ рдЖрд╡рд╢реНрдпрдХ рд╣реЛ, рддреЛ рдЖрдк рдЯреНрд░рд╛рдВрд╕рдкреЛрдЬрд╝рд┐рд╢рди (x, y) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ x рдФрд░ y рд╕реНрд╡реИрдк рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
рдпрд╣ рд╕рд╣реА рд╣реИред рдФрд░ рдЖрдк рдХрд╣рддреЗ рд╣реИрдВ рдХрд┐ рдЕрд╕рддрдд рдореЗрдВ IRL рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдирд╣реАрдВ рд╣реИрдВред