[論文レビュー] An exhaustive generation algorithm for Catalan objects and others

Antonio Bernini, Irene Fanti+1 more|ArXiv.org|Dec 5, 2006

Advanced Combinatorial Mathematics参考文献 19被引用数 4

ひとこと要約

本稿では、三つの操作—op1, op2, および op3—を用いて、生成木構造を体系的に走査することで、長さ $2n$ のDyckパスの全列挙を定時間償却で行うCAT（Constant Amortized Time）アルゴリズムを提示する。この手法により、バイナリ文字列としてのパス表現を定時間操作で操作することで、繰り返しのない効率的な全列挙が可能となり、同様の操作スキームを用いることでグランドDyckパスおよびモーツキンパスへも一般化される。

ABSTRACT

In this paper we present a CAT generation algorithm for Dyck paths with a fixed length n. It is the formalization of a method for the exhaustive generation of this kind of paths which can be described by means of two equivalent strategies. The former is described by a rooted tree, the latter lists the paths by means of three operations which, as we are going to see, are equivalent to visit the tree. These constructions are strictly connected with ECO method and can be encoded by a rule, very similar to the succession rule in ECO, with a finite number of labels for each n. Moreover with a slight variation this method can be generalized to other combinatorial classes like Grand Dyck or Motzkin paths.

研究の動機と目的

• 重複や漏れのない効率的なDyckパスの全列挙アルゴリズムの開発。
• 根付き木構造と三つの操作（in-order走査に相当）を用いて、サイズ $n$ のすべてのDyckパスを形式的に生成する手法の定式化。
• 各オブジェクトあたり定時間償却で実行されるよう、計算のオーバーヘッドを最小限に抑えること。
• グランドDyckパスやモーツキンパスなどの他の組合せクラスへのアプローチの一般化。
• 中間のエンコード・デコードステップを回避する直接的でオブジェクトベースの生成手法の提供。

提案手法

• 各ノードがサイズ $n$ のDyckパスを表す生成木を用いる。親子関係はパス構築規則によって定義される。
• 木の走査に用いる三つの操作—op1, op2, および op3—を定義：op1は最初の子へ移動、op2は次の兄弟へ移動、op3はin-order走査における次のノードへ移動。
• 各操作は、パスのバイナリ文字列表現（1を北東、0を南東として）を定時間のビット交換およびポインタ操作で操作する。
• パスは先頭ステップを指すポインタを持つ巡回配列として格納され、走査中の効率的なアクセスと変更が可能になる。
• in-order木走査をシミュレートすることで、すべてのパスが正確に一度ずつ生成され、重複や漏れがないことが保証される。
• グランドDyckパスおよびモーツキンパスへの一般化は、それぞれのパス制約に適合するように三つの操作を調整することによって実現される。

実験結果

リサーチクエスチョン

• RQ1 三つの局所的で定時間の操作のみを用いて、Dyckパスの全列挙に定時間償却（CAT）アルゴリズムを設計できるか？
• RQ2 Dyckパスの生成木を、木の走査に相当する三つの操作を用いて体系的に走査できるか？
• RQ3 この操作ベースの走査手法は、グランドDyckパスやモーツキンパスなどの他の組合せクラスへどの程度適応可能か？
• RQ4 直接的に組合せ的オブジェクト上で操作することで、中間のエンコード/デコードステップを回避できるか？
• RQ5 Dyckパスのどの構造的性質が、このような定時間走査メカニズムを可能にするか？

主な発見

• 提案されたアルゴリズムは、各オブジェクトあたり定時間償却でサイズ $n$ のすべてのDyckパスを生成し、各パスあたり定数個のビット操作で実現される。
• 三つの操作—op1, op2, および op3—は、生成木のin-order走査に正確に対応しており、完全かつ重複のない列挙が保証される。
• この手法は、パス表現をバイナリ文字列そのものとして直接操作するため、別個のエンコード・デコードステップの必要がない。
• op3の連続適用回数の最大値は2であり、走査中の動作が常に有界かつ予測可能であることを保証する。
• アルゴリズムの構造は、グランドDyckパスやモーツキンパスなどの同様の組合せクラスへの一般化を可能にし、類似した操作スキームを用いることで実現される。
• このアプローチはECO法および継続規則に基づいて形式的に裏付けられており、各 $n$ に対して有限のラベル集合を有するため、再帰的構築と効率的な生成が可能である。