MCP рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрдиреЗрдХреНрдЯ рдХрд░реЗрдВ тЖТ

рдЧрдгрдирд╛ рджрд░реНрдЬ рдХрд░реЗрдВ

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛)

рд╡рд┐рдЬреНрдЮрд╛рдкрди

рдкрд░рд┐рдгрд╛рдо

рд▓реБрди рдЬрд╛рдБрдЪ
VALID
рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ 11
рд▓реБрди рдпреЛрдЧ 70
рдпреЛрдЧ mod 10 0
рдЪреЗрдХ рдЕрдВрдХ (рдЖрдЦрд╝рд┐рд░реА) 3

рд▓реБрди рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдХреНрдпрд╛ рд╣реИ?

рд▓реБрди рдПрд▓реНрдЧреЛрд░рд┐рджрдо, рдЬрд┐рд╕реЗ "mod 10" рдПрд▓реНрдЧреЛрд░рд┐рджрдо рднреА рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдПрдХ рдЖрд╕рд╛рди рдЪреЗрдХрд╕рдо рдлрд╝реЙрд░реНрдореВрд▓рд╛ рд╣реИ рдЬрд┐рд╕реЗ IBM рдХреЗ рд╡реИрдЬреНрдЮрд╛рдирд┐рдХ рд╣реИрдВрд╕ рдкреАрдЯрд░ рд▓реБрди рдиреЗ 1954 рдореЗрдВ рдмрдирд╛рдпрд╛ рдерд╛ред рдЗрд╕рдХрд╛ рдЗрд╕реНрддреЗрдорд╛рд▓ рдкрд╣рдЪрд╛рди рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЛ рд╡реИрд▓рд┐рдбреЗрдЯ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХреНрд░реЗрдбрд┐рдЯ рдФрд░ рдбреЗрдмрд┐рдЯ рдХрд╛рд░реНрдб рдирдВрдмрд░, рдлрд╝реЛрди рдХреЗ IMEI рд╕реАрд░рд┐рдпрд▓ рдирдВрдмрд░, рдФрд░ рдХрдИ рджреЗрд╢реЛрдВ рдХреА рд░рд╛рд╖реНрдЯреНрд░реАрдп рдкрд╣рдЪрд╛рди рд╕рдВрдЦреНрдпрд╛рдПрдБред рдпрд╣ рдХрд┐рд╕реА рдПрдХ рдЕрдВрдХ рдХреА рдЧрд▓рддреА рдФрд░ рдЕрдзрд┐рдХрддрд░ рдЕрдВрдХ рдЖрдЧреЗ-рдкреАрдЫреЗ рд╣реЛрдиреЗ (transposition) рдХреА рдЧрд▓рддрд┐рдпреЛрдВ рдХреЛ рдкрдХрдбрд╝ рд▓реЗрддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдпрд╣ рдХреЛрдИ рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлрд╝рд┐рдХ рд╕реБрд░рдХреНрд╖рд╛ рдЙрдкрд╛рдп рдирд╣реАрдВ рд╣реИ тАФ рд╕рд┐рд░реНрдлрд╝ рдбреЗрдЯрд╛ рдХреА рдмреБрдирд┐рдпрд╛рджреА рд╕рдЯреАрдХрддрд╛ рдЬрд╛рдБрдЪрдиреЗ рдХрд╛ рддрд░реАрдХрд╛ рд╣реИред

рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЗрд╕реНрддреЗрдорд╛рд▓ рдХреИрд╕реЗ рдХрд░реЗрдВ

рдЬрд┐рд╕ рдирдВрдмрд░ рдХреА рдЬрд╛рдБрдЪ рдХрд░рдиреА рд╣реИ рдЙрд╕реЗ рдлрд╝реАрд▓реНрдб рдореЗрдВ рдЯрд╛рдЗрдк рдХрд░реЗрдВ (рд╕реНрдкреЗрд╕ рдФрд░ рдбреИрд╢ рдЕрдкрдиреЗ-рдЖрдк рдирдЬрд╝рд░рдЕрдВрджрд╛рдЬрд╝ рд╣реЛ рдЬрд╛рддреЗ рд╣реИрдВ)ред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЕрдВрдХреЛрдВ рдХреЛ рдкреНрд░реЛрд╕реЗрд╕ рдХрд░рддрд╛ рд╣реИ, рд▓реБрди рдЪреЗрдХрд╕рдо рд▓рдЧрд╛рддрд╛ рд╣реИ, рдФрд░ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рдирдВрдмрд░ VALID рд╣реИ рдпрд╛ INVALID тАФ рд╕рд╛рде рд╣реА рдХреБрд▓ рдпреЛрдЧ, рдЙрд╕ рдпреЛрдЧ рдХрд╛ mod 10, рдФрд░ рдЖрдЦрд╝рд┐рд░реА рдЪреЗрдХ рдЕрдВрдХ рднреА рджрд┐рдЦрд╛рддрд╛ рд╣реИред

