[論文レビュー] Applications of Continuous Amortization to Bisection-based Root Isolation

Michael Burr|arXiv (Cornell University)|Sep 23, 2013

Algorithms and Data Compression参考文献 39被引用数 3

ひとこと要約

本稿は、二分探索に基づく根分離アルゴリズムのための複雑性解析技法「連続アモアタイゼーション」を拡張し、分割木のサイズおよびビット複雑性の両方において最適かつ簡素化された境界を可能にする。この手法は、Sturm法、Descartes法、評価ベースのアルゴリズムなど多様なアルゴリズムに適用可能であり、高次元へ一般化され、とくに根が密集している場合に、先行手法よりもきめ細かく、タイトな複雑性境界を達成する。

ABSTRACT

Continuous amortization is a technique for computing the complexity of algorithms, and it was first presented by the author in Burr, Krahmer, & Yap (2009). Continuous amortization can result in simpler and more straight-forward complexity analyses, and it was used in Burr, Krahmer, & Yap (2009), Burr & Krahmer (2012), and Sharma & Yap (2012) to provide complexity bounds for simple root isolation algorithms. This paper greatly extends the reach of continuous amortization to serve as an overarching technique which can be used to compute complexity of many root isolation techniques in a straight-forward manner. Additionally, the technique of continuous amortization is extended to higher dimensions and to the computation of the bit-complexity of algorithms. In this paper, six continuous amortization calculations are performed to compute complexity bounds (on either the size of the subdivision tree or the bit complexity) for several algorithms (including algorithms based on Sturm sequences, Descartes' rule of signs, and polynomial evaluation); in each case, continuous amortization achieves an optimal complexity bound.

研究の動機と目的

• 連続アモアタイゼーションを用いて、二分探索に基づく根分離アルゴリズムの複雑性解析を統一的かつ簡素化すること。
• 連続アモアタイゼーションを高次元領域へ拡張し、複素数根の分離に応用すること。
• 単に木のサイズだけでなく、ビット複雑性の境界を計算すること。
• 標準的な根分離手法のための、先行研究よりも単純で、より適応的な複雑性の証明を提供すること。
• Sturm列、Descartesの符号の法則、CEVALなど多様なアルゴリズムへの適用を通じて、この技法の一般性を示すこと。

提案手法

• 領域 D 上の非負の停止関数 F(𝐱) を用い、F(𝐱) が終了条件が成立しない最小の部分領域のサイズを 𝐱 の周囲で上限付ける。
• ∫_D d𝐱 / F(𝐱) の積分を用いて分割木のサイズを境界づけ、1/F(𝐱) を局所的コスト負荷として作用させる。
• 2次元領域への拡張において、停止関数と積分を複素数根分離のための R^n へ一般化する。
• 木のサイズの境界と深さに基づくコスト推定（対数項を用いて）を組み合わせることで、連続アモアタイゼーションをビット複雑性に適応させる。
• 根の分離とMahler-Davenportの境界に基づく停止関数を用い、根が密集している領域での適応的挙動を捉える。
• 木のサイズと深さの解析を統合し、特に根が近接している多項式に対して、よりタイトなビット複雑性境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 連続アモアタイゼーションは、評価ベースの手法にとどまらず、広範な根分離アルゴリズムに体系的に適用可能か？
• RQ2 連続アモアタイゼーションは、単に木のサイズではなく、ビット複雑性を計算するために拡張可能か？
• RQ3 この技法は、複素数根分離のための高次元領域へ一般化可能か？
• RQ4 連続アモアタイゼーションをSturm列およびDescartesの符号の法則に適用した場合の複雑性境界は何か？
• RQ5 連続アモアタイゼーションは、既存の根分離の複雑性境界と比較して、適応性およびタイトさの点で優れているか？

主な発見

• 連続アモアタイゼーションは、Sturm列、Descartesの符号の法則、およびSqFreeEVALなどの評価ベースのアルゴリズムにおいて、最適または近似的に最適な複雑性境界を達成する。
• d 個の根と根の分離が O(e^−√dL) の多項式に対して、連続アモアタイゼーションによるビット複雑性は e^O(d³L²) となり、先行手法の e^O(d⁴L²) よりも改善される。
• 本手法はより適応的なビット複雑性境界を提供する：d²·∑(ln|αᵢ₁−αᵢ₂|)² であり、各根のペア間距離の二乗を個別に扱うのに対し、従来手法は最大深さの一つの要因に依存していた。
• 根が密集している場合、連続アモアタイゼーションに基づく境界は、最大木の深さに依存する手法よりも著しくタイトになる。複雑性は e^O(d⁷/²L²) から e^O(d³L²) に削減される。
• 本手法は、[49, 60] などの先行研究よりも複雑な再帰的またはケース別解析を回避することで、複雑性証明を単純化する。
• 本稿は、連続アモアタイゼーションが2次元領域およびビット複雑性へ拡張可能であることを示し、次元およびコストモデルを問わず分割アルゴリズムを分析する統一的枠組みを提供する。