[論文レビュー] A Faster Algorithm for Finding Tarski Fixed Points

John Fearnley, Rahul Savani|arXiv (Cornell University)|Jan 1, 2021

Computational Geometry and Mesh Generation被引用数 3

ひとこと要約

本論文は、3次元ラティスにおけるTarskiの不動点を求めるための新しいO(log²n)クエリアルゴリズムを提示する。DangらのO(log³n)の境界よりも顕著に改善されている。主な革新は、固定点を必要とせず、2次元部分インスタンスの上セットまたは下セット内の任意の点を返す内部アルゴリズムを導入したことである。これにより再帰的探索が高速化される。この結果、k次元クエリの複雑さをO(log²⌈k/3⌉n)に低減する分解定理が得られ、高次元における最適性に関する従来の予想を覆す。

ABSTRACT

Dang et al. have given an algorithm that can find a Tarski fixed point in a k-dimensional lattice of width n using O(log^k n) queries [Chuangyin Dang et al., 2020]. Multiple authors have conjectured that this algorithm is optimal [Chuangyin Dang et al., 2020; Kousha Etessami et al., 2020], and indeed this has been proven for two-dimensional instances [Kousha Etessami et al., 2020]. We show that these conjectures are false in dimension three or higher by giving an O(log² n) query algorithm for the three-dimensional Tarski problem, which generalises to give an O(log^{k-1} n) query algorithm for the k-dimensional problem when k ≥ 3.

研究の動機と目的

• k次元Tarskiの不動点問題におけるO(logᵏn)のクエリ複雑度が最適であるという長年の予想に挑戦すること。
• 先行研究のO(log³n)の境界を超える、3次元Tarskiの不動点計算のより効率的なアルゴリズムを設計すること。
• 高次元Tarski問題を低次元の部分問題に効率的に還元するための一般化された分解フレームワークを構築すること。
• 特に3次元以上において、Tarskiの不動点問題におけるクエリ複雑度の新しい理論的基盤を確立すること。

提案手法

• 3次元インスタンスの上セットまたは下セット内の任意の点を返す2次元部分インスタンス用の内部アルゴリズムを導入する。固定点の必要性を緩和することで、クエリコストをΩ(log²n)からO(logn)に削減する。
• 内部アルゴリズムを再帰的に使用する外部アルゴリズムを設計し、k次元問題を解くためにO(k·logn)回の呼び出しを行う。
• 分解定理の証明：a次元およびb次元のTarski問題がそれぞれqaおよびqb回のクエリで解けるならば、(a·b)次元問題はqa·(qb+2)回のクエリで解ける。
• 新しい3次元アルゴリズムを用いて分解定理を再帰的に適用し、k次元インスタンスにおけるクエリ複雑度をO(log²⌈k/3⌉n)に達成する。
• 順序保存の違反が早期に検出されること、および部分問題における不動点が全ラティスにおける不動点を意味することを確認することで正しさを保証する。
• fが多項式(logn, k)サイズのブール回路として与えられるものと仮定し、合計時間複雑度をO(poly(logn, k) · log²⌈k/3⌉n)として時間複雑度の上限を確立する。

実験結果

リサーチクエスチョン

• RQ1 Dang らのO(logᵏn)のクエリ複雑度がk ≥ 3において最適であるという、かつての予想は正しいか？
• RQ2 部分インスタンスで不動点を求めるという要件を緩和することで、3次元Tarskiの不動点問題のためのより速いアルゴリズムを設計できるか？
• RQ3 k次元Tarski問題のクエリ複雑度は何か？ そして再帰的分解を用いてO(logᵏn)未満にまで低減可能か？
• RQ4 分解定理は任意のラティス積に一般化可能であり、高次元Tarski問題のための効率的アルゴリズムの構築に利用可能か？

主な発見

• 本論文は、3次元Tarskiの不動点問題に対してO(log²n)のクエリアルゴリズムを提示し、Dang らのO(log³n)の境界を改善している。
• 主な革新は、2次元部分インスタンス用の内部アルゴリズムであり、固定点ではなく上セットまたは下セット内の任意の点を返すことで、2次元部分問題のクエリ複雑度をO(logn)に低減している。
• 分解定理が証明された：a次元およびb次元のTarski問題がそれぞれqaおよびqb回のクエリで解けるならば、(a·b)次元問題はqa·(qb+2)回のクエリで解ける。
• 新しい3次元アルゴリズムを用いて分解定理を再帰的に適用することで、k次元Tarski問題のクエリ複雑度をO(log²⌈k/3⌉n)に達成し、O(logᵏn)の最適性に関する従来の予想を覆した。
• アルゴリズムは多項式時間で実行され、fが多項式(logn, k)サイズのブール回路として与えられる場合、合計時間複雑度はO(poly(logn, k) · log²⌈k/3⌉n)である。
• k ≥ 3においてO(logᵏn)が最適であるという予想は誤りであり、高次元においてははるかに優れたクエリ複雑度が達成可能であることが示された。