рдлрд╛рд╕реНрдЯ рдореЛрдбреБрд▓реЛ рдЗрдВрдбреЗрдХреНрд╕ рдЧреБрдгрд╛

рдкрд░рд┐рдЪрдп


рдЖрдорддреМрд░ рдкрд░ рдЗрд╕ рд╕рд╛рдордЧреНрд░реА рдХреЛ рд╕реВрддреНрд░реЛрдВ рдХреА рдПрдХ рдмрд╣реБрддрд╛рдпрдд рдХреЗ рд╕рд╛рде рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдФрд░ рдЧрдгрд┐рддрдЬреНрдЮреЛрдВ рдХреЗ рд▓рд┐рдП рдЕрдзрд┐рдХ рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдореИрдВ рдЗрд╕ рдкрджреНрдзрддрд┐ рдХреЛ рд╣рд╛рд░реНрдбрд╡реЗрдпрд░ рд╕реНрддрд░ рдкрд░ рдорд╛рдЗрдХреНрд░реЛрдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХ рдореЗрдВ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рд╕рд░рд▓ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдмрд╕реЗ рдЕрдзрд┐рдХ рд╕реБрд▓рдн рдкреЗрдВрдЯ рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХрд░реВрдВрдЧрд╛ред рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдореЗрдВ, p = 11 рдХрд╛ рдЙрдкрдпреЛрдЧ рд╕реНрдкрд╖реНрдЯрддрд╛ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ред

рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдмрдпрд╛рди


рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рд╣рдореЗрдВ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдлрд╝реЙрд░реНрдо рдХрд╛ рдЧреБрдгрд╛ рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ: res = (a*b) mod p , рдЬрд╣рд╛рдБ
0 <= a < p
0 <= b < p
p рдПрдХ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рд╣реИред
mod p - рд╢реЗрд╖ modulo рдЦреЛрдЬрдиреЗ рдХрд╛ рд╕рдВрдЪрд╛рд▓рдиред
рдФрд░ рдЗрд╕реЗ рдирд┐рдореНрди рд╕реНрддрд░ рдкрд░ рдХрд┐рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдП, рдЬрд╣рд╛рдВ рдХреЛрдИ рдЧреБрдгрди рдСрдкрд░реЗрд╢рди рдирд╣реАрдВ рд╣реИ рдФрд░ рд╢реЗрд╖ рднрд╛рдЧ рдХреЛ рд▓реЗрдиреЗ рдХрд╛ рд╕рдВрдЪрд╛рд▓рди рд╣реИ, рдпрд╛ рдЙрдиреНрд╣реЗрдВ рдХрд╛рдлреА рдореБрд╢реНрдХрд┐рд▓ рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ (рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХ рдбрд┐рд╡рд╛рдЗрд╕ рдореЗрдВ)ред

рд╕рдмрд╕реЗ рд╕рд░рд▓ рдЙрдкрд╛рдп рд╡рд┐рдзрд┐рдпрд╛рдБ


  1. рдкрд╣рд▓реА рдмрд╛рдд рдЬреЛ рдорди рдореЗрдВ рдЖрддреА рд╣реИ: рдЧреБрдгрд╛ рдХрд░реЗрдВ, рдлрд┐рд░ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░реЗрдВ рдФрд░ рд╢реЗрд╖ рд▓реЗрдВред рдЗрд╕ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреЛ рдЕрд╕реНрддрд┐рддреНрд╡ рдХрд╛ рдЕрдзрд┐рдХрд╛рд░ рд╣реИ, рд▓реЗрдХрд┐рди рд╕рдВрдЪрд╛рд▓рди рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдмреЗрд╣рдж рдорд╣рдВрдЧрд╛ рд╣реИ рдФрд░ рдЗрд╕реЗ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдореЗрдВ рдХрд╛рдлреА рдореБрд╢реНрдХрд┐рд▓ рд╣реИред
  2. рджреВрд╕рд░реА рдмрд╛рдд рдЬреЛ рдЖрдк рд╕реЛрдЪ рд╕рдХрддреЗ рд╣реИрдВ, рд╡рд╣ рд╣реИ рдХрд┐ рдЗрд╕ рдСрдкрд░реЗрд╢рди рдХреЛ рджреЛ-рдЖрдпрд╛рдореА рдЧреБрдгрди рддрд╛рд▓рд┐рдХрд╛ рдХреЗ рдЖрдХрд╛рд░ p рд╕рд╛рде рд▓рд╛рдЧреВ рдХрд░реЗрдВред рдЬреЛ рд╕рдордЭ рдореЗрдВ рдЖрддрд╛ рд╣реИ рдХрд┐ рдпрджрд┐ p рдЫреЛрдЯрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдЬреИрд╕реЗ-рдЬреИрд╕реЗ рдкреА рдмрдврд╝рддрд╛ рд╣реИ, рддрд╛рд▓рд┐рдХрд╛ рдХреЗ рдЪрддреБрд░реНрднреБрдЬ рдХреЛ рдмрдврд╝рд╛рдиреЗ рдХреА рд▓рд╛рдЧрдд рдмрдврд╝ рдЬрд╛рддреА рд╣реИ (рдЫрд╡рд┐ 1)ред


