[논문 리뷰] Total [1,2]-domination in graphs

Xuezheng Lv, Baoyindureng Wu|arXiv (Cornell University)|2015. 03. 17.

Advanced Graph Theory Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 그래프에서 전체 [1,2]-독립성의 정의와 분석을 제시하며, 전체 [1,2]-집합을 각 정점이 S에 정확히 한 개에서 두 개의 이웃을 가지는 부분집합으로 정의한다. 그래프의 순서와 최소 차수에 따라 전체 [1,2]-독립성 수 γt[1,2](G)에 대한 날카운 상계를 확립하고, 이러한 상계에 도달하는 극한 그래프를 특성화한다. 주요 기여는 전체 [1,2]-집합이 존재하지 않는 그래프의 완전한 특성화와 γt[1,2](G)가 γ[1,2](G)와 γ(G)와 같아지는 조건을 제시하는 것이다.

ABSTRACT

A subset $S\subseteq V$ in a graph $G=(V,E)$ is a total $[1,2]$-set if, for every vertex $v\in V$, $1\leq |N(v)\cap S|\leq 2$. The minimum cardinality of a total $[1,2]$-set of $G$ is called the total $[1,2]$-domination number, denoted by $γ_{t[1,2]}(G)$. We establish two sharp upper bounds on the total [1,2]-domination number of a graph $G$ in terms of its order and minimum degree, and characterize the corresponding extremal graphs achieving these bounds. Moreover, we give some sufficient conditions for a graph without total $[1,2]$-set and for a graph with the same total $[1,2]$-domination number, $[1,2]$-domination number and domination number.

연구 동기 및 목표

• . 그래프의 순서와 최소 차수에 따라 전체 [1,2]-독립성 수 γt[1,2](G)에 대한 날카운 상계를 확립한다.
• . 이러한 상계에 도달하는 극한 그래프를 특성화한다.
• . 전체 [1,2]-집합이 존재하지 않는 그래프에 대한 충분한 조건을 규명한다.
• . γt[1,2](G) = γ[1,2](G) = γ(G)가 성립하는 조건을 규명한다.

제안 방법

• . 이웃, 개인 이웃, 유도 부분그래프의 그래프 이론적 정의와 성질을 사용한다.
• . k- Corona와 이중 k- Corona와 같은 극한 그래프 구성 기법을 사용하여 상계를 유도한다.
• . 모순과 구조적 분석을 적용하여, P4-free 그래프에서 특정 부분그래프가 고립 정점 또는 작은 경로여야 한다는 것을 증명한다.
• . 전체 [1,2]-집합 내 정점 기여도 분석을 위해 개인 이웃 개념을 사용한다.
• . [1,2]-요소와 정규 그래프에 관한 기존 결과를 활용하여 추측을 유도한다.
• . 유도 부분그래프의 구성 요소 구조에 대한 케이스 분석을 수행하여 최소성과 최적성을 증명한다.

실험 결과

연구 질문

• RQ1 . n과 δ(G)에 따라 γt[1,2](G)에 대한 날카운 상계는 무엇인가?
• RQ2 . 어떤 그래프가 이러한 상계에 도달하며, 그들의 구조적 특성은 무엇인가?
• RQ3 . 어떤 조건에서 그래프가 전체 [1,2]-집합을 포함하지 않으며, 즉 γt[1,2](G) = +∞가 되는가?
• RQ4 . 언제 γt[1,2](G)가 γ[1,2](G)와 γ(G) 모두와 같아지는가?

주요 결과

• . 임의의 순서 n, 최소 차수 δ(G) ≥1인 그래프 G에 대해 전체 [1,2]-독립성 수는 γt[1,2](G) ≤ n/2 + 1를 만족하며, 등호가 성립하는 것은 G가 n ≡ 2 (mod 4)일 때 Cn과 동형일 경우에 국한된다.
• . δ(G) ≥2인 그래프에 대해서는 상계가 γt[1,2](G) ≤ 4n/5로 향상되며, 이 상계는 H가 순서가 2 이상인 연결 그래프일 때 G = H ◦2P2인 그래프에서 날카롭게 성립한다.
• . 전체 [1,2]-집합이 존재하지 않는 무한한 그래프 가족이 존재하며, 이는 특정 트리와 4-정규 그래프를 포함한다. 따라서 γt[1,2](G) = +∞이다.
• . 그래프 G가 γt[1,2](G) = γ[1,2](G) = γ(G)를 만족하는 것은 G가 삼각형과 고립 정점들의 disjoint union일 때이고, 그 때에만 성립한다.
• . 본 논문은 충분히 큰 n에 대해 k-정규 이분할 그래프 G(n; k, n−k)가 γt[1,2](G) = +∞임을 증명하며, 이는 이러한 그래프가 전체 [1,2]-집합을 포함하지 않음을 의미한다.
• . 본 논문은 삼차 및 4-정규 그래프에서 추가적인 구조 제약 조건을 갖는 [1,2]-요소의 존재에 대한 추측을 제시하고 이를 지원한다.