Оффтопик: я тут внезапно понял, почему 9^9^9 настолько интересно именно в современном контексте. Потому что log_2 log_2 9^9^9 примерно равно 30.2. То есть, указывать номера отдельных битов в двоичном представлении 9^9^9 само по себе требует 31 бита (со знаком 32). То есть, современные системы в общем справляются, но "на грани" -- стоит откусить бит-другой на какие-то свои нужды, и всё. Например, pari/gp, с которой я сейчас играюсь, не справилась -- у неё максимальный размер целого 2^2^29 (хотя можно пересобрать в 64 бита, тогда станет "дохрена").
Но зато она расколола гипотезу Пойя за... ща... 1h, 12min, 28,626 ms. Хотя это, конечно, читинг в каком-то смысле -- pari/gp специально заточена именно под теорию чисел (включая эллиптические кривые, группы Галуа и прочее, от чего я одни названия слышал), и первых сколько-то простых чисел у неё просто зашиты в рантайме, потому что факторизация у неё один из коньков. Но можно считать её и просто очень крутым калькулятором. :-)
... А взглянуть в лицо действительности - нечем ...
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-09-01 02:20 pm (UTC)Но зато она расколола гипотезу Пойя за... ща... 1h, 12min, 28,626 ms. Хотя это, конечно, читинг в каком-то смысле -- pari/gp специально заточена именно под теорию чисел (включая эллиптические кривые, группы Галуа и прочее, от чего я одни названия слышал), и первых сколько-то простых чисел у неё просто зашиты в рантайме, потому что факторизация у неё один из коньков. Но можно считать её и просто очень крутым калькулятором. :-)
... А взглянуть в лицо действительности - нечем ...