[논문 리뷰] The sub-$k$-domination number of a graph with applications to $k$-domination

David Amos, John Asplund외 2명|arXiv (Cornell University)|2016. 11. 08.

Advanced Graph Theory Research참고 문헌 15인용 수 4

한 줄 요약

이 논문은 그래프의 차수 순서를 바탕으로 도출된 $k$-지배 수의 계산적으로 효율적인 하한으로서의 sub-$k$-지배 수를 소개한다. 이 하한이 날카롭고 기존의 하한보다 개선되었으며, 정점/간선 연산에 대한 임계 그래프를 특성화하고, sub-$k$-지배 수와 $k$-지배 수가 동일해지는 조건을 규명한다.

ABSTRACT

In this paper we introduce and study a new graph invariant derived from the degree sequence of a graph $G$, called the sub-$k$-domination number and denoted $sub_k(G)$. We show that $sub_k(G)$ is a computationally efficient sharp lower bound on the $k$-domination number of $G$, and improves on several known lower bounds. We also characterize the sub-$k$-domination numbers of several families of graphs, provide structural results on sub-$k$-domination, and explore properties of graphs which are $sub_k(G)$-critical with respect to addition and deletion of vertices and edges.

연구 동기 및 목표

• 차수 순서를 바탕으로 새로운 그래프 불변량인 sub-$k$-지배 수를 정의하고 분석하기.
• 이 불변량이 $k$-지배 수에 대해 계산적으로 효율적이고 날카로운 하한임을 입증하기.
• 기존의 하한과의 비교를 통해 여러 경우에서 본 하한이 열등함을 보여주기.
• sub-$k$-지배 수 기준으로 정점/간선 추가 또는 제거에 대해 임계인 그래프의 구조적 성질을 규명하기.
• sub-$k$-지배 수가 $k$-지배 수와 동일해지는 조건을 규명하기.

제안 방법

• 차수 순서 내림차순으로 $d_i$가 주어질 때, $\mathrm{sub}_k(G) = \min\left\{t : t + \frac{1}{k}\sum_{i=1}^{t} d_i \geq n\right\}$로 sub-$k$-지배 수를 정의한다.
• $\mathrm{sub}_k(G) \leq \gamma_k(G)$임을 증명하여, 이가 $k$-지배 수에 대한 타당한 하한임을 보여준다.
• 차수 순서 분석과 극한 그래프 이론을 활용하여, 정점 및 간선 연산 하에서 $\mathrm{sub}_k(G)$-임계 그래프의 구조적 성질를 유도한다.
• 완전 그래프, 별 그래프, 경로와 같은 특정 그래프 가족에 대해 닫힌 표현식을 사용하여 $\mathrm{sub}_k(G)$를 특성화한다.
• 간선 추가, 제거, 정점 제거에 대한 $\mathrm{sub}_k(G)$의 행동을 분석하여 단조성 및 임계 조건을 수립한다.
• 등호 $\mathrm{sub}_k(G) = \gamma_k(G)$가 성립하는 그래프를 규명함으로써 $\mathrm{sub}_k(G)$가 날카롭다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 가족에서 $\mathrm{sub}_k(G)$가 $\gamma_k(G)$와 동일한가?
• RQ2 sub-$k$-지배 수는 $k$-지배 수에 대한 다른 알려진 하한과 어떻게 비교되는가?
• RQ3 간선 또는 정점 연산에 대해 $\mathrm{sub}_k(G)$-임계인 그래프의 구조적 성질은 무엇인가?
• RQ4 어떤 조건에서 간선 추가 또는 제거 시 sub-$k$-지배 수가 그대로 유지되거나 정확히 한 단위만 변화하는가?
• RQ5 sub-$k$-지배 수를 사용하여 $\gamma_k(G)$의 더 날카운 하한이나 계산 알고리즘을 유도할 수 있는가?

주요 결과

• sub-$k$-지배 수는 $k$-지배 수에 대해 날카로운 하한이며, 완전 그래프와 특정 트리와 같은 일부 그래프 가족에서 등호가 성립한다.
• sub-$k$-지배 수는 잔여 수와 흡수 수에서 유도된 기존 하한보다 더 날카로운 차수 순서 기반 구조 덕분에 여러 하한을 개선한다.
• $\mathrm{sub}_k(G)$-ED-임계 그래프의 경우, 간선 제거로 인해 sub-$k$-지배 수가 정확히 한 단위 증가하며, 이러한 그래프는 고립된 정점이 없고 특정 차수 제약 조건을 만족한다.
• $\mathrm{sub}_k(G)$-EA-임계 그래프의 경우, 간선 추가로 인해 sub-$k$-지배 수가 정확히 한 단위 감소하며, $d_t$ 미만의 차수를 가진 정점들은 클리크를 이룬다.
• $\mathrm{sub}_k(G)$-VD-임계 그래프의 경우, 첫 번째 $t$개 정점 외의 각 정점은 첫 번째 $t$개 정점 중 적어도 $k+1$개의 정점과 인접해야 하며, 이는 하한이 정점 제거에 민감함을 보장한다.
• sub-$k$-지배 수는 차수 순서만으로 계산 가능하므로 계산적으로 효율적이며, 대규모 그래프 분석에 적합하다.