рдлрд╝реЙрд░реНрдореВрд▓рд╛ рд╕рдордЭреЗрдВ

рдЕрдВрдХреЛрдВ рдХреЛ рджрд╛рдПрдБ рд╕реЗ рдмрд╛рдПрдБ рдкрдврд╝реЗрдВред рд╕рдмрд╕реЗ рджрд╛рдИрдВ рдУрд░ рд╡рд╛рд▓реЗ (рдЪреЗрдХ) рдЕрдВрдХ рдХреЛ рд╡реИрд╕рд╛ рд╣реА рд░рд╣рдиреЗ рджреЗрдВ, рдлрд┐рд░ рд╣рд░ рджреВрд╕рд░реЗ рдЕрдВрдХ рдХреЛ рджреЛрдЧреБрдирд╛ рдХрд░реЗрдВред рдЕрдЧрд░ рджреЛрдЧреБрдирд╛ рдХрд░рдиреЗ рдкрд░ рд╕рдВрдЦреНрдпрд╛ 9 рд╕реЗ рдмрдбрд╝реА рд╣реЛ рдЬрд╛рдП, рддреЛ рдЙрд╕рдореЗрдВ рд╕реЗ 9 рдШрдЯрд╛ рджреЗрдВ (рдпрд╣ рдЙрд╕рдХреЗ рджреЛрдиреЛрдВ рдЕрдВрдХреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ, рдЬреИрд╕реЗ \(8 \times 2 = 16 \to 1 + 6 = 7\))ред рдЕрдм рд╕рднреА рдорд┐рд▓реЗ рд╣реБрдП рдорд╛рдиреЛрдВ рдХреЛ рдЬреЛрдбрд╝реЗрдВред рдЕрдЧрд░ рдХреБрд▓ рдпреЛрдЧ 10 рд╕реЗ рдкреВрд░реА рддрд░рд╣ рд╡рд┐рднрд╛рдЬрд┐рдд рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ рдирдВрдмрд░ рд▓реБрди рдЬрд╛рдБрдЪ рдкрд╛рд╕ рдХрд░ рдЬрд╛рддрд╛ рд╣реИред

