로더 수: 이론적 무한 메모리 머신에서의 프로그래밍 챌린지
2025-04-05
로더 수는 랄프 로더가 작성한 C 프로그램 loader.c의 출력 결과입니다. 이 프로그램은 Bignum Bakeoff 경진대회에서 1위를 차지했습니다. 경진대회의 목표는 이론적으로 무한한 메모리를 가진 머신에서 가능한 한 큰 출력을 생성하는 C 프로그램(512자 이내)을 작성하는 것이었습니다. 계산은 Huet-Coquand 구성 계산에 기반하며, Marxen.c의 출력 등 다른 알려진 큰 수보다 훨씬 큰 수를 생성합니다. 공식적인 증명은 없지만, 추정에 따르면 빠르게 증가하는 계층의 특정 값을 초과하는 것으로 여겨집니다. 로더 수의 계산은 계산 집약적이며, 그 규모는 컴퓨터 과학에서의 계산 한계 탐구를 보여줍니다.
더 보기
개발
큰 수