[論文レビュー] From Amortized to Worst Case Delay in Enumeration Algorithms

Florent Capelli, Yann Strozecki|arXiv (Cornell University)|Aug 23, 2021

Advanced Graph Theory Research参考文献 36被引用数 3

ひとこと要約

この論文は、多項式アンモタイズド遅延を示すアルゴリズムを、多項式ワーストケース遅延を示すものに変換する方法を調査し、メモリオーバーヘッドを低減し、未知のアンモタイズド遅延に適応できる新しい正則化技術を提案する。ブラックボックス正則化では、アンモタイズド遅延に対して線形なワーストケース遅延を達成することは不可能であり、列挙順序を保持するには指数的空間または指数的遅延を要することを示している。

ABSTRACT

In this paper, we introduce a technique we call geometric amortization for enumeration algorithms, which can be used to make the delay of enumeration algorithms more regular with little overhead on the space it uses. More precisely, we consider enumeration algorithms having incremental linear delay, that is, algorithms enumerating, on input x, a set A(x) such that for every t ≤ ♯ A(x), it outputs at least t solutions in time O(t⋅p(|x|)), where p is a polynomial. We call p the incremental delay of the algorithm. While it is folklore that one can transform such an algorithm into an algorithm with maximal delay O(p(|x|)), the naive transformation may use exponential space. We show that, using geometric amortization, such an algorithm can be transformed into an algorithm with delay O(p(|x|)log(♯A(x))) and space O(s log(♯A(x))) where s is the space used by the original algorithm. In terms of complexity, we prove that classes DelayP and IncP₁ with polynomial space coincide. We apply geometric amortization to show that one can trade the delay of flashlight search algorithms for their average delay up to a factor of O(log(♯A(x))). We illustrate how this tradeoff is advantageous for the enumeration of solutions of DNF formulas.

研究の動機と目的

• 多項式アンモタイズド遅延を示すアルゴリズムが、体系的に多項式ワーストケース遅延を示すものに変換可能かどうかを調査すること。
• メモリ使用量を最小限に抑え、未知のアンモタイズド遅延に適応できる効率的な正則化スキームを設計すること。
• アンモタイズド遅延アルゴリズムへのブラックボックスアクセスによって達成可能なワーストケース遅延の根本的下界を確立すること。
• 列挙アルゴリズムにおける空間、遅延、順序保持の間のトレードオフを調査すること。

提案手法

• レジスタの更新を追跡するフラグ配列 U を用いた遅延コピー機構を提案し、定数オーバーヘッドで定数時間のコピー操作を可能にする。
• カウンタ c と、命令 I によって書き込まれたレジスタのインデックスを追跡する配列 S を導入し、変更されたレジスタのみにコピーを制限する。
• 各コピーが必要に応じてのみ発火するゾーンベースのシミュレーションを採用し、同時に有効なコピー機構が1つだけになるように保証する。
• 動的コピー戦略を実装し、これまでに書き込まれた最初の rlast 個のレジスタのみをコピーすることで、完全コピーと比較して処理回数を削減する。
• キューを用いたバッファベースの正則化法を適用し、アンモタイズド遅延をワーストケース遅延に変換するが、特定の状況ではキューのサイズが有界であることを証明する。
• アクティブなコピー数を制限し、同時に1つのコピーしか有効でないことを示すことで、変換の複雑さを分析する。

実験結果

リサーチクエスチョン

• RQ1 アンモタイズド遅延が多項式である任意のアルゴリズムを、ブラックボックスアクセスのみで多項式ワーストケース遅延を達成するものに変換可能か？
• RQ2 このような変換を達成するために必要な最小のメモリフットプリントは何か？ また、これは入力サイズに対して多項式に保たれるか？
• RQ3 事前に遅延関数を知らずに、未知のアンモタイズド遅延に適応できる正則化スキームを設計可能か？
• RQ4 ブラックボックス正則化におけるワーストケース遅延と空間複雑度の根本的限界は何か？
• RQ5 列挙順序の保持を、指数的空間や指数的遅延を伴わずに維持できる条件は何か？

主な発見

• ブラックボックス正則化スキームでは、アンモタイズド遅延に対して線形なワーストケース遅延を達成することは不可能であり、根本的下界を示している。
• 列挙順序を保持するには、指数的空間または指数的ワーストケース遅延を要することを示しており、強いトレードオフが存在する。
• 提案された遅延コピー機構により、同時に有効なコピーは常に1つだけとなり、定数オーバーヘッドで定数時間のコピー操作が可能になる。
• 変換により多項式時間および多項式空間複雑度が維持され、キューのサイズが解の数で有界であるため、実際には指数的空間を回避できる。
• 事前処理を扱えるように変更可能であり、列挙の前に初期の移動操作を実行することで、事前処理を伴う正則化が可能になる。
• アンモタイズド遅延はワーストケース遅延より弱いが、顕著なリソースのトレードオフを伴わずに、一方から他方に効率的に変換できるとは限らないことが明らかになった。