[논문 리뷰] Near-Linear Time Computation of Welzl Orders on Graphs with Linear Neighborhood Complexity

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

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를 압축하기 위해 트윈 분할을 사용한다.
• A의 부분집합을 반복적으로 샘플하고 B에 대해 트윈 분할을 계산한 다음, 대표체로 정제하여 순서를 구축한다.
• 트윈 및 준트윈을 제거하면 교차 수가 제어된 정도로 증가한다는 것을 보장한다(보조정리 2.1 및 2.2).
• O(|A|+|E|)의 반복을 O(log|A|) 번 수행하고 대표가 아닌 정점을 그들의 대표 옆에 다시 삽입하여 최종 순서를 재구성한다.
• 성공 확률이 적어도 2/3인 O((|A|+|E|) log|A|)의 실행 시간을 달성한다.

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

실험 결과

연구 질문

• RQ1 Welzl 순서를 선형(프라이멀 및 듀얼) 샤터 함수를 갖는 집합 시스템에 대해 효율적으로 계산할 수 있는가?
• RQ2 이러한 집합 시스템에서 이러한 순서의 근사 선형 시간 교차 수 한계는 무엇인가?
• RQ3 선형(또는 거의 선형) 이웃 복잡성을 갖는 그래프에서 컴팩트 이웃 커버를 구성하기 위한 실용 알고리즘을 이 접근법이 산출할 수 있는가?
• RQ4 이 방법이 모나드적으로 안정한 그래프 클래스나 관련 그래프 클래스의 일차 모델 검사에 어떤 영향을 미치는가?

주요 결과

• ||S|| = |U| + ∑_{X ∈ F} |X| 이고, 시간 O(||S|| log ||S||)로 Welzl 순서를 계산하는 무작위 알고리즘이 존재한다.
• 생성된 순서는 프라이멀/듀얼 샤터 함수가 c·k로 한정된 집합 시스템에서 교차 수가 최대 12 c^2 log^2 |U|이다(선형 경우, d=1).
• 그래프의 이웃 복잡도 π_G(k) ≤ c·k인 경우, 알고리즘은 O((n+m) log n) 시간에 실행되며 교차 수가 O(log^2 n)인 전체 순서를 출력한다.
• 이로써 이웃 복잡도가 선형인 그래프 클래스에서 중첩도 O(log^2 n)인 컴팩트 이웃 커버를 거의 선형 시간에 계산하게 된다.
• 보조정리: 모나드적으로 안정한 그래프 클래스의 경우 개선된 Welzl 순서 기반 절차를 사용하여 일차 모델 검사를 O(n^{3+ε}) 시간에 수행할 수 있다.
• 이 접근 방식은 더 높은 VC 차수로 확장되어 교차 수가 O(|U|^{1-1/d^2} log^2 |U|)이 되며, 같은 O(||S|| log ||S||) 실행 시간(상수는 c와 d에 의존)을 갖는다.

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