[논문 리뷰] The Interplay Between Domination and Separation in Graphs

Dipayan Chakraborty, Annegret K. Wagler|arXiv (Cornell University)|2026. 01. 28.

Advanced Graph Theory Research인용 수 0

한 줄 요약

본 논문은 그래프에서 네 가지 분리 속성(위치, 폐쇄 분리, 개방 분리, 전체 분리)을 연구하고, 이들과 지배 및 총 지배(X-codes) 간의 상호 작용을 탐구하며, 최소 분리 집합의 NP-난해성을 증명하고 그래프 보완하에의 거동을 분석한다.

ABSTRACT

In the literature, several identification problems in graphs have been studied, of which, the most widely studied are the ones based on dominating sets as a tool of identification. Hereby, the objective is to separate any two vertices of a graph by their unique neighborhoods in a suitably chosen dominating or total-dominating set. Such a (total-)dominating set endowed with a separation property is often referred to as a code of the graph. In this paper, we study the four separation properties location, closed-separation, open-separation and full-separation. We address the complexity of finding minimum separating sets in a graph and study the interplay of these separation properties with several codes (establishing a particularly close relation between separation and codes based on domination) as well as the interplay of separation and complementation (showing that location and full-separation are the same on a graph and its complement, whereas closed-separation in a graph corresponds to open-separation in its complement).

연구 동기 및 목표

• 정점의 이웃을 구분하기 위해 지배 집합 또는 총 지배 집합을 사용한 그래프의 식별 문제를 동기화한다.
• 네 가지 분리 속성(위치, 폐쇄 분리, 개방 분리, 전체 분리)와 이들의 최소 크기 분리 집합을 연구한다.
• 분리와 지배 및 총 지배 코드(LD, LTD, OD, OTD, ID, ITD, FD, FTD)의 상호 작용을 검토한다.
• 분리 속성과 그래프 보완 간의 관계를 조사하고 S-수와 SD-/STD-수 간의 상한과 하한을 확립한다.

제안 방법

• 분리 및 지배 개념(L-set, O-set, I-set, F-set; D-set, TD-set)을 정의한다.
• Test Cover로부터의 감소를 이용해 S in {L, O, I, F}에 대한 Min S-Set의 NP-난해성을 증명한다.
• 경계값을 설정한다: gamma_SD(G)가 gamma^S(G)와 gamma^S(G)+1 사이에 위치하고; {O, F}에 대해 gamma_STD의 경계는 gamma^S(G)와 gamma^S(G)+1 사이인 반면, {L, I}에 대해서는 gamma_STD(G)가 gamma^S(G)와 2*gamma^S(G) 사이에 위치한다.
• 알려진 결과와 새로운 결과를 통해 S-수와 X-수 사이의 관계를 분석하고, 특정 그래프 계열에 대한 예를 포함한다.
• 그래프 보완이 S-수 및 X-수에 미치는 영향을 조사하고 이를 토대로의 corollaries를 도출한다.

실험 결과

연구 질문

• RQ1 S in {L, O, I, F}에 대해 최소 S-집합을 구하는 계산 복잡도는 무엇인가?
• RQ2 네 가지 분리 속성은 지배/총 지배 코드(LD, LTD, OD, OTD, ID, ITD, FD, FTD)와 어떻게 관계되는가?
• RQ3 다양한 그래프에서 S-수와 SD-/STD-수 간의 경계값은 무엇인가?
• RQ4 그래프 보완이 분리 속성과 관련 코드에 어떤 영향을 미치는가?
• RQ5 수들 간의 정해진 경계값과 등식들을 보여 주기 위한 엄밀한 예를 찾을 수 있는가?

주요 결과

• Min S-Set은 모든 S in {L, O, I, F}에 대해 NP-완전이다.
• 어떤 S in {L, O, I, F}에 대해서도 gamma_SD(G)가 gamma^S(G)와 gamma^S(G)+1 사이에 위치한다.
• S가 {O, F}인 경우 gamma_STD(G)가 gamma^S(G)와 gamma^S(G)+1 사이에 있고, S가 {L, I}인 경우 gamma_STD(G)가 gamma^S(G)와 2*gamma^S(G) 사이에 있다.
• 위치 분리와 전체 분리는 그래프와 그 보완에서 동일하다; 그래프의 폐쇄 분리는 보완 그래프에서 개방 분리에 해당한다.
• 논문은 thin 및 thick headless spiders와 같은 특수 그래프 계열에 대한 상세한 경계값과 정확한 값을 제시하고 있어 S-수와 X-수 간의 관계를 설명한다.
• 구성된 도구와 감소를 통해 S-수와 X-수 간의 미묘한 관계를 보여준다.