[論文レビュー] On computational complexity of Riemann mapping

Ilia Binder, Mark Braverman+1 more|ArXiv.org|May 27, 2005

Computability, Logic, AI Algorithms参考文献 15被引用数 9

ひとこと要約

この論文は、境界が計算可能である平面領域のリーマン写像を計算するためのタイトな計算複雑性バウンドを確立し、その問題がチューリング還元において#P完全であることを示している。近似的に最適な時間・空間複雑性を達成する空間効率的な確率的アルゴリズムを提示しており、共形写像の近似が#SATおよびMAJnという計算複雑性理論における基本的問題を解くのと同程度に難しいことを示している。

ABSTRACT

In this paper we consider the computational complexity of uniformizing a domain with a given computable boundary. We give nontrivial upper and lower bounds in two settings: when the approximation of boundary is given either as a list of pixels, or by a Turing Machine.

研究の動機と目的

• 計算可能境界を持つ平面領域を単位円板に一様に写像するための計算複雑性を特定すること。
• リーマン写像を計算するための時間および空間複雑性に対する非自明な上界および下界を確立すること。
• 共形写像と計算複雑性理論における基本的問題（例：#SATおよびMAJn）との関係を調査すること。
• 理論的下限にほぼ達する空間効率的な確率的アルゴリズムを設計すること。
• 共形写像を計算することが、#P完全問題を解くのと同程度に難しいことを示し、標準的な複雑性仮定の下で計算的に非効率であることを確立すること。

提案手法

• 共形写像の計算問題を、穴あき境界を持つ領域の共形半径の近似問題に還元する。
• バイナリ文字列でパラメータ化された、境界付近に小さな円板を逐次除去することで得られる領域Ω_Lの再帰的構成を用いる。
• 反射原理および歪曲定理を適用し、中間領域の共形半径を高い精度でバウンドする。
• 調和測度の単調性および共形不変性を用いて、共形半径とブール論理式の充足割り当て数との関係を確立する。
• Nisanの定理（確率的空間有界計算を多項式対数空間内に決定的アルゴリズムでシミュレート可能）の結果を活用し、確率的計算を決定的アルゴリズムに置き換える。
• 共形半径を計算オракルとして用いる：領域境界の微小な摂動が半径に指数的に小さな変化を引き起こすため、近似により数え上げが可能になる。

実験結果

リサーチクエスチョン

• RQ1 計算可能境界を持つ領域のリーマン写像を計算する計算複雑性は何か？
• RQ2 空間効率的かつ時間効率的な方法で共形写像を計算可能か？ その理論的限界は何か？
• RQ3 リーマン写像の計算が、#SAT や MAJn のような既知の難問と同等の複雑性を持つと見なせるか？
• RQ4 穴あき境界を持つ領域の共形半径は、ブール論理式の解の数とどのように関係するか？
• RQ5 この文脈において、確率的アルゴリズムを確率的でないものに変換することで、最適な空間複雑性を達成できるか？

主な発見

• 境界が計算可能な領域のリーマン写像を計算する問題は、#SATを還元することで解けるため、#P困難である。
• ブール論理式の充足割り当て数から構築された領域の共形半径は、空間効率的なアルゴリズムを用いて2^{-22n+2}の精度で近似可能である。
• アルゴリズムは時間O(poly(N))、空間O(log²N)で実行され、N = n + t + ε⁻¹として、空間複雑性においてほぼ最適性を達成している。
• 構築された領域Ω_Lの共形半径は、|r(Ω_L) - 1 + 2^{-20n-1}| < 2^{-22n+2}を満たし、反復的合成により解の数を正確に数え上げることが可能になる。
• この問題はチューリング還元において#P完全であるため、リーマン写像計算を解くことは、#Pに属するすべての問題を解くのと同程度に難しい。
• 還元により、逆指数的精度でリーマン写像を近似するのでも十分であり、#SATおよびMAJnを解くのに十分であることが示され、複雑性バウンドのタイトさが証明された。