The average number of spanning hypertrees in sparse uniform hypergraphs
一个$r$ -一致超图$H$由一个顶点集$V$和一个边集组成,边集的元素是$V$的$r$ -子集。我们定义超树为不含圈的连通超图。一个超树是一个超图$H$,如果它是$H$的一个子超图,并且包含了$H$的所有顶点. Greenhill,Isaev,Kwan和McKay(2017)给出了具有给定稀疏度序列的图的平均生成树数的渐近公式。对于给定度序列$\boldsymbol{k} = (k_1,\ldots, k_n)$的$r$ -一致超图,我们证明了一个类似的结果.我们的公式在$r^5 k_{\max}^3 = o((kr-k-r)n)$时成立,其中$k$是平均度,$k_{\max}$是最大度。
2020-10-09 math.CO
Embedding loose spanning trees in 3-uniform hypergraphs
本文将Komlós–Sárközy–Szemerédi关于图中生成树嵌入的经典结果推广到3-均匀超图,证明最小顶点度达到$(5/9+γ)\inom{n}{2}$时必含任意有界最大度的松散生成树,并说明该界渐近最优。
2024-05-02 math.CO
The polynomial algorithm for optimal spanning hyperforest problem
本文研究了超图连通性的一个理论,并证明了对于任意给定的加权q-一致超图,求最优生成超森林(超树)的多项式算法。
2007-03-06 math.CO
Unbounded degree spanning hypertrees in Dirac hypergraphs
本文将Komlós等人关于图中无界度生成树的结果扩展到超图,确定了确保所有有根生成松散超树存在的渐近最优ℓ-度条件,并在此范围内证实了Pehova和Petrova的猜想,且证明过程避免了使用Szemerédi正则性引理。
2025-08-09 math.CO
Spanning trees of 3-uniform hypergraphs
Masbaum和Vaintrob的“Pfavian矩阵树定理”表明,对于一类“3-Pfavian”3-图,计算3-一致超图(简称3-图)的生成树可以在多项式时间内完成,这类图与Pfavian图类似并相关。我们证明了一个复杂的结果,识别一个3-Pfiran的3-图,并描述了两个大类的3-Pfiran的3-图-其中之一是由一个禁止子图的特征类似于小的二部Pfiran图,和其他的由一类部分Steiner三元系的性质是3-Pfiran可以减少到一个相关联的图形的性质是Pfiran。我们展示了一个无限集的部分施泰纳三元系,不是3-Pfiran,其中没有一个可以减少到任何其他删除或收缩的三元组。我们还找到了3-图的生成树存在的一些必要或充分条件(比Gabow和Stallmann的当前最快的多项式时间算法找到生成树要简洁得多)和Steiner三元系的生成树个数的一个超指数下界.
2010-02-17 math.CO
On $3$-graphs with no four vertices spanning exactly two edges
用$D_2$表示具有$4$顶点和$2$边的$3$ -一致超图.在Alon和Shapira提出的一个问题的基础上,证明了$D_2$的一个导出移除引理.我们还证明了一个Erdens-Hajnal-型结果:对于某个绝对常数$c > 0$,每个在$n$顶点上的导出$D_2$ -free超图都包含一个团或一个大小为$n^{c}$的独立集.在这两个问题中,$D_2$是唯一一个具有$k\geq 3$的非平凡$k$ -一致超图,它允许一个多项式界.
2022-06-09 math.CO
Regularity inheritance in hypergraphs
给出了一种处理超图正则性的新方法。这种方法允许顶点的顶点嵌入到超图的常规分区,并推广到稀疏超图的常规分区。我们还证明了一个相应的稀疏超图正则性引理。
2019-01-17 math.CO
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
Université Bourgogne Europe(勃艮第欧洲大学)
本文通过超图全色与双全色着色,研究弦图中完全独立生成树的存在性,推翻一个相关猜想,并给出结构条件。
2026-10-07 cs.DM math.CO
Spanning spheres in Dirac hypergraphs
本文在无孤立顶点且每个 (k−1) 元组至少属于 n/2+o(n) 条边的条件下,证明 k-一致超图含与 (k−1) 维球同胚的生成子图,渐近证实相关猜想,并用完全 blow-up 覆盖框架替代吸收法等传统工具。
2025-06-16 math.CO
Covering complete $r$-partite hypergraphs with few monochromatic components
University of South Carolina(南卡罗来纳大学)
本文证明了在特定条件下,通过少量单色组件可以覆盖完整的$r$-部超图,解决了Gyárfás和Király的猜想,并给出了二分图的覆盖结论。
2026-03-05 math.CO
A randomized polynomial-time algorithm for the Spanning Hypertree Problem on 3-uniform hypergraphs
考虑在给定的k-一致超图中是否存在生成超树的问题。当k=2时,该问题在P中是平凡的,当k>= 4时,该问题是NP完全的,而当k=3时,存在一个基于Lovasz多拟阵匹配理论的多项式时间算法。在这里,我们给出了一个完全不同的,随机多项式时间算法的情况下,k=3。主要成分是由Vaintrob和作者之一(G. M.)给出了一个关于多项式的根的个数的引理,并证明了一个多项式的根的个数。
2008-12-18 cs.CC math.CO
Adjacency spectra of some subdivision hypergraphs
该研究定义了超图的细分操作,计算了正则及若干非正则超图细分后的邻接谱特征值,并展示了利用该操作构造非同谱非正则超图的方法。
2023-07-25 math.CO
On the chromatic number of random regular hypergraphs
本文对固定$r$、大固定$d$和$n \rightarrow \infty$的随机$r$ -均匀$d$ -正则超图在$n$顶点上的色数和独立数的可能值进行了估计.
2022-12-31 math.CO
A note on 2-subset-regular self-complementary 3-uniform hypergraphs
证明了顶点为$n$的2-子集正则自补3-一致超图存在的充要条件是$n\ge 6$和$n$与2模4同余.
2008-04-22 math.CO
Approximate counting of regular hypergraphs
本文在$k$固定且$d=d(n)=o(n^{1/2})$的条件下,渐近计数了$n$-正则$k$ -一致超图.在这样做时,我们扩展到超图的McKay和Wormald的开关技术。
2013-06-27 math.CO
Enumeration of regular multipartite hypergraphs
University of New South Wales(新南威尔士大学);LMU Munich(慕尼黑大学);Australian National University(澳大利亚国立大学)
本文确定了正则多部超图(即多维二元列联表)在所有参数值下的渐近计数。
2026-09-22 math.CO
Dirac-type conditions for spanning bounded-degree hypertrees
本研究证明了固定k下,满足最小余度条件的k-均匀超图包含有界度生成紧k-树,推广了图论经典结果且渐近紧,并扩展到弱拟随机超图情形。
2023-06-09 math.CO
Larger matchings and independent sets in regular uniform hypergraphs of high girth
本文分析了两种算法,分别用于在大围长的 $k$-一致 $d$-正则超图上生成匹配和独立集,从而获得了此类超图中最大匹配或独立集大小的新下界。
2023-07-28 math.CO
Regular subgraphs of linear hypergraphs
证明了$n$顶点上不含2-正则子超图的3-一致线性超图的最大边数为$n^{1+o(1)}$。这解决了Dellamonica,Haxell,Luczak,Mubayi,Nagle,Person,Rödl,Schacht和Verstraëte的猜想。我们利用这个结果证明了在$n$顶点上的$3$ -一致超图中不含闭曲面浸入的最大边数是$n^{2+o(1)}$。此外,我们给出了不含$r$ -正则子超图的$k$ -一致线性超图的最大边数的结果。
2022-08-22 math.CO
Spanning Components and Surfaces Under Minimum Vertex Degree
Institut für Mathematik, Freie Universität Berlin(柏林自由大学数学研究所);Institute for Basic Science(基础科学研究所);Departament de Matemàtiques, Universitat Politècnica de Catalunya(加泰罗尼亚理工大学数学系);Centre de Recerca Matemàtica(数学研究中心);Insititut für Mathematik, Freie Universität Berlin(柏林自由大学数学研究所)
本文研究了在最小顶点度条件下,3-正则超图中生成组件和表面的存在性,得出了渐进行为最优的条件结果。
2025-12-30 math.CO
Regularity method for hypergraphs with $4$-cycle-free links
Emory University(埃默里大学);Universität Hamburg(汉堡大学)
该研究将超图正则性方法扩展到顶点链接不含C₄的稀疏3-均匀超图,针对不含K₁,₂,₂且边数为O(|V|^(5/2))的此类超图,建立了七顶点紧圈减一边移除引理的稀疏类似物。
2026-08-26 math.CO
Embedding loose trees in $k$-uniform hypergraphs
本文将Komlós等人的经典生成树嵌入结果推广到$k$-一致超图,给出嵌入有界度松散超树的充分条件,并证明最小$(k-2)$-度阈值$(1/2+γ)\binom{n}{k-2}$是渐近紧的。
2025-02-07 math.CO
A rainbow Dirac theorem for loose Hamilton cycles in hypergraphs
University of Birmingham(伯明翰大学);Universitat Politècnica de Catalunya (UPC)(加泰罗尼亚理工大学);Centre de Recerca Matemàtica(数学研究中心)
该研究证明了在满足特定度数阈值的k-均匀超图中,任何全局有界的着色都包含一个彩虹松散哈密顿回路。
2026-02-09 math.CO
A Tight Bound for Hypergraph Regularity II
超图正则性引理--Szemerédi的图正则性引理在$k$ -一致超图上的推广--是过去十年中获得的最著名的组合结果之一。到目前为止,有几个(非常不同的)证明这个引理,获得高尔斯,由Nagle-Rödl-Schacht-Skokan和陶。不幸的是,所有这些证明的共同点是,它们产生的规则划分的顺序是由$k$ -th阿克曼函数。在最近的一篇论文中,我们证明了这些界限是不可避免的$3$ -一致超图。在本文中,我们扩展了这一结果表明,这样的阿克曼型界是不可避免的每$k \ge 2$,从而证实了陶的预测。
2018-04-16 math.CO
Tight cycles and regular slices in dense hypergraphs
我们研究的随机子复合物的分区返回(一个合适的形式)的强超图正则引理,我们称之为定期切片。我们认为,这些subcomplex捕获许多重要的结构特性的原始超图。因此,我们主张使用它们的极值超图理论,并解释他们如何可以导致相当大的简化,在现有的证明在这一领域。我们还使用它们来建立以下两个新结果。首先,我们证明了Erdens-Gallai定理的一个超图推广:对于每个$δ>0$,每个至少有$(α+δ)\binom{n}{k}$边的充分大的$k$ -一致超图包含一个长度为$αn$的紧圈,其中每个$α\in[0,1]$都有一个长度为$αn$的紧圈.其次,我们(渐近地)找到了一个$k$ -一致$k$ -部超图的最小余度要求,对于每个$0<α<1$,该超图的每一部分都有$n$顶点,且包含一个长度为$αkn$的紧圈.
2014-11-18 math.CO
Regular subgraphs of uniform hypergraphs
本文证明了:对于任意整数$r\geq 2$,如果$k\geq r+1$和$n$足够大,则不含$r$ -正则子图的$n$ -顶点$k$ -均匀超图$H$至多有$(1+o(1)){{n-1}\choose{k-1}}$边.而且,如果$r\in\{3,4\}$,$r\mid k$和$k,n$都足够大,则不含$r$ -正则子图的$n$ -顶点$k$ -均匀超图的最大边数恰好是${{n-1} \choose {k-1}}$,只有当所有边都含有一个特定的顶点$v$时,才相等.我们也会问一些相关的问题。
2016-04-25 math.CO
Dirac's theorem for linear hypergraphs
该研究将图论中的Dirac定理推广到k-均匀线性超图,证明了在最小度条件下存在几乎覆盖所有顶点的匹配,并进一步探讨了线性圈、超树和长细分的存在性。
2025-03-26 math.CO
Counting independent sets in regular hypergraphs
在顶点为$n$的$d$-正则$r$ -一致超图中,哪一个具有最多的独立集?虽然图的类似问题(最初由格兰维尔提出)现在已经很好地理解了,但甚至不清楚正确的一般猜想应该是什么;我们的目标是提出这样的概括。借贷的信任,我们的猜想,我们验证它的类内的“准二部”超图(广义的二部图,似乎自然在这种情况下)通过采用熵的方法卡恩。
2020-02-23 math.CO
Covering complete partite hypergraphs by monochromatic components
Ryser猜想的一个著名特例是k部相交超图的横截至多为k-1个顶点。Gyárfás提出了一个等价形式:如果一个完全图K的边被k种颜色着色,那么K的顶点集最多可以被k-1个集合覆盖,每个集合都以某种颜色连接。事实证明,超图猜想的类似物可以回答:Z。Király证明了在r-一致完全超图K ^r(r>= 3)的边的每一个k-染色中,K ^r的顶点集最多能被以某种颜色连通的$\lceil k/r \rceil$集覆盖.本文研究了完全r-一致r-部超图的类比问题。一个超图的边染色称为生成,如果每一个顶点都关联到染色中使用的任何颜色的边。我们提出了下面的类似Ryser猜想。在完全r-一致r-部超图的边的每一个生成(r + t)-染色中,顶点集最多可以被t +1个以某种颜色连通的集合覆盖。我们的主要结果是:当1 <= t <= r-1时,该猜想成立.我们还证明了一个稍弱的结果t>= r,即t +2集,每个连接在某种颜色,是足以覆盖的顶点集。为了在完全r-一致超图和完全r-一致r-部超图之间架起一座桥梁,我们引入了一个新的概念。一个超图是完全r-一致(r,l)-部的,如果它的所有r-集与每个部类相交的顶点不超过l个。本文推广了l = 1时的结果,证明了对任意r>= 3,2 <= l <= r,k>= 1 + r-l,在完全r-一致(r,l)-部超图的边的每一个生成k-染色中,顶点集最多可被1 + …
2016-04-11 math.CO
Decomposing hypergraphs into cycle factors
Rödl,Rucirobski和Szemerédi的一个著名结果保证了$k$ -一致超图$H$在$n$顶点上的(紧)Hamilton圈具有最小$(k-1)$ -度$δ_{k-1}(H)\geq (1/2+o(1))n$,从而将Dirac的结果从图推广到超图。对于图,我们知道的更多;每个在$n$顶点上具有$δ(G)\geq (1/2+o(1))n$的图都包含$(1-o(1))r$边不相交的Hamilton圈,其中$r$是最大整数,使得$G$包含一个生成$2r$ -正则子图,这显然是渐近最优的。费伯、克里维列维奇和苏达科夫在回答库恩、拉平斯卡斯和奥斯托斯提出的问题时证明了这一点。我们将这个结果推广到超图;每个$k$ -一致超图$H$的$n$顶点与$δ_{k-1}(H)\geq (1/2+o(1))n$包含$(1-o(1))r$边不相交(紧)的Hamilton圈,其中$r$是最大的整数,使得$H$包含一个生成子图,每个顶点属于$kr$边。特别是,这产生了一个问题的格洛克,库恩和奥斯托斯的渐近解。事实上,我们的主要结果适用于近似顶点正则$k$ -均匀超图的弱拟随机属性,并提供近似分解成周期因子没有太短的周期。
2021-04-13 math.CO
Counting spanning subgraphs in dense hypergraphs
提出一种简单方法估计高最小度数超图中生成子图副本数量,证明了在渐近最优最小余度界下包含特定数量Hamilton圈的条件,并简化或推广了已有结果。
2023-09-12 math.CO
Eigenvalues of Non-Regular Linear-Quasirandom Hypergraphs
Chung、Graham和Wilson证明了一个图是拟随机的当且仅当它的第一和第二大特征值之间有一个很大的差距。最近,作者将这一刻画推广到了k-一致超图,但仅限于所谓的共正则k-一致超图。在本文中,我们扩展到所有的k-一致超图,而不仅仅是共正则的。具体地说,我们证明了,如果一个k-一致超图满足一个特殊定义的四圈的正确计数,那么它的第一和第二大特征值之间存在一个间隙。
2014-09-24 math.CO
Every 4-regular 4-uniform hypergraph has a 2-coloring with a free vertex
本文继续研究超图的$2$ -染色。一个超图是$2$ -可着色的,如果它的顶点是$2$ -可着色的,且没有单色的超边.已知(见J.Amer.Math.Soc.5(1992),217- 229)每个$4$ -均匀$4$ -正则超图是$2$ -可着色的.本文的主要结果是加强了这一结果。为此,我们定义一个超图$H$中的顶点是$H$中的自由顶点,如果我们可以$2$ -color $V(H) \setminus \{v\}$,使得$H$中的每个超边都包含两种颜色的顶点(其中$v$没有颜色)。证明了每一个$4$ -一致$4$ -正则超图都有一个自由顶点.这证明了一个已知的猜想。我们的证明使用一个新的结果不全相等的$3$ -SAT这也证明了本文中,是在其本身的权利感兴趣。
2016-11-27 math.CO
A Tight Bound for Hypergraph Regularity I
超图正则性引理--Szemerédi的图正则性引理在$k$ -一致超图上的推广--是过去十年中获得的最著名的组合结果之一。到目前为止,有几个(非常不同的)证明这个引理,获得高尔斯,由Nagle-Rödl-Schacht-Skokan和陶。不幸的是,所有这些证明的共同点是,它们产生的规则划分的顺序是由$k$ -th阿克曼函数。我们表明,这样的阿克曼型界限是不可避免的每一个$k \ge 2$,从而证实了陶的预测。在我们的工作之前,上述类型的唯一结果是Gowers著名的图的正则性的下界。在本文中,我们描述了关键的新思想,使我们能够克服几个障碍,站在这样的界限,更高的一致性超图的方式。其中之一是{ \em graph}正则引理的一个新的(非常弱的)版本的紧界。利用这个界,我们证明了满足一定温和条件的$3$ -一致超图的任何正则引理的一个下界。然后,我们展示了如何使用这个结果,以证明一个紧界的超图正则引理的Gowers和Frankl-Rödl。我们将在随后的论文中得到类似的结果,超图的任意均匀$k\geq 2$。
2019-07-18 math.CO
Two-regular subgraphs of odd-uniform hypergraphs
令$k\ge 3$为奇数,令$n$为足够大的整数。证明了不含$2$ -正则子图的$n$ -顶点$k$ -一致超图的最大边数为$\binom{n-1}{k-1} + \lfloor\frac{n-1}{k} \rfloor$,且等式成立当且仅当$H$是一个中心为$v$且最大匹配不含$v$的全$k$ -星.这证实了穆巴伊和韦斯特拉特的一个猜想。
2018-01-22 math.CO
On regular hypergraphs of high girth
利用Berge给出的超图圈的定义,给出了至多有$n$顶点的$r$ -一致、$d$ -正则超图的最大可能围长的下界.这些与平凡的上界的不同之处在于一个绝对常数因子(即,因子在$3/2+o(1)$和$2 +o(1)$之间)。我们还定义了一个随机$r$ -均匀的“凯莱”超图的$S_n$具有围长$Ω(n^{1/3})$的概率很高,相比之下,随机定期$r$ -均匀超图,其中有常数围长的正概率。
2017-07-12 math.CO
Nearly-Regular Hypergraphs and Saturation of Berge Stars
给定一个图$G$,如果存在一个注入$ϕ:E(G)\to E(H)$,使得对每条边$e\in E(G)$有$e\subseteqϕ(e)$,则称同一顶点集上的$k$ -一致超图$H$包含Berge- $G$.如果$H$不包含Berge- $G$,则超图$H$为Berge-$G$ -饱和,但向$H$添加任何边都会创建Berge- $G$。Berge- $G$的饱和数,记作$\mathrm{sat}_k(n,\text{Berge-}G)$,是指$k$ -一致超图中Berge- $G$ -饱和的最少边数.我们准确地确定了Berge星的饱和数的值。作为主要结果的工具,我们还证明了几乎正则的$k$ -一致超图的存在性,或者对于某些$r\in \mathbb{Z}$,每个顶点的度都是$r$或$r-1$,并且小于$k$的顶点的度是$r-1$的$k$ -一致超图的存在性.
2018-12-02 math.CO
Hypergraph polynomials and the Bernardi process
最近,O. Bernardi给出了一个图的Tutte多项式$T(x,y)$的公式,它基于生成树和活动,就像最初的定义一样,但是使用固定的带状结构来为每个树以不同的方式排列边的集合。内部多项式$I$是$T(x,1)$到超图的推广。我们提供了一个Bernardi型描述的$I$使用带状结构的基础二部图$G$。我们的公式是有效的,因为它是由$G$的根多面体的Ehrhart多项式以与$I$相同的方式确定的。为了证明这一点,我们解释的Bernardi过程作为一种方法,解剖的根多面体成单纯形,随着脱壳顺序。我们还表明,我们的广义Bernardi过程给出了一个共同的扩展的双射(及其逆)由贝克和王之间的生成树和断裂因子。
2020-12-29 math.CO
Berge $k$-Factors of Regular Hypergraphs
Ibaraki University(茨城大学);Nihon University(日本大学)
研究超图中Berge $k$-因子的存在条件,发现基于超图秩的新上界优于传统边连通度上界。
2026-08-04 math.CO
Phase transition in the spanning-hyperforest model on complete hypergraphs
利用新的Grassmann公式研究了k一致完全超图的生成超森林模型的相变,其中k>= 2. k=2的情况在完全图上简化为生成森林模型。不同的k一次研究通过使用微正则系综,其中超森林的数量是固定的。低温阶段的特点是出现了一个巨大的超森林。相变发生在超森林的数量是顶点总数的分数(k-1)/k时。在临界状态下的行为也通过两个鞍点的合并进行了研究。由于Grassmann公式具有全局超对称性,我们证明了相变是二级的,并且与超对称性破缺有关。通过引入显式破缺场,我们探索了低温下的纯晶相。
2009-06-24 cond-mat.stat-mech hep-lat math.CO
Hypergraph coverings and Ramanujan Hypergraphs
该研究通过超图覆盖刻画谱结构并推广 Alon-Boppana 等谱界,利用交错族证明 Ramanujan 2-覆盖的存在性,进而构造无限族正则 Ramanujan 超图。
2024-03-04 math.CO
Minimum codegree threshold for $C_6^3$-factors in $3$-uniform Hypergraphs
设$C_6^3$是$\{1,\dots, 6\}$上的3-一致超图,其边为$123, 345,561$,可以看作是3-一致超图中的三角形.对于可被6整除的充分大的$n$,我们证明了每个最小余度至少为$n/3$的$n$ -顶点3-一致超图$H$包含一个$C_6^3$ -因子,即,由$C_6^3$的顶点不相交副本组成的生成子超图。最小余度条件是最好的。这改进了Mycroft得到的渐近结果,并确切地回答了Rödl和Rucienski的一个问题。
2015-08-21 math.CO
Edge correlations in random regular hypergraphs and applications to subgraph testing
与经典的二项随机(超图)模型相比,随机正则超图的研究由于不同边的出现之间的相关性而变得更具挑战性。我们开发了一种超图的边切换技术,使我们能够证明这些相关性是有限的,在很大范围内的密度。这推广了Kim,Sudakov和Vu关于图的一些结果.从我们的结果中,我们推出了随机$d$ -正则超图中子图计数的几个推论。我们还证明了Dudek,Frieze,Rucienski和Šileikis关于随机$r$-正则$d$-图中存在$\ell$ -重叠Hamilton圈的阈值的一个猜想.此外,我们应用我们的结果证明的界限上的查询复杂度测试子图的自由。一般图模型中的无子图测试问题首先由Alon,Kaufman,Krivelevich和Ron研究,他们得到了测试无三角图的查询复杂度的几个界。我们扩展了这些以前的结果超出了三角形设置和超图设置。
2019-07-25 math.CO
Regular behaviour of the maximal hypergraph chromatic number
设$m(n,r)$表示$n$ -一致超图中不可$r$ -着色的最小边数.我们证明了对于任何固定的$n$序列$a_r := m(n,r)/r^n$都有一个极限,这是Alon证明的。我们还证明了这个声明的列表着色类似。
2019-08-17 math.CO
Minimum vertex degree conditions for loose Hamilton cycles in $3$-uniform hypergraphs
研究了$3$ -一致超图的最小顶点度条件,该条件保证了松弛Hamilton圈的存在性。一个松散的哈密尔顿圈是一个生成圈,其中只有连续的边相交,这些交点恰好由一个顶点组成。证明了每一个顶点度最小的$3$ -一致$n$ -顶点($n$偶)超图$\mathcal{H}$ $δ_1(\mathcal{H})\geq \left(\frac7{16}+o(1)\right)\binom{n}{2}$包含一个松弛Hamilton圈。这个界是渐近最佳可能界。
2016-03-14 math.CO
Randomized greedy algorithm for independent sets in regular uniform hypergraphs with large girth
本文考虑了在周长为$g$的$n$顶点上的$r$ -均匀$d$ -正则超图$G$中求独立集的随机贪婪算法.通过分析由该算法生成的独立集的期望大小,我们证明了$α(G)\geq (f(d,r)-ε(g,d,r))n$,其中对于固定的$d$和$r$,$ε(g,d,r)$收敛到$0$为$g\rightarrow\infty$,并且$f(d,r)$由微分方程确定。这推广了Gamarnik和Goldberg关于图的早期结果。我们还证明了当把该算法应用于度有界的一致线性超图时,由该算法生成的独立集的大小几乎必然渐近地集中在均值附近。
2022-01-04 math.CO
Minimally Connected Hypergraphs
图和超图是离散数学中的基本结构。它们有许多实际应用,包括快速发展的生物信息学领域,以及更广泛的生物数学。它们也是有趣的算法问题的来源。在本文中,我们定义了一个\textit{construction process}的最小连接$r$ -一致超图,它捕捉了直观的概念,建立一个超图的一块一块,和一个数值不变量称为\textit{tightness},这是独立的建设过程中使用。利用这些工具,我们证明了极小连通超图的一些基本性质。我们也给出了它们的色数的界,并提供了一些涉及边着色的结果。证明了每个连通的$r$ -一致超图都包含一个极小连通生成子超图,并给出了一个判定极小连通生成子超图的多项式时间算法.
2019-01-14 math.CO
Regular embedding of simple hypergraphs
本文分析了基础为简单超图的正则超地图,提出了一种分类给定阶简单超图正则嵌入的算法,并确定了素数平方阶简单超图正则嵌入的自同构群。
2025-04-27 math.CO math.GR
On the Number of Independent Sets in Uniform, Regular, Linear Hypergraphs
研究了无交叉边的$r$ -一致、$d$ -正则、$n$ -顶点线性超图的弱独立集和强独立集的个数的界问题.在弱独立集的情况下,我们提供了一个上界,是紧到一阶项的所有(固定)$r\ge 3$,与$d$和$n$走向无穷大。在强独立集的情况下,对于$r=3$,我们提供了一个紧到二阶项的上界,改进了Ordentlich-Roth(2004)的结果。强独立集情况下的紧密性是通过显式构造$3$(均匀)、$d$(规则、无交叉边、$n$顶点上的线性超图来建立的,这在其他上下文中可能会引起兴趣。一般情况下,我们先放一些说明。我们的证明使用Davies,Jenssen,Perkins和Roberts(2017)引入的占用方法。
2021-07-04 math.CO
Completely Independent Spanning Trees in Split Graphs: Structural Properties and Complexity
Université Bourgogne Europe(勃艮第欧洲大学)
本文研究了分割图中完全独立生成树的结构性质与复杂性,证明了存在两个CIST问题的NP难性,并提出了关于超图双全色数的猜想。
2026-07-29 cs.DM math.CO
Optimal spread for spanning subgraphs of Dirac hypergraphs
本文针对Dirac超图中生成子图的嵌入问题,提出一种具有最优散布性质的随机嵌入方法,并由此得到嵌入数量的渐近紧下界及随机稀疏化下的稳健Dirac型结果。
2024-08-31 math.CO
On Counting Independent Sets in Regular Hypergraphs
Skyserv Handling Services;Carnegie Mellon University(卡内基梅隆大学)
本文针对 Balogh-Bollobás-Narayanan 猜想,即正则超图中弱独立集数由拟二部构造最大化,提供了渐近、反例及精确情形等多类证据,并利用容器方法、占用方法和熵分解等技术证明了相关结果。
2026-09-16 math.CO
Embedding the Erdős-Rényi Hypergraph into the Random Regular Hypergraph and Hamiltonicity
建立了随机$k$ -图(对于常数$k \ge 2$)在$n$标记顶点上的两个一致模型之间的包含关系:$\mathbb G^{(k)}(n,m)$,具有$m$边的随机$k$ -图,和$\mathbb R^{(k)}(n,d)$,随机$d$ -正则$k$ -图.我们表明,如果$n\log n\ll m\ll n^k$,我们可以选择$d = d(n) \sim {km}/n$和耦合$\mathbb G^{(k)}(n,m)$和$\mathbb R^{(k)}(n,d)$,使后者包含前者的概率趋于一$n\to\infty$。这推广了Kim和Vu关于“随机图的随机化”的一个较早的结果。鉴于已知的阈值定理存在不同类型的Hamilton圈在$\mathbb G^{(k)}(n,m)$,我们的结果使我们能够找到条件下,$\mathbb R^{(k)}(n,d)$是Hamilton。特别地,对于$k\ge 3$,我们得出结论,如果$n^{k-2} \ll d \ll n^{k-1}$,则a.a.s. $\mathbb R^{(k)}(n,d)$包含一个紧Hamilton圈。
2016-09-23 math.CO
Minimal non-odd-transversal hypergraphs and minimal non-odd-bipartite hypergraphs
在所有具有偶一致性的一致超图中,奇横截或奇二部超图无论从结构还是从谱的角度看都更接近于二部单图。一个超图称为极小非奇横截,如果它是非奇横截的,但删除任何边会得到一个奇横截超图。本文利用关联矩阵的度和秩给出了$\mathbb{Z}_2$上极小非奇横截超图的一个等价刻画。若极小非奇横截超图是一致的,则它具有偶一致性,因而是极小非奇二部超图。刻画了$2$ -正则一致极小非奇二部超图,并给出了$d$ -正则一致超图是极小非奇二部超图的一些例子.最后给出了极小非奇二部超图的邻接张量的最小H-特征值的上界。
2020-03-04 math.CO