[논문 리뷰] Implicit representations via the polynomial method

Jean Cardinal, Micha Sharir|arXiv (Cornell University)|2026. 02. 11.

Computational Geometry and Mesh Generation인용 수 0

한 줄 요약

논문은 다항식 분할을 이용한 준대수적 그래프의 서브선형 인접 라벨링 스킴을 제시하여, d 차원 준대수적 그래프 계열에 대해 O(n^{1-2/(d+1)+ε}) 비트의 라벨과 효율적 질의를 도출하고, 유닛 디스크, 선분 교차, 준선형 및 다각형 가시성 그래프에 특수한 결과를 제공합니다.

ABSTRACT

Semialgebraic graphs are graphs whose vertices are points in $\mathbb{R}^d$, and adjacency between two vertices is determined by the truth value of a semialgebraic predicate of constant complexity. We show how to harness polynomial partitioning methods to construct compact adjacency labeling schemes for families of semialgebraic graphs. That is, we show that for any family of semialgebraic graphs, given a graph on $n$ vertices in this family, we can assign a label consisting of $O(n^{1-2/(d+1) + \varepsilon})$ bits to each vertex (where $\varepsilon > 0$ can be made arbitrarily small and the constant of proportionality depends on $\varepsilon$ and on the complexity of the adjacency-defining predicate), such that adjacency between two vertices can be determined solely from their two labels, without any additional information. We obtain for instance that unit disk graphs and segment intersection graphs have such labelings with labels of $O(n^{1/3 + \varepsilon})$ bits. This is in contrast to their natural implicit representation consisting of the coordinates of the disk centers or segment endpoints, which sometimes require exponentially many bits. It also improves on the best known bound of $O(n^{1-1/d}\log n)$ for $d$-dimensional semialgebraic families due to Alon (Discrete Comput. Geom., 2024), a bound that holds more generally for graphs with shattering functions bounded by a degree-$d$ polynomial. We also give new bounds on the size of adjacency labels for other families of graphs. In particular, we consider semilinear graphs, which are semialgebraic graphs in which the predicate only involves linear polynomials. We show that semilinear graphs have adjacency labels of size $O(\log n)$. We also prove that polygon visibility graphs, which are not semialgebraic in the above sense, have adjacency labels of size $O(\log^3 n)$.

연구 동기 및 목표

• 준대수적 술어로 정의된 그래프의 간결하고 분산된 인코딩을 동기 부여한다.
• d-차원 준대수 그래프 계열에 대해 서브선형 크기의 인접 라벨링 스킴을 개발한다.
• 다항식 분할을 적용하여 정점 당 이분그래프(Biclique) 참여를 한계 짓고 라벨 크기를 도출한다.
• 준선형 및 가시성 그래프 계열에 대한 간결한 암시적 표현을 도출한다.
• 구체적 그래프 클래스(유닛 디스크, 선분, 구, 다각형 가시성)에 대한 코롤로리를 제공한다.

제안 방법

• 상수 복잡도를 가진 고정 준대수 술어를 이용해 인접성을 모델링한다.
• 다항식 분할을 통해 바이클리크(decompositions) 분해를 구성하여 정점 참여 ν(n)을 바운드한다.
• 원시/듀얼 설정에서 파티션 트리를 적용해 인시던스(연접성) 균형을 맞추고 라벨 길이를 제어한다.
• Milnor–Thom 유형 경계를 활용해 셀 수와 교차를 한정하고 서브선형 인코딩을 가능하게 한다.
• 균형 잡힌 바이클리크 분해로부터 명시적 라벨 크기 정리(정리 1 및 코롤로리)를 도출한다.
• 특수 사례(준선형 및 다각형 가시성 그래프)를 맞춤 분해 및 알려진 기하학적 결과로 처리한다.

실험 결과

연구 질문

• RQ1 준대수적 그래프 계열이 n에 비해 선형 미만의 서브선형 인접 라벨링 스킴을 허용할 수 있는가?
• RQ2 다항식 분할을 이용한 d-차원 준대수 그래프에서 가능한 최소 라벨 크기는 얼마인가?
• RQ3 유닛 디스크, 임의 반경의 디스크, 유닛 볼, 볼, 선분 교차 그래프 등 구체적 그래프 계열에 결과가 어떻게 특화되는가?
• RQ4 준선형 그래프가 일반 준대수 그래프에 비해 훨씬 더 작은(로그 규모의) 인접 라벨을 허용하는가?
• RQ5 다각형 가시성 그래프 및 관련 지형에 어떤 라벨링 경계가 얻어지는가?

주요 결과

• d 차원 준대수적 계열은 O(n^{1-2/(d+1)+ε})-비트 인접 라벨링 스킴을 허용한다(ε>0은 임의로 충분히 작다).
• 유닛 디스크 그래프는 O(n^{1/3+ε})-비트 라벨; 임의 반경의 디스크 그래프는 O(n^{1/2+ε})-비트 라벨.
• R^d의 유닛 볼 그래프는 O(n^{1-2/(d+1)+ε})-비트 라벨; 볼 그래프는 O(n^{1-2/(d+2)+ε})-비트 라벨.
• 선분 교차 그래프는 O(n^{1/3+ε})-비트 라벨(실무적으로 매개 차원을 2로 축소).
• 준선형 그래프는 O(log n)-비트 인접 라벨링 스킴을 허용한다.
• 다각형 가시성 그래프는 O(log^{3} n)-비트 인접 라벨링 스킴을 허용한다(상한 그래프의 경우 O(log^{2} n)).