[논문 리뷰] Adjacency Labeling Schemes for Small Classes

Édouard Bonnet, Julien Duron외 2명|arXiv (Cornell University)|2024. 09. 07.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 모든 유도적 소 그래프 클래스가 O(log³n)-비트 인접성 레이블링 체계를 갖는다는 것을 증명하여 소 은닉 그래프 추측에 강력한 증거를 제공한다. 이는 두 가지 핵심 구조적 성질을 확립함으로써 달성된다: 약하게 희박한 소 클래스는 유계 확장성을 갖는다 (따라서 유계 분해성도 갖는다); 모든 유도적 소 클래스는 이론적 중요도가 높은 O(n log n) 이웃 복잡도를 갖는다. 이는 VC-차원 기반 순서화 기법을 통해 향상된 레이블링 체계를 가능하게 한다.

ABSTRACT

A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such that the presence of an edge between any pair of vertices can be deduced solely from their labels. The famous Implicit Graph Conjecture posited that every hereditary (i.e., closed under taking induced subgraphs) factorial (i.e., containing $2^{O(n \log n)}$ $n$-vertex graphs) class admits an implicit representation. The conjecture was recently refuted [Hatami and Hatami, FOCS '22], and does not even hold among monotone (i.e., closed under taking subgraphs) factorial classes [Bonnet et al., ICALP '24]. However, monotone small (i.e., containing at most $n! c^n$ many $n$-vertex graphs for some constant $c$) classes do admit implicit representations. This motivates the Small Implicit Graph Conjecture: Every hereditary small class admits an $O(\log n)$-bit labeling scheme. We provide evidence supporting the Small Implicit Graph Conjecture. First, we show that every small weakly sparse (i.e., excluding some fixed bipartite complete graph as a subgraph) class has an implicit representation. This is a consequence of the following fact of independent interest proved in the paper: Every weakly sparse small class has bounded expansion (hence, in particular, bounded degeneracy). Second, we show that every hereditary small class admits an $O(\log^3 n)$-bit labeling scheme, which provides a substantial improvement of the best-known polynomial upper bound of $n^{1-\varepsilon}$ on the size of adjacency labeling schemes for such classes. This is a consequence of another fact of independent interest proved in the paper: Every small class has neighborhood complexity $O(n \log n)$.

연구 동기 및 목표

• 유도적 소 그래프 클래스가 O(log n)-비트 인접성 레이블링 체계를 갖는지 조사하기.
• 효율적인 레이블링 체계를 가능하게 하는 소 그래프 클래스의 구조적 성질을 규명하기.
• 소 클래스에 대한 이웃 복잡도 한계와 연속성 결과 설정하기.
• 소 은닉 그래프 추측을 뒷받침하는 증거 제공하기.

제안 방법

• 모든 약하게 희박한 소 클래스가 유계 확장을 갖는다는 것을 증명하여, 이전의 단조 소 클래스 및 유계 쌍둥이 너비 클래스에 대한 결과를 일반화한다.
• 모든 유도적 소 클래스가 이웃 복잡도 O(n log n)를 갖는다는 것을 확립하며, 이는 별도로 중요한 결과이다.
• 낮은 VC-차원 집합 체계에 대한 Welzl의 정리를 적용하여, 이웃이 몇 개의 간격의 합집합이 되도록 정점 순서를 정한다.
• 이로 인해 유도된 연속성 한계를 바탕으로 기존의 연속성에서 레이블링으로의 환산 기법을 통해 O(log³n)-비트 레이블링 체계를 유도한다.
• 유계 확장성이 유계 분해성을 암시한다는 사실을 활용하여 소 클래스의 구조적 성질을 강화한다.
• 이웃 복잡도와 연속성 한계를 결합하여 최종 레이블링 체계 크기를 유도한다.

실험 결과

연구 질문

• RQ1 소 은닉 그래프 추측이 제기한 바와 같이, 모든 유도적 소 그래프 클래스가 O(log n)-비트 인접성 레이블링 체계를 갖는가?
• RQ2 소 그래프 클래스의 어떤 구조적 성질이 효율적인 레이블링 체계를 가능하게 하는가?
• RQ3 유도적 소 클래스에서 이웃 복잡도가 O(n)으로 유계가 될 수 있는가, 이를 추측하는가?
• RQ4 약하게 희박한 소 클래스에 대해 유계 확장성이 성립하는가, 그리고 이는 레이블링 체계에 어떤 영향을 미치는가?
• RQ5 낮은 VC-차원 순서화 기법을 사용하여 소 클래스에 대해 이차 이하의 레이블링 체계를 구성할 수 있는가?

주요 결과

• 모든 약하게 희박한 소 그래프 클래스는 유계 확장을 갖는다. 이는 유계 분해성도 암시한다.
• 모든 유도적 소 그래프 클래스는 이웃 복잡도 O(n log n)를 갖는다. 이는 알려진 클래스들에 대해 엄밀한 한계이다.
• 유도적 소 클래스에 속한 n-정점 그래프의 연속성은 O(log²n)이다.
• 모든 유도적 소 그래프 클래스에 대해 O(log³n)-비트 인접성 레이블링 체계가 존재한다.
• 유계 쌍둥이 너비 및 유계 나무너비와 같은 알려진 클래스들에 대해 이웃 복잡도 한계는 엄밀하다.
• 이 접근 방식은 이웃 복잡도가 O(n)일 경우 O(log²n)-비트 레이블링 체계가 달성 가능할 수 있음을 시사한다.