[논문 리뷰] On the connectivity Waiter-Client game

Sylwia Antoniuk, Codruut Grosu외 1명|arXiv (Cornell University)|2015. 10. 20.

Game Theory and Applications참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $ q+1 $ 개의 간선으로 분리된 스패닝 트리로 구성된 그래프에서 연결성 Waiter-Client 게임을 조사하며, $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ 일 때, Client가 항상 연결성을 방지함으로써 승리할 수 있는 그래프가 존재함을 증명한다. 전략은 간선 연결성이 제한된 컴포넌트를 유지함으로써 작동하며, 도강도 제약 조건과 간선 제안 패tern을 활용하여 고립된 컴포넌트를 유도한다.

ABSTRACT

In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 &lt; q+1 &lt; \lfloor \frac{n-1}{2} floor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.

연구 동기 및 목표

• 기본 그래프가 $ q+1 $ 개의 간선으로 분리된 스패닝 트리의 합집합인 경우 Waiter-Client 게임에서 연결성 게임에서 Waiter가 항상 승리하는지 여부에 대한 열린 문제를 해결하기 위해.
• Waiter가 완전 그래프 또는 $ q+1 = 2 $ 일 때 승리한다는 알려진 결과와는 반대로, Client가 승리할 수 있는 조건을 규명하기 위해.
• 특히 $ n = 3(q+1) $ 일 때 Client가 승리 전략을 가질 수 있는 명시적인 그래프 가족을 구성하고, 이를 수학적 귀납을 통해 더 큰 $ n $ 으로 확장하기 위해.
• 게임 중 도강도 및 연결성 제약 조건 하에서 간선 제안 동역학과 컴포넌트 고립 전략을 분석하기 위해.

제안 방법

• 크기 $ 3(q+1) $ 의 정점 집합을 가진 그래프 $ G $ 를 구성하며, 이는 세 개의 크기가 $ q+1 $ 인 집합 $ U, V, W $ 로 분할되며, $ q+1 $ 개의 간선으로 분리된 스패닝 트리가 존재하도록 한다.
• 스패닝 트리들을 구성함에 있어, 세 개의 중심 정점 $ u_0, v_0, w_0 $ 가 삼각형을 이루며, 전체 그래프에서 각각의 차수는 $ q+2 $ 가 되도록 한다.
• 구조적 게임 이론적 관찰을 활용: 어떤 컴포넌트가 $ \leq q $ 개의 외부 간선을 가질 경우, Client가 승리한다; 만약 두 개의 고립 정점 쌍이 각각 $ q+1 $ 개의 간선을 가지며 서로 인접해 있다면, Client는 그 연결 간선을 선택함으로써 승리한다.
• 기본 그래프에서 $ n_0 $ 에서 $ n_0 + 2 $ 개의 정점으로 확장하기 위해 귀납법을 적용하며, 두 개의 새로운 정점을 추가하고 균형 잡힌 정점 집합으로 스패닝 트리를 연장한다.
• 각 라운드에서 Waiter가 핵심 컴포넌트를 연결시키는 것을 방지하기 위해, 핵심 부분 그래프의 간선 수를 제한된 수로 유지한다.
• Nash-Williams 정리를 활용하여 $ K_{3(q+1)} $ 에서 $ q+1 $ 개의 간선으로 분리된 스패닝 트리가 존재함을 확인함으로써, 이는 구성의 기초가 된다.

실험 결과

연구 질문

• RQ1 기본 그래프가 $ q+1 $ 개의 간선으로 분리된 스패닝 트리의 합집합인 경우, Waiter-Client 게임에서 연결성 게임에서 Waiter가 항상 승리 전략을 가질 수 있는가?
• RQ2 어떤 $ q+1 $ 와 $ n $ 의 값에서 Client는 이러한 그래프에서 연결성을 방지할 수 있는가?
• RQ3 특히 $ q+1 > 2 $ 이고 $ q+1 < \lfloor (n-1)/2 \rfloor $ 일 때, Client 승리 전략을 구성할 수 있는가?
• RQ4 어떤 그래프의 구조적 성질(예: 정점의 차수, 컴포넌트의 연결성 등)이 Client의 승리 가능성을 보장하는가?
• RQ5 임의의 $ n $ 과 $ q $ 에 대해 $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ 를 만족하는 이러한 그래프의 일반적인 구성이 가능한가?

주요 결과

• $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ 일 때, $ q+1 $ 개의 간선으로 분리된 스패닝 트리의 합집합인 $ n $-정점 그래프 $ G $ 가 존재하며, 이 경우 Client는 승리 전략을 가진다.
• 이 구성은 $ u_0, v_0, w_0 $ 라는 세 정점으로 이루어진 부분 그래프 $ G' $ 에 기반하며, 이들 정점은 삼각형을 이루며 $ G $ 에서 각각 차수 $ q+2 $ 를 가진다. 이로 인해 Client는 컴포넌트를 고립시킬 수 있다.
• 관찰 4에 따르면, 어떤 컴포넌트가 현재 그래프에서 최대 $ q $ 개의 외부 간선을 가질 경우 Client가 승리한다.
• 관찰 5에 따르면, 두 정점 쌍이 각각 $ q+1 $ 개의 간선을 가지며 상호 인접해 있을 경우, Client는 그 연결 간선을 선택함으로써 승리할 수 있다.
• 구성은 $ n_0 $ 에서 $ n_0 + 2 $ 로의 귀납적 확장을 통해 이루어지며, 두 개의 새로운 정점을 추가하고 균형 잡힌 정점 집합을 사용하여 트리의 연결성을 유지한다.
• 결과적으로 Waiter가 이러한 그래프에서 항상 승리하지는 않으며, 이는 완전 그래프 또는 $ q+1 = 2 $ 경우의 예상과는 정반대이다.