$$\text{Valid} \iff \left(\sum_{i=0}^{n-1} f(d_i)\right) \bmod 10 = 0 \\[1.5em] \text{where}\quad \left\{ \begin{aligned} d_i &= i\text{-th digit of } \text{Number} \text{ (from right)} \\ f(d_i) &= \begin{cases} d_i & i \text{ even} \\ 2d_i - 9\,[2d_i>9] & i \text{ odd} \end{cases} \end{aligned} \right.$$

рдлреНрд▓реИрдЯ рдЖрд░реЗрдЦ рдЬреЛ рд▓реБрд╣реНрди рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдореЗрдВ рджрд╛рдИрдВ рдУрд░ рд╕реЗ рдЕрдВрдХреЛрдВ рдХреЛ рджреЛрдЧреБрдирд╛ рдХрд░рдирд╛ рджрд┐рдЦрд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдмрд╛рд░реА-рдмрд╛рд░реА рд╕реЗ рдЕрдВрдХ рджреЛрдЧреБрдиреЗ рдФрд░ рдЬреЛрдбрд╝реЗ рдЬрд╛рддреЗ рд╣реИрдВ
рд▓реБрд╣реНрди рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рджрд╛рдИрдВ рдУрд░ рд╕реЗ рд╣рд░ рджреВрд╕рд░реЗ рдЕрдВрдХ рдХреЛ рджреЛрдЧреБрдирд╛ рдХрд░рддрд╛ рд╣реИ, рдлрд┐рд░ рд╕рднреА рдЕрдВрдХреЛрдВ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИред

рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг

рдирдВрдмрд░ 79927398713 рдХреЛ рд▓реАрдЬрд┐рдПред рджрд╛рдПрдБ рд╕реЗ рд╣рд░ рджреВрд╕рд░реЗ рдЕрдВрдХ рдХреЛ рджреЛрдЧреБрдирд╛ рдХрд░рдиреЗ рдФрд░ 9 рд╕реЗ рдмрдбрд╝реЗ рдорд╛рдиреЛрдВ рдХреЛ рдШрдЯрд╛рдиреЗ рдкрд░ рдЬреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдЕрдВрдХ рдорд┐рд▓рддреЗ рд╣реИрдВ рдЙрдирдХрд╛ рдХреБрд▓ рдпреЛрдЧ 70 рдЖрддрд╛ рд╣реИред рдЪреВрдБрдХрд┐ \(70 \bmod 10 = 0\) рд╣реИ, рдЗрд╕рд▓рд┐рдП рдпрд╣ рдирдВрдмрд░ рд╡реИрд▓рд┐рдб рд╣реИред

рдлреНрд▓реИрдЯ рдлрд╝реНрд▓реЛрдЪрд╛рд░реНрдЯ рдЬреЛ рд▓реБрд╣реНрди рдЬрд╛рдБрдЪ рдХреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ, рдЬреЛ рдореЙрдб 10 рдкрд░реАрдХреНрд╖рдг рдкрд░ рд╕рдорд╛рдкреНрдд рд╣реЛрдХрд░ рд╡реИрдз рдпрд╛ рдЕрд╡реИрдз рдореЗрдВ рдмрдБрдЯ рдЬрд╛рддрд╛ рд╣реИ
рдпрджрд┐ рдХреБрд▓ рдпреЛрдЧ 10 рд╕реЗ рд╡рд┐рднрд╛рдЬреНрдп рд╣реИ, рддреЛ рд╕рдВрдЦреНрдпрд╛ рд╡реИрдз рд╣реИред

рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рд╕рд╡рд╛рд▓

рдХреНрдпрд╛ рд▓реБрди рд░рд┐рдЬрд╝рд▓реНрдЯ рд╡реИрд▓рд┐рдб рдЖрдиреЗ рдХрд╛ рдорддрд▓рдм рд╣реИ рдХрд┐ рдХрд╛рд░реНрдб рдЕрд╕рд▓реА рд╣реИ? рдирд╣реАрдВред рдпрд╣ рд╕рд┐рд░реНрдлрд╝ рдЗрддрдирд╛ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рдирдВрдмрд░ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рдмрдирд╛ рд╣реИ; рдпрд╣ рдирд╣реАрдВ рдЬрд╛рдБрдЪрддрд╛ рдХрд┐ рд╡рд╣ рдЕрдХрд╛рдЙрдВрдЯ рд╕рдЪ рдореЗрдВ рдореМрдЬреВрдж рд╣реИ рдпрд╛ рдЙрд╕рдореЗрдВ рдкреИрд╕реЗ рд╣реИрдВред

рдХреМрди-рдХреМрди рд╕реЗ рдЕрдХреНрд╖рд░ рдбрд╛рд▓реЗ рдЬрд╛ рд╕рдХрддреЗ рд╣реИрдВ? рд╕рд┐рд░реНрдлрд╝ рдЕрдВрдХреЛрдВ рдХрд╛ рдЗрд╕реНрддреЗрдорд╛рд▓ рд╣реЛрддрд╛ рд╣реИ; рдЧрдгрдирд╛ рд╕реЗ рдкрд╣рд▓реЗ рд╕реНрдкреЗрд╕, рдбреИрд╢ рдФрд░ рдмрд╛рдХрд╝реА рдЪрд┐рд╣реНрди рд╣рдЯрд╛ рджрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВред

рджреЛрдЧреБрдирд╛ рдХрд░рддреЗ рд╕рдордп 9 рдХреНрдпреЛрдВ рдШрдЯрд╛рддреЗ рд╣реИрдВ? 9 рд╕реЗ рдмрдбрд╝реЗ рджреЛрдЧреБрдиреЗ рдЕрдВрдХ рдореЗрдВ рд╕реЗ 9 рдШрдЯрд╛рдиреЗ рдкрд░ рд╡рд╣реА рдирддреАрдЬрд╛ рдорд┐рд▓рддрд╛ рд╣реИ рдЬреЛ рдЙрд╕рдХреЗ рджреЛрдиреЛрдВ рдЕрдВрдХреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдиреЗ рдкрд░ рдЖрддрд╛ рд╣реИ тАФ рдФрд░ рдпрд╣реА рдореВрд▓ рд▓реБрди рдирд┐рдпрдо рдЪрд╛рд╣рддрд╛ рд╣реИред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: