[논문 리뷰] On the Signed (Total) $k$-Domination Number of a Graph

Hongyu Liang|arXiv (Cornell University)|2012. 04. 21.

Advanced Graph Theory Research참고 문헌 5인용 수 5

한 줄 요약

이 논문은 그래프에서 부호(전체) $k$-독립집합 수를 조사하며, 모든 고정된 $k \geq 1$에 대해 이러한 매개변수를 계산하는 것이 NP-난이도임을 증명한다. 최소 및 최대 차수를 기반으로 부호 $k$-독립집합 수와 부호 전체 $k$-독립집합 수에 대한 날카운 하한을 설정하여 기존 결과를 일반화하고, 극한 그래프 가족에 대해 날카로운 점근적 표현식을 제공한다.

ABSTRACT

Let $k$ be a positive integer and $G=(V,E)$ be a graph of minimum degree at least $k-1$. A function $f:V ightarrow \{-1,1\}$ is called a \emph{signed $k$-dominating function} of $G$ if $\sum_{u\in N_G[v]}f(u)\geq k$ for all $v\in V$. The \emph{signed $k$-domination number} of $G$ is the minimum value of $\sum_{v\in V}f(v)$ taken over all signed $k$-dominating functions of $G$. The \emph{signed total $k$-dominating function} and \emph{signed total $k$-domination number} of $G$ can be similarly defined by changing the closed neighborhood $N_G[v]$ to the open neighborhood $N_G(v)$ in the definition. The \emph{upper signed $k$-domination number} is the maximum value of $\sum_{v\in V}f(v)$ taken over all \emph{minimal} signed $k$-dominating functions of $G$. In this paper, we study these graph parameters from both algorithmic complexity and graph-theoretic perspectives. We prove that for every fixed $k\geq 1$, the problems of computing these three parameters are all \NP-hard. We also present sharp lower bounds on the signed $k$-domination number and signed total $k$-domination number for general graphs in terms of their minimum and maximum degrees, generalizing several known results about signed domination.

연구 동기 및 목표

• 부호 $k$-독립집합 수, 부호 전체 $k$-독립집합 수, 상한 부호 $k$-독립집합 수를 계산하는 문제의 계산 복잡도를 규명하는 것.
• 부호 독립집합에 대한 기존 결과를 일반화하여 부호 $k$-독립집합 수와 부호 전체 $k$-독립집합 수에 대한 날카로운 하한을 도출하는 것.
• 이 하한이 날카로운 극한 그래프 가족을 구조적 그래프 구성 기법을 사용하여 특성화하는 것.

제안 방법

• 기존의 NP-완전 문제로부터의 축소를 통한 부호 $k$-독립집합 문제와 부호 전체 $k$-독립집합 문제의 NP-난이도 증명. 특히 부호 전체 경우에 대해 상세한 구성이 수반된다.
• 모든 $v \in V$에 대해 $\sum_{u \in N_G[v]} f(u) \geq k$ 를 만족하는 부호 $k$-독립집합 함수 $f: V \to \{-1, 1\}$ 를 정의하며, 열린 이웃을 사용한 전체 버전의 경우에도 동일하게 적용된다.
• 최소 차수 $\delta$와 최대 차수 $\Delta$를 갖는 그래프의 무한 가족을 구성하기 위해, 적절히 선택된 크기 $a$와 $b$를 가진 완전 이분 그래프 $K_{a,b}$ 의 분리된 복제본을 사용한다.
• 이분 그래프 구성의 두 부분 $P$와 $Q$ 가 유도하는 부분그래프를 정규화하여 정확한 차수 시퀀스 $\delta$와 $\Delta$ 를 달성한다. 이를 위해 완전 그래프의 1-요소 분해를 활용한다.
• 차수 $\delta$, $\Delta$, $k$ 및 $\delta$와 $\Delta$의 기수성에 따라 달라지는 지표 함수 $I_{\delta}, I_{\Delta}$ 를 포함한 $\gamma_{kS}(G)$ 와 $\gamma^{t}_{kS}(G)$ 의 닫힌 형태 하한을 유도한다.
• 극한 그래프 구성 기법을 사용하여 도출된 하한이 날카로운 것을 보이며, 특정 그래프 가족에서 하한에 등호가 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 모든 고정된 $k \geq 1$ 에 대해 부호 $k$-독립집합 수를 계산하는 문제는 NP-난이도인가?
• RQ2 모든 고정된 $k \geq 1$ 에 대해 부호 전체 $k$-독립집합 수를 계산하는 문제는 NP-난이도인가?
• RQ3 그래프의 최소 및 최대 차수를 기반으로 부호 $k$-독립집합 수에 대한 가장 날카로운 하한은 무엇인가?
• RQ4 부호 $k$-독립집합 수가 유도된 하한에 도달하는 극한 그래프 가족을 구성할 수 있는가?
• RQ5 부호 $k$-독립집합 수와 부호 전체 $k$-독립집합 수의 하한은 $k=1$ 인 경우에 대해 알려진 이전 결과를 어떻게 일반화하는가?

주요 결과

• 모든 고정된 $k \geq 1$ 에 대해 부호 $k$-독립집합 수와 부호 전체 $k$-독립집합 수를 계산하는 것은 축소 기법을 통해 증명된 바와 같이 NP-난이도이다.
• 부호 $k$-독립집합 수에 대한 날카로운 하한이 확립되었다: $\gamma_{kS}(G) \geq |V(G)| \cdot \frac{\delta - \Delta + 2k + I_\delta + I_\Delta}{\delta + \Delta + 2 + I_\delta - I_\Delta}$, 여기서 $I_x = 1$ 이면 $x$ 가 홀수이고, 그렇지 않으면 $0$ 이다.
• 모든 $\delta, \Delta$ 에 대해 $\Delta \geq \delta \geq k+1$ 를 만족하는 경우, $\gamma_{kS}(G) = |V(G)| \cdot \frac{\delta - \Delta + 2k + I_\delta + I_\Delta}{\delta + \Delta + 2 + I_\delta - I_\Delta}$ 를 만족하는 무한한 그래프 가족이 존재하며, 이는 하한의 날카로움을 증명한다.
• 부호 전체 $k$-독립집합 수에 대해 유사한 날카로운 하한이 도출되었다: $\gamma^{t}_{kS}(G) \geq |V(G)| \cdot \frac{\delta - \Delta + 2k + 2 - I_\delta - I\Delta}{\delta + \Delta + I_\Delta - I_\delta}$.
• 이 하한은 $k=1$ 인 경우에 알려진 결과를 일반화하며, $k \geq 1$ 인 모든 경우로 확장된다. 특히, 부호 독립집합 수와 부호 전체 독립집합 수에 대한 기존 결과를 포함한다.
• 계량 결과는 $r \geq k$ 인 거의 $r$-정규 그래프 $G$ 에 대해 $\gamma_{kS}(G) \geq kn/(r + I_{r-1})$ 와 $\gamma^{t}_{kS}(G) \geq kn/(r - I_{r-1})$ 를 보여주며, $\Delta(G) \leq \delta(G) + 2k$ 이면 $\gamma_{kS}(G) \geq 0$ 과 $\gamma^{t}_{kS}(G) \geq 0$ 이 성립함을 보여준다.