[論文レビュー] Near-Linear Time Computation of Welzl Orders on Graphs with Linear Neighborhood Complexity

Jan Dreier, Clemens Kuske|arXiv (Cornell University)|Feb 16, 2026

Computational Geometry and Mesh Generation被引用数 0

ひとこと要約

ランダム化近似線形時間アルゴリズムは、一次元境界関数が線形の集合系に対してWelzl順序を計算し、適切なグラフクラスで近接近傍被覆とモデル検査を高速化できる。

ABSTRACT

Orders with low crossing number, introduced by Welzl, are a fundamental tool in range searching and computational geometry. Recently, they have found important applications in structural graph theory: set systems with linear shatter functions correspond to graph classes with linear neighborhood complexity. For such systems, Welzl's theorem guarantees the existence of orders with only $\mathcal{O}(\log^2 n)$ crossings. A series of works has progressively improved the runtime for computing such orders, from Chazelle and Welzl's original $\mathcal{O}(|U|^3 |\mathcal{F}|)$ bound, through Har-Peled's $\mathcal{O}(|U|^2|\mathcal{F}|)$, to the recent sampling-based methods of Csikós and Mustafa. We present a randomized algorithm that computes Welzl orders for set systems with linear primal and dual shatter functions in time $\mathcal{O}(\|S\| \log \|S\|)$, where $\|S\| = |U| + \sum_{X \in \mathcal{F}} |X|$ is the size of the canonical input representation. As an application, we compute compact neighborhood covers in graph classes with (near-)linear neighborhood complexity in time \(\mathcal{O}(n \log n)\) and improve the runtime of first-order model checking on monadically stable graph classes from $\mathcal{O}(n^{5+\varepsilon})$ to $\mathcal{O}(n^{3+\varepsilon})$.

研究の動機と目的

• グラフから生じる集合系における低交差数を持つWelzl順序をモチベートし活用する。
• 証明可能な交差数保証を持つWelzl順序を計算する近似線形時間のランダム化アルゴリズムを提供する。
• Welzl順序をグラフ問題へ適用し、近接近傍被覆をほぼ線形時間に、制約を持つグラフクラス上のモデル検査を高速化する。

提案手法

• 集合系を二部グラフ(A,B,E)として表現する。
• 頂点を代表的ツイーンで置換してAとBを圧縮するTwin分割を使用する。
• Aの部分集合を反復的に標本化し、Bに対するツイン分割を計算し、代表へ精練して順序を構築する。
• ツインおよびほぼツインを除去して交差数を制御された量だけ増加させることを保証する（補題2.1および2.2）。
• O(log|A|)回の反復を繰り返し、非代表頂点を代表頂点の隣に再挿入して最終順序を再構築する。
• (|A|+|E|)log|A|の実行時間を、成功確率≥2/3で達成する。

(a) Choose a sample $W\subseteq A$ ,

実験結果

リサーチクエスチョン

• RQ1 線形の primal および dual シャッター機能を持つ集合系に対してWelzl順序を効率的に計算できるか。
• RQ2 このような集合系に対して近似線形時間で得られる順序の交差数境界はどの程度か。
• RQ3 線形（またはほぼ線形）近傍複雑性を持つグラフでコンパクトな近傍被覆を構築する実用的なアルゴリズムを生み出せるか。
• RQ4 モナド的に安定なグラフクラスにおけるFirst-Orderモデル検査への影響はどうなるか。

主な発見

• Welzl順序を||S|| log ||S||時間で計算するランダム化アルゴリズムが存在し、||S|| = |U| + ∑_{X in F} |X|。
• 得られた順序の交差数は、primal/dualシャッター関数がc·kで有界な集合系（線形の場合、d=1）に対して最大12 c^2 log^2 |U|。
• neighborhoods complexity π_G(k) ≤ c·k のグラフではアルゴリズムは時間O((n+m) log n)で走り、交差数はO(log^2 n)の総順序を出力する。
• 線形近傍複雑性を持つグラフクラスに対して、重複度O(log^2 n)のコンパクトな近傍被覆のほぼ線形時間計算につながる。
• 推論：モナド的に安定なグラフクラスではWelzl順序ベースの改良手法を用いたFirst-Orderモデル検査をO(n^{3+ε})時間で実行可能。
• このアプローチはVC-dimensionが高い場合にも拡張され、同じ||S|| log ||S||実行時間で交差数をO(|U|^{1-1/d^2} log^2 |U|)とする（定数はcとdに依存）。

(b) partition $B$ with respect to $W$ ,