HackerNews

忙しいビーバー狩りがアンチヒドラを恐れる理由

Why Busy Beaver hunters fear the Antihydra

https://benbrubaker.com/why-busy-beaver-hunters-fear-the-antihydra/


2024年夏、著者はオンラインコミュニティがビジービーバーゲームにおけるBB(5)の正確な値47,176,870を特定したことについて報告しました。これは、単純なコンピュータプログラムが完了できる最も複雑な計算の尺度を測る「忙しいビーバー数」の一つです。次の課題はBB(6)を見つけることですが、そのためには「アンチヒドラ」と呼ばれるプログラムの挙動を理解する必要があります。これは、数学の未解決問題であるコラッツ予想と類似しており、忙しいビーバー研究者たちにとっては大きな障壁となっています。記事では、忙しいビーバーゲームの基本的な仕組みや、アンチヒドラとコラッツ予想の関連性を掘り下げ、なぜこれらが恐ろしいのかを詳しく探求しています。