рдЪрд┐рддреНрд░рд╛ 1. рдкреА = 11 рдХреЗ рд▓рд┐рдП рдЧреБрдгрд╛ рддрд╛рд▓рд┐рдХрд╛ рдореЛрдбреБрд▓реЛ рдкреАред

рд╕реВрдЪрдХрд╛рдВрдХ рд╡рд┐рдзрд┐ рдЧреБрдгрдХ


рд╣рд╛рд▓рд╛рдВрдХрд┐, рдПрдХ рдРрд╕реА рд╡рд┐рдзрд┐ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдЖрдпрд╛рдо p рдПрдХ (рдпрд╛ рджреЛ рдХреА рд╕реБрд╡рд┐рдзрд╛ рдХреЗ рд▓рд┐рдП) рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИред рд╡рд┐рдзрд┐ рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛ рдЧреБрдгрд╛ рдХреЗ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИред рдФрд░ рдирд┐рдореНрди рдЪрд┐рддреНрд░ (рдЫрд╡рд┐ 2) рджреНрд╡рд╛рд░рд╛ рдпреЛрдЬрдирд╛рдмрджреНрдз рд░реВрдк рд╕реЗ рдЪрд┐рддреНрд░рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:

рдЪрд┐рддреНрд░рд╛ 2. рд╕реВрдЪрдХрд╛рдВрдХ рдЧреБрдгрд╛ред

рдЖрдЗрдП рд╣рдо рдмрддрд╛рддреЗ рд╣реИрдВ рдХрд┐ рдРрд╕рд╛ рдХреНрдпреЛрдВ рд╕рдВрднрд╡ рд╣реИред рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рд╕реВрдЪрдХрд╛рдВрдХ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкреНрд░рддрд┐рдкрдХреНрд╖реА рдореВрд▓ рдореЛрдбреБрд▓реЛ p [1] рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИред W рдХреА рдЖрджрд┐рдо рдЬрдбрд╝ рдПрдХ рдкреВрд░реНрдгрд╛рдВрдХ рд╣реИ рдЬрд┐рд╕рдХреА рд╢рдХреНрддрд┐ 0, 1, 2, тАж, (p-2) рдмрдврд╝рд╛рддреА рд╣реИ 0, 1, 2, тАж, (p-2) рдЬреЛ рдЧреИрд░-рджреЛрд╣рд░рд╛рддрд╛ рд╣реБрдЖ рдЕрд╡рд╢реЗрд╖ modulo p ред рдПрдХ рдЖрджрд┐рдо рдЬрдбрд╝ рд╣рдореЗрд╢рд╛ рдХрд┐рд╕реА рднреА рдкреНрд░рд╛рдЗрдо p (1801 рдореЗрдВ рдЧреЙрд╕ рджреНрд╡рд╛рд░рд╛ рд╕рд╛рдмрд┐рдд) рдХреЗ рд▓рд┐рдП рдореМрдЬреВрдж рд╣реИред рдЗрд╕ рд╕реНрдерд┐рддрд┐ рдореЗрдВ, рдЕрдВрддрд░рд╛рд▓ (0; p) рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рдкреВрд░реНрдгрд╛рдВрдХ рд╕рдВрдЦреНрдпрд╛ рдПрдХ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд╕рд╛рде рдЬреБрдбрд╝реА рд╣реЛ рд╕рдХрддреА рд╣реИ рдЬреИрд╕реЗ рдХрд┐ q = (w i ) mod p ред рдФрд░ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдкрддреНрд░рд╛рдЪрд╛рд░ рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ:
(a*b) mod p <-> w^((ia+ib) mod (p-1)) [2]ред

