运筹学学报(中英文) ›› 2025, Vol. 29 ›› Issue (2): 194-200.doi: 10.15960/j.cnki.issn.1007-6093.2025.02.015

• 论文 • 上一篇    下一篇

可消去超图p-谱半径的极值问题

吴志伟1,*(), 康丽英1   

  1. 1. 上海大学数学系, 上海 200444
  • 收稿日期:2022-01-06 出版日期:2025-06-15 发布日期:2025-06-12
  • 通讯作者: 吴志伟 E-mail:2515737530@qq.com
  • 基金资助:
    国家自然科学基金(11871329);国家自然科学基金(11971298)

The extremal p-spectral radius of cancellative hypergraphs

Zhiwei WU1,*(), Liying KANG1   

  1. 1. Department of Mathematics, Shanghai University, Shanghai 200444, China
  • Received:2022-01-06 Online:2025-06-15 Published:2025-06-12
  • Contact: Zhiwei WU E-mail:2515737530@qq.com

摘要:

AB是两个集合, AB的对称差是由$A\cup B$中所有不属于$A\cap B$的元素组成的一个集合, 记为$A\Delta B$。若一个超图不含有三条互不相同的边A, B, C使得$A\Delta B\subset C$, 则称该超图是一个可消去超图。一个3-一致可消去超图同时不含$F_4=\{abc, abd, bcd\}$$F_5=\{abc, abd, cde\}$作为子超图。Bollobás (1974) 给出了3-一致可消去超图的最大边数, 并得出平衡的完全3-部3-一致超图是唯一达到最大边数的3-一致可消去超图。Keevash和Mubayi (2004) 进一步确定了平衡的完全3-部3-一致超图是唯一不含$F_5$作为子超图且边数达到最大的3-一致超图。设$\mathcal{H}$是一个超图, W是顶点集$V(\mathcal{H})$的一个非空子集。如果超图$\mathcal{H}$中的任意一条边只包含W中的一个顶点, 则称W是超图$\mathcal{H}$的一个独立横贯。在本文中, 我们得到了具有独立横贯的3-一致可消去超图p-谱半径的最大值。进一步, 我们证明了当p>2时, 平衡的完全3-部3-一致超图是唯一具有独立横贯且p-谱半径达到最大的3-一致可消去超图。

关键词: 3-一致可消去超图, p-谱半径, 独立横贯

Abstract:

Let A and B be two sets, the symmetry difference of A and B is a set consisting of all elements not belonging to $A\cap B$ in $A\cup B$, denoted by $A\Delta B$. A hypergraph is called a cancellative hypergraph, if it contains no three distinct edges A, B, and C, such that $A\Delta B\subset C$. In fact, a cancellative3-uniform hypergraph contains neither $F_4=\{abc, abd, bcd\}$ nor $F_5=\{abc, abd, cde\}$ as its subgraphs. Bollobás (1974) determined the maximum number of edges in a cancellative3-uniform hypergraph, and got that only the balanced complete3-partite3-uniform hypergraph achieved the maximum number of edges in a cancellative3-uniform hypergraph. Furthermore, Keevash and Mubayi (2004) determined that only the balanced complete3-partite3-uniform hypergraph achieved the maximum number of edges in a3-uniform hypergraph containing no copy of $F_5$. Let $\mathcal{H}$ be a hypergraph, and W be a nonempty subset of $V(\mathcal{H})$. If every edge in $\mathcal{H}$ contains exactly one vertex in W, then we call W an independent transversal of $\mathcal{H}$. In this paper, we determine the maximump-spectral radius of a cancellative3-uniform hypergraph with an independent transversal. Furthermore, if $p>2$, we get that only the balanced complete3-partite3-uniform hypergraph achieved the maximump-spectral radius of a cancellative3-uniform hypergraph with an independent transversal.

Key words: cancellative 3-uniform hypergraph, p-spectral radius, independent transversal

中图分类号: