Бигнум бейкофф

**Бигнум бейкофф** — конкурс по программированию, проведённый Дэвидом Моюзом в декабре 2001. Цель конкурса - написать программу на языке программирования C, содержащую не более 512 символов (игнорируя пробелы), которая даёт максимально возможное число, предполагая, что компьютер располагает бесконечными ресурсами. Записи были классифицированы относительно быстрорастущей иерархии.

Всего двадцать записей (плюс одна запись, сделанная посмертно ) были отправлены разными людьми (девять из них от одного и того же человека), и пятнадцать (включая посмертную запись) программ выдали большое число (остальные шесть либо ничего не выдали, не завершаются или выводится -1). Работа, занявшая второе место, была marxen.c Хайнера Марксена, который использует вариант последовательности Гудштейна, а победившей стала работа loader.c Ральфа Лоудера, которая диагонализирует по исчислению конструкций. Выходные данные loader.c на самом деле являются одним из самых больших известных чисел, и его прозвали числом Лоудера.

Этоь плейлист на YouTube содержит некоторые из основных идей, использованных участниками, с особым акцентом на математику, лежащую в основе marxen.c и loader.c.

## Список записей по размеру вывода

* **carnahan.c**, **pete.c**, **pete-2.c** - *не завершилось*
* **dovey.c**, **edelson.c**, **f.c** - *выведено -1 из-за неудачных попыток вывести наибольшее число*
* **pete-3.c** =

9
⋅

2

1566

{\displaystyle 9 \cdot 2^{1566}}
* **pete-9.c** ~

2
↑↑
386
,
201
,
107

{\displaystyle 2 \uparrow\uparrow 386,201,107}
* **pete-8.c** ~

2
↑↑
386
,
201
,
107

{\displaystyle 2 \uparrow\uparrow 386,201,107}
* **harper.c** ~

2
↑↑
(

10

10

30
,
102
,
999

)

{\displaystyle 2 \uparrow\uparrow (10^{10^{30,102,999}})}
* **ioannis.c** ~

f

ω
1

(
115
)

{\displaystyle f\_{\omega + 1}(115)}
* **goldstoner.c** ~

f

ω
2

(
199
)

{\displaystyle f\_{\omega + 2}(199)}

 (посмертная запись)
* **chan-2.c** ~

f

ω
47

(

10

39

)

{\displaystyle f\_{\omega + 47}(10^{39})}
* **chan-3.c** ~

f

ω
2
4

(
199
,
999
)

{\displaystyle f\_{\omega 2 + 4}(199,999)}
* **pete-4.c** ~

f

ω
33

(
100
,
000
)

{\displaystyle f\_{\omega 33}(100,000)}
* **chan.c** ~

f

ω
50

(
100
,
000
)

{\displaystyle f\_{\omega 50}(100,000)}
* **pete-5.c** ~

f

ω

11

16

(
1000
)

{\displaystyle f\_{\omega^{11} + 16}(1000)}
* **pete-6.c** ~

f

ω

23

(

10

3011

)

{\displaystyle f\_{\omega^{23}}(10^{3011})}
* **pete-7.c** ~

f

ω

ω

(
2
↑↑
35
)

{\displaystyle f\_{\omega^{\omega}}(2 \uparrow\uparrow 35)}
* **marxen.c** ~

f

ε

0

ω

3

(
1
,
000
,
000
)

{\displaystyle f\_{\varepsilon\_{0} + \omega^{3}}(1,000,000)}
* **loader.c** =

D
5

(
99
)

{\displaystyle D^5(99)}

## Конкретные цифры

* **99,999,999** - самое большое восьмизначное число в десятичной системе счисления, равное

10
8

−
1

{\displaystyle 10^8 - 1}

. По этой причине оно было использован в harper.c.
	+ Это также наибольшее число, не вызывающее целочисленного переполнения в стандартных четырёхфункциональных вычислимых системах.
	+ Кроме того, это цена обновления “Кокосовое печенье” (в cookies) в игре "Cookie Clicker".
* **999,999,999,999,999,999,999,999,999,999,999,999,999,999** - самое большое 39-значное число в десятичной системе счисления. По этой причине оно было использовано в chan-2.c.
	+ Это простое разложение на множители равно

	3
	3

	⋅
	37
	⋅
	53
	⋅
	79
	⋅
	265
	,
	371
	,
	653
	⋅
	900
	,
	900
	,
	900
	,
	900
	,
	990
	,
	990
	,
	990
	,
	991

	{\displaystyle 3^3 \cdot 37 \cdot 53 \cdot 79 \cdot 265,371,653 \cdot 900,900,900,900,990,990,990,991}

	.
	+ Кроме того, это цена обновления “Королевское малиновое шоколадно-сдобное печенье” (в виде печенья) в игре "Cookie Clicker".

## Примечание

1. ↑ http://djm.cc/bignum-rules-posted.txt
2. ↑ http://djm.cc/bignum-clarification-i.txt
3. ↑ http://djm.cc/bignum-clarification-ii.txt
4. ↑ http://djm.cc/bignum-results.txt
5. ↑ http://djm.cc/bignum-postmortem.txt
6. ↑ http://djm.cc/bignum-results.txt
7. ↑ http://djm.cc/bignum-results.txt
8. ↑ https://es.numberempire.com/numberfactorizer.php?number=999999999999999999999999999999999999999