[論文レビュー] Generating All Partitions: A Comparison Of Two Encodings

Jerome Kelleher, Barry O’Sullivan|arXiv (Cornell University)|Sep 12, 2009

Advanced Combinatorial Mathematics参考文献 45被引用数 17

ひとこと要約

本稿では、上昇順組み合わせを用いたすべての整数分割を生成するための3つの新しいアルゴリズムを紹介している。従来の降順組み合わせ符号化と比較して、より効率的な代替手法を提供する。再帰的、順序規則的、逐次的生成手法を体系的に比較することで、上昇順組み合わせ生成が著しく高速であることを実証しており、降順組み合わせ手法の約73–75％の時間要件にまで短縮されている。理論的・実験的両面での裏付けが与えられている。

ABSTRACT

Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. Many algorithms exist to generate all descending compositions, yet none have previously been published to generate all ascending compositions. We develop three new algorithms to generate all ascending compositions and compare these with descending composition generators from the literature. We analyse the new algorithms and provide new and more precise analyses for the descending composition generators. In each case, the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. We develop a new formula for the partition function p(n) as part of our analysis of the lexicographic succession rule for ascending compositions.

研究の動機と目的

• 上昇順組み合わせという、降順組み合わせと比較してあまり研究が進んでいない符号化手法を用いて、すべての整数分割を効率的に生成するアルゴリズムを開発すること。
• その潜在的な効率性にもかかわらず、上昇順組み合わせの生成に関する公開済みアルゴリズムが不足しているという問題に対処すること。
• 再帰、順序規則、逐次的生成という3つの標準的なアルゴリズム的パターンにおいて、上昇順と降順の組み合わせ生成アルゴリズムの性能を厳密に分析・比較すること。
• 上昇順組み合わせのアルゴリズム的分析に起因する新たな数学的結果、特に分割関数 $ p(n) $ の新しい公式の導出。
• JavaおよびCでの実装において、理論的性能予測を実験的ベンチマークによって検証すること。

提案手法

• 上昇順組み合わせの生成のための3つの新しい再帰的アルゴリズムを設計・実装し、その償還時間計算量を分析する。
• 上昇順組み合わせのための新しい辞書式順序の順序規則を考案し、状態を保持せず、定数時間で分割間を移行可能にする。
• 辞書式順序の構造的性質を活用することで、効率的な逐次的生成アルゴリズムを提案する。
• Kempによる読み書き操作の回数の抽象化を適用し、アルゴリズム効率の正確な理論的分析を実施する。
• 文献に登録された既存の降順組み合わせ生成器と比較して、新規の上昇順組み合わせアルゴリズムの理論的・実験的性能を評価する。
• JavaおよびCの両方で、複数の入力サイズ（$ n = 100 $ から $ 135 $）に対して実験的ベンチマークを用いて理論的予測の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 本分野に先行研究が存在しないにもかかわらず、上昇順組み合わせを用いたすべての整数分割の生成に適した効率的アルゴリズムを開発できるか？
• RQ2 再帰的、順序規則的、逐次的という異なるアルゴリズム的パラダイムにおいて、上昇順組み合わせ生成と降順組み合わせ生成の性能はどのように比較されるか？
• RQ3 Kempの読み書き操作の抽象化を用いることで、降順組み合わせ生成器のより精密な理論的分析が可能か？
• RQ4 上昇順組み合わせの辞書式順序規則は定数時間の遷移を可能にするか？また、降順組み合わせの対応する $ O(\bar{\sqrt{n}}) $ 時間計算量と比較してどうなるか？
• RQ5 上昇順組み合わせ生成の構造的分析から、分割関数 $ p(n) $ の新しい公式を導出できるか？

主な発見

• 逐次的メソッドを用いた新規の上昇順組み合わせ生成アルゴリズム（AccelAsc）は、降順組み合わせ生成器（AccelDesc）に比べて、必要な時間の約73–75％で済む。実験的比は入力サイズや実装言語に応じて0.74–0.85の範囲で変動する。
• AccelAscとAccelDescの間の理論的予測時間比（73–74％）は、特にC言語実装において実験結果とよく一致しており、相関係数は $ r_{\text{C}} = 0.9321 $ と強く、高い一致度を示す。
• 再帰的上昇順組み合わせ生成器は、両者とも償還時間計算量が定数であるにもかかわらず、Ruskeyの再帰的降順組み合わせ生成器の約2倍の速度で動作する。
• 上昇順組み合わせの辞書式順序規則は、1回の遷移あたり定数時間で動作するが、対応する降順組み合わせ規則は $ O(\sqrt{n}) $ 時間を要するため、漸近的な優位性が顕著に現れる。
• 辞書式順序規則の分析から、分割関数 $ p(n) $ の新しい公式が導出され、分割の最大部と第二最大部に関連する新しい組合せ的恒等式が得られた。
• 新しい組合せ的恒等式が証明された：$ n $ の分割のうち、最大部が第二最大部の2倍未満であるものの個数は、$ n-2 $ の分割の個数に等しい。この恒等式はアルゴリズム的分析によって検証された。