Pifs

압축률이 100%에 가까운 원주율 파일 시스템

About

원주율의 소수점은 몇진법으로 쓰든 모든 숫자가 동일한 비율로 나타나는 normal number 라고 강력하게 추정됩니다.

normal number 라면 가능한 모든 숫자 조합을 포함하는 disjunctive sequence 라는게 증명돼 있습니다.

즉, 바이너리로 표현된 모든 컴퓨터 프로그램은 원주율 소수점 어딘가에 존재한다는 것이죠. 원주율 소수점의 위치만 찾아내면, 모든 정보를 저장하고 복원할 수 있게됩니다.

400줄 텍스트 파일을 저장하는데 5분정도 시간이 걸린다는데, 제작자는 무어의 법칙을 믿으면 된다고... 합니다.

소수점 계산을 첫자리 부터가 아닌 특정 자릿수부터 계산하는걸 스피곳 알고리즘이라 부르는데, pifs 의 경우 Bailey-Borwein-Plouffe 공식을 이용해서 원주율의 자릿수를 계산한다고 합니다.