车图的三元组全控制数

图 $G$ 的 $k$ 元组全控制集（$k$TDS）是 $G$ 中顶点的一组集合 $S$，使得 $G$ 中每个顶点都至少与 $S$ 中的 $k$ 个顶点相邻。$k$TDS 的最小大小称为 $k$ 元组全控制数，记为 $\gamma_{\times k,t}(G)$。我们给出 $\gamma_{\times 3, t}(K_n \Box K_m)$ 一般公式的构造性证明。