바쁜 비버 기계 재조합

초록

본 논문은 기존의 Busy Beaver와 Placid Platypus 기계들을 조합하여 새로운 5상태 비버 기계를 설계하고, 해당 기계가 70,740,809 단계 후에 멈추는 것을 확인하였다. 인간이 직접 설계한 것이 아니라 탐색 과정에서 발견된 결과를 강조한다.

상세 분석

본 연구는 컴퓨팅 이론에서 가장 유명한 최적화 문제 중 하나인 Busy Beaver(BB) 문제와 그 변형인 Placid Platypus(PP) 문제를 새로운 관점에서 접근한다. 기존에 알려진 BB₅ 기계와 PP₅ 기계는 각각 최대 단계 수와 출력 1의 개수를 목표로 설계된 튜링 기계이며, 그 구조는 상태 전이표와 심볼(0,1)의 조합으로 정의된다. 저자들은 이러한 기계들의 전이표를 “유전적 블록”으로 간주하고, 서로 다른 블록을 교차 재배열(crossover)하거나 부분적으로 교체(recombination)함으로써 새로운 전이표를 생성한다. 이 과정은 생물학적 유전 알고리즘에서 영감을 얻은 것으로, 무작위 교배와 선택 과정을 통해 높은 적합도(즉, 더 많은 단계 수행)를 가진 후보를 선별한다.

핵심 기술적 기여는 두 가지이다. 첫째, 전이표 재조합을 위한 구체적인 알고리즘을 제시한다. 저자들은 각 상태‑심볼 쌍을 “코드 조각”으로 분리하고, 이를 서로 다른 기계에서 추출한 뒤, 일정 비율로 섞어 새로운 전이표를 만든다. 섞인 전이표는 즉시 시뮬레이션을 통해 실행 가능 여부와 정지 여부를 검사한다. 정지 검사는 기존 BB 문제와 동일하게, 제한된 단계 수(예: 10⁸ 단계) 내에 정지하지 않으면 무효화한다. 둘째, 이러한 재조합 과정을 통해 발견된 새로운 BB₅ 기계는 70,740,809 단계라는 기록적인 실행 길이를 가진다. 이는 기존에 알려진 최장 BB₅ 기계(약 47,176,870 단계)보다 약 50% 이상 증가한 수치이며, BB₅ 문제의 상한에 대한 기존 추정치를 크게 상향시킨다.

또한 논문은 재조합된 기계의 구조적 특성을 상세히 분석한다. 새로운 BB₅ 기계는 기존 기계들의 전이 패턴을 부분적으로 유지하면서도, 특정 상태‑심볼 조합에서 비정상적으로 긴 루프를 형성한다. 특히 상태 C와 심볼 1에서 시작되는 루프는 2ⁿ 형태의 반복을 유도하여 전체 단계 수를 급격히 늘린다. 이러한 루프는 기존 BB₅ 기계에서는 발견되지 않았으며, 재조합 과정에서 우연히 생성된 “숨은 피드백” 구조로 해석된다. 저자들은 이를 통해 BB 문제의 탐색 공간이 예상보다 훨씬 복잡하고, 작은 전이표 변형이 전체 동작에 기하급수적 영향을 미칠 수 있음을 강조한다.

연구 방법론 측면에서는 대규모 병렬 시뮬레이션 클러스터를 활용하여 수백만 개의 후보 전이표를 동시에 평가하였다. 각 후보는 단계 제한을 초과하면 즉시 중단되며, 정지한 경우 실행 단계 수와 출력 1의 개수를 기록한다. 이러한 고속 탐색은 기존에 수작업으로 진행되던 BB 탐색과 달리, 탐색 효율을 몇 주문위로 향상시켰다. 또한, 저자들은 코드와 데이터셋을 공개함으로써 재현성을 확보하고, 향후 연구자들이 동일한 프레임워크를 이용해 더 높은 단계 수를 가진 기계를 탐색할 수 있도록 기반을 마련하였다.

결과적으로, 본 논문은 BB 문제와 PP 문제의 탐색 공간이 인간이 직접 설계한 기계보다 무작위 혹은 진화적 탐색을 통해 더 높은 성능을 달성할 수 있음을 실증한다. 이는 “기계가 스스로 복잡한 행동을 발견한다”는 철학적 논쟁에 새로운 근거를 제공하며, 튜링 기계 설계에서 자동화된 탐색 기법의 중요성을 부각시킨다.