[논문 리뷰] A Vertex and Edge Deletion Game on Graphs

Cormac O’Sullivan|arXiv (Cornell University)|2017. 09. 05.

Artificial Intelligence in Games참고 문헌 12인용 수 5

한 줄 요약

이 논문은 그래프에서 정점과 간선을 번갈아 삭제하는 공정한 게임을 조사하며, 마지막으로 정점을 제거한 자가 승리하는 게임이다. Khandhawit와 Ye의 한정된 그래프에서 한 개의 홀수 사이클이 존재할 경우의 니모값에 대한 추측을 증명하고, 특히 특정 기하학적 및 홀짝 조건 하에서 휠 그래프와 그 부분그래프의 니모값에 놀라운 규칙성이 있음을 밝혀낸다.

ABSTRACT

See the abstract in the attached pdf.

연구 동기 및 목표

• 한 개의 홀수 사이클을 가진 그래프의 니모값을 결정하는 것, 특히 홀짝성과 텔레스코프링 정점과 같은 구조적 특성과의 관계를 규명하는 것.
• Khandhawit와 Ye의 추측을 검증하는 것: 한 개의 홀수 사이클을 가지며 다른 사이클이나 루프가 없는 단순화된 그래프에서, 두 개 이상의 사이클 정점의 차수가 >2일 경우 니모값 g(G)가 홀짝 함수 φ(G)와 동일하다는 것이다.
• 휠 그래프와 그 부분그래프의 니모값에서 나타나는 구조적 및 조합적 규칙성을 탐색하는 것.
• φ(H) = 2인 휠의 부분그래프에서 승리하는 간선 이동이 항상 존재하는지 조사하며, 이러한 이동이 존재한다는 새로운 추측을 제기하는 것.

제안 방법

• Sprague-Grundy 이론을 활용하여 그래프에 니모값을 할당하고, 분리된 합집합의 경우 니모덧셈을 적용한다.
• 동일한 정점에 연결된 동형 성분이 존재할 경우 취소 개념을 적용하여 게임 상태를 단순화한다.
• 홀수 사이클에 연결된 나무에서 텔레스코프링 정점의 개념을 도입하며, 니모값이 φ(G)에서 벗어나는 구조적 조건을 정의한다.
• 계산적 순열과 패턴 인식을 활용하여 팬과 휠 부분그래프의 니모값을 분석하고 반복되는 값 분포를 식별한다.
• 대칭성 보조정리와 구조적 분해를 활용하여 복잡한 그래프를 더 단순한 동형 형태로 환원하여 니모값을 계산한다.
• φ(H) = 2인 휠의 부분그래프에서 간선 이동 결과에 대한 추측을 제안하고, 광범위한 계산적 증거를 바탕으로 검증한다.

실험 결과

연구 질문

• RQ1 한 개의 홀수 사이클을 가진 그래프의 니모값이 홀짝 함수 φ(G)와 동일해지는 구조적 조건은 무엇인가?
• RQ2 Khandhawit와 Ye의 추측이 맞는가? 즉, 한 개의 홀수 사이클을 가지며 다른 사이클이나 루프가 없는 단순화된 그래프에서, 두 개 이상의 사이클 정점의 차수가 >2일 경우 g(G) = φ(G)가 성립하는가?
• RQ3 팬 F*n과 휠의 부분그래프의 니모값을 지배하는 규칙적인 패턴이 존재하는가? 특히 홀수와 짝수 n에 대해 어떻게 되는가?
• RQ4 φ(H) = 2인 휠의 부분그래프 H에서 항상 니모값이 0이 되는 간선 제거 이동이 존재하는가? 이는 추측된 바이다.
• RQ5 니모값이 홀짝성과 텔레스코프링 정점 또는 사이클 연결과 같은 구조적 특성만으로도 결정될 수 있는가?

주요 결과

• Khandhawit와 Ye의 추측이 증명됨: 한 개의 홀수 사이클을 가지며 다른 사이클이나 루프가 없는 단순화된 그래프에서, 두 개 이상의 사이클 정점의 차수가 >2일 경우 g(G) = φ(G)이다.
• 한 개의 정점에서 나무에 연결된 홀수 사이클로 구성된 단순화된 그래프에서는, G가 사이클일 경우 g(G) = 0이며, 홀수 차수의 텔레스코프링 정점이 존재할 경우 g(G) ≥ 4이고, 그 외의 경우 g(G) = φ(G)이다.
• 팬 F*n의 니모값은 강력한 규칙성을 보인다: 짝수 n ≥ 6일 경우, 모든 정점의 값은 2이며, 차수 2인 정점(값 4)과 중심(값 0)을 제외한다; 모든 간선의 값은 3이며, 차수 2인 정점 근처의 두 루프 간선을 제외한다(값 0).
• 홀수 n ≥ 7일 경우, F*n의 거의 모든 정점의 값은 3이며, 차수 2인 정점은 값 1, 그로부터 거리 2인 두 루프 정점은 값 0이다; 모든 간선의 값은 2이며, 이로 인해 g(F*n) = 4가 된다.
• 계산에 의해 추측 8.5가 지지됨: Wn의 모든 부분그래프 H 중 φ(H) = 2인 경우, 적어도 하나의 간선 제거로 g = 0이 되는 간선이 존재하지만, 비이분 그래프의 경우 반례가 존재한다.
• 이 추측은 g(Wn) = 1 for all n ≥ 3임을 암시한다. 왜냐하면 φ = 2인 부분그래프에서 승리하는 간선 이동이 존재함으로써 전체 휠 게임에서 대응 전략이 가능해지기 때문이다.