[论文解读] Hypergraphs for computing determining sets of Kneser graphs

José Cáceres, Delia Garijo+3 more|arXiv (Cornell University)|Nov 14, 2011

Graph Labeling and Dimension Problems参考文献 18被引用 4

一句话总结

本文提出一种基于超图的新方法，用于计算凯尼格图 $K_{n:k}$ 中的确定集，实现了对所有满足 $n \geq \frac{k(k+1)}{2}+1$ 的 $K_{n:k}$ 的确定数的精确计算。关键贡献在于建立了一个将 $k$-正则超图与具有 $n$ 或 $n-1$ 条边的超图关联的刻画，该刻画使得对确定数为 2–5 的情形可获得更简短的证明，并解决了布蒂安关于 $\operatorname{Det}(K_{n:k}) = n-k$ 的稀有性问题。结果表明，仅 $K_{n+1:1}$、$K_{5:2}$ 和 $K_{6:2}$ 满足 $\operatorname{Det}(K_{n+1:k}) = n+1-k$，从而证明当 $k \geq 2$ 时不存在此类无限家族。该方法利用超图的正则性与边合并技术，系统地构造出最小确定集。

ABSTRACT

A set of vertices $S$ is a \emph{determining set} of a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The \emph{determining number} of $G$ is the minimum cardinality of a determining set of $G$. This paper studies determining sets of Kneser graphs from a hypergraph perspective. This new technique lets us compute the determining number of a wide range of Kneser graphs, concretely $K_{n:k}$ with $n\geq \frac{k(k+1)}{2}+1$. We also show its usefulness by giving shorter proofs of the characterization of all Kneser graphs with fixed determining number 2, 3 or 4, going even further to fixed determining number 5. We finally establish for which Kneser graphs $K_{n:k}$ the determining number is equal to $n-k$, answering a question posed by Boutin.

研究动机与目标

• 开发一种基于超图的新框架，用于计算凯尼格图中的确定集。
• 计算所有满足 $n \geq \frac{k(k+1)}{2}+1$ 的 $K_{n:k}$ 的确定数，其范围显著广于以往已知结果。
• 为确定数为 2、3、4 和 5 的凯尼格图提供更简短、更系统的刻画证明。
• 解决布蒂安提出的问题：是否存在无限多个满足 $k \geq 2$ 且确定数为 $n-k$ 的凯尼格图 $K_{n:k}$。

提出的方法

• 将 $K_{n:k}$ 的每个顶点子集 $S$ 关联到一个超图 $\mathcal{H}_S$，其结构决定了 $S$ 是否为确定集。
• 证明 $S$ 是确定集当且仅当 $\mathcal{H}_S$ 是 $k$-正则且具有 $n$ 或 $n-1$ 条边。
• 为 $n \geq 2k+1$ 构造具有 $n$ 或 $n-1$ 条边的 $k$-正则简单超图，以保证大小为 $n-k$ 的确定集的存在性。
• 通过对结构化的边集 $\mathcal{F}_i$、$\mathcal{F}'_i$ 和 $\mathcal{F}''_i$ 应用边合并过程，构建具有所需正则性与边数的超图。
• 应用超图刻画，通过定理 3.4 和 3.5 限制确定数，这些定理将确定数与满足特定区间条件的最小 $d$ 关联起来。
• 通过分析 $n$ 相对于 $\frac{k(k+1)}{2}$ 和 $2k$ 的情况，证明 $\operatorname{Det}(K_{n+1:k}) = n+1-k$ 仅在 $K_{n+1:1}$、$K_{5:2}$ 和 $K_{6:2}$ 时成立。

实验结果

研究问题

• RQ1 能否利用超图系统性地计算凯尼格图中超出以往已知精确值的确定数？
• RQ2 对于 $n \geq \frac{k(k+1)}{2}+1$，$K_{n:k}$ 的确定数是多少？能否利用超图结构高效计算？
• RQ3 布蒂安提出的问题：是否存在无限多个满足 $k \geq 2$ 且确定数为 $n-k$ 的凯尼格图 $K_{n:k}$？
• RQ4 超图方法能否为确定数为 2、3、4 和 5 的凯尼格图提供更简短或更具洞察力的证明？
• RQ5 凯尼格图中最小确定集对应的超图具有何种结构性质？

主要发现

• 对所有满足 $n \geq \frac{k(k+1)}{2}+1$ 的 $K_{n:k}$，其确定数被精确计算，扩展了以往仅限于 $n = 2^r - 1$、$k = 2^{r-1} - 1$ 的结果。
• 超图刻画为确定数为 2、3 和 4 的凯尼格图分类提供了比以往工作更简短的证明。
• 该方法成功扩展至确定数 5，提供了所有满足 $\operatorname{Det}(K_{n:k}) = 5$ 的 $K_{n:k}$ 的分类。
• 证明了 $\operatorname{Det}(K_{n+1:k}) = n+1-k$ 仅在 $K_{n+1:1}$、$K_{5:2}$ 和 $K_{6:2}$ 时成立，且当 $k \geq 2$ 时不存在此类无限家族。
• 构造具有 $n$ 或 $n-1$ 条边的 $k$-正则超图，确保了当 $n \geq 2k+1$ 时，大小为 $n-k$ 的确定集的存在性。
• 该方法表明，当 $n < \frac{k(k+1)}{2}$ 时，确定数严格小于 $n-k$，且对 $k \geq 2$，不存在满足 $\operatorname{Det}(K_{n:k}) = n-k$ 的此类 $K_{n:k}$。