[論文レビュー] Efficient enumeration of graceful permutations

Michał Adamaszek|ArXiv.org|Aug 21, 2006

Graph Labeling and Dimension Problems参考文献 3被引用数 8

ひとこと要約

この論文は、対称性と補完性に基づく同値類最適化を施した再帰的探索木を用いたコンピュータ支援アルゴリズムにより、グレーシャルな $n$-順列の数の漸近的下界を $\Omega((5/3)^n)$ から $\Omega(2.37^n)$ に向上させた。主な貢献は、メモリ使用量を著しく削減し、大規模なカウント計算を可能にする洗練された列挙手法にあり、その結果、改善された指数的下界が得られた。

ABSTRACT

A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.

研究の動機と目的

• グレーシャルな $n$-順列の数の漸近的下界を改善すること。ここで、グレーシャルな $n$-順列とは、$\{0, \dots, n-1\}$ の順列で、隣接する要素の絶対差が $\{1, \dots, n-1\}$ をちょうど一度ずつとるものを指す。
• 探索空間内の構造的対称性と補完性を活用して、グレーシャルな $n$-順列を効率的に列挙するアルゴリズムを開発すること。
• 特定の端点を持つグレーシャル順列の大規模なカウントを計算し、より緊密な指数的下界を導出すること。
• $G(n) = \Omega(2.37^n)$ を確立することにより、以前の $\Omega((5/3)^n)$ の下界を著しく改善すること。

提案手法

• 部分順列を、エッジラベルを $n-1$ から $1$ の順に減少させながら再帰的深さ優先探索で構築する。
• 探索木の各ノードは、2つの配列 `free[u]`（頂点 $u$ の利用可能なスロット数）と `forb[u]`（$u$ がパスでペアを形成する場合の相手頂点）で表現される。
• 同じ `free` および `forb` 構造、またはその補完（$u \to n-1-u$ の再ラベル化）を持つ部分順列の同値類を定義し、重複計算を削減する。
• ハッシュテーブルを用いて同値なノードをグループ化し、その乗数を追跡することで、各クラスに対して1つの代表ノードのみを展開する。
• 成長率の推定に最適化するため、アルゴリズムを $G(2m; j, j+m)$（端点が $j$ と $j+m$ であるグレーシャル順列の数）の計算に適応した。
• $\gamma_{m,j} = G(2m; j, j+m)^{1/(2m)}$ の成長率を最大化するには $j = \lfloor m/2 \rfloor$ を選ぶ必要があり、下界は $\gamma_{32,16} > 2.37$ から導かれた。

実験結果

リサーチクエスチョン

• RQ1 グレーシャルな $n$-順列の数に対する最良の漸近的下界は何か？
• RQ2 対称性と補完性を活用したコンピュータ支援アルゴリズムにより、グレーシャル順列を効率的に列挙できるか？
• RQ3 $G(2m; j, j+m)^{1/(2m)}$ の最大成長率 $\gamma_{m,j}$ はどの程度達成可能か？
• RQ4 部分順列の同値類を用いることで、グレーシャル順列の探索空間をどのように縮小できるか？
• RQ5 以前の $\Omega((5/3)^n)$ の下界を著しく改善することは可能か？

主な発見

• グレーシャルな $n$-順列の数は $G(n) = \Omega(2.37^n)$ を満たし、以前の $\Omega((5/3)^n)$ の下界を改善した。
• $G(64; 16, 48) = 1,172,380,428,523,169,632,220,649$ が計算され、$\gamma_{32,16} > 2.37$ が得られた。
• 探索木の各レベルで、全探索木が $n=40$ 時に約 $0.2 \times 10^{18}$ 個のノードを持つにもかかわらず、同値類の数は $3 \times 10^5$ 未満にまで削減された。
• 成長率 $\gamma_{m,\lfloor m/2 \rfloor}$ は $m$ と共に増加しており、より大きな $m$ ではさらに良い下界が得られると示唆されている。
• この手法により、$G(n; 16) = \Omega(2.37^n)$（左端が $a$ であるグレーシャル順列の数を表す）が確認された。
• $n \leq 40$ の範囲で計算された $G(n+1)/G(n)$ の商は 3 から 4.5 の間であり、$2.37^n$ の下界はまだ保守的であると示唆された。