[論文レビュー] Canonical Labeling of Sparse Random Graphs

Oleg Verbitsky, Maksim Zhukovskii|arXiv (Cornell University)|Sep 26, 2024

Graph Labeling and Dimension Problems被引用数 1

ひとこと要約

本稿では、p = O(1/n) のとき、スパースな Erdős–Rényi ランダムグラフ G(n, p) に対して線形時間の正規化ラベル付けアルゴリズムを提示し、そのようなグラフが高確率で O(n log n) 時間で計算可能な正規化ラベル付けを持つことを証明している。この手法は、色の振り分けと線形時間の木正規化を組み合わせており、2-コアの自己同型群を完全に特徴づける分析により、スパースなランダムグラフにおけるグラフ正規化の平均ケース複雑度に関する長年のギャップを埋めている。

ABSTRACT

We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.

研究の動機と目的

• p = O(1/n) の範囲において、効率的な正規化ラベル付けが以前は未知であったスパースな Erdős–Rényi ランダムグラフにおけるグラフ正規化の平均ケース複雑度のギャップを埋めること。
• 密度の高いおよび中程度にスパースなグラフに関する先行研究によって提起された枠組みを完成させるために、G(n, p) のすべての辺確率の範囲で多項式時間の正規化ラベル付けアルゴリズムを提供すること。
• 特に p = O(1/n) のとき、スパースな範囲における G(n, p) の 2-コアの自己同型群を完全に特徴づけること。
• この範囲で色の振り分けが十分に機能し、後続処理と組み合わせることで効率的な正規化ラベル付けが可能であることを示すこと。

提案手法

• 標準的な色の振り分け（CR）ルーチンと、古典的な線形時間の木正規化アルゴリズムに基づく後処理ステップを組み合わせる。
• スパースなランダムグラフにおける色の振り分けの性能を分析し、p = O(1/n) のとき、高確率で離散的な色分け（すべての頂点の色が異なる）を生成することを示す。
• 2-コアの構造をモデル化するために構成モデルを用い、スイッチングの議論を用いてループや多重辺の分布を研究する。
• 特定の辺（例：ループや多重辺）を含むマッチングと含まないマッチングの間の二部マッチング構造を用い、次数と重みの考察により確率を評価する。
• 確率的有界性（OP表記）を用いて、2-コアにおけるループや多重辺の数が確率的に有界であることを示し、高確率でそれらが存在しないことを示す。
• 2-コアのカーネル化とその多重グラフ表現の構造を活用し、高確率で自己同型群が自明であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 p = O(1/n) のとき、Erdős–Rényi ランダムグラフ G(n, p) は効率的に計算可能な正規化ラベル付けを持つのか？
• RQ2 p = O(1/n) のスパースなランダムグラフにおいて、色の振り分けアルゴリズムはどの程度の性能を示し、正規化ラベル付けの基盤として利用可能か？
• RQ3 p = O(1/n) のスパースな範囲において、G(n, p) の 2-コアの自己同型群の構造は何か？
• RQ4 p = O(1/n) のとき、2-コアに高確率でループや多重辺が存在しないのか？ これにより、コアが単純で正規化ラベル付けに適していることが保証されるか？

主な発見

• p = O(1/n) のとき、G(n, p) は高確率で O(n log n) 時間で計算可能な正規化ラベル付けを持つ。
• p = O(1/n) のとき、G(n, p) の 2-コアは高確率でループも多重辺も持たず、高確率で単純な多重グラフである。
• p = O(1/n) のとき、G(n, p) の 2-コアの自己同型群は高確率で自明である。つまり、非自明な対称性を持たない。
• p = O(1/n) のとき、色の振り分けは高確率で離散的な色分け（すべての頂点の色が異なる）を生成し、色の辞書式順序による正規化ラベル付けが可能になる。
• 2-コアにおけるループや多重辺に属する頂点の期待数は Θ(1) であり、2つ以上のループに属する頂点の期待数は o(1) であるため、このような構造は高確率で希である。
• 2-コアにおけるループや多重辺の数は確率的に有界（OP(1)）であり、任意に増加する an に対して、高確率で an 個未満の構造が存在する。