[論文レビュー] Computational complexity lower bounds of certain discrete Radon transform approximations

Timur Khanipov|arXiv (Cornell University)|Jan 3, 2018

Image and Object Detection Techniques参考文献 6被引用数 3

ひとこと要約

本稿は、加法回路モデルとブール回路複雑性理論を用いて、高速ハウフ変換および広範な離散ラドン変換近似の計算量的複雑性に対して Ω(n² log n) の下界を確立する。この結果により、加法演算のみが許可される条件下で、これらのアルゴリズムが漸近的に最適であることが証明され、高速ハウフ変換の O(n² log n) 時間計算量が最適であることが確認される。

ABSTRACT

For the computational model where only additions are allowed, the $Ω(n^2\log n)$ lower bound on operations count with respect to image size $n imes n$ is obtained for two types of the discrete Radon transform implementations: the fast Hough transform and a generic strip pattern class which includes the classical Hough transform, implying the fast Hough transform algorithm asymptotic optimality. The proofs are based on a specific result from the boolean circuits complexity theory and are generalized for the case of boolean $\vee$ binary operation.

研究の動機と目的

• 制限付き計算モデル下での離散ラドン変換近似のタイトな計算量的下界を確立すること。
• 加法演算のみが許可される条件下で、高速ハウフ変換が o(n² log n) 演算で計算可能かどうかという未解決の問題を解明すること。
• 下界をストリップパターンに基づくラドン変換実装の広範なクラスに一般化すること。
• ブール論理の OR 演算の場合への複雑性解析を拡張し、バイナリ画像処理においてより強い下界を証明すること。

提案手法

• 加法回路を計算モデルとし、二項加法のみを許容し、サイズはエッジ数で測定する。
• ブール回路複雑性理論における重要な定理を適用し、複数のパターン和を計算するために必要な最小演算数を制限する。
• 幅と密度が有界なストリップパターンを分析し、整数パラメータを持つ直線の集合としてモデル化し、交差を制御する。
• 三角関数的および代数的推定を用いて、幾何学的および組合せ論的議論により、パターン間の共有ピクセル部分集合の数を制限する。
• 異なる傾きを持つストリップ間の重複ピクセル数に上限を設け、関数 r(T) を通じて回路サイズの下界を導出する。
• 回路複雑性理論の定理とパターンの交差解析を統合し、SUM および OR 演算の両方に対して Ω(n² log n) の下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 加法演算のみを用いて、高速ハウフ変換を o(n² log n) 演算で計算可能か？
• RQ2 幅と密度が有界なストリップパターンのクラス（Θ(n²) 個のパターン、Ω(n³) の総ピクセル数）に対して、離散ラドン変換を計算するのに必要な最小加法演算数は何か？
• RQ3 加法回路モデル下で、高速ハウフ変換は漸近的に最適か？
• RQ4 ピクセル値がバイナリであり、演算がブール論理の OR に置き換えられた場合、下界は成立するか？
• RQ5 同様の制約下で、一般化されたストリップパターンに基づくラドン変換の複雑性は Ω(n² log n) で下から抑えられるか？

主な発見

• 高速ハウフ変換を計算するために必要な加法演算数に対して Ω(n² log n) の下界が確立され、その漸近的最適性が証明された。
• 同じ下界は、幅と密度が有界なストリップパターンによって定義される広範な離散ラドン変換近似のクラスにも適用可能である。
• この結果は算術的和に限らず、ブール論理の OR 演算に対しても成立し、バイナリケースではより強い下界を示している。
• 下界はタイトであり、高速ハウフ変換が O(n² log n) の複雑性を達成していることから、与えられたモデル下で漸近的に最適であることが示された。
• 解析により、Θ(n²) 個のパターンと Ω(n³) の総ピクセル数を持つ任意のパターン集合は、加法回路モデル下で少なくとも Ω(n² log n) の演算を要することが示された。
• 幾何学的および組合せ論的議論により、パターン間の共有ピクセル部分集合数を制限し、r(T) 分析を通じて回路サイズの下界に到達した。