[논문 리뷰] Upper bounds on the k-forcing number of a graph

David Amos, Yair Caro외 2명|arXiv (Cornell University)|2014. 01. 23.

Graph theory and applications참고 문헌 10인용 수 10

한 줄 요약

이 논문은 그래프의 k-포싱 수에 대한 새로운 상계를 수립하며, k=1인 경우인 제로 포싱 수를 일반화한다. 최대 차수 Δ과 그래프 순서 n에 대해 날카운 상계를 도출하여 일반 그래프의 경우 Fₖ(G) ≤ (Δ−k+1)n / (Δ−k+1 + min{δ,k}) 를 증명하고, k-연결 그래프의 경우 개선된 상계를 제시한다. 주요 결과로는 Δ ≥ 2일 때 제로 포싱 수 Z(G) ≤ (Δ−2)n+2 / (Δ−1) 이며, 이는 정규 이분할 순환 그래프에 관한 문제를 해결한다.

ABSTRACT

Given a simple undirected graph $G$ and a positive integer $k$, the $k$-forcing number of $G$, denoted $F_k(G)$, is the minimum number of vertices that need to be initially colored so that all vertices eventually become colored during the discrete dynamical process described by the following rule. Starting from an initial set of colored vertices and stopping when all vertices are colored: if a colored vertex has at most $k$ non-colored neighbors, then each of its non-colored neighbors becomes colored. When $k=1$, this is equivalent to the zero forcing number, usually denoted with $Z(G)$, a recently introduced invariant that gives an upper bound on the maximum nullity of a graph. In this paper, we give several upper bounds on the $k$-forcing number. Notable among these, we show that if $G$ is a graph with order $n \ge 2$ and maximum degree $Δ\ge k$, then $F_k(G) \le \frac{(Δ-k+1)n}{Δ- k + 1 +\min{\{δ,k\}}}$. This simplifies to, for the zero forcing number case of $k=1$, $Z(G)=F_1(G) \le \frac{Δn}{Δ+1}$. Moreover, when $Δ\ge 2$ and the graph is $k$-connected, we prove that $F_k(G) \leq \frac{(Δ-2)n+2}{Δ+k-2}$, which is an improvement when $k\leq 2$, and specializes to, for the zero forcing number case, $Z(G)= F_1(G) \le \frac{(Δ-2)n+2}{Δ-1}$. These results resolve a problem posed by Meyer about regular bipartite circulant graphs. Finally, we present a relationship between the $k$-forcing number and the connected $k$-domination number. As a corollary, we find that the sum of the zero forcing number and connected domination number is at most the order for connected graphs.

연구 동기 및 목표

• 최대 차수 Δ과 그래프 순서 n에 대해 k-포싱 수 Fₖ(G)에 대한 날카운 상계를 수립하는 것.
• 정규 이분할 순환 그래프의 제로 포싱 수에 관한 열린 문제를 해결하는 것.
• k-포싱 수와 연결 k-지배 수 사이의 관계를 탐색하는 것.
• 특수 그래프 가족, 특히 k-연결 및 K₁,r-free 그래프에서 k-포싱 수에 대한 상계를 도출하는 것.
• 도출된 상계의 등호 성립 조건을 특별히 제로 포싱 수에 대해 특성화하는 것.

제안 방법

• 차수 기반의 극값 추론과 극값 그래프 구성 기법을 사용하여 Fₖ(G)에 대한 상계를 유도한다.
• k-포싱 과정을 적용: 최대 k개의 미색된 이웃을 가진 색이 칠진 정점은 모든 미색된 이웃을 색칠하게 된다.
• K₁,r-free 그래프에서 Fₖ₍ᵣ₋₁₎(G) ≤ n − αₖ(G) 를 보여주기 위해 k-독립 수 αₖ(G)를 사용하여 Fₖ(G)를 상계한다.
• 특정 연결성 조건(예: k-연결성)을 도입하여 상계를 개선하며, 특히 k=1일 경우에 유의미한 향상이 있다.
• 극값 그래프 이론과 독립 수 상계를 적용하여 날카운 부등식을 도출한다.
• 수학적 귀납법과 나무 및 완전 그래프에 대한 구조적 분석을 통해 상계의 날카움을 검증한다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 최대 차수 Δ과 순서 n에 대해 k-포싱 수 Fₖ(G)에 대한 가장 날카운 상계는 무엇인가?
• RQ2 Δ ≥ 2 인 k-연결 그래프에서 제로 포싱 수 Z(G)는 더 날카운 상계로 유계화될 수 있는가?
• RQ3 연결 그래프에서 k-포싱 수는 연결 k-지배 수와 어떻게 관련이 있는가?
• RQ4 상계 F₁(G) ≤ (Δ−2)n+2 / (Δ−1) 에서 등호가 성립하는 극값 그래프는 무엇인가?
• RQ5 K₁,r-free 그래프에서 k-독립 수를 사용하여 k-포싱 수를 유계화할 수 있는가?

주요 결과

• 모든 그래프 G에 대해 n ≥ 2 이고 Δ ≥ k 이면, k-포싱 수는 Fₖ(G) ≤ (Δ−k+1)n / (Δ−k+1 + min{δ,k}) 를 만족한다.
• k=1(제로 포싱)의 경우 이는 Z(G) ≤ Δn / (Δ+1) 으로 단순화되며, 기존 상계를 향상시킨다.
• Δ ≥ 2 인 k-연결 그래프에 대해 Fₖ(G) ≤ ((Δ−2)n + 2) / (Δ + k − 2) 이며, k ≤ 2 일 경우 이전 상계보다 향상된다.
• 제로 포싱 수의 경우 Z(G) ≤ ((Δ−2)n + 2) / (Δ−1) 이며, K_{Δ+1} 과 K_{Δ,Δ} 에서 등호가 성립한다.
• δ ≥ 1 인 K₁,r-free 그래프에서 Fₖ₍ᵣ₋₁₎(G) ≤ n − αₖ(G) 를 도출하여 k-포싱과 k-독립 수를 연결한다.
• 주요 결과의 따름정리로, 연결 그래프에서 제로 포싱 수와 연결 지배 수의 합은 n 이하임을 보였다.