[논문 리뷰] Independent sets and cuts in large-girth regular graphs

Endre Csóka|arXiv (Cornell University)|2016. 02. 08.

Limits and Structures in Graph Theory참고 문헌 10인용 수 17

한 줄 요약

이 논문은 큰 고리 길이를 가진 3-정규 그래프에서 기대 크기가 0.44533n인 독립 집합을 구성하는 국소 알고리즘을 제시하며, 4-정규 그래프에서는 기대 크기가 0.40407n인 독립 집합을 구성한다. 이는 기존에 알려진 최저 하한을 향상시킨다. 또한, 호펜-워말드 기법의 보완된 응용과 추가적인 구조적 관찰을 통해 3-정규 그래프에서 크기가 1.34105n인 컷을 구성한다. 이는 알려진 상한과 하한 사이의 격차를 크게 줄였다.

ABSTRACT

We present a local algorithm producing an independent set of expected size $0.44533n$ on large-girth 3-regular graphs and $0.40407n$ on large-girth 4-regular graphs. We also construct a cut (or bisection or bipartite subgraph) with $1.34105n$ edges on large-girth 3-regular graphs. These decrease the gaps between the best known upper and lower bounds from $0.0178$ to $0.01$, from $0.0242$ to $0.0123$ and from $0.0724$ to $0.0616$, respectively. We are using local algorithms, therefore, the method also provides upper bounds for the fractional coloring numbers of $1 / 0.44533 \approx 2.24554$ and $1 / 0.40407 \approx 2.4748$ and fractional edge coloring number $1.5 / 1.34105 \approx 1.1185$. Our algorithms are applications of the technique introduced by Hoppen and Wormald.

연구 동기 및 목표

• 큰 고리 길이를 가진 정규 그래프에서 독립 수비율과 컷 크기의 알려진 상한과 하한 사이의 격차를 줄이기.
• 랜덤 그래프가 아니더라도 모든 큰 고리 길이를 가진 정규 그래프에 적용 가능한 구조적 국소 알고리즘을 개발하기.
• 3-정규 및 4-정규 그래프에서 독립 수비율에 대한 기존에 알려진 최고의 하한을 향상시키기.
• 호펜-워말드 방법의 개선된 버전을 사용하여 3-정규 그래프에서 최대 컷 크기의 하한을 향상시키기.
• 향상된 독립 집합 및 컷 결과로부터 새로운 분수 색칠 및 간선 색칠 하한을 유도하기.

제안 방법

• 논문은 구성 모델을 사용하여 동시에 무작위 정규 그래프와 국소적, 일정 시간 분산 알고리즘을 통해 독립 집합을 구성한다.
• 특정 색상 패턴을 가진 세 정점의 경로를 수축하는 데 새로운 변환 규칙을 적용하여 독립성을 유지하면서 기대 크기를 향상시킨다.
• 흰색 정점에서 색상 뒤집기 메커니즘을 사용하여 대칭성을 유지하고 과정 중 양호한 간선(컷에 포함되는 간선)의 수를 늘린다.
• 생존 그래프 내 구성 요소의 동역학을 기술하는 미분방정식의 연립을 해결함으로써 방법을 구현하며, [R], [G], [W], [RR] 등의 유형을 추적한다.
• 관찰 3은 세 개의 빨간 정점을 하나의 빨간 정점으로 대체할 수 있게 해주며, 이는 양호한 간선 수를 3개 증가시키고 악성 간선 수를 1개 증가시켜 컷 크기를 향상시킨다.
• 알고리즘은 구성 요소 처리를 위한 우선순위 규칙을 사용하며, 필요에 따라 이웃 정점의 정보를 쿼리함으로써 빨간색과 초록색 간의 대칭성을 유지한다.

실험 결과

연구 질문

• RQ1 큰 고리 길이를 가진 3-정규 그래프에서 기존에 알려진 하한보다 더 높은 독립 수비율을 달성할 수 있는 국소 알고리즘이 존재하는가?
• RQ2 구조적 국소 방법을 사용할 때 큰 고리 길이를 가진 3-정규 그래프에서 도달 가능한 최대 컷 크기는 얼마인가?
• RQ3 3-정규 및 4-정규 그래프에서 독립 수비율과 컷 크기의 상한과 하한 사이의 격차는 얼마나 줄일 수 있는가?
• RQ4 호펜-워말드 기법을 구조적 관찰과 결합하여 하한을 추가로 향상시킬 수 있는가?
• RQ5 향상된 독립 집합 및 컷 구성에서 유도되는 분수 색칠 및 간선 색칠 하한은 무엇인가?

주요 결과

• 알고리즘은 큰 고리 길이를 가진 3-정규 그래프에서 기대 독립 집합 크기 0.44533n을 달성하며, 이는 이전 최고 기록인 0.43757을 초월한다.
• 4-정규 그래프의 경우, 기대 크기 0.40407n인 독립 집합을 생성하며, 이는 이전 최고 기록인 0.39213을 향상시킨다.
• 3-정규 그래프에서 크기 1.34105n인 컷을 구성하였으며, 알려진 상한과 하한 사이의 격차가 0.0724에서 0.0616으로 줄어들었다.
• 분수 색칠 수는 3-정규 그래프의 경우 약 2.24554 이하, 4-정규 그래ฟ의 경우 약 2.4748 이하로 상한이 설정된다.
• 분수 간선 색칠 수는 3-정규 그래프의 경우 약 1.1185 이하로 상한이 설정된다.
• 결과는 생존 그래프 내 구성 요소의 진화를 모델링하는 미분방정식 연립의 수치적으로 안정된 계산에서 유도된다.