[논문 리뷰] Canonical Labeling of Sparse Random Graphs

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

Graph Labeling and Dimension Problems인용 수 1

한 줄 요약

이 논문은 p = O(1/n)일 때 희박한 Erdős–Rényi 무작위 그래프 G(n, p)에 대해 선형 시간 내에 정규화된 레이블링 알고리즘을 제시하며, 이러한 그래프가 고확률적으로 O(n log n) 시간 내에 계산 가능한 정규화된 레이블링을 갖는다는 것을 증명한다. 이 방법은 색 강화(color refinement)와 선형 시간 내에 트리 정규화를 결합하며, 분석을 통해 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-핵의 구성을 모델링하기 위해 구성 모델(configuration model)을 사용하고, 스위칭 추론을 통해 고리와 다重 간선의 분포를 연구한다.
• 특정 간선(예: 고리 또는 다중 간선)을 포함하거나 포함하지 않는 매칭 간의 이분 매칭 구성 기법을 적용하여, 차수와 무게 고려를 통해 확률을 유계화한다.
• 확률적 유계성(OP 표기법)을 사용하여 2-핵 내의 고리 및 다중 간선의 수가 확률적으로 유계임을 보이며, 이는 고확률적으로 이러한 구조가 존재하지 않음을 의미한다.
• 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)일 때, G(n, p)의 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)이며, 최소 두 개의 고리에 포함된 정점의 기대 수는 o(1)이므로, 이러한 구조는 고확률적으로 희귀하다.
• 2-핵 내의 고리 및 다중 간선의 수는 확률적으로 유계(OP(1))이며, 임의의 증가하는 an에 대해 고확률적으로 an 이하의 구조가 존재한다.