[論文レビュー] 2178 And All That

N. J. A. Sloane|arXiv (Cornell University)|Jul 1, 2013

semigroups and automata theory参考文献 15被引用数 4

ひとこと要約

本稿では、A. L. Youngの木構造を変更したYoungグラフを導入し、基数gにおける数Nの逆数がk×Nに等しくなるような(g,k)-逆数倍数を体系的に特定・列挙する。基数g = 2から100の範囲で有効なk値をすべて特定し、桁数ごとにその数を数えるために転送行列法を適用することで、これらの有限有向グラフの新たな構造的洞察が得られた。

ABSTRACT

For integers g >= 3, k >= 2, call a number N a (g,k)-reverse multiple if the reversal of N in base g is equal to k times N. The numbers 1089 and 2178 are the two smallest (10,k)-reverse multiples, their reversals being 9801 = 9x1089 and 8712 = 4x2178. In 1992, A. L. Young introduced certain trees in order to study the problem of finding all (g,k)-reverse multiples. By using modified versions of her trees, which we call Young graphs, we determine the possible values of k for bases g = 2 through 100, and then show how to apply the transfer-matrix method to enumerate the (g,k)-reverse multiples with a given number of base-g digits. These Young graphs are interesting finite directed graphs, whose structure is not at all well understood.

研究の動機と目的

• 基数g = 2から100の範囲で(g,k)-逆数倍数が存在する可能性のあるkのすべての値を特定すること。
• A. L. Youngの木構造フレームワークを、より体系的なグラフ理論的モデルであるYoungグラフに拡張し、逆数倍数系の分析をより深めること。
• 指定された基数gの桁数を持つ(g,k)-逆数倍数を列挙するために転送行列法を適用すること。
• Youngグラフの構造的性質を調査すること。これらは組合せ論的意義は大きいが、依然として十分に理解されていない。

提案手法

• A. L. Youngの元の木構造を変更したYoungグラフを構築し、(g,k)-逆数倍数の桁ごとの制約をモデル化すること。
• 転送行列法を用いて、基数gにおいて逆数倍数条件を満たす有効な桁列の数を数えること。
• Youngグラフのグラフ構造を分析し、各(g,k)ペアにおける解の存在と重複度を特定すること。
• g ∈ [2,100]とk ≥ 2のすべての組み合わせを体系的に評価し、有効な(g,k)-逆数倍数構成を同定すること。
• Youngグラフが有限で有向グラフであることを利用し、基数gでの逆数と乗算制約の下での桁状態間の遷移をモデル化すること。
• 組合せ論的列挙技法を適用し、基数gにおける固定桁数の(g,k)-逆数倍数の数を導出すること。

実験結果

リサーチクエスチョン

• RQ1 基数gが2から100の各値に対して、(g,k)-逆数倍数が存在するkの値は何か？
• RQ2 Youngグラフの構造をどのように活用すれば、桁数ごとに(g,k)-逆数倍数を体系的に列挙できるか？
• RQ3 逆数倍数の存在と分布を支配する、Youngグラフの組合せ論的およびグラフ理論的性質は何か？
• RQ4 転送行列法は、複数の基数にわたり(g,k)-逆数倍数を効率的に数えるためにどの程度適用可能か？
• RQ5 特定の(g,k)ペアが解を持たない理由は何か？その背後にあるYoungグラフの構造的特徴は何か？

主な発見

• 本稿では、基数gが2から100の全範囲で(g,k)-逆数倍数が存在する有効なk値をすべて特定した。
• Youngグラフは、転送行列法を用いた(g,k)-逆数倍数の列挙を可能にする体系的なフレームワークを提供する。
• 転送行列法は、指定された基数gの桁数を持つ(g,k)-逆数倍数の数を効果的に計算できた。
• 研究では、Youngグラフの構造が非自明であり、その理解はまだ十分に進んでいないことが明らかになったが、列挙用途においては有効である。
• 1089と2178は、それぞれk=9およびk=4の(10,k)-逆数倍数として最小の例として確認された。
• 本フレームワークにより、指定された基数範囲と乗数の全範囲で(g,k)-逆数倍数を完全に分類可能となった。