рдкрд░рд┐рдЪрдп
рдЖрдорддреМрд░ рдкрд░ рдЗрд╕ рд╕рд╛рдордЧреНрд░реА рдХреЛ рд╕реВрддреНрд░реЛрдВ рдХреА рдПрдХ рдмрд╣реБрддрд╛рдпрдд рдХреЗ рд╕рд╛рде рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдФрд░ рдЧрдгрд┐рддрдЬреНрдЮреЛрдВ рдХреЗ рд▓рд┐рдП рдЕрдзрд┐рдХ рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдореИрдВ рдЗрд╕ рдкрджреНрдзрддрд┐ рдХреЛ рд╣рд╛рд░реНрдбрд╡реЗрдпрд░ рд╕реНрддрд░ рдкрд░ рдорд╛рдЗрдХреНрд░реЛрдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХ рдореЗрдВ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рд╕рд░рд▓ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдмрд╕реЗ рдЕрдзрд┐рдХ рд╕реБрд▓рдн рдкреЗрдВрдЯ рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХрд░реВрдВрдЧрд╛ред рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдореЗрдВ, p = 11 рдХрд╛ рдЙрдкрдпреЛрдЧ рд╕реНрдкрд╖реНрдЯрддрд╛ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ред
рд╕рдорд╕реНрдпрд╛ рдХрд╛ рдмрдпрд╛рди
рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рд╣рдореЗрдВ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдлрд╝реЙрд░реНрдо рдХрд╛ рдЧреБрдгрд╛ рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ:
res = (a*b) mod p
, рдЬрд╣рд╛рдБ
0 <= a < p
0 <= b < p
p
рдПрдХ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ рд╣реИред
mod p
- рд╢реЗрд╖ modulo рдЦреЛрдЬрдиреЗ рдХрд╛ рд╕рдВрдЪрд╛рд▓рдиред
рдФрд░ рдЗрд╕реЗ рдирд┐рдореНрди рд╕реНрддрд░ рдкрд░ рдХрд┐рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдП, рдЬрд╣рд╛рдВ рдХреЛрдИ рдЧреБрдгрди рдСрдкрд░реЗрд╢рди рдирд╣реАрдВ рд╣реИ рдФрд░ рд╢реЗрд╖ рднрд╛рдЧ рдХреЛ рд▓реЗрдиреЗ рдХрд╛ рд╕рдВрдЪрд╛рд▓рди рд╣реИ, рдпрд╛ рдЙрдиреНрд╣реЗрдВ рдХрд╛рдлреА рдореБрд╢реНрдХрд┐рд▓ рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ (рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдЗрд▓реЗрдХреНрдЯреНрд░реЙрдирд┐рдХ рдбрд┐рд╡рд╛рдЗрд╕ рдореЗрдВ)ред
рд╕рдмрд╕реЗ рд╕рд░рд▓ рдЙрдкрд╛рдп рд╡рд┐рдзрд┐рдпрд╛рдБ
- рдкрд╣рд▓реА рдмрд╛рдд рдЬреЛ рдорди рдореЗрдВ рдЖрддреА рд╣реИ: рдЧреБрдгрд╛ рдХрд░реЗрдВ, рдлрд┐рд░ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░реЗрдВ рдФрд░ рд╢реЗрд╖ рд▓реЗрдВред рдЗрд╕ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреЛ рдЕрд╕реНрддрд┐рддреНрд╡ рдХрд╛ рдЕрдзрд┐рдХрд╛рд░ рд╣реИ, рд▓реЗрдХрд┐рди рд╕рдВрдЪрд╛рд▓рди рдХреА рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдмреЗрд╣рдж рдорд╣рдВрдЧрд╛ рд╣реИ рдФрд░ рдЗрд╕реЗ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдореЗрдВ рдХрд╛рдлреА рдореБрд╢реНрдХрд┐рд▓ рд╣реИред
- рджреВрд╕рд░реА рдмрд╛рдд рдЬреЛ рдЖрдк рд╕реЛрдЪ рд╕рдХрддреЗ рд╣реИрдВ, рд╡рд╣ рд╣реИ рдХрд┐ рдЗрд╕ рдСрдкрд░реЗрд╢рди рдХреЛ рджреЛ-рдЖрдпрд╛рдореА рдЧреБрдгрди рддрд╛рд▓рд┐рдХрд╛ рдХреЗ рдЖрдХрд╛рд░
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
рдХреЛ рдмрдврд╝рд╛рддреЗ рд╣реБрдП: рдЕрджреНрд╡рд┐рддреАрдп рдкрд░рд┐рдгрд╛рдо рд╣реИрдВ:
- (реи реж )
mod
резрез = рез mod
резрез = рез - (реи рез )
mod
резрез = реи mod
резрез = реи - (реи реи )
mod
резрез = рек mod
резрез = рек - (реи рей )
mod
резрез = 11 mod
резрез = 11 - (реи рек )
mod
резрез = резрем mod
резрез = рел - (реи рел )
mod
резрез = рейреи mod
резрез = резреж - (реи рем )
mod
резрез = ремрек mod
резрез = реп - (реиред)
mod
резрез = резреи) mod
резрез = 11 - (реиред)
mod
резрез = реирелрем mod
резрез = рей - (реи реп )
mod
резрез = релрезреи mod
резрез = рем
рдирд┐рдпрдорд┐рдд
{q}
рдФрд░ рдЗрдВрдбреЗрдХреНрд╕
{i}
рдЕрднреНрдпрд╛рд╡реЗрджрди рдХреЗ рдмреАрдЪ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрд░реЛрд╣реА рдХреНрд░рдо рдореЗрдВ рдореВрд▓реНрдпреЛрдВ рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдЬреЛрдбрд╝реЗ рдХреЛ рд╕реЙрд░реНрдЯ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдореЙрдбреНрдпреВрд▓
p
= 11 рдХреЗ рд▓рд┐рдП рдкреНрд░рддреНрдпрдХреНрд╖ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдЗрд╕ рддрд░рд╣ рджрд┐рдЦрд╛рдИ рджреЗрдЧреА:
рдХреНрд╖ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
рдореИрдВ | 0 | 1 | 8 | 2 | 4 | 9 | 7 | 3 | 6 | 5 |
рдФрд░
p
= 11 рдореЙрдбреНрдпреВрд▓ рдХреЗ рд▓рд┐рдП рдЙрд▓рдЯрд╛ рд░реВрдкрд╛рдВрддрд░рдг рддрд╛рд▓рд┐рдХрд╛ рдЗрд╕ рддрд░рд╣ рджрд┐рдЦрд╛рдИ рджреЗрдЧреА:
рдореИрдВ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
рдХреНрд╖ | 1 | 2 | 4 | 8 | 5 | 10 | 9 | 7 | 3 | 6 |
рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХрд╛ рдорд╛рди рдЬреНрдЮрд╛рдд рдХрд░реЗрдВ (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 рдХреЛ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд▓рд┐рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:
рдХреНрд╖ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
рдореИрдВ | 0 | 1 | 8 | 2 | 4 | 9 | 7 | 3 | 6 | 5 |
(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) |
рдХреНрд╖ | 1 | 9 | 4 | 3 | 5 | 10 | 2 | 7 | 8 | 6 |
рд╣рдо рдкрд┐рдЫрд▓реЗ рдЙрджрд╛рд╣рд░рдг рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдорд╛рди (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рд▓реЗрдЦрдХ рд╕реЗ
рдпрджрд┐ рдЖрдкрдХреЗ рдкрд╛рд╕ рд▓реЗрдЦ рдХреЗ рдЕрддрд┐рд░рд┐рдХреНрдд рд╣реИрдВ, рддреЛ рдореБрдЭреЗ рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдореЗрдВ рдЙрдиреНрд╣реЗрдВ рджреЗрдЦрдХрд░ рдЦреБрд╢реА рд╣реЛрдЧреАред рдФрд░ рдлрд┐рд░ рднреА рд▓реЗрдЦ рд╡рд┐рд╡рд░рдг рдХреЗ рд╕рд╛рде рд▓рд┐рдВрдХ рдкрд░ рдЦрд░рд╛рдм рдирд┐рдХрд▓рд╛, рдЕрдЧрд░ рдХрд┐рд╕реА рдХреЗ рдкрд╛рд╕ рдлреЗрдВрдХрдиреЗ рдХреЗ рд▓рд┐рдП рдХреБрдЫ рд╣реИред =)