A dynamic coloring of the vertices of a graph starts with an initial subset 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 is called a forcing set (zero forcing set) of if, by iteratively applying the forcing process, every vertex in becomes colored. If the initial set has the added property that it induces a subgraph of without isolated vertices, then is called a total forcing set in . The total forcing number of , denoted , is the minimum cardinality of a total forcing set in . We prove that if is a connected cubic graph of order~ that has a spanning -factor consisting of triangles, then $F_t(G) \le \frac{1}{2}nG$ is a connected, claw-free, cubic graph of order~, then , where a claw-free graph is a graph that does not contain as an induced subgraph. The graphs achieving equality in these bounds are characterized.

生成讲解博客的中文版本

生成AI智能校验的中文版本