A simple math problem that we still can't solve

Sergey Zhestkov, a lecturer at MIPT and concurrently an OTUS expert, invites everyone to a free demo lesson of the advanced course "Mathematics for Data Science" , on the topic: "Maps, their matrix and diagonalization . "



And we traditionally share with you the translation of interesting material.


Despite recent sympathies with the infamous Collatz hypothesis, we still can't figure out if a number can get out of an infinite loop.

This article comes with a warning: don't try to solve this math problem.

. , . , : , ; , 3 1. . , . , .

, , 10: 10 - , 5. 5 - , 3 1. 16, , 2 8, 8 4, 2, , 1. 1 , 1. 4, , : 4 2, 1, 4, . .

11: , 1. 34, , 17, 1, 52, , 26, , 13, 1, 40, , 20, 10, 5, 1, 16, , 8, 4, 2 1. .

, , . , , : , . , , .

, . , . : , - , , , . , .

. , . , .

, :

(even - , odd - )

«» : n , , n . f , : , f (10) = 10/2 = 5, 10 , f (5) = 3 Γ— 5 + 1 = 16, 5 . 3n + 1.

«» f. - , , - , . «» . 10 f, :

f (10) = 10/2 = 5

f (5) = 3 Γ— 5 + 1 = 16

f (16) = 16/2 = 8

f (8) = 8/2 = 4

. 10 f:

10 β†’ 5 β†’ 16 β†’ 8 β†’ 4 β†’ 2 β†’ 1 β†’ 4 β†’ 2 β†’ 1 β†’ …

, 1 β†’ 4 β†’ 2 β†’ 1 →….

, 11 f ​​

11 β†’ 34 β†’ 17 β†’ 52 β†’ 26 β†’ 13 β†’ 40 β†’ 20 β†’ 10 β†’ 5 β†’ 16 β†’ 8 β†’ 4 β†’ 2 β†’ 1 β†’ 4 β†’ ….

. , , 4 β†’ 2 β†’ 1 →…. 9 19 , , 27. , 111 .

, f 1. , 26⁸. , , 300 . ( !)

, : , 1. , , β„Š.

 

β„Š f, 1 , . β„Š f , . , 10 11 β„Š:

10 β†’ 5 β†’ 6 β†’ 3 β†’ 4 β†’ 2 β†’ 1 β†’ 2 β†’ 1 β†’ 2 β†’ …

11 β†’ 12 β†’ 6 β†’ 3 β†’ 4 β†’ 2 β†’ 1 β†’ 2 β†’ 1β†’ 2 β†’ …

, 11 1 β„Š, f. 27 1 β„Š.

27 β†’ 28 β†’ 14 β†’ 7 β†’ 8 β†’ 4 β†’ 2 β†’ 1 β†’ 2 β†’ …

β„Š , f, :

β†’ 2 β†’ 1 β†’ 2 β†’ 1 β†’ ….

, β„Š  1. «», n + 1. , , , - - 26⁸ - , . , . .

-, , . , n , β„Š(n) = n/ 2 < n. , , .

, n , β„Š(n) = n + 1, n. , + 1 , : β„Š + 1 . n :

,

.

- ,

, n. , > 1,

, β„Š 1, . : , , . - 1 . 1, , .

? .

β„Š, f . β„Š, f , , , : f . f, n :

. , n:

, n. , , . .

- , , , , : , , 1? , , , , : ,

.

, 3n + 1 . 3n + 1 4,

, . 3n + 1 4,

, . , , , .

. , 50%

,

. n > 1 , n, . 50%- ,

, , 25%- , . . , , . , , . , .

, Β« Β» . , , , , , 1, , , . 1976 - , , . , , , - , 1.

2019 , , . , n , n, , n :

,

,

( n), f(n), f(x) - , , , . , , . , , Β« .Β»

. , . , : .

1. , , 1.

2. Β« Β» n - , , n 1. , 10 6, 11 14. 5.

3. :

 

, 1 β†’ 2 β†’ 1 β†’ 2 β†’ 1… . ?

, 1:

, 1. ,

, , 1.

, 2:

2^5 5,

…. 2^4 4, , 2^4, 5. , 5 β†’ 16 β†’ 8 β†’ 4 β†’ 2 β†’ 1. ?

, 3:

:

5 β†’ 14 β†’ 7 β†’ 20 β†’ 10 β†’ 5 β†’ …

17 β†’ 50 β†’ 25 β†’ 74 β†’ 37 β†’ 110 β†’ 55 β†’ 164 β†’ 82 β†’ 41 β†’ 122 β†’ 61 β†’ 182 β†’ 91 β†’ 272 β†’ 136 β†’ 68 β†’ 34 β†’ 17 β†’ …


  -


:




All Articles