рдХреЛрд▓реИрдЯреНрдЬрд╝ рдЕрдиреБрдорд╛рди рдХреНрдпрд╛ рд╣реИ?
рдХреЛрд▓реИрдЯреНрдЬрд╝ рдЕрдиреБрдорд╛рди, рдЬрд┐рд╕реЗ \(3n+1\) рд╕рдорд╕реНрдпрд╛ рднреА рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЧрдгрд┐рдд рдХреА рд╕рдмрд╕реЗ рдорд╢рд╣реВрд░ рдЕрдирд╕реБрд▓рдЭреА рдкрд╣реЗрд▓рд┐рдпреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╣реИред рдХрд┐рд╕реА рднреА рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рд╕реЗ рд╢реБрд░реБрдЖрдд рдХреАрдЬрд┐рдПред рдЕрдЧрд░ рд╕рдВрдЦреНрдпрд╛ рд╕рдо (even) рд╣реИ, рддреЛ рдЙрд╕реЗ рджреЛ рд╕реЗ рднрд╛рдЧ рджреАрдЬрд┐рдПред рдЕрдЧрд░ рд╕рдВрдЦреНрдпрд╛ рд╡рд┐рд╖рдо (odd) рд╣реИ, рддреЛ рдЙрд╕реЗ рддреАрди рд╕реЗ рдЧреБрдгрд╛ рдХрд░рдХреЗ рдПрдХ рдЬреЛрдбрд╝ рджреАрдЬрд┐рдПред рд╣рд░ рдирдИ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд╕рд╛рде рдпрд╣реА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рджреЛрд╣рд░рд╛рддреЗ рдЬрд╛рдЗрдПред рдЕрдиреБрдорд╛рди рдХрд╣рддрд╛ рд╣реИ рдХрд┐ рдЖрдк рдЪрд╛рд╣реЗ рдХрд┐рд╕реА рднреА рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рд╢реБрд░реВ рдХрд░реЗрдВ, рдпрд╣ рдЕрдиреБрдХреНрд░рдо рдЕрдВрддрддрдГ 1 рддрдХ рдкрд╣реБрдБрдЪ рд╣реА рдЬрд╛рдПрдЧрд╛ред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдХреЛрдИ рднреА рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛ рджрд░реНрдЬ рдХреАрдЬрд┐рдП рдФрд░ рдпрд╣ рдЯреВрд▓ рдкрд░реНрджреЗ рдХреЗ рдкреАрдЫреЗ рдкреВрд░рд╛ рдХреЛрд▓реИрдЯреНрдЬрд╝ рдЕрдиреБрдХреНрд░рдо рддреИрдпрд╛рд░ рдХрд░ рджреЗрддрд╛ рд╣реИред рдпрд╣ рдЖрдкрдХреЛ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рд░реБрдХрдиреЗ рдХрд╛ рд╕рдордп (stopping time) рдХрд┐рддрдирд╛ рд╣реИ (рдпрд╛рдиреА 1 рддрдХ рдкрд╣реБрдБрдЪрдиреЗ рдореЗрдВ рдХрд┐рддрдиреЗ рдЪрд░рдг рд▓рдЧреЗ) рдФрд░ рд╕рдмрд╕реЗ рдКрдБрдЪрд╛ рдорд╛рди рдХреНрдпрд╛ рд░рд╣рд╛, рдЬрд╣рд╛рдБ рддрдХ рдЕрдиреБрдХреНрд░рдо рдЪрдврд╝рдиреЗ рдХреЗ рдмрд╛рдж рд╡рд╛рдкрд╕ рдиреАрдЪреЗ рдЖрддрд╛ рд╣реИред рдпрд╣ рджреЗрдЦрдиреЗ рдХрд╛ рдмрдврд╝рд┐рдпрд╛ рддрд░реАрдХрд╛ рд╣реИ рдХрд┐ рдЕрд▓рдЧ-рдЕрд▓рдЧ рд╢реБрд░реБрдЖрддреА рд╕рдВрдЦреНрдпрд╛рдПрдБ рдХрд┐рддрдиреЗ рдЕрд▓рдЧ-рдЕрд▓рдЧ рдврдВрдЧ рд╕реЗ рд╡реНрдпрд╡рд╣рд╛рд░ рдХрд░рддреА рд╣реИрдВред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдпрд╣ рдирд┐рдпрдо рдЦрдВрдбрд╡рд╛рд░ (piecewise) рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИ: рдЬрдм \(n\) рд╕рдо рд╣реЛ рддреЛ \(f(n) = n/2\), рдФрд░ рдЬрдм \(n\) рд╡рд┐рд╖рдо рд╣реЛ рддреЛ \(f(n) = 3n + 1\)ред рдЬреИрд╕реЗ рд╣реА рдорд╛рди 1 рддрдХ рдкрд╣реБрдБрдЪрддрд╛ рд╣реИ, рдЕрдиреБрдХреНрд░рдо 1, 4, 2, 1 рдХреЗ рдЪрдХреНрд░ рдореЗрдВ рдлрдБрд╕ рдЬрд╛рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдХреИрд▓рдХреБрд▓реЗрдЯрд░ 1 рдкрд░ рдЧрд┐рдирддреА рд░реЛрдХ рджреЗрддрд╛ рд╣реИред \(f\) рдХреЛ рдХреБрд▓ рдХрд┐рддрдиреА рдмрд╛рд░ рд▓рд╛рдЧреВ рдХрд░рдирд╛ рдкрдбрд╝рд╛, рд╡рд╣реА рд░реБрдХрдиреЗ рдХрд╛ рд╕рдордп (stopping time) рд╣реИред
$$f(n) = \begin{cases} \dfrac{n}{2} & \text{if } n \equiv 0 \pmod{2} \\[0.6em] 3n+1 & \text{if } n \equiv 1 \pmod{2} \end{cases} \qquad n_0 = \text{Starting number}$$рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
6 рд╕реЗ рд╢реБрд░реВ рдХреАрдЬрд┐рдПред рдпрд╣ рд╕рдо рд╣реИ, рдЗрд╕рд▓рд┐рдП \(6 \to 3\) (рдЪрд░рдг 1)ред 3 рд╡рд┐рд╖рдо рд╣реИ, рдЗрд╕рд▓рд┐рдП \(3 \to 10\) (рдЪрд░рдг 2)ред \(10 \to 5\) (рдЪрд░рдг 3), \(5 \to 16\) (рдЪрд░рдг 4), \(16 \to 8\) (рдЪрд░рдг 5), \(8 \to 4\) (рдЪрд░рдг 6), \(4 \to 2\) (рдЪрд░рдг 7), \(2 \to 1\) (рдЪрд░рдг 8)ред рдЗрд╕рдореЗрдВ 8 рдЪрд░рдг рд▓рдЧрддреЗ рд╣реИрдВ рдФрд░ рдкрд╣реБрдБрдЪрд╛ рд╕рдмрд╕реЗ рдКрдБрдЪрд╛ рдорд╛рди 16 рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рдпрд╣ рдЕрдиреБрдорд╛рди рд╕рд┐рджреНрдз рд╣реЛ рдЪреБрдХрд╛ рд╣реИ? рдирд╣реАрдВред рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреА рдмрд╣реБрдд рдмрдбрд╝реА рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рдЗрд╕реЗ рдХрдВрдкреНрдпреВрдЯрд░ рд╕реЗ рдЬрд╛рдБрдЪрд╛ рдЬрд╛ рдЪреБрдХрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдХреЛрдИ рд╕рд╛рдорд╛рдиреНрдп рдкреНрд░рдорд╛рдг рдЖрдЬ рддрдХ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИред
рдЕрдиреБрдХреНрд░рдо рдХрднреА-рдХрднреА рдЗрддрдирд╛ рдмрдбрд╝рд╛ рдХреНрдпреЛрдВ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ? рд╡рд┐рд╖рдо рдЪрд░рдгреЛрдВ рдореЗрдВ рд╕рдВрдЦреНрдпрд╛ рддреАрди рдЧреБрдирд╛ рд╣реЛ рдЬрд╛рддреА рд╣реИ, рдЗрд╕рд▓рд┐рдП рд▓рдЧрд╛рддрд╛рд░ рдХрдИ рд╡рд┐рд╖рдо рдорд╛рди рдЖрдиреЗ рдкрд░ рд╕рдВрдЦреНрдпрд╛рдПрдБ рдмрд╣реБрдд рдКрдБрдЪреА рдЪрд▓реА рдЬрд╛рддреА рд╣реИрдВ, рдФрд░ рдлрд┐рд░ рднрд╛рдЧ рд╡рд╛рд▓реЗ рдЪрд░рдг рдЙрдиреНрд╣реЗрдВ рдиреАрдЪреЗ рд▓рд╛рддреЗ рд╣реИрдВред
рд░реБрдХрдиреЗ рдХреЗ рд╕рдордп рдХрд╛ рдХреНрдпрд╛ рдорддрд▓рдм рд╣реИ? рдпрд╣ рдмрд╕ рдЗрд╕ рдмрд╛рдд рдХреА рдЧрд┐рдирддреА рд╣реИ рдХрд┐ рдорд╛рди рдХреЗ рдкрд╣рд▓реА рдмрд╛рд░ 1 рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрдиреЗ рд╕реЗ рдкрд╣рд▓реЗ рдирд┐рдпрдо рдХреЛ рдХрд┐рддрдиреА рдмрд╛рд░ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЧрдпрд╛ред