Algorithmic Number On the Forehead Protocols Yielding Dense Ruzsa-Szemerédi Graphs and Hypergraphs
我们描述了算法的额头上的协议，提供密集的Ruzsa-Szemerédi图。一个协议导致Ruzsa和Szemerédi的原始构造的简单而自然的扩展。由该协议导出的图具有$n$顶点、$Ω(n^2/\log n)$边，并且可分解为$n^{1+O(1/\log \log n)}$导出的匹配。另一个协议是一个明确的（和稍微简单）版本的建设阿隆，莫伊特拉和Sudakov，生产图具有类似的性质。我们还将上述协议推广到三个以上的玩家，以构造稠密一致超图，其中每条边都位于一个正的少数单纯形。
2020-01-02 cs.CC math.CO
Large 2-coloured matchings in 3-coloured complete hypergraphs
本文证明了关于3色完全3一致超图中大2色匹配的一个推广的Ramsey型结果，支持了A. Gyárfás。
2012-09-12 math.CO
The Erdos-Faber-Lovasz conjecture for weakly dense hypergraphs
推广了稠密超图的概念，如果在半开区间[2，sqrt（n））中没有k是大于k^2个顶点的度，则称超图是弱稠密的.在我们的主要结果中，我们证明了著名的Erdos-Faber-Lovasz猜想，当超图是弱稠密的。
2020-10-12 math.CO
On the Maximum Number of Edges in a Hypergraph with a Unique Perfect Matching
本文给出了$k$ -一致超图$k\ge 3$在唯一完美匹配下的最大边数.这解决了Snevily提出的一个猜想。
2011-07-07 math.CO
Perfect fractional matchings in k-out hypergraphs
推广了（随机）$k$ -out图的概念，考虑了当$k$ -out超图可能有完美分数匹配时的情形。特别地，我们证明了对于每个$r$，存在一个$k=k(r)$，使得在$n$顶点上的$k$ -out $r$ -uniform超图具有高概率的完美分数匹配（即，概率趋于$1$为$n\to \infty$），并证明了$r$ -一致$r$ -部超图的一个类似结果.这是基于一个新的概念超图扩展和观察，充分膨胀超图承认完美的分数匹配。作为进一步的应用，我们给出了一个简短的证明停止时间的结果最初由于Krivelevich。
2017-03-10 math.CO
Larger matchings and independent sets in regular uniform hypergraphs of high girth
本文分析了两种算法，分别用于在大围长的 $k$-一致 $d$-正则超图上生成匹配和独立集，从而获得了此类超图中最大匹配或独立集大小的新下界。
2023-07-28 math.CO
A note on perfect matchings in uniform hypergraphs
当完美分数匹配的阈值显著小于$\frac{1}{2} \binom{n}{k- \ell}$时，我们确定了$k$ -一致超图中完美匹配的\emph{exact}最小$\ell$ -度阈值.这扩展了我们以前的结果，确定最小$\ell$度阈值完美匹配的$k$ -均匀超图的所有$\ell\ge k/2$，并提供了两个新的（确切的）阈值：$(k,\ell)=(5,2)$和$(7,3)$。
2016-01-12 math.CO
On Erdos' extremal problem on matchings in hypergraphs
1965年Erdans证明了n阶k-一致超图中最大匹配有s条边的边数对于两种特殊类型之一的超图是最大化的。当k=3并且n足够大时，我们肯定地解决了这个猜想。
2012-02-19 math.CO
Pseudorandom hypergraph matchings
Pippenger的一个著名定理指出，任何具有小余度的几乎正则超图都有几乎完美匹配。我们表明，可以找到这样一个几乎完美的匹配，这是“伪随机”，这意味着，例如，匹配包含尽可能多的边缘从一个给定的一组边缘预测的启发式参数。
2019-07-23 math.CO
On hypergraph Turán problems with bounded matching number
针对匹配数有界的超图场景，本文开展类似Turán问题的研究，得到若干精确结果，拓展了Alon、Frankl与Gerbner在普通图领域的相关研究。
2024-10-09 math.CO
Perfect matchings in 3-partite 3-uniform hypergraphs
设$H$是一个$3$ -分$3$ -一致超图，即一个$3$ -一致超图，使得每条边与每个划分类相交于恰好一个顶点，每个划分类的大小为$n$。我们确定了$3$ -部$3$ -一致超图中完美匹配的Dirac型顶点度阈值。
2014-10-14 math.CO
Minimal Number of Edges in Hypergraph Guaranteeing Perfect Fractional Matching and MMS Conjecture
证明了Ahlswede-Khachatrian猜想.从这个猜想得出其他几个猜想，包括Manickam-Miklós-Singhi猜想。
2014-11-21 math.CO
On the Maximum Number of Edges in a Hypergraph with Given Matching Number
证明了n阶3-一致超图的最大边数为max{ \binom（3s+2，3），\binom（n，3）-\binom（n-s，3）}，其中n，s，n ≥ 3s+2.
2012-05-30 math.CO
Hypergraphs with vanishing Turán density in uniformly dense hypergraphs
P. Erdés [论极值问题的图和广义图，以色列数学杂志2（1964年），183-190]的特点，这些超图$F$，必须出现在任何足够大的超图$H$的正密度。本文研究了$3$ -一致超图的相关问题，并在此基础上假设$H$关于顶点集是一致稠密的.特别是，我们将这些超图$F$，保证出现在大的均匀稠密超图$H$的正密度。我们还审查的情况下，诱导子超图的$H$的密度可能取决于所考虑的顶点集的比例。
2019-01-29 math.CO
Rainbow matchings in properly-colored hypergraphs
一个超图$H$是适当着色的，如果对于每个顶点$v\in V(H)$，所有关联到$v$的边都有不同的颜色。本文证明了如果$H_{1}$，\cdots，$H_{s}$是$n$顶点上的适当着色的$k$ -一致超图，其中$n\geq3k^{2}s$，和$e(H_{i})>{{n}\choose {k}}-{{n-s+1}\choose {k}}$，则存在大小为$s$的彩虹匹配，包含来自每个$H_i$的一条边.这推广了Erdans匹配猜想的一些结果。
2018-08-15 math.CO
Exact minimum degree thresholds for perfect matchings in uniform hypergraphs II
给定正整数k \geq 3和r，其中k/2 \leq r \leq k-1，我们给出了k-一致超图中保证完美匹配的最小r-度条件.这个条件是最好的可能和改进的工作Pikhurko谁给了一个渐近精确的结果。我们的方法利用了吸收方法，并建立在“均匀超图中完美匹配的精确最小度阈值”的基础上，在那里我们证明了k可被4整除的结果。
2012-10-27 math.CO
Perfect Matchings in Hypergraphs and the Erdős matching conjecture
本文证明了当$d$.因此，这确定了当$0.42k \le d < k/2$或当$(k,d)=(12,5)$或$(17,7)$时阈值的精确值。我们的方法是给出一个上界的Erdés匹配猜想和转换的结果的最小$d$度设置的Kühn，Osthus和Townsend的方法。为了获得精确的阈值，我们还应用Treglown和Zhao的结果。
2016-05-10 math.CO
Near Perfect Matchings in $k$-uniform Hypergraphs II
设$k\nmid n$和$H$是一个$n$ -点$k$ -一致超图. $H$中的接近完美匹配是大小为$\lfloor n/k\rfloor$的匹配。我们给出了一个整除障碍的结构，以防止在$H$中存在的近完美匹配。这推广了完美匹配的可分性障碍。我们给出了一个猜想的最小$d$度阈值迫使（近）完美匹配$H$，推广了一个著名的猜想完美匹配。我们还验证了我们的猜想在各种情况下。我们的证明利用了作者最近使用的基于格的吸收方法来解决超图的匹配和平铺的其他两个问题。
2016-11-01 math.CO
Fractional and integer matchings in uniform hypergraphs
我们的主要结果改进了Markstrom和Rucinski关于n阶k-一致超图的最小d-度的界，使得n阶k-一致超图中的最小d-度是完美匹配。通过渐近地确定n阶k-一致超图中匹配大小为t < n/2（k-1）的最小顶点度，推广了Bollobas，Daykin和Erdos的界.进一步渐近紧的结果，迫使大匹配的d度也得到了。我们的方法是证明上述结果的分数版本，然后将其转换为整数版本。
2013-11-30 math.CO
Co-degree threshold for rainbow perfect matchings in uniform hypergraphs
令$k$和$n$是两个整数，其中$k\geq 3$、$n\equiv 0\pmod k$和$n$足够大。我们确定了$n$ -顶点$k$ -一致超图中彩虹完美匹配存在的$(k-1)$ -度阈值.这意味着Rödl，Ruciski和Szemerédi关于$n$ -顶点$k$ -一致超图中完美匹配存在的$(k-1)$ -度阈值的结果。在我们的证明中，我们确定了封闭性的极值配置，并考虑超图是否接近极值配置。此外，我们还发展了一种新的吸收装置，并推广了Rödl，Rucibrski和Szemerédi的吸收引理。
2021-10-31 math.CO
A note on colour-bias perfect matchings in hypergraphs
该研究将2着色图中保证显著色偏完美匹配存在的最小度阈值结果推广至k一致超图，确定了r着色k一致超图中对应最小ℓ度阈值。
2024-01-30 math.CO
Matching Orderable and Separable Hypergraphs
超图中的完美匹配是划分顶点集的一组边。研究了可序可分超图中判定完美匹配存在性的复杂性。证明了可序超图类严格包含在可分超图类中。相应地，我们证明了对于每个固定的$k$，判定可序$k$ -超图的完美匹配是多项式时间可行的，而对于每个固定的$k\geq 3$，判定可分超图的完美匹配是NP-完全的.
2022-02-02 cs.DM cs.DS math.CO
Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs
Keevash，Knox和Mycroft构造了一个多项式时间算法来判定最小余度至少为$n/k+γn$的$n$ -顶点$k$ -一致超图中完美匹配的存在性.本文证明了一个结构定理，它使我们能够确定任何最小余度至少为$n/k$的$k$ -一致超图的完美匹配的存在性。这完全解决了Karpienski，Rucienski和Szymaenska的问题。我们的证明使用了基于格的吸收方法。
2016-06-17 math.CO
The maximal spectral radius of the uniform unicyclic hypergraph with perfect matchings
设$\mathcal{U}(n,k)$和$Γ(n,k)$分别是与$n$顶点具有完美匹配的$k$ -一致线性和非线性单圈超图的集合，其中$n\geq k(k-1)$和$k\geq 3$ .利用变换技巧和构造超图的关联矩阵，得到了三类超图中具有最大谱半径的超图，即具有$n= 2k(k-1)$和$n\geq 9k(k-1)$的$\mathcal{U}(n,k)$，具有$n\geq k(k-1)$的$Γ(n,k)$，以及具有$n\geq 2k(k-1)$的$\mathcal{U}(n,k)\cup Γ(n,k)$，其中$k\geq 3$ .
2022-02-27 math.CO
Perfect Matchings in 4-uniform hypergraphs
4-一致超图中的完美匹配是$\lfloor\frac{n}{4}\rfloor$不相交边的子集。证明了如果$H$是$n=4k$顶点上的一个充分大的4-一致超图，使得每个顶点属于多个${n-1\choose 3} - {3n/4 \choose 3}$边，则$H$包含完美匹配.这个界是紧的，并且解决了H{á}n，Person和Schacht的一个猜想.
2011-02-01 cs.DM math.CO
The size of a hypergraph and its matching number
40多年前，Erdegan证明了对任意T <= N/K，N个顶点上的K一致超图中不存在T条不相交边，最多有{ \binom{KT-1}{K}，\binom{N}{K} - \binom{N-T+1}{K} }条边.虽然这似乎是超图图兰问题的一个基本实例（用T边匹配作为排除超图），但这个问题的进展仍然难以捉摸。在本文中，我们证明了这一猜想对所有T < N/（3K^2）。这改进了先前已知的最佳范围T = O（N/K^3），该范围可以追溯到20世纪70年代。
2011-09-15 math.CO
Note on power hypergraphs with equal domination and matching numbers
本文通过构造反例反驳了幂超图与广义幂超图中支配数等于匹配数的两个近期结论，指出原证明缺陷并提出修正思路。
2023-10-27 math.CO
The Maximum Number of Cliques in Hypergraphs without Large Matchings
设$[n]$表示集合$\{1, 2, \ldots, n\}$，$\mathcal{F}^{(r)}_{n,k,a}$是顶点集$[n]$上的$r$ -一致超图，其边集由$[n]$的所有$r$ -元素子集组成，其中$[n]$的所有$r$ -元素子集至少包含$[ak+a-1]$中的$a$顶点.对于$n\geq 2rk$，Frankl证明了$\mathcal{F}^{(r)}_{n,k,1}$使$n$上的$r$ -一致超图的边数最大化，且匹配数至多为$k$ . Huang，Loh和Sudakov考虑了Erdés匹配猜想的多色版本，并提供了多色超图包含大小为$k$的彩虹匹配的边数的充分条件。本文证明了$\mathcal{F}^{(r)}_{n,k,a}$使得$r$ -一致超图中$s$ -团的个数在$n$顶点上最大化，并且对于足够大的$n$，匹配数至多为$k$，其中$a=\lfloor \frac{s-r}{k} \rfloor+1$ .我们还得到了多色$r$ -均匀超图中含有$k$大小的彩虹匹配的$s$ -类个数的一个条件，当$s=r$ .
2020-10-25 math.CO
On the Matching Problem in Random Hypergraphs
本文研究随机超图中 Erdős 匹配问题的变体，证明在适当参数条件下，匹配数为 s 的子超图最大边数由平凡构造取得，从而刻画了极值结构。
2025-09-23 math.CO
Rainbow matchings for 3-uniform hypergraphs
Kühn，Osthus，Treglown和独立，汗证明，如果$H$是一个$3$ -均匀超图与$n$顶点，使$n\in 3\mathbb{Z}$和大，和$δ_1(H)>{n-1\choose 2}-{2n/3\choose 2}$，那么$H$包含完美匹配。本文证明了对充分大的$n\in 3\mathbb{Z}$，如果$F_1, \ldots, F_{n/3}$是具有公共顶点集的3-一致超图，而$δ_1(F_i)>{n-1\choose 2}-{2n/3\choose 2}$是$i\in [n/3]$的3-一致超图，则$\{F_1,\dots, F_{n/3}\}$允许彩虹匹配，即，由来自每个$F_i$的一个边缘组成的匹配。这是通过将彩虹匹配问题转换为一类特殊的均匀超图中的完美匹配问题来实现的。
2020-04-27 math.CO
Exact minimum degree thresholds for perfect matchings in uniform hypergraphs
给定正整数k和r，其中4整除k且k/2 \leq r \leq k-1，我们给出了k-一致超图中保证完美匹配的最小r-度条件.这个条件是最好的可能和改进的工作Pikhurko谁给了一个渐近精确的结果。我们的方法利用吸收的方法，以及超图删除引理和Keevash和Sudakov的结构结果有关的图兰数的扩展三角形。
2012-10-27 math.CO
Extremal hypergraphs for matching number and domination number
超图$\mathcal{H}$中的匹配是一组两两不相交的超边。$\mathcal{H}$的匹配数$ν(\mathcal{H})$是$\mathcal{H}$中的最大匹配的大小。$\mathcal{H}$的顶点子集$D$是$\mathcal{H}$的控制集，如果对于每个$v\in V\setminus D$，存在$u\in D$使得$u$和$v$位于$\mathcal{H}$的超边中。$\mathcal{H}$的最小控制集的基数是$\mathcal{H}$的控制数，记为$γ(\mathcal{H})$。证明了$r$-一致超图的$γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$和达到相等$γ(\mathcal{H})=ν(\mathcal{H})$的2-一致超图（图）的特征.本文将不等式$γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$推广到任意秩为$r$的超图，并完全刻画了秩为$3$的极超图$\mathcal{H}$达到等式$γ(\mathcal{H})=(r-1)ν(\mathcal{H})$.
2016-11-21 math.CO
Matchings in 3-uniform hypergraphs
我们确定了3-一致超图中保证完美匹配的最小顶点度。更精确地说，假设H是一个充分大的3-一致超图，其阶n可被3整除。如果H的最小顶点度大于\binom{n-1}{2} - \binom{2n/3}{2}，则H包含完美匹配。这个界是紧的，并且回答了Han，Person和Schacht的一个问题.更一般地，我们表明，H包含一个匹配的大小为d \le n/3，如果它的最小顶点度大于\binom{n-1}{2} - \binom{n-d}{2}，这也是最好的可能。这推广了Bollobas，Daykin和Erdos的一个结果.
2012-11-13 math.CO
Vertex degree sums for perfect matchings in 3-uniform hypergraphs
在无孤立点的3-图中，确定了保证完美匹配的两个邻顶点的最小度和。更准确地说，假设$H$是一个3-一致超图，其阶$n$足够大并且可被$3$整除。如果$H$不包含孤立顶点，并且对于包含在$H$的某条边中的任意两个顶点$u$和$v$，$deg(u)+ deg(v) > \frac{2}{3}n^2-\frac{8}{3}n+2$，则$H$包含完美匹配.这个界限很紧.
2017-10-13 math.CO
Near perfect matchings in uniform hypergraphs
本文研究了一致超图中存在大匹配的度条件。证明了对于$k\ge 3$，$k/2<l<k$，$n$大的整数$k,l,n$，如果$H$是$n$顶点和$δ_{l}(H)>{n-l\choose k-l}-{(n-l)-(\lceil n/k \rceil-2)\choose 2}$上的$k$ -一致超图，则$H$有一个匹配覆盖除常数个顶点外的所有顶点.当$l=k-2$和$k\ge 5$，这样的匹配是接近完美的，我们对$δ_l(H)$的界是最好的可能。当$k=3$，在Hán，Person和Schacht的吸收引理的帮助下，我们的证明也意味着$H$具有完美匹配，K uhn，Osthus和Treglown以及Kahn独立证明了这一结果。
2019-11-18 math.CO
Co-degrees resilience for perfect matchings in random hypergraphs
本文证明了二项$k$ -一致超图模型$H_{n,p}^k$关于完美匹配的最优余度弹性性质。也就是说，对于一个足够大的$n$是可分的$k$，和$p\geq C_k\log_n/n$，我们证明了，以高概率的每一个子图$H\subseteq H^k_{n,p}$与最小的co-degree（这意味着，超集的数量，每一组的大小$k-1$包含在）至少$(1/2+o(1))np$包含一个完美的匹配。
2020-02-07 math.CO
Perfect matching in 3-uniform hypergraphs with large vertex degree
3-一致超图中$n=3k$顶点上的完美匹配是$\frac{n}{3}$不相交边的子集。证明了如果$H$是$n=3k$顶点上的3-一致超图，使得每个顶点至少属于${n-1\choose 2} - {2n/3\choose 2}+1$边，则$H$包含完美匹配.我们给出了一个结构，以表明这一结果是最好的可能。
2012-07-07 cs.DM math.CO
Packing perfect matchings in random hypergraphs
我们介绍了一个新的程序生成的二项随机图/超图模型，称为\emph{online sprinkling}。作为该方法的一个示例性应用，我们证明了对于任意固定的整数$k\geq 3$，二项式$k$ -均匀随机超图$H^{k}_{n,p}$包含$N:=(1-o(1))\binom{n-1}{k-1}p$边不相交的完美匹配，条件是$p\geq \frac{\log^{C}n}{n^{k-1}}$，其中$C:=C(k)$是只依赖于$k$的整数.我们的结果为$N$是渐近最佳的最佳和$p$是最佳的$polylog(n)$因素。
2016-07-05 math.CO
Near Perfect Matchings in $k$-uniform Hypergraphs
设$H$是一个关于$n$顶点的$k$ -一致超图，其中$n$是一个不能被$k$整除的足够大的整数.证明了如果$H$的最小$(k-1)$ -度至少为$\lfloor n/k \rfloor$，则$H$包含一个有$\lfloor n/k\rfloor$边的匹配.这证实了Rödl、Rucienski和Szemerédi的猜想，他们证明了最小的$(k-1)$ -度$n/k+O(\log n)$就足够了。更一般地说，我们表明，$H$包含匹配的大小$d$，如果其最小的codegree是$d<n/k$，这也是最好的可能。
2014-08-06 math.CO
Rainbow matchings in $k$-partite hypergraphs
本文证明了Aharoni和Howard关于$\{1,\ldots, n\}^k$中元组的充分大族$\mathcal F_1,\ldots, \mathcal F_s$中存在彩虹（横截）匹配的猜想，条件是$s\ge 470.$
2020-05-23 cs.DM math.CO
Rainbow perfect matchings for 4-uniform hypergraphs
设$n$是一个足够大的整数，其中$n\equiv 0\pmod 4$和$F_i \subseteq{[n]\choose 4}$，其中$i\in [n/4]$。我们证明了如果$F_i$的每个顶点包含在多于${n-1\choose 3}-{3n/4\choose 3}$的边中，则$\{F_1, \ldots ,F_{n/4}\}$允许彩虹匹配，即，由每个$F_i$的一条边组成的一组$n/4$边。这推广了Khan关于4-一致超图中完美匹配的一个深入结果。
2021-05-18 math.CO
Discrepancies of perfect matchings in hypergraphs
该研究确定了 r 边着色 k-一致超图中高差异度完美匹配的最小度阈值，并借助新的多色超图族回答了关于 3-一致超图的开放问题。
2024-09-07 math.CO
Dense $3$-uniform hypergraphs containing a large clique
一个$r$ -均匀图$G$是稠密的当且仅当$G$的每个真子图$G'$满足$λ(G') < λ(G)$，其中$λ(G)$是超图$G$的拉格朗日量. 20世纪80年代，Sidorenko证明了$r$ -一致超图$F$的Turán密度是$π(F)$，即$r!$乘以所有稠密$F$ -无hom-free $r$ -一致超图的Lagrangian的上确界.这种联系已被应用于超图的Turán密度估计。当$r=2$时，Motzkin和Straus的结果表明一个图是稠密的当且仅当它是一个完全图。然而，当$r\ge 3$时，估计$r$ -一致超图的拉格朗日量和刻画所有稠密$r$ -一致图的结构就变得困难得多。本文的主要目的是给出具有给定子结构的$3$ -一致图是稠密图的一些充分条件。例如，如果$G$是一个$3$ -图，其顶点集$[t]$和$m$边包含$[t-1]^{(3)}$，则$G$是稠密的当且仅当$m \ge {t-1 \choose 3}+{t-2 \choose 2}+1$。给出了含有大团减去$1$或$2$边的$3$ -一致超图稠密的边数的充分条件。
2017-01-22 math.CO
The $r$-coloring and maximum stable set problem in hypergraphs with bounded matching number and edge size
受图中类似问题的启发，我们研究了具有禁止子结构和有界边的超图的着色和独立集问题的复杂性。设$ν(G)$表示$H$中匹配的最大尺寸，我们得到了以下问题复杂性的完全二分法：$r$ -边尺寸至多为$k$和$ν(G) \leq s$的超图$G$的着色，$r$ -$k$中的预着色扩展-$G$和$ν(G) \leq s$的一致超图$G$; $r$ -边长至多为$k$和$ν(G) \leq s$的超图$G$的预着色扩充; $k$ -具有$ν(G) \leq s$的一致超图$G$的最大独立集; $k$ -具有$ν(G) \leq s$的一致超图的最大权独立集;以及$k$ -一致超图$ν(G) \leq s$中$r$ -着色的部分结果。然后，我们把我们的注意力转移到PDMATHAMT-着色的3-一致超图与禁止诱导子超图，并给出了一个多项式时间的算法时，限制输入的超图不包括一个固定的单边超图。最后，我们考虑线性3-一致超图（其中每两条边最多共享一个顶点），并证明了在$G$中排除一个诱导匹配意味着$ν(G)$有界于一个常数;以及具有$ν(G) \leq 532$的$3$ -着色线性$3$ -一致超图$G$是NP-困难的。
2023-02-02 math.CO
Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture
我们用代数方法证明了著名的Erd \H os-Ko-Rado定理的一个度版本：给定$n>2k$，每个相交的$k$ -均匀超图$H$在$n$顶点上包含一个顶点，该顶点位于至多$\binom{n-2}{k-2}$边上。这个结果可以看作是一个特殊的情况下的度版本的一个著名的猜想Erdens超图匹配。改进了1976年Bollobás，Daykin和Erd \H os的工作，证明了给定整数$n, k, s$和$n\ge 3k^2 s$，每个$k$ -均匀超图$H$在$n$顶点上的最小顶点度大于$\binom{n-1}{k-1}-\binom{n-s}{k-1}$，包含$s$不交边.
2016-05-24 math.CO
Large matchings in uniform hypergraphs and the conjectures of Erdos and Samuels
本文研究了一致超图中完美匹配和完美分式匹配存在的条件。我们把这个问题归结为一个古老的猜想，Erdés关于在给定匹配数（分数）时估计超图中的最大边数，在某些特殊情况下，我们能够使用概率技术来解决这个问题。在此基础上，我们得到了保证完美（分数）匹配存在的最小$d$ -度的一些一般定理。特别地，我们渐近地确定了4-一致超图和5-一致超图中保证完美匹配的最小顶点度。我们还讨论了一个应用程序的问题，找到一个最佳的数据分配在分布式存储系统。
2012-01-31 math.CO math.PR
The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs
完美匹配多面体，即图的完美匹配（的关联向量）的凸包，在许多组合算法中被使用。Kotzig，Lovász和Plummer发展了一个分解理论，用于具有完美匹配的图及其对应的多面体，称为紧切分解，它将每个图分解为许多不可分解的图，所谓的砖块。对于具有完美匹配的图的许多感兴趣的性质，包括完美匹配多面体的描述，考虑这些砖块就足够了。Lovász关于紧割分解的一个关键结果是，在紧割分解过程中，获得的砖列表是相同的，与紧割的选择无关。这意味着找到一个紧割分解是多项式时间等价于找到一个单一的紧割。我们推广的概念，紧切，紧切收缩和紧切分解超图。通过一个例子，我们证明了一般超图的紧割分解的结果不再是唯一的。然而，我们能够证明的唯一性的紧割分解保持轻微的推广均匀超图。此外，我们展示了如何紧割分解导致分解的完美匹配多面体的均匀超图和识别问题的紧割均匀超图是多项式时间可解的。
2019-02-28 math.CO
The size of $3$-uniform hypergraphs with given matching number and codegree
确定具有给定图参数的$r$ -图的大小是一个有趣的问题。Chvátal和Hanson（JCTB，1976）给出了具有限制最大度和匹配数的2-图的大小的紧上界; Khare（DM，2014）研究了具有限制匹配数和最大度的线性$3$ -图的相同问题。本文给出了具有有界余度和匹配数的$3$ -图的大小的一个紧上界。
2017-09-21 math.CO
Colour-bias perfect matchings in hypergraphs
研究边着色超图含多于平凡保证数量单色边的子结构条件，在最小度条件下解决完美匹配问题，回答了相关近期问题。
2025-06-30 math.CO
Domination, matching and transversal numbers for Berge-$G$ hypergraphs
该研究定义了图G的膨胀这一非均匀Berge-G超图子族，探究其控制数、匹配数与横贯数及参数间关系，推广了广义幂超图的已有结果。
2025-07-29 math.CO
How many random edges make a dense hypergraph non-2-colorable?
研究了随机一致超图的一个模型，其中一个随机实例是通过给一个给定密度的大型超图添加随机边得到的。我们得到一个紧的约束上的随机边缘的数量，以确保非2-着色。证明了对任意一个边数为Ω（n^{k-n}）的k-一致超图，增加Ω（n^{k-n/2}）条随机边使其几乎必然是非2-可染的.这本质上是紧的，因为存在一个具有Omega（n^{k-ε}）条边的2-可着色超图，即使添加了o（n^{k ε/ 2}）条随机边，它几乎肯定仍然是2-可着色的。
2007-07-02 math.CO
Conflict-free hypergraph matchings
Pippenger、Frankl和Rödl的一个著名定理指出，每个最大余度小的几乎正则一致超图$\mathcal{H}$都有一个几乎完美匹配。我们通过获得"无冲突"匹配来扩展这个结果，其中冲突通过子集$C\subseteq E(\mathcal{H})$的集合$\mathcal{C}$来编码。如果$\mathcal{M}$不包含$\mathcal{C}$的元素作为子集，则我们说匹配的$\mathcal{M}\subseteq E(\mathcal{H})$是无冲突的。在对$\mathcal{C}$的自然假设下，证明了$\mathcal{H}$具有无冲突的几乎完美匹配.这有许多应用，其中之一产生新的渐近结果为所谓的“高围长”施泰纳系统。我们的主要工具是一个随机的贪婪算法，我们称之为"无冲突匹配过程"。
2022-05-11 math.CO
On Lagrangians of Hypergraphs Containing Dense Subgraphs
Motzkin和Straus在1965年建立了图的最大团和拉格朗日量之间的显着联系。这种联系及其扩展被成功地应用于优化中，为图的最大团数提供了算法。如果类似的结果对超图也成立，这在实际中是有用的。本文给出了当超图的边数在一定范围内时，含有稠密子图的超图的拉格朗日量的上界。这些结果支持了Y. Peng和C. Zhao（2012）的结果，并推广了J.Talbot（2002）的结果。\keywords{Cliques of hypergraphs \and Colex ordering \and Lagrangians of hypergraphs \and Polynomial optimization}
2013-11-06 math.CO
The asymptotic induced matching number of hypergraphs: balanced binary strings
对于任意足够大的偶数$k$，我们计算了边为汉明重量$k/2$的$k$ -位串的$k$ -部$k$ -一致超图的渐近诱导匹配数.我们的下界依赖于从代数复杂性理论，这是由Christandl，Vrana和Zuiddam证明了著名的Coppersmith-Winograd方法的高阶扩展。我们的结果的动机是研究这种方法的权力，以及权力的Strassen支持泛函（提供上界的渐近诱导匹配数），并连接到张量理论，量子信息论和理论计算机科学的问题。用张量的语言表述，作为我们结果的直接结果，我们确定了任何张量的渐近子秩，并给出了上述超图的支持。在量子信息论的背景下，我们的结果相当于一个渐近最优的$k$方随机本地操作和经典通信（slocc）协议的问题，提取GHZ型纠缠的Dicke型纠缠的一个子族。
2019-05-08 cs.CC math.CO quant-ph