рдореЙрдбреНрдпреВрд▓ p = 11 рд▓рд┐рдП рдПрдХ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рдЗрд╕ рдорд╛рдкрд╛рдВрдХ рдорд╛рди рдХреЗ рд▓рд┐рдП рдореВрд▓ рдЬрдбрд╝ w рд╣реИред 2. рдпрд╣ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдирд╛ рдЖрд╕рд╛рди рд╣реИ рдХрд┐ 0, 1, ... 9 рдХреА рд╢рдХреНрддрд┐ рдХреЗ рд▓рд┐рдП w рдХреЛ рдмрдврд╝рд╛рддреЗ рд╣реБрдП: рдЕрджреНрд╡рд┐рддреАрдп рдкрд░рд┐рдгрд╛рдо рд╣реИрдВ:

рдирд┐рдпрдорд┐рдд {q} рдФрд░ рдЗрдВрдбреЗрдХреНрд╕ {i} рдЕрднреНрдпрд╛рд╡реЗрджрди рдХреЗ рдмреАрдЪ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрд░реЛрд╣реА рдХреНрд░рдо рдореЗрдВ рдореВрд▓реНрдпреЛрдВ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдЬреЛрдбрд╝реЗ рдХреЛ рд╕реЙрд░реНрдЯ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдореЙрдбреНрдпреВрд▓ p = 11 рдХреЗ рд▓рд┐рдП рдкреНрд░рддреНрдпрдХреНрд╖ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдЗрд╕ рддрд░рд╣ рджрд┐рдЦрд╛рдИ рджреЗрдЧреА:
рдХреНрд╖12345678910
рдореИрдВ0182497365
рдФрд░ p = 11 рдореЙрдбреНрдпреВрд▓ рдХреЗ рд▓рд┐рдП рдЙрд▓рдЯрд╛ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдЗрд╕ рддрд░рд╣ рджрд┐рдЦрд╛рдИ рджреЗрдЧреА:
рдореИрдВ0123456789
рдХреНрд╖12485109736

рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХрд╛ рдорд╛рди рдЬреНрдЮрд╛рдд рдХрд░реЗрдВ (3 * 5) mod 11. рд╕рдВрдЦреНрдпрд╛ 3 рдФрд░ 5 рдореЗрдВ рд╕рдВрдмрдВрдзрд┐рдд рд╕реВрдЪрдХрд╛рдВрдХ 8 рдФрд░ 4 рд╣реИрдВ (рддрд╛рд▓рд┐рдХрд╛ 1 рджреЗрдЦреЗрдВ)ред рдЗрди рд╕реВрдЪрдХрд╛рдВрдХреЛрдВ modulo (11-1) = 10 рдХреЛ рд╕рд╛рд░рд╛рдВрд╢рд┐рдд рдХрд░рдиреЗ рдкрд░ рд╣рдореЗрдВ рдкрд░рд┐рдгрд╛рдо рдорд┐рд▓рддрд╛ рд╣реИ (8 + 4) mod 10 = 12 mod 10 = 2. рддрд╛рд▓рд┐рдХрд╛ 2 рд╕реЗ рд╣рдо рдкрд╛рддреЗ рд╣реИрдВ рдХрд┐ рдЕрдиреБрдХреНрд░рдордгрд┐рдХрд╛ 2 рдХреЗ рд▓рд┐рдП рд╡реНрдпреБрддреНрдХреНрд░рдо рдкрд░рд┐рд╡рд░реНрддрди 4 рдХрд╛ рдЕрдВрддрд┐рдо рдкрд░рд┐рдгрд╛рдо рджреЗрддрд╛ рд╣реИред

рд╕реВрдЪрдХрд╛рдВрдХ рдЧреБрдгрдХ рдХреЗ рд╕рдВрд░рдЪрдирд╛рддреНрдордХ рдЖрд░реЗрдЦ рдПрдо = 11 рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд┐рдП рдЧрдП рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП рдирд┐рдореНрди рдЖрдХреГрддрд┐ (рдЫрд╡рд┐ 3:) рдореЗрдВ рджреЗрдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рдЪрд┐рддреНрд░рд╛ 3. рдкреА = 11 рдХреЗ рд▓рд┐рдП рд╕реВрдЪрдХрд╛рдВрдХ рдЧреБрдгрдХ рдХреА рдпреЛрдЬрдирд╛ред

рдЗрдирдкреБрдЯреНрд╕ рдХреЗ рд▓рд┐рдП рд╢реВрдиреНрдп рдорд╛рди


