[논문 리뷰] $1/2$-conjectures on the domination game and claw-free graphs

Csilla Bujtás, Vesna Iršič외 1명|arXiv (Cornell University)|2020. 10. 27.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 최소 차수 2 이상인 그래프에 대해 Rall의 1/2-추측을 강화한 버전을 제안하며, 클로우리스 및 3-정규 그래프에 대한 잠재함수 방법과 구조 분석을 통해 δ(G) ≥ 2 인 클로우리스 그래프에 대해 γg(G) ≤ ⌊11/20 n(G)⌋ 를 증명한다. 또한 클로우리스 3-정규 그래프와 선 그래프에 대해 두 추측을 모두 검증한다. 결과는 계산 실험과 최적성 예제에 의해 뒷받침된다.

ABSTRACT

Let $\gamma_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $\gamma_g(G) \le \left\lceil \frac{1}{2}n(G) ight ceil$. Our main result verifies the conjecture over the class of line graphs. Moreover, in this paper we put forward the conjecture that if $\delta(G) \geq 2$, then $\gamma_g(G) \leq \left\lceil \frac{1}{2}n(G) ight ceil$. We show that both conjectures hold true for claw-free cubic graphs. We further prove the upper bound $\gamma_g(G) \le \left\lceil \frac{11}{20} \, n(G) ight ceil$ over the class of claw-free graphs of minimum degree at least $2$. Computer experiments supporting the new conjecture and sharpness examples are also presented.

연구 동기 및 목표

• 트레이서블 그래프, 특히 선 그래프의 클래스에서 Rall의 1/2-추측—γg(G) ≤ ⌊1/2 n(G)⌋—을 검증하기 위해.
• 더 강력한 추측을 제안하고 조사하기 위해: δ(G) ≥ 2 인 모든 그래프에 대해 γg(G) ≤ ⌊1/2 n(G)⌋.
• 최소 차수 2 이상인 클로우리스 그래프에 대해 γg(G) ≤ ⌊11/20 n(G)⌋ 의 상한을 수립하기 위해.
• 추측의 최적성과 타당성을 뒷받침하는 계산 및 구조적 증거를 제공하기 위해.
• 반례가 발견된 경우 약화된 형태를 탐색하기 위해, 일반 상수 및 점근적 상한을 포함한다.

제안 방법

• 잔여 그래프 GD에서 정점 색상(흰, 파랑, 빨강)을 기반으로 한 잠재함수 f(GD)를 도입하여 도미네이션 게임의 진행 상황을 추적한다.
• 총 게임 길이를 유계화하기 위해 흰 정점에 22, 파랑 정점에 9, 빨강 정점에 0 을 할당한 가중치가 부여된 잠재함수를 사용한다.
• GD[W] 내 흰 정점 성분의 구조(경로, 사이클)에 기반한 케이스 분석을 통해 각 수순에서 잠재함수 감소를 유계화한다.
• 계속성 원칙과 유사한 방식의 분배 기법을 적용하여, 도미네이터-스탈러 쌍의 수순이 항상 최소 80 단위의 잠재함수 감소를 유도하도록 보장한다.
• B = ∅ 이고 GD[W] 가 사이클 또는 경로로 구성된 잔여 그래프에서의 게임 역학을 분석하여, 다양한 수순 순서 하에서의 유계를 도출한다.
• 작은 그래프(≤10 정점)에 대해 컴퓨터 지원 검증을 수행하고, 추측의 최적성을 시험하기 위해 극단적 예제를 구성한다.

실험 결과

연구 질문

• RQ1 Rall의 1/2-추측은 선 그래프, 즉 클로우리스 그래프의 부분집합에 대해 성립하는가?
• RQ2 강화된 추측 γg(G) ≤ ⌊1/2 n(G)⌋ 은 최소 차수 δ(G) ≥ 2 인 모든 그래프에 대해 참인가?
• RQ3 최소 차수 δ(G) ≥ 2 인 클로우리스 그래프에 대해 더 날카운 상한을 수립할 수 있으며, 그 최적의 상수는 무엇인가?
• RQ4 1/2-추측에서 등호가 성립하는 극단적 그래프가 존재하는가? 이러한 그래프는 어떤 구조적 성질을 갖는가?
• RQ5 추측이 실패할 경우 그에 따른 영향은 무엇이며, 어떤 약화된 형태가 여전히 성립할 수 있는가?

주요 결과

• 선 그래프에 대해 1/2-추측이 검증되었으며, 모든 선 그래프에 대해 γg(G) ≤ ⌊1/2 n(G)⌋ 이 성립한다.
• 클로우리스 3-정규 그래프에 대해 1/2-추측과 강화된 δ ≥ 2 추측 모두 참으로 증명되었다.
• 최소 차수 2 이상인 모든 클로우리스 그래프에 대해 γg(G) ≤ ⌊11/20 n(G)⌋ 의 상한이 수립되었으며, 이는 3/5 상한보다 향상된 결과이다.
• γg(G) ≤ ⌊11/20 n(G)⌋ 의 상한은 극단적 예제(γg(G) = 5 인 9개 정점 그래프 포함)를 통해 최적임을 입증하였다.
• 컴퓨터 실험을 통해 최소 10개 정점 이하의 연결 그래프에 대해 강화된 추측이 모두 성립함을 확인하였고, 더 큰 그래프에 대해서도 그 타당성을 뒷받침한다.
• 홀수 n ≥ 9 이고 지름 ≥3 인 경우 등호가 성립하는 경우가 존재하며, γg(G) = n(G)/2 를 만족하는 24 및 30개 정점의 두 개의 특이 예제가 존재한다.