[논문 리뷰] Total Forcing Sets in Trees

Randy Davila, Michael A. Henning|arXiv (Cornell University)|2017. 02. 21.

Advanced Graph Theory Research참고 문헌 25인용 수 3

한 줄 요약

이 논문은 나무 $ T $의 총 강제 수 $ F_t(T) $ 에 대해 날카운 상계와 하계를 확립하며, 특정한 나무 가족에서 등호가 성립하는 $ F_t(T) \leq \frac{1}{\Delta}((\Delta-1)n + 1) $ 를 증명하고, $ T $ 가 경로이거나 별 모양 나무일 때 등호가 성립하는 $ F_t(T) \geq n_1 $ 를 제시한다. 또한 $ F_t(T) \geq F(T) + 1 $ 를 보이며, 등호가 성립하는 것은 $ T $ 가 정의된 가족 $ \mathcal{H} $ 에 속할 때에만 성립하고, $ F_t(T) $ 와 $ F(T) $ 사이의 격차가 임의로 클 수 있는 나무를 구성한다.

ABSTRACT

A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. We prove that if $T$ is a tree of order $n \ge 3$ with maximum degree~$Δ$, then $F_t(T) \le \frac{1}Δ((Δ- 1)n + 1)$, and we characterize the infinite family of trees achieving equality in this bound. We also prove that if $T$ is a non-trivial tree with $n_1$ leaves, then $F_t(T) \ge n_1$, and we characterize the infinite family of trees achieving equality in this bound. As a consequence of this result, the total forcing number of a non-trivial tree is strictly greater than its forcing number. In particular, we prove that if $T$ is a non-trivial tree, then $F_t(T) \ge F(T)+1$, and we characterize extremal trees achieving this bound.

연구 동기 및 목표

• 순서 $ n $ 와 최대 차수 $ \Delta $ 를 가진 나무에 대해 총 강제 수 $ F_t(T) $ 의 최대 가능 값을 결정하는 것.
• 순서 $ n $ 과 최대 차수 $ \Delta $ 를 기반으로 상계에 도달하는 무한한 나무 가족을 특성화하는 것.
• 하나의 하계 $ F_t(T) \geq n_1 $ 를 확립하며, 여기서 $ n_1 $ 은 잎의 수이며, 등호를 만족하는 나무를 특성화하는 것.
• 총 강제 수 $ F_t(T) $ 와 표준 강제 수 $ F(T) $ 간의 관계를 조사하여 $ F_t(T) \geq F(T) + 1 $ 이며, 등호가 성립하는 것은 $ T \in \mathcal{H} $ 인 경우에만 성립함을 증명하는 것.
• 총 강제 수와 표준 강제 수의 차이 $ F_t(T) - F(T) $ 가 임의로 클 수 있도록 하는 나무를 구성하는 것.

제안 방법

• 나무의 구조적 분해와 차수 기반 분석을 통해 $ F_t(T) \leq \frac{1}{\Delta}((\Delta-1)n + 1) $ 를 유도하는 상계 유도.
• 최대 차수를 가진 정점에 초점을 맞춰 차수와 구성 요소의 구조를 분석함으로써 상계에 등호가 성립하는 극단적 나무를 특성화.
• 수학적 귀납법과 나무의 구조적 성질을 이용하여 $ F_t(T) \geq n_1 $ 를 증명하며, 어떤 총 강제 집합에서도 각 잎은 이웃 정점에 의해 강제되어야 함을 보임.
• 문제를 잎이 없는 나무로 단순화하기 위해 잘라낸 나무 $ \mathrm{trim}(T) $ 의 개념을 사용하며, 이는 $ F_t(T) $ 와 $ F(T) $ 를 모두 유지하므로 귀납적 추론이 가능해짐.
• 경로와 별 모양 나무로 이루어진 가족 $ \mathcal{H} $ 에 대해 $ F_t(T) = F(T) + 1 $ 이 성립함을 정의하고, 강력한 지지 정점의 경우 분석을 통해 등호가 성립하는 것은 $ T \in \mathcal{H} $ 인 경우에만 성립함을 증명.
• 경로에 펜던트 간선을 추가하여 $ F_t(T) - F(T) $ 의 격차가 임의로 클 수 있는 나무 가족을 구성함. 길이 $ k $ 의 경로에 대해 $ F_t(T) = 2k $, $ F(T) = k $ 를 얻음.

실험 결과

연구 질문

• RQ1 순서 $ n $ 과 최대 차수 $ \Delta $ 를 가진 나무 $ T $ 에 대해 총 강제 수 $ F_t(T) $ 의 최대 가능 값은 무엇이며, 어떤 나무들이 이 상계에 도달하는가?
• RQ2 어떤 나무들이 $ F_t(T) = n_1 $ 을 만족하는가? 여기서 $ n_1 $ 은 잎의 수이며, 이 가족은 어떻게 특성화할 수 있는가?
• RQ3 $ F_t(T) = F(T) + 1 $ 이 성립하는 조건은 무엇이며, 이러한 극단적 나무의 구조적 특성은 무엇인가?
• RQ4 $ F_t(T) $ 와 $ F(T) $ 사이의 차이를 임의로 크게 만들 수 있는가? 만약 가능하다면, 이러한 나무는 어떻게 구성할 수 있는가?
• RQ5 일般적인 나무에서 $ F_t(T) $ 와 $ F(T) $ 는 어떻게 관련되어 있으며, 이 두 불변량 사이의 최소 격차는 무엇인가?

주요 결과

• 순서 $ n \geq 3 $ 과 최대 차수 $ \Delta $ 를 가진 나무 $ T $ 에 대해 $ F_t(T) \leq \frac{1}{\Delta}((\Delta-1)n + 1) $ 를 만족하며, 등호는 중심 정점의 차수가 $ \Delta $ 이고, 이로부터 $ \Delta-1 $ 개의 길이가 같은 경로가 연결된 특정한 나무 가족일 때에만 성립한다.
• 모든 나무 $ T $ 에 대해 $ F_t(T) \geq n_1 $ 이며, 여기서 $ n_1 $ 은 잎의 수이다. 등호는 $ T $ 가 경로이거나 $ \mathrm{trim}(T) \cong K_{1,n-1} $ 인 경우에만 성립하며, 즉 $ T \in \mathcal{H} $ 인 경우이다.
• 총 강제 수는 표준 강제 수보다 엄격히 크다: 모든 비자명한 나무 $ T $ 에 대해 $ F_t(T) \geq F(T) + 1 $ 이며, 등호는 $ T \in \mathcal{H} $ 인 경우에만 성립한다.
• 가족 $ \mathcal{H} $ 는 경로이거나 잘라낸 나무가 별 $ K_{1,n-1} $ 과 동형인 모든 나무로 이루어져 있으며, 이들은 $ F_t(T) $ 와 $ F(T) $ 사이의 최소 격차를 가지는 유일한 나무들이다.
• 모든 정수 $ k \geq 1 $ 에 대해 $ F_t(T) = F(T) + k $ 를 만족하는 나무 $ T $ 가 존재한다. 이는 길이 $ k $ 의 경로의 각 정점에 두 개의 펜던트 간선을 추가하여 구성되며, 결과적으로 $ F_t(T) = 2k $, $ F(T) = k $ 가 된다.