рдпрджрд┐ рдЖрдк рддрд╛рд▓рд┐рдХрд╛рдУрдВ рдХреЛ рдХрд░реАрдм рд╕реЗ рджреЗрдЦрддреЗ рд╣реИрдВ, рддреЛ рдЖрдк рджреЗрдЦ рд╕рдХрддреЗ рд╣реИрдВ рдХрд┐ рдЗрдирдкреБрдЯ рдбреЗрдЯрд╛ рдХреЗ рд▓рд┐рдП рдХреЛрдИ рд╢реВрдиреНрдп рдорд╛рди рдирд╣реАрдВ рд╣реИрдВред рдпрд╣ рдЗрд╕ рддрдереНрдп рдХреЗ рдХрд╛рд░рдг рд╣реИ рдХрд┐ i рдХрд╛ рдХреЛрдИ рдорд╛рди рдирд╣реАрдВ рд╣реИ! рдЗрд╕ рдорд╛рдорд▓реЗ рдХреЛ рдЕрд▓рдЧ рд╕реЗ рд╕рдВрд╕рд╛рдзрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ (рдпрд╛ рдЗрд╕рдХреЗ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рдХреЗ рд▓рд┐рдП рд╡рд┐рд╢реЗрд╖ рдирд┐рдпрдореЛрдВ рдХреЗ рд╕рд╛рде рдПрдХ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреЗрд╢ рдХреА рдЬрд╛рддреА рд╣реИ)ред рдпрджрд┐ рдЧреБрдгрдХ рдХреЗ рдХрд┐рд╕реА рдПрдХ рдЗрдирдкреБрдЯ рдкрд░ 0 рджрд┐рдЦрд╛рдИ рджреЗрддрд╛ рд╣реИ, рддреЛ рдЖрдЙрдЯрдкреБрдЯ рдореЗрдВ 0 рднреА рд╣реЛрдЧрд╛, рдЬреЛ рд╕реАрдзреЗ рдЧреБрдгрди рдХреЗ рдирд┐рдпрдореЛрдВ рдХрд╛ рдкрд╛рд▓рди рдХрд░рддрд╛ рд╣реИред

рдЧреБрдгрдХ рдХрд╛ рд╕рдорд╛рдирд╛рдВрддрд░рдХрд░рдг


рдпрд╣ рдкрддрд╛ рдЪрд▓рд╛ рд╣реИ рдХрд┐ рдЧреБрдгрд╛ рднреА рддреЗрдЬреА рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдпрджрд┐ рд╕рдВрдЦреНрдпрд╛ (p-1) рдХреЛ рдкрд╛рд░рд╕реНрдкрд░рд┐рдХ рд░реВрдк рд╕реЗ рд╕рд░рд▓ рдХрд╛рд░рдХреЛрдВ p-1 = m1*m2*тАж*mr рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рддреЛ рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛ рдСрдкрд░реЗрд╢рди рдХреЛ рдЫреЛрдЯреЗ рдЖрдпрд╛рдореЛрдВ рдХреЗ r рдЕрд▓рд╛рд╡рд╛ рд╕рдВрдЪрд╛рд▓рди рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рд╕реВрдЪрдХрд╛рдВрдХ рдирд┐рдореНрди рд╕реВрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рд▓рдВрдмрд╛рдИ r рдПрдХ рд╡реЗрдХреНрдЯрд░ рдореЗрдВ рдмрджрд▓ рдЬрд╛рддрд╛ рд╣реИ: ( i mod m1, i mod m2, тАж, i mod mr )ред рдФрд░ рд╕рджрд┐рд╢ рд╡реЗрдХреНрдЯрд░ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХреЗ рд▓рд┐рдП рд╕реНрд╡рддрдВрддреНрд░ рд░реВрдк рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

