Погода:
Киев сегодня
Киев
Донецк
Одесса
Львов
Харьков
Санкт-Петербург
Москва
Сегодня Завтра
НБУ
НБУ Межбанк Наличные
EUR
26.18
USD
23.49
RUB
0.37
EUR
39.04
USD
36.57
RUB
0.34
EUR
29.22
USD
26.07
RUB
0.46
Математики нашли доказательства гипотезы Коллатца
гипотеза
  • 1
  • 2
  • 3
  • 4
  • 5
  • Текущий рейтинг
0/5 (0 голосов)
Герхарт Опфер из Гамбургского университета заявил, что ему удалось доказать так называемую гипотезу Коллатца.

В настоящее время работа (pdf) ученого подана в журнал Mathematics of Computation.

Гипотеза касается некоторого алгоритма построения числовой последовательности, известного как HOTPO (Half Or Triple Plus One - половина или утроенное плюс один). На вход подается некоторое число xn (член последовательности за номером n), а на выходе получается член последовательности с номером n+1. При этом, если xnчетное, то xn +1 равно половине xn. В противном случае xn + 1 = 3xn + 1.

Легко видеть, что, если xn = 1, то на следующем шаге мы получим 4, а еще за два шага вернемся к единице, то есть, алгоритм зациклится. В 1937 году Лотар Коллатц предположил, что, в независимости от того, с какого числа мы начинаем, рано или поздно в нашей последовательности встретится единица и алгоритм сведется к данном простому циклу. За годы изучения задачи было установлено, что гипотеза Коллатца связана с решением разного рода задач из теории чисел, фрактальной геометрии и других областей математики.

Главным инструментом, который использовал Опфер при решении задачи, были операторы на пространстве голоморфных функций - объекты из совершенно другой области математики, имеющей дело с комплексными числами и функциями от них.

В настоящее время работа еще не прошла рецензию, поэтому в статье могут обнаружиться ошибки. В августе 2010 года, например, индийский математик Винэй Деолаликар (Vinay Deolalikar) заявил, что ему удалось решить задачу о несовпадаении классов сложности P и NP. Позже, однако, в работе математика была обнаружена ошибка.

  • 1
  • 2
  • 3
  • 4
  • 5
  • Текущий рейтинг
Комментарии (0)
Войти через: