Телеграмм чат группы haskellru страница 15820

2021 March 25

[

Вики пишет:

По состоянию на апрель 2019 года проверены все натуральные числа меньше чем 1 152 921 504 606 846 976 и каждое из них за конечное количество шагов соответствовало условиям гипотезы Коллатца.

источник

19:06пожаловаться #1

JS

Jerzy Syrowiecki in Haskell

так, или реализуйте это на Хаскеле, или идите в blah

источник

19:18пожаловаться #2

[

[BRM]White Rabbit in Haskell

Готово! Функция, которая считает, сколько итераций понадобилось для достижения единицы.
Если эта функция не завершилась, то самое время звонить в Гарвард!

источник

19:21пожаловаться #3

t

toriningen in Haskell

а как мы узнаем, что она не завершилась?

источник

19:22пожаловаться #4

[

[BRM]White Rabbit in Haskell

подождать🌚

источник

19:22пожаловаться #5

JS

Jerzy Syrowiecki in Haskell

[BRM]White Rabbit

Готово! Функция, которая считает, сколько итераций понадобилось для достижения единицы.
Если эта функция не завершилась, то самое время звонить в Гарвард!

вместо деления попробуйте сдвиг на 1 бит. может работать быстрее. хотя оптимизатор должен это ловить

источник

19:25пожаловаться #6

[

[BRM]White Rabbit in Haskell

С интом это работаеть будет, с Integer - нет, если он реализован как привычная мне длинная арифметика - массивом интов

источник

19:27пожаловаться #7

t

toriningen in Haskell

глупый вопрос, конечно, но почему для этой гипотезы не пойдут обратным путем?

источник

19:27пожаловаться #8

t

toriningen in Haskell

в том плане, чтобы не проверять сходимость всех чисел к 1

источник

19:28пожаловаться #9

t

toriningen in Haskell

а наоборот, достижимость чисел от 1

источник

19:28пожаловаться #10

JS

Jerzy Syrowiecki in Haskell

toriningen

глупый вопрос, конечно, но почему для этой гипотезы не пойдут обратным путем?

@haskell_blah

источник

19:28пожаловаться #11

t

toriningen in Haskell

сорян, сорян ._. могу программу на хаскеле написать, которая будет перебирать все значения в обратном порядке, тогда будет онтопик?

источник

19:29пожаловаться #12

A

Andrey in Haskell

toriningen

сорян, сорян ._. могу программу на хаскеле написать, которая будет перебирать все значения в обратном порядке, тогда будет онтопик?

тогда да

источник

19:29пожаловаться #13

[

[BRM]White Rabbit in Haskell

toriningen

глупый вопрос, конечно, но почему для этой гипотезы не пойдут обратным путем?

А тебе норм хранить вот такой спан бит в памяти ? 1 152 921 504 606 846 976
Потому что надо ловить, что когда одна ветвь достигает уже бывшего в наличии значения, то она мертва.
Или предлагаешь каждое разветвление на жд записывать?..

источник

19:31пожаловаться #14

t

toriningen in Haskell

[BRM]White Rabbit

А тебе норм хранить вот такой спан бит в памяти ? 1 152 921 504 606 846 976
Потому что надо ловить, что когда одна ветвь достигает уже бывшего в наличии значения, то она мертва.
Или предлагаешь каждое разветвление на жд записывать?..

я не говорю о хранении этого в памяти, я говорю о математическом подходе

источник

19:32пожаловаться #15

Y

Yuuri in Haskell

toriningen

многомировая интерпретация врывается в этот тред

Хочу порт GHC на квантовые компьютеры, чтобы https://hackage.haskell.org/package/acme-realworld-0.1.1/docs/src/Acme-RealWorld.html#hypothetically запускать

источник

19:32пожаловаться #16

Y

Yuuri in Haskell