рдЗрд╕реЗ рдПрдХ рдЙрджрд╛рд╣рд░рдг рдХреЗ рд░реВрдк рдореЗрдВ рджреЗрдЦреЗрдВред p = 11 рдХреЗ рд▓рд┐рдП, p -1 = 10 рдХрд╛ рдореВрд▓реНрдп рдФрд░ рдЗрд╕реЗ рдкрд╛рд░рд╕реНрдкрд░рд┐рдХ рд░реВрдк рд╕реЗ рд╕рд░рд▓ рдХрд╛рд░рдХреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ: 10 = 2 * 5 ( m1 = 2, m2 2 = 5)ред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рддрд╛рд▓рд┐рдХрд╛ 1 рдХреЛ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд▓рд┐рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:
рдХреНрд╖12345678910
рдореИрдВ0182497365
(I mod 2, i mod 5)(0, 0)(1, 1)(0, 3)(0, 2)(0, 4)(1, 4)(1, 2)(1, 3)(0, 1)(1, 0)
рдЙрд▓рдЯрд╛ рдкрд░рд┐рд╡рд░реНрддрди рдХреА рдПрдХ рддрд╛рд▓рд┐рдХрд╛, рдХреНрд░рдорд╢рдГ, рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ:
(I mod 2, i mod 5)(0, 0)(0, 1)(0, 2)(0, 3)(0, 4)(1, 0)(1, 1)(1, 2)(1, 3)(1, 4)
рдХреНрд╖19435102786

рд╣рдо рдкрд┐рдЫрд▓реЗ рдЙрджрд╛рд╣рд░рдг рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдорд╛рди (3 * 5) mod 11. рдкрд╣рд▓реЗ рд╣рдо рддрд╛рд▓рд┐рдХрд╛ рдореЗрдВ рд╕рдВрдмрдВрдзрд┐рдд рд╡реИрдХреНрдЯрд░ рдХреЗ рд▓рд┐рдП рджреЗрдЦрддреЗ рд╣реИрдВ: 3 -> (0, 3), 5 -> (0, 4)ред рдлрд┐рд░ рд╣рдо рддрддреНрд╡ рд╕реЗ рддрддреНрд╡ рдЬреЛрдбрд╝рддреЗ рд╣реИрдВ ((0 + 0) mod 2, (3 + 4) mod 5) = (0, 2)ред рд╡реНрдпреБрддреНрдХреНрд░рдо рдкрд░рд┐рд╡рд░реНрддрди рдХреА рддрд╛рд▓рд┐рдХрд╛ рд╕реЗ рд╣рдореЗрдВ рдЙрддреНрддрд░ рдорд┐рд▓рддрд╛ рд╣реИ: (0, 2) -> 4. рд╕рдорд╛рдирд╛рдВрддрд░ рдЧреБрдгрдХ рдпреЛрдЬрдирд╛ рдиреАрдЪреЗ рджреА рдЧрдИ рд╣реИ (рдЪрд┐рддреНрд░ 4)ред

рдЪрд┐рддреНрд░рд╛ 4. рдкреА = 11 рдХреЗ рд▓рд┐рдП рдПрдХ рд╕рдорд╛рдирд╛рдВрддрд░ рд╕реВрдЪрдХрд╛рдВрдХ рдЧреБрдгрдХ рдХреА рдпреЛрдЬрдирд╛ред

рдПрдХ рдЖрджрд┐рдо рдЬрдбрд╝ рдХреА рддрд▓рд╛рд╢ рдХреИрд╕реЗ рдХрд░реЗрдВ?


рд╕рдЪ рдХрд╣реВрдВ, рддреЛ рдореИрдВрдиреЗ рдпрд╣ рд╕рд╡рд╛рд▓ рдирд╣реАрдВ рдкреВрдЫрд╛ред рдореИрдВ 2 рд╕реЗ рдкреА рд╕реЗ рд╢реБрд░реВ рд╣реЛрдиреЗ рд╡рд╛рд▓реА рд╕рдВрдкреВрд░реНрдг рдЦреЛрдЬ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реВрдВред рдпрд╛ рдЖрдк рддреИрдпрд╛рд░ рдХрд┐рдП рдЧрдП рдЕрдиреБрдХреНрд░рдо рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ: oeis.org/A046145 ред рдпрджрд┐ рдЕрдзрд┐рдХ рдХреБрд╢рд▓ рд╡рд┐рдзрд┐ рд╣реИ, рддреЛ рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдореЗрдВ рд▓рд┐рдЦреЗрдВред

рдпреЛрдЬрдХ рдореЙрдбреБрд▓реЛ (рдкреА -1) рдХреИрд╕реЗ рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд░реЗрдВ?


рдпреЛрдЬрдХ рдореЙрдбреБрд▓реЛ (p-1) рдХреЗ рдЗрдирдкреБрдЯ рдбреЗрдЯрд╛ рдХреА рдЦрд╝рд╛рд╕рд┐рдпрдд рдХреЗ рдХрд╛рд░рдг, рдЕрд░реНрдерд╛рддреН рджреЛрдиреЛрдВ рдЗрдирдкреБрдЯ p-1 рд╕реЗ рдХрдо рд╕рдВрдЦреНрдпрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ, рдЬрд┐рд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ рдЙрдирдХреА рд░рд╛рд╢рд┐ 2*(p-1) рд╕реЗ рдХрдо рд╣реИред рдЗрд╕ рд╕реЗ рдпрд╣ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ рдХрд┐ рдЖрдк рдХрд┐рд╕реА рднреА рдорд╛рдирдХ рдпреЛрдЬрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдЬрд┐рд╕рдХрд╛ рдЖрдЙрдЯрдкреБрдЯ рдирд┐рдореНрди рдПрд▓реНрдЧреЛрд░рд┐рдердо рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ: рдпрджрд┐ рдорд╛рди (p-1) рд╕реЗ рдЕрдзрд┐рдХ рдпрд╛ рдмрд░рд╛рдмрд░ рд╣реИ, рддреЛ рдкрд░рд┐рдгрд╛рдо рд╕реЗ рдШрдЯрд╛рдПрдБ (p-1) , рдЕрдиреНрдпрдерд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрд┐рдд рдЫреЛрдбрд╝ рджреЗрдВред

рд╡реЗрд░рд┐рд▓реЛрдЧ рдЬреЗрдирд░реЗрдЯрд░


рдЕрдкрдиреЗ рдЦрд╛рд▓реА рд╕рдордп рдореЗрдВ, рдореИрдВрдиреЗ рдореЙрдбреБрд▓реЛ рдЗрдВрдбреЗрдХреНрд╕ рдЧреБрдгрдХ рдХреЛ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╡реЗрд░рд┐рд▓реЛрдЧ рдХреЗ рдСрдирд▓рд╛рдЗрди рдЬрдирд░реЗрдЯрд░ рдХреЛ рд▓рд┐рдЦрд╛ред рд╡рд╣рд╛рдВ, рдЙрдирдХреЗ рдХрд╛рдо рдХрд╛ рдПрдХ рд░реЗрдЦрд╛рдЪрд┐рддреНрд░ рддреИрдпрд╛рд░ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред
рдЧреБрдгрди рдореЛрдбреБрд▓реЛ 11 рдХреЗ рд▓рд┐рдП рд╡реЗрд░рд┐рд▓реЛрдЧ
рдореЙрдбреБрд▓реЛ 31 рдХреЗ рд▓рд┐рдП рд╡реЗрд░рд┐рд▓реЛрдЧ
1000 рддрдХ рдХреА рдордирдорд╛рдиреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рд╡реЗрд░рд┐рд▓реЛрдЧ рдЬрдирд░реЗрдЯрд░

рд╕рд╛рд╣рд┐рддреНрдп


[рез] en.wikipedia.org/wiki/%D0%9F%D0%B5%D1%80%D0%B2%D0%BE%D0%BE%D0%BE%D0%B1%D1%D1%D0%B0%D0%E B7% D0% BD1 D1% 8B% D0% B9_% D0% BA% D0% BE% D1% 80% D0% B5% D0% BD% D1% 8C_% 28% 1% 82% D0% B5% D5% BE% D1% 80% D0% B8% D1% 8F_% D1% 87% D0% B8% D1% 81% D0% B5% D0% BB% 29
[реи] www.researchgate.net/publication/224735018_A_fast_RNS_Galois_field_multiplier

рд▓реЗрдЦрдХ рд╕реЗ


рдпрджрд┐ рдЖрдкрдХреЗ рдкрд╛рд╕ рд▓реЗрдЦ рдХреЗ рдЕрддрд┐рд░рд┐рдХреНрдд рд╣реИрдВ, рддреЛ рдореБрдЭреЗ рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдореЗрдВ рдЙрдиреНрд╣реЗрдВ рджреЗрдЦрдХрд░ рдЦреБрд╢реА рд╣реЛрдЧреАред рдФрд░ рдлрд┐рд░ рднреА рд▓реЗрдЦ рд╡рд┐рд╡рд░рдг рдХреЗ рд╕рд╛рде рд▓рд┐рдВрдХ рдкрд░ рдЦрд░рд╛рдм рдирд┐рдХрд▓рд╛, рдЕрдЧрд░ рдХрд┐рд╕реА рдХреЗ рдкрд╛рд╕ рдлреЗрдВрдХрдиреЗ рдХреЗ рд▓рд┐рдП рдХреБрдЫ рд╣реИред =)

Source: https://habr.com/ru/post/In149273/


All Articles