[论文解读] On the hypercompetition numbers of hypergraphs

Boram Park, Yoshio Sano|arXiv (Cornell University)|May 31, 2010

Advanced Graph Theory Research参考文献 3被引用 7

一句话总结

本文引入并分析了超图的超竞争数 $hk(\mathcal{H})$，定义为使一个超图成为无环有向图的竞争超图所需的最少孤立顶点数。本文建立了 $hk(\mathcal{H})$ 的两个一般下界，证明了对于所有 $r$-一致、无环且无孤立顶点的超图（$r \geq 3$），有 $hk(\mathcal{H}) = 1$，并确定了连通图的精确超竞争数为 1。

ABSTRACT

The competition hypergraph $C{\cH}(D)$ of a digraph $D$ is the hypergraph such that the vertex set is the same as $D$ and $e \subseteq V(D)$ is a hyperedge if and only if $e$ contains at least 2 vertices and $e$ coincides with the in-neighborhood of some vertex $v$ in the digraph $D$. Any hypergraph with sufficiently many isolated vertices is the competition hypergraph of an acyclic digraph. The hypercompetition number $hk(\cH)$ of a hypergraph $\cH$ is defined to be the smallest number of such isolated vertices. In this paper, we study the hypercompetition numbers of hypergraphs. First, we give two lower bounds for the hypercompetition numbers which hold for any hypergraphs. And then, by using these results, we give the exact hypercompetition numbers for some family of uniform hypergraphs. In particular, we give the exact value of the hypercompetition number of a connected graph.

研究动机与目标

• 定义并研究超竞争数 $hk(\mathcal{H})$，即为使超图成为无环有向图的竞争超图而所需的最少孤立顶点数。
• 为所有超图建立 $hk(\mathcal{H})$ 的一般下界。
• 确定特定一致超图族中 $hk(\mathcal{H})$ 的精确值，特别是无环且无孤立顶点的 $r$-一致超图。
• 解决连通图的超竞争数问题，证明其值恰好为 1。

提出的方法

• 将有向图 $D$ 的竞争超图 $C\mathcal{H}(D)$ 定义为：其超边是 $D$ 中顶点的入邻居集合。
• 通过添加一个新顶点 $v_0$ 并将每个超边 $e_i$ 中的所有边指向指定顶点 $v_{i-1}$，从给定超图 $\mathcal{H}$ 构造一个无环有向图 $D$，并利用顶点排序确保无环性。
• 利用引理 2.9 中的度序列和无环条件，推导出无环 $r$-一致超图的结构约束。
• 通过连通分量数量的归纳法，证明对于无孤立顶点的 $r$-一致无环超图，有 $hk(\mathcal{H}) = 1$。
• 利用度为一的顶点的存在性以及无环 $r$-一致超图中 $n = (r-1)t + 1$ 的关系，推导出度为一的顶点数的下界。
• 结合无环有向图的构造与顶点重排，证明添加一个孤立顶点即可使 $\mathcal{H}$ 成为一个竞争超图。

实验结果

研究问题

• RQ1 对于任意超图，超竞争数 $hk(\mathcal{H})$ 的一般下界是什么？
• RQ2 在哪些一致超图族中可以确定 $hk(\mathcal{H})$ 的精确值？
• RQ3 连通图的超竞争数是多少？
• RQ4 在什么条件下，对于满足 $r \geq 3$ 的 $r$-一致超图，有 $hk(\mathcal{H}) = 1$？

主要发现

• 任何不含孤立顶点的超图 $\mathcal{H}$，其超竞争数 $hk(\mathcal{H})$ 至少为 1，此结论由推论 2.3 所示。
• 对于任意 $r$-一致超图 $\mathcal{H}$（$r \geq 3$），若其无孤立顶点且无环，则 $hk(\mathcal{H}) = 1$。
• 连通图的超竞争数恰好为 1，此结论由定理 2.10 及引理 2.8 中的构造所确立。
• 若超图 $\mathcal{H}$ 含有孤立顶点，则仅当其核心超图（移除孤立顶点后）满足 $hk(\mathcal{H}_0) = 0$ 时，才有 $hk(\mathcal{H}) = 0$，但当 $\mathcal{H}_0$ 无孤立顶点时，此条件不成立。
• 在 $n$ 个顶点和 $t$ 个超边的 $r$-一致无环超图中，度为一的顶点数 $q$ 满足 $q \geq (r-2)t + 2$，该不等式支持 $hk(\mathcal{H}) = 1$ 的结论。
• 通过顶点排序 $v_n, \dots, v_1, v_0$ 构造一个无环有向图 $D$，使得 $C\mathcal{H}(D) = \mathcal{H} \cup \{v_0\}$，该构造确保无环性并证实 $hk(\mathcal{H}) \leq 1$。