[논문 리뷰] Reconfiguration of Dominating Sets

Akira Suzuki, Amer E. Mouawad외 1명|arXiv (Cornell University)|2014. 01. 22.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 그래프에서 독립 집합의 재구성에 대해 연구하며, Dk(G)라는 해 공간의 연결성과 지름 성질에 초점을 맞춘다. 여기서 정점은 크기가 최대 k인 독립 집합을 나타내고, 한 정점의 차이로만 다를 경우 간선으로 연결된다. 이는 Haas와 Seyffarth가 제기한 열린 문제를 해결하며, D_{γ(G)+1}(G)가 반드시 연결되어 있지 않음을 보여주며, 평면 그래프, 유계 트리너비 그래프 또는 3-분할 그래프일지라도 마찬가지임을 밝힌다. 또한 D_{γ(G)+1}(G)의 지름이 지수적일 수 있는 그래프를 구성하였고, 크기가 적어도 n/2인 매칭을 가진 그래프에 대해 D_n(G)는 연결되어 있으며 지름이 선형임을 증명하였다.

ABSTRACT

We explore a reconguration version of the dominating set problem, where a dominating set in a graph G is a set S of vertices such that each vertex is either in S or has a neighbour in S. In a reconfiguration problem, the goal is to determine whether there exists a sequence of feasible solutions connecting given feasible solutions s and t such that each pair of consecutive solutions is adjacent according to a specified adjacency relation. Two dominating sets are adjacent if one can be formed from the other by the addition or deletion of a single vertex. For various values of k, we consider properties of Dk(G), the graph con-sisting of a vertex for each dominating set of size at most k and edges speci ed by the adjacency relation. Addressing an open question posed by Haas and Seyffarth, we demonstrate that D (G)+1(G) is not neces-sarily connected, for (G) the maximum cardinality of a minimal dom-inating set in G. The result holds even when graphs are constrained to be planar, of bounded tree-width, or b-partite for b 3. Moreover, we construct an infinite family of graphs such that D
 (G)+1(G) has exponential diameter, for 
 (G) the minimum size of a dominating set. On the positive side, we show that Dn(G) is connected and of linear diameter for any graph G on n vertices with a matching of size at least + 1.

연구 동기 및 목표

• 크기 최대 k인 독립 집합에 대한 재구성 그래프 Dk(G)의 구조적 성질을 조사하기 위해.
• Haas와 Seyffarth가 제기한 D_{γ(G)+1}(G)의 연결성에 관한 열린 문제를 해결하기 위해.
• 평면, 유계 트리너비, b-분할 그래프를 포함한 다양한 그래프 계열에 대해 Dk(G)의 지름을 분석하기 위해.
• Dk(G)가 항상 연결되어 있고 지름이 작아지는 조건을 특정하기 위해.
• 일반 그래프에서 D_n(G)가 선형 지름을 가지며 연결되어 있음을 보장하는 충분한 조건을 설정하기 위해.

제안 방법

• 크기 ≤ k인 독립 집합을 정점으로 하고, 한 정점의 차이로만 다를 경우 간선으로 연결하는 재구성 그래프 Dk(G)를 구성하기 위해.
• 그래프 이론적 구성 기법을 사용하여 D_{γ(G)+1}(G)가 비연결이면서 지수적 지름을 가진 무한한 그래프 계열을 생성하기 위해.
• 최소 독립 집합과 매칭의 성질을 분석하기 위해 구조적 그래프 이론을 적용하기 위해.
• 그래프에 크기가 적어도 n/2인 매칭이 존재함을 이용해 D_n(G)의 연결성을 증명하기 위해.
• 귀납적 및 구성적 추론을 활용해 매칭 조건 하에서 D_n(G)의 선형 지름 상한을 보여주기 위해.
• 평면, 유계 트리너비, b-분할 등의 극단적 그래프 계열을 분석하여 강한 제약 조건 하에서도 부정적 결과가 성립함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 이전 연구에서 추측되거나 암시된 바에 따르면, 모든 그래프 G에 대해 D_{γ(G)+1}(G)는 반드시 연결되어 있는가?
• RQ2 평면 또는 유계 트리너비 그래프로 제한된 상황에서도 D_{γ(G)+1}(G)가 지수적 지름을 가질 수 있는가?
• RQ3 평면성 또는 유계 트리너비와 같은 구조적 제약 조건이 있음에도 불구하고 D_{γ(G)+1}(G)가 비연결일 수 있는 그래프 계열이 존재하는가?
• RQ4 D_n(G)가 항상 연결되어 있고 선형 지름을 가질 조건은 무엇인가?
• RQ5 크기가 큰 매칭의 존재와 D_n(G)의 연결성 및 지름 사이의 관계는 무엇인가?

주요 결과

• D_{γ(G)+1}(G)는 G가 평면이거나 트리너비가 유계이거나 3-분할 그래프일지라도 반드시 연결되어 있지 않다.
• D_{γ(G)+1}(G)의 지름이 지수적일 수 있는 무한한 그래프 계열이 존재한다.
• 크기가 적어도 n/2인 매칭을 가진 임의의 그래프 G에 대해 D_n(G)는 연결되어 있다.
• 동일한 매칭 조건 하에서 D_n(G)의 지름은 n에 대해 선형이다.
• 이 결과는 Haas와 Seyffarth가 제기한 D_{γ(G)+1}(G)의 연결성에 관한 열린 문제를 해결한다.
• D_{γ(G)+1}(G)에 대해 비연결이면서 지수적 지름을 가진 그래프의 구성은 여러 자연스러운 그래프 계열에 걸쳐 유효하다.