[논문 리뷰] Recombinations of Busy Beaver Machines

Norbert Bátfai|ArXiv.org|2009. 08. 27.

Mechanics and Biomechanics Studies참고 문헌 3인용 수 7

한 줄 요약

이 논문은 기존의 고성능 머신들(예: Marxen-Buntrock 및 Uhing 머신)을 융합하여 새로운 5상태 바이스 베이버 튜링 머신을 생성하는 새로운 재조합 방법을 제안한다. 기존 머신들에서 전이 규칙을 전략적으로 조합함으로써, 저자들은 70,740,809단계를 수행하는 새로운 재조합 BB₅ 머신을 발견하였다. 이는 모든 알려진 5상태 머신을 뛰어넘으며, S(5) 함수에 대한 새로운 기록 후보로 제안된다.

ABSTRACT

Many programmers belive that Turing-based machines cannot think. We also believe in this, however it is interesting to note that the most sophisticated machines are not programmed by human beings. We have only discovered them. In this paper, using well-known Busy Beaver and Placid Platypus machines, we generate further very similar, but not exactly the same machines. We have found a recombinated BB_5 machine which can make 70.740.809 steps before halting.

연구 동기 및 목표

• 기존의 고성능 머신들을 체계적으로 재조합함으로써 새로운 고성능 5상태 바이스 베이버 머신을 생성할 수 있는지 탐색하는 것.
• 기존의 바이스 베이버 및 플라시드 플라타푸스 머신을 재조합하여 이전에 기록된 바보다 더 긴 실행 시간을 가진 머신을 도출할 수 있는지 조사하는 것.
• 오직 인간의 설계 또는 철저한 검색 방법을 통해 최적 또는 근사 최적의 튜링 머신을 생성할 수 있다는 가정을 도전하는 것.
• 복잡한 고성능 머신이 설계를 통해가 아니라 기존 구성 요소들의 진화 유사한 재조합을 통해 유도될 수 있음을 보여주는 것.

제안 방법

• 저자들은 k개의 기존 BB₅ 머신을 특정 오프셋 지점에서 전이 규칙을 연결함으로써 (2k−1)-상태의 새로운 머신으로 융합하는 형식적인 재조합 연산을 정의한다.
• 소스 머신들에서 온 전이 규칙들이 정의된 오프셋 인덱스(vⱼ₁, ..., vⱼₖ₋₁)를 사용하여 연결되며, 상태 전이의 연속성과 충돌 방지를 보장한다.
• 재조합의 기초로, 기존의 잘 알려진 고성능 BB₅ 머신들(예: Marxen-Buntrock, Uhing, Schult)을 사용한다.
• 재조합된 머신들은 정지 전까지의 실행 시간(단계 수)을 평가하며, 기존 기록을 초월하는 후보를 식별하는 데 초점을 맞춘다.
• 전이 규칙들을 저장하고 행 기반의 인덱스 테이블을 사용해 복호화하기 위해, 커스터마이징된 C 기반 프로그램을 사용하여 재조합된 머신을 생성하고 시뮬레이션한다.
• 다양한 머신 가족들(M_PP(4097), M_PP(4096), M_PP(4095), M_PP(239), M_PP(20) 등)에 걸쳐 체계적으로 적용하여 다양한 재조합 결과를 탐색한다.

실험 결과

연구 질문

• RQ1 기존의 고성능 바이스 베이버 머신들을 재조합함으로써, 기존 후보들보다 훨씬 긴 실행 시간을 가진 새로운 머신을 생성할 수 있는가?
• RQ2 완전한 수동 설계 없이도, 기존의 5상태 머신보다 뛰어난 성능을 보이는 새로운 비트리비얼 튜링 머신을 체계적으로 생성할 수 있는 방법이 있는가?
• RQ3 재조합된 머신들이 알려진 최적 구성 요소들로부터 유도되더라도, 그들의 성능이나 복잡성이 합산된 성능을 초월하는 잠재적 잠재적 복잡성 또는 성능을 보일 수 있는가?
• RQ4 재조합 프레임워크를 사용하여 바이스 베이버 문제의 S(n) 함수에 대한 새로운 기록 후보를 발견할 수 있는가?

주요 결과

• 정지 전까지 70,740,809단계를 수행하는 재조합 5상태 튜링 머신이 발견되었으며, 이는 이전까지 알려진 기록인 47,176,869단계를 뛰어넘는다.
• 이 재조합 머신은 M_PP(4097)로 표기되며, 어떤 알려진 Marxen-Buntrock 머신과도 동일하지 않아 새로운 구성임을 시사한다.
• 이 머신의 성능은 S(5) 함수에 대한 새로운 후보로 제안되며, 추가로 정지 규칙 하나를 더하면 S(5) = 70,740,810으로 재정의될 수 있다.
• M_PP(4096)와 M_PP(4095) 머신들의 재조합 역시 1,180만 단계 이상을 기록한 머신을 생성하여 일관된 성능 향상을 보였다.
• 이 방법은 낮은 복잡성의 가족들(예: M_PP(239), M_PP(20))에서도 새로운 머신을 성공적으로 생성하였으며, 일부는 41,000단계 이상을 기록하여 광범위한 적용 가능성을 보였다.
• 결과적으로, 복잡하고 고성능의 머신이 설계를 통해가 아니라 기존 구성 요소들의 진화 유사한 재조합을 통해 유도될 수 있음을 시사한다.