[論文レビュー] Adjacency Labeling Schemes for Small Classes

Édouard Bonnet, Julien Duron+2 more|arXiv (Cornell University)|Sep 7, 2024

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、すべての有界小グラフクラスが O(log³n)-ビットの隣接ラベル付けスキームを備えることを証明することで、小 implicitly グラフ予想に対する強い証拠を提供する。2つの主要な構造的性質を確立する：弱くスパースな小クラスは有界展開性（したがって有界退化性）を持つ。すべての有界小グラフクラスは、VC次元に基づく順序付け技術を用いて、向上したラベル付けスキームを可能にする O(n log n) の近傍複雑性を持つ。

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)-ビットの隣接ラベル付けスキームを備えるかどうかを調査すること。
• 効率的なラベル付けスキームを可能にする小グラフクラスの構造的性質を特定すること。
• 小クラスにおける近傍複雑性の境界と連続性に関する結果を確立すること。
• 小 implicitly グラフ予想を支持する証拠を提供すること。

提案手法

• すべての弱くスパースな小クラスが有界展開性を持つことを証明し、単調小クラスや有界双子幅クラスに関する先行結果を一般化する。
• すべての有界小グラフクラスが O(n log n) の近傍複雑性を持つことを確立する。これは独立に興味深い結果である。
• Welzlの定理（低VC次元集合系）を応用し、頂点を順序付け、近傍が少数の区間の和集合となるようにする。
• 得られた連続性の境界を用いて、連続性からラベル付けへの既知の還元法により、O(log³n)-ビットのラベル付けスキームを導出する。
• 有界展開性が有界退化性を意味することを活用し、小クラスの構造的性質を強化する。
• 近傍複雑性と連続性の境界を組み合わせ、最終的なラベル付けスキームのサイズを導出する。

実験結果

リサーチクエスチョン

• RQ1 小 implicitly グラフ予想が示唆するように、すべての有界小グラフクラスが 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)-ビットのラベル付けスキームが達成可能である可能性を示唆している。