[논문 리뷰] Counterexamples to the Cubic Graph Domination Conjecture

Alexander Kelmans|ArXiv.org|2006. 07. 20.

Advanced Graph Theory Research참고 문헌 5인용 수 12

한 줄 요약

이 논문은 Reed의 1996년 추측, 즉 모든 삼차 2-연결 그래프의 지배 수가 ⌈v(G)/3⌉ 이하임을 반증한다. 이는 무한한 삼차 2-연결 그래프의 수열 (Rₖ)을 구성함으로써 이루어지며, 이 그래프들의 지배 비율 ρ(Rₖ) = 1/3 + 1/60이다. k가 증가함에 따라 지배 수는 v(Rₖ)/3을 초과하는 임의로 큰 값을 가질 수 있다. 또한 연결성 1인 그래프에 대한 개선된 반례를 제시하고, 3-연결 삼차 그래프에 대해 더 강력한 추측을 제안한다.

ABSTRACT

Let v(G) and dom(G) denote the number of vertices and the domination number of a graph G, and let r (G) = dom(G)/v(G)$. Let [x] and ]x[ be the floor and the ceiling of a number x. In 1996 B. Reed conjectured that if G is a cubic graph, then dom(G) is at most ]v(G)/3[. In 2005 A. Kostochka and B. Stodolsky disproved this conjecture for cubic graphs of connectivity one and maintained that the conjecture may still be true for 2-connected cubic graphs. Their minimum counterexample C has 4 bridges, v(C) = 60, anddom (C) = 21. In this paper we disprove Reed's conjecture for 2-connected cubic graphs by providing a sequence (R(k): k > 2) of cubic graphs of connectivity two with r(R_k) = 1/3 + 1/60, where v(R(k+1)) > v(R(k)) > v(R(3)) = 60 for k > 3, and so dom(R(3)) = 21$ and dom(R(k)) - ]v(R(k))/3[ tends to infinity when k tends to infinity. We also provide a sequence of (L_s: s > 0) of cubic graphs of connectivity one with r(L(s)) > 1/3 + 1/60. The minimum counterexample L = L(1) in this sequence is `better' than C in the sense that L has 2 bridges while C has 4 bridges, v(L) = 54 < 60 = v(C), and r(L) = 1/3 + 1/54} > 1/3 + 1/60 = r(C). We also give a construction providing for every t in {0,1,2} infinitely many cubic cyclically 4-connected Hamiltonian graphs G(t) such that v(G(t)) = t mod 3, t in {0,2} implies dom(G(t)) = ]v(G(r))/3[, and t = 1 implies dom(G(t)) = [v(G(r))/3]. At last we suggest a stronger conjecture on domination in cubic 3-connected graphs.

연구 동기 및 목표

• 모든 삼차 2-연결 그래프에 대해 γ(G) ≤ ⌈v(G)/3⌉ 임을 추측한 Reed의 1996년 추측을 반증하기.
• 지배 비율이 정확히 1/3을 초과하는 삼차 그래프의 명시적 가족을 구성하여, 추측된 경계가 잘못되었음을 입증하기.
• 브릿지 수와 정점 수를 줄이며 지배 비율을 높임으로써 이전의 반례를 개선하기.
• 특히 3-연결성의 경우를 중심으로, 다양한 연결성 조건 하에서 삼차 그래프의 지배 경계의 날카러움을 탐색하기.
• 정점 수를 3으로 나눈 나머지에 기반한 삼차 3-연결 그래프의 지배에 대해 더 강력하고 정밀한 추측을 제안하기.

제안 방법

• v(Rₖ+1) > v(Rₖ) > 60 이고 ρ(Rₖ) = 1/3 + 1/60 인 삼차 2-연결 그래프의 무한한 수열 (Rₖ: k ≥ 3)을 구성한다.
• 특정 부분그래프(예: H, U)로 간선이나 정점을 대체하는 그래프 치환 연산을 사용하여 삼차성과 연결성을 유지한다.
• 귀납법과 구조적 분석을 적용하여 γ(Rₖ) = 2k+1 이고 v(Rₖ) = 6k 이므로, k → ∞ 일 때 γ(Rₖ) − ⌈v(Rₖ)/3⌉ → ∞ 임을 증명한다.
• ρ(Lᵣ) = 7/20 + 1/(200r + 340) 이고, r → ∞ 일 때 7/20으로 수렴하는 삼차 연결성 1 그래프의 새로운 수열 (Lᵣ: r ≥ 1)을 도입한다.
• v(Gᵣ) ≡ r mod 3 이고, γ(Gᵣ) = ⌈v(Gᵣ)/3⌉ 또는 ⌊v(Gᵣ)/3⌋ 이며, r에 따라 달라지는 순환적으로 4-연결된 해밀턴 삼차 그래프의 무한한 가족 (Gᵣ)을 구성한다.
• 새로운 추측(3.5)을 제안한다: 삼차 3-연결 그래프에 대해, v(G) ≠ 1 mod 3 이면 γ(G) ≤ ⌈v(G)/3⌉ 이고, v(G) ≡ 1 mod 3 이면 γ(G) ≤ ⌊v(G)/3⌋ 이다.

실험 결과

연구 질문

• RQ1 Reed의 추측, 즉 모든 삼차 2-연결 그래프에 대해 γ(G) ≤ ⌈v(G)/3⌉ 임을 반증할 수 있는가?
• RQ2 삼차 2-연결 그래프에서 달성 가능한 최소 지배 비율은 무엇이며, 이는 1/3을 초과할 수 있는가?
• RQ3 연결성 1인 삼차 그래프에 대해 브릿지 수와 차수를 줄이며 더 작은 반례를 구성할 수 있는가?
• RQ4 정점 수를 3으로 나눈 나머지에 따라 제어 가능한 지배 수를 가지는 순환적으로 4-연결된 해밀턴 삼차 그래프의 무한한 가족이 존재하는가?
• RQ5 삼차 3-연결 그래프에 대해 더 강력하고 정밀한 지배 수 경계가 존재하는가?

주요 결과

• 논문은 ρ(Rₖ) = 1/3 + 1/60 인 삼차 2-연결 그래프의 무한한 수열 (Rₖ)을 구성하였으며, k → ∞ 일 때 γ(Rₖ) − ⌈v(Rₖ)/3⌉ → ∞ 임을 증명하였다.
• 최소 2-연결 반례인 R₃는 v(R₃) = 60 이고 γ(R₃) = 21 이므로, ρ(R₃) = 7/20 = 1/3 + 1/60 이다.
• 연결성 1 그래프에 대한 새로운 반례 L₁은 v(L₁) = 54, 브릿지 수가 2개 뿐이며, ρ(L₁) = 1/3 + 1/54 > 1/3 + 1/60 = ρ(C) 이다. 이는 이전 최소 반례 C 보다 개선된 결과이다.
• 모든 r ∈ {0,1,2}에 대해, v(Gᵣ) ≡ r mod 3 이고, r ∈ {0,2} 이면 γ(Gᵣ) = ⌈v(Gᵣ)/3⌉ 이고, r = 1 이면 γ(Gᵣ) = ⌊v(Gᵣ)/3⌋ 인 순환적으로 4-연결된 해밀턴 삼차 그래프의 무한한 가족 Gᵣ을 구성하였다.
• 제안된 추측 3.5는 삼차 3-연결 그래프에 대해, v(G) ≠ 1 mod 3 이면 γ(G) ≤ ⌈v(G)/3⌉ 이고, v(G) ≡ 1 mod 3 이면 γ(G) ≤ ⌊v(G)/3⌋ 이며, 이는 기존 해밀턴 그래프에 대한 결과와 일치하며 날카로운 경계임이 입증되었다.