[論文レビュー] The Rosenberg-Strong Pairing Function

Matthew P. Szudzik|arXiv (Cornell University)|Jun 1, 2017

Computability, Logic, AI Algorithms参考文献 30被引用数 6

ひとこと要約

本稿では、多次元整数格子の列挙に実用的な応用を想定した場合、カントールのペアリング関数の優れた代替手段として、ローゼンバーグ＝ストロングのペアリング関数を提示する。本稿では、ネストされた再帰的構造と最大値に基づく分解を特徴とする、新たなd重関数を提案し、その一対一性を証明するとともに、高次元における計算効率の高い逆関数の明示的公式を提供する。特に、完全な2分木の列挙に特に有用である。

ABSTRACT

This article surveys the known results (and not very well-known results) associated with Cantor's pairing function and the Rosenberg-Strong pairing function, including their inverses, their generalizations to higher dimensions, and a discussion of a few of the advantages of the Rosenberg-Strong pairing function over Cantor's pairing function in practical applications. In particular, an application to the problem of enumerating full binary trees is discussed.

研究の動機と目的

• 計算効率および構造的性質の観点から、カントールのペアリング関数とローゼンバーグ＝ストロングのペアリング関数を分析・比較すること。
• 非負整数に対する、ローゼンバーグ＝ストロングのペアリング関数を高次元に一般化した新たなd重関数の開発。
• 再帰的分解と最大値に基づくインデックス化を用いて、提案されたd重関数の一対一性および可逆性の証明。
• 完全な2分木の列挙への応用を通じて、実用的有用性の提示。
• 多項式ペアリング関数に関する未解決問題を解決するため、2次関数でなく、カントールに基づかない代替手段を導入し、最適な性質を有するものとする。

提案手法

• ローゼンバーグ＝ストロングのペアリング関数は、座標の最大値と、最大値の累乗を含む基本的な多項式構造を用いた再帰的定義により定義される。
• d重組 (x₁,…,x_d) に対して、関数 r_d(x₁,…,x_d) は、r_{d-1}(x₁,…,x_{d-1}) と、m = max(x₁,…,x_d)、m^d、および (m+1)^{d-1} - m^{d-1} を含む補正項の和により、一意な非負整数を計算する。
• 逆関数 r_d^{-1}(z) は、まず m = floor(z^{1/d}) を決定し、残差項の整数除算により x_d を求め、残りの成分に対して再帰的に逆関数を適用する。
• この手法は、中間値の境界を確立する補題に依存しており、補正項が最後の座標を一意に特定できることを保証する。
• 一対一性の証明は、dに関する帰納法を用い、逆関数がすべての入力組を正しく回復できることを示す。
• このアプローチは、任意のdに対して自然に一般化され、カントール法の場合は (2^{d-1}) 次多項式を生じるが、ローゼンバーグ＝ストロング法ではより構造的で次数の低い代替手段を提供する。

実験結果

リサーチクエスチョン

• RQ1 ローゼンバーグ＝ストロングのペアリング関数は、高次元における計算効率および構造的単純性の観点から、カントールのペアリング関数とどのように比較されるか？
• RQ2 2次関数ではなく、カントールに基づかない多項式ペアリング関数を構築可能か？その関数は一対一性および効率的な可逆性を維持できるか？
• RQ3 最大座標が、カントールのネスト構成による指数的増加を回避するd重関数の構築において果たす役割は何か？
• RQ4 基本的な算術演算および床関数のみを用いて、ローゼンバーグ＝ストロング関数の逆関数をどのように効率的に計算できるか？
• RQ5 この関数が完全な2分木の列挙といった組合せ的構造の列挙に与える影響は何か？

主な発見

• ローゼンバーグ＝ストロングのペアリング関数 r_d は、ℕ^d から ℕ への一対一のd重関数であり、帰納法および境界補題を用いて証明された。
• 逆関数 r_d^{-1}(z) は、m = floor(z^{1/d}) と、max(0, z - m^d - m^{d-1}) / ((m+1)^{d-1} - m^{d-1}) を含む床除算の公式を用いて明示的に構成された。
• d=2 の場合、関数は既知の形に簡略化され、カントールのペアリング関数とは異なるものであり、c(x,y) と c̄(x,y) の2次対称性を回避する。
• 関数は、max(x₁,…,x_d) で定義されるシェル全体にわたり、カントールのシェルベースの列挙と比較して、より均等な値の分布を達成する。
• この手法により、逆関数を介して木構造を一意な整数にマッピングすることで、完全な2分木の効率的列挙が可能になる。
• 本研究は、長年の未解決問題を解決する。2次関数ではなく、カントールに基づかない多項式ペアリング関数を提供し、一対一性および効率的な可逆性を両立する。