Conjecture of TxGraffiti: Independence, domination, and matchings
TxGraxlet是一个自动化的图形化程序，以图形化不等式的形式产生图论图形。自2017年以来，第二作者编写和维护的这个程序受到了以前自动化编程程序的成功的启发，包括Fajtlowicz的GRAFFITI和DeLaViña的GRAFFITI.pc。在本文中，我们证明和推广的TxGraffic生成的几个图形时，提示猜想的\emph{independence number}，\emph{domination number}，和\emph{matching number}（和推广这些图形不变量）。此外，在一些情况下，我们还表明，这些图不变量的建议的不等式是尖锐的。
2021-04-02 math.CO
Erdös's Matching Conjecture and $s$-wise $t$-intersection Conjecture via Symmetrical Smoothing Method
本研究借助经小幅修正的对称平滑法，推导出不含ℓ匹配的n元组族最大基数公式（可简化为Erdös匹配公式），并证明了k元子集的最大s-wise t-相交族基数猜想。
2025-06-14 math.CO
Minimal number of edges in hypergraph guaranteeing perfect fractional matching and MMS conjecture, complete version
本文证明了Ahlswede-Khachatrian猜想~ \cite{1}的有限个情形，这些情形可以用现代计算机来检验.从这个猜想引出了~ \cite{2}猜想和Manickam-Miklós-Singhi猜想。本文由文献~ \cite{09}、~ \cite{08}合并而成。
2017-03-14 math.CO
On random stable matchings: cyclic matchings with strict preferences and two-side matchings with partially ordered preferences
考虑$r$等数量代理集的循环有序集合，每个代理都严格优先于下一个代理集的代理。弱稳定循环匹配是将代理集合划分为$r$长循环的不相交并集，每个循环来自每个集合的一个代理，使得不存在不稳定的$r$长循环，即每个代理在匹配中严格地偏好其后继者的循环。假设偏好是一致随机和独立的，我们表明，预期数量的稳定匹配的增长与$n$（每个代理集的基数）为$(n\log n)^{r-1}$。我们还考虑了一个二部稳定匹配问题，每个代理的偏好列表形成一个偏序集。每个偏序是若干个的交集，$k_i$为边$i$，独立，一致随机，严格的序。对于$k_1+k_2>2$，稳定匹配的预期数量被分析为三个逐渐增强的稳定性概念。弱稳定匹配的预期数量增长超指数快速。相反，对于$\min(k_1,k_2)>1$，具有至少一个强稳定（超稳定）匹配的实例的分数是超指数小的。
2019-11-18 math.CO
Proof of Grinblat's conjecture on rainbow matchings in multigraphs
组合数学中许多著名的问题都可以归结为在某个边色重图中寻找一个大的彩虹结构。两个著名的例子，这是林格尔的树包装猜想和莱瑟的猜想横在拉丁方。在本文中，我们回答了格林布拉特20年前提出的一个问题。设一个$(n,v)$ -重图是一个$n$ -边着色重图，其中每种颜色的边跨越一个非平凡团的不交并，这些团总共至少有$v$顶点. Grinblat指出，对于所有$n \geq 4$，每个$(n,3n-2)$ -多重图都包含大小为$n$的彩虹匹配。在这里，我们证明了所有足够大的$n$的猜想。
2021-10-04 math.CO
Asymptotics of the Upper Matching Conjecture
我们给出了在（i）具有指定度$d_x$（$x\in X$）的二部图$G=(X\cup Y, E)$，和（ii）具有指定度的一般图$G=(V,E)$中，大小为$\ell$的匹配数$Φ_\ell(G)$的上界.特别是，对于$d$ -正则，$N$ -顶点图，我们的界是最好的可能的误差因子的形式$\exp[o_d(1)N]$，其中$o_d(1) \rightarrow 0$作为$d \rightarrow \infty$。这代表了Friedland、Krop、Lundow和Markström的“上匹配猜想”迄今为止的最佳进展。还提出了一些进一步的可能性。
2012-05-19 math.CO
A proof of the Upper Matching Conjecture for large graphs
我们证明了Friedland、Krop和Markström的“上匹配猜想”以及Kahn关于正则图中独立集的类似猜想对于所有足够大的图都是度的函数。也就是说，对于每一个$d$和每一个足够大的$n$可被$2d$整除，完全$d$ -正则二部图的$n/(2d)$副本的并集最大化了$n$顶点上的所有$d$-正则图上的每个$k$的独立集和大小为$k$的匹配的数量。为了证明这一点，我们利用集团展开的统计物理自旋模型的正则系综，我们给出了一些进一步的应用，这种方法的最大化和最小化的独立集的数量和匹配的给定大小的正则图给定的最小围长。
2021-07-29 math.CO
Integrality in the Matching-Jack conjecture and the Farahat-Higman algebra
利用Jack多项式，Goulden和Jackson引入了二分映射生成序列的单参数变形$τ_b$，推广了随机矩阵$β$ -系综的分拆函数. Matching-Jack猜想表明，幂和基中的函数$τ_b$的系数$c^λ_{μ,ν}$是变形参数$b$的非负整数多项式。Doggeligga和Féray在2016年证明了匹配杰克猜想中的“多项式”部分，即系数$c^λ_{μ,ν}$在$\mathbb{Q}[b]$中。本文证明了“完整性”部分，即系数$c^λ_{μ,ν}$在$\mathbb{Z}[b]$中.这个证明是基于作者最近的一项工作，该工作从Chapuy和Doppauga在2020年建立的$b$ -猜想的模拟结果中推导出了边缘和的匹配杰克猜想。在证明的一个关键步骤涉及到一个新的连接与分次法拉哈特-Higman代数。
2022-11-30 math.CO
Descending the Stable Matching Lattice: How many Strategic Agents are required to turn Pessimality to Optimality?
稳定匹配集诱导出一个分配格。稳定匹配格的上确界是男孩最优（女孩悲观）稳定匹配，下确界是女孩最优（男孩悲观）稳定匹配。经典的boy建议延迟接受算法返回格的上确界，即boy最优稳定匹配。在本文中，我们研究了最小的一组女孩，称为{ \em最小获胜联盟的女孩}，可以采取战略行动，但独立的，迫使男孩的建议推迟接受算法输出的女孩最佳稳定匹配。我们的特点是最小的获胜联盟在稳定的匹配旋转，并表明其基数可以采取任何值之间的$0$和$\left\lfloor \frac{n}{2}\right\rfloor$，例如与$n$男孩和$n$女孩。我们的主要结果是，对于随机匹配模型，最小获胜联盟的期望基数是$(\frac{1}{2}+o(1))\log{n}$。这解决了Kupfer \cite{Kup18}的一个猜想。
2021-07-11 math.CO
Lower matching conjecture, and a new proof of Schrijver's and Gurvits's theorems
Friedland的下匹配猜想断言，如果$G$是$v(G)=2n$-正则二部图，且$m_k(G)$表示$k$大小的匹配数，则有$$m_k(G)\geq {n \choose k}^2\left(\frac{d-p}{d}\right)^{n(d-p)}(dp)^{np},$$，其中$p=\frac{k}{n}$ .当$p=1$，这个猜想减少到Schrijver定理说，$d$-正则二部图的$v(G)=2n$顶点至少有$$\left(\frac{(d-1)^{d-1}}{d^{d-2}}\right)^n$$完美匹配。L. Gurvits证明了下匹配猜想的一个渐近版本，即他证明了$$\frac{\ln m_k(G)}{v(G)}\geq \frac{1}{2}\left(p\ln \left(\frac{d}{p}\right)+(d-p)\ln \left(1-\frac{p}{d}\right)-2(1-p)\ln (1-p)\right)+o_{v(G)}(1).$$在本文中，我们证明了下匹配猜想。事实上，我们将证明一个稍微更强的陈述，它给出了一个额外的$c_p\sqrt{n}$因子相比，如果$p$是分开的$0$和$1$的猜想，并紧到一个常数因子，如果$p$是分开的$1$。我们还将给出Gurvits和Schrijver定理的一个新的证明，并将这些定理推广到$(a,b)$ --双正…
2017-04-12 math.CO
Generalizations of the Erdős Matching Conjecture for the $t$-Matching Number
Renmin University of China（中国人民大学）；Tsinghua University（清华大学）
研究\(k\)-均匀超图中规定\(t\)-匹配数时超边的最大数量，给出埃尔德什匹配猜想的超图类似物，确定第二大最大结构，还得到广义克内泽尔图的极值\(G\)-自由诱导子图。
2026-07-14 math.CO
On random exchange-stable matchings
考虑一组$n$男性和$n$女性，每个人都有自己的潜在婚姻伴侣偏好列表。稳定的婚姻是一种双方匹配，这样没有不匹配的一对（男人，女人）在匹配中更喜欢对方。它的非二部版本，具有偶数个$n$成员，被称为稳定室友问题。何塞·阿尔卡尔德（Jose Alcalde）提出了另一种交换稳定的单边匹配概念：在匹配中，没有两个成员会喜欢对方的伴侣而不是自己的伴侣。Katarina Cechlárová和David Manlove证明了e-稳定匹配判定问题对于两种匹配都是$NP$ -完全的。证明了e-稳定匹配的期望数在双边情形下渐近于$\left(\frac{πn}{2}\right)^{1/2}$，在单边情形下渐近于$e^{1/2}$.然而，该数值的标准差超过了$1.13^n$，（分别为$1.06^n$）。作为一个明显的副产品，存在至少具有$1.13^n$（分别为$1.06^n$）的偏好列表的实例。稳定匹配不存在稳定和e稳定匹配的概率至少为$1-e^{-n^{1/6+o(1)}}$，（分别为$1-O(2^{-n/2})$）。
2017-07-23 math.CO
Stable multivariate generalizations of matching polynomials
本文的第一部分讨论了多元匹配多项式的稳定平均。在证明二分Ramanujan $d$ -覆盖的无限族的存在性时，Hall，Puder和Sawin引入了图$G$的$d$ -匹配多项式，定义为$G$的$d$ -片覆盖图集合上匹配多项式的一致平均。我们证明了自然多元版本的$d$ -匹配多项式是稳定的，从而给出了一个简短的直接证明的实根性的$d$ -匹配多项式。我们的定理还包括具有循环的图，从而回答了上述作者的一个问题。此外，我们定义了一个较弱的超图匹配的概念，并证明了一族自然多项式与这样的匹配是稳定的。特别是这提供了一个超图推广的经典海尔曼-李伯定理。
2019-05-08 math.CO
On some perfect matching conjectures in infinite, cubic, bridgeless graphs
本文研究Berge-Fulkerson等三个关于完美匹配的著名猜想在无限无割边立方图中的有效性，类比有限情形确立其蕴含关系，并证明各猜想的有限与无限版本等价。
2026-08-03 math.CO
On the set of stable matchings of a bipartite graph
二部图中的稳定匹配（婚姻）的话题已经变得非常流行，从Gale和Shapley的经典作品开始。我们给出了一个详细的调查，在这一领域，证明结构，多面体和算法的性质，这样的匹配和他们的集合，提供我们的描述与相对较短的证明。
2023-01-10 math.CO
Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor products
本文研究双部张量积中的完美匹配问题，证明了某些特殊情况，并将猜想1转化为矩阵不等式，进一步证明了该不等式的特殊情况。
2026-03-18 math.CO
On likely solutions of the stable matching problem with unequal numbers of men and women
根据Ashlagi，Kanoria和Leshno最近的一项工作，我们研究了一个稳定的匹配问题，男女人数不等，独立的统一偏好。得到了稳定匹配的期望数和丈夫总秩范围及妻子总秩范围内的一点集中概率的渐近公式。
2017-02-13 math.CO
Rainbow version of the Erd\H os Matching Conjecture via Concentration
我们说$[n]$的$k$元素子集的家族$\mathcal F_1,\ldots, \mathcal F_{s+1}$是交叉依赖的，如果没有成对不相交的集合$F_1,\ldots, F_{s+1}$，其中$F_i\in \mathcal F_i$对于每个$i$。彩虹版本的Erd \H os匹配猜想由于Aharoni和霍华德和独立的黄，Loh和Sudakov国家，$\min_{i} |\mathcal F_i|\le \max\big\{{n\choose k}-{n-s\choose k}, {(s+1)k-1\choose k}\big\}$为$n\ge (s+1)k$。本文对$n>3e(s+1)k$和$s>10^7$证明了这个猜想。证明的主要工具之一是Frankl和作者提出的一个浓度不等式。
2022-05-12 math.CO
Deranged matchings: proofs and conjectures
我们介绍，并部分解决，一个猜想，带来了一个三个世纪的错乱现象和它的年轻得多的二十年的老类似物在同一伞下。从图论的角度来看，无序是完全二部图$K_{n,n}$中的完美匹配，其中去除了不相交的完美匹配$M$。类似地，无序匹配是完全图$K_{2n}$中的完美匹配减去完美匹配$M'$。使用$\mathrm{pm}(\cdot)$计数完美匹配，老年现象的形式为$\mathrm{pm}(K_{n,n}-M)/\mathrm{pm}(K_{n,n})\to 1/e$作为$n\to\infty$，而其年轻的类似物为$\mathrm{pm}(K_{2n}-M')/\mathrm{pm}(K_{2n})\to 1/\sqrt{e}$。这些起始图都是$2n$ -顶点“平衡完全$r$ -部分”图$K_{r \times {2n}/{r}}$，分别具有$r=2$和$r=2n$ .我们猜想$\mathrm{pm}(K_{r\times{2n}/r}-M)/\mathrm{pm}(K_{r\times{2n}/r})\sim e^{-r/(2r-2)}$是$n\to\infty$，并建立了它的几个实质特例.仅举两个例子，$r=3$产生极限$e^{-3/4}$，而$r=n$再次产生$e^{-1/2}$。我们的工具将组合学和分析融合在一个混合体中，其中包含排斥和制革定理。
2022-10-30 math.CO
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
本文研究三个完美匹配之并的多重图，证明在a1+a2+a3≤n-2时存在与各匹配交为指定大小的匹配，并猜想二部图情形可将界改进为n-1，同时提出Ryser-Brualdi-Stein猜想的颜色重数推广。
2023-06-01 math.CO
Remarks on the Erdős Matching Conjecture for Vector Spaces
在1965年，Paul Erdans提出了关于$\{ 1, \ldots, n \}$中$k$ -集的最大家族$Y$的问题，使得$Y$不包含$s+1$成对不交集。这个问题通常被称为Erdans匹配猜想。我们研究了这个问题的$q$ -类比，即我们想确定$\mathbb{F}_q^n$中$k$ -空间的最大族$Y$的大小，使得$Y$不包含$s+1$成对不相交的$k$ -空间.在这里，我们称两个子空间不相交，如果他们相交平凡。我们的主要结果是，稍微简化，如果$16 s \leq \min\{ q^{\frac{n-k}{4}},$ $q^{\frac{n-2k+1}{3}} \}$，那么$Y$是小的或相交的家庭的联合。因此，我们显示了这个范围的Erd \H{os}匹配猜想。证明使用的方法由于Metsch。我们也讨论建筑。特别是，我们表明，对于较大的$s$，有大的例子，这是在大小上接近相交的家庭联盟，但结构不同。作为一个应用，我们讨论了向量空间的Erdums匹配猜想和Cameron-Liebler线类（及其到$k$ -空间的推广）之间的密切关系，这是近30年来有限几何中的一个热门话题.更具体地说，我们提出了Erdés匹配猜想（向量空间）作为一个有趣的变化的经典研究Cameron-Liebler线类。
2020-07-20 math.CO
Covering a cubic graph by 5 perfect matchings
Berge猜想指出，每个无桥立方图都有5个完美匹配，使得每个边至少包含在其中一个中。本文证明了Berge猜想对两类三次图成立，一类是只缺一个顶点的圈的三次图，另一类是2-因子由两个圈组成的无桥三次图。这一结果的第一部分意味着Berge猜想对亚哈密尔顿三次图成立。
2016-02-29 math.CO
A proof for Padberg's conjecture on rank of matching polytope
Padberg介绍了（混合）整数有理多面体的几何秩的概念，并证明了匹配多面体的几何秩是1。在这项工作中，我们证明了这个猜想是正确的。
2013-09-05 cs.DS math.CO
The top-degree part in the Matchings-Jack Conjecture
1996年，Goulden和Jackson引入了一个系数族$( c_{π, σ}^λ ) $，该系数族由划分的三元组索引，这些划分出现在Jack对称函数$( J^{(α)}_π)$的某些Cauchy和的幂和展开中。系数$ c_{π, σ}^λ $可以看作是类代数和双陪集代数的结构常数之间的插值。Goulden和Jackson提出，系数$ c_{π, σ}^λ $是变量$β:= α-1$中的多项式，具有非负整数系数，并且在它们后面隐藏着匹配的组合学。此\emph{Matchings-Jack Conjecture}保持打开状态。Dogs \oldk{e} ga和Féray证明了联系系数$c^λ_{π,σ}$的多项式性，并给出了次数的上界.我们给出了多项式$ c_{π, σ}^λ$达到这一界的充要条件。我们证明了$ c_{π, σ}^λ$的首项系数是一个正整数，我们提出它的背景下的匹配杰克猜想的Goulden和Jackson。
2018-03-25 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
Disjoint odd circuits in a bridgeless cubic graph can be quelled by a single perfect matching
设$G$是一个无桥三次图. Berge-Fulkerson猜想（1970年代）指出，$G$允许一个六个完美匹配的列表，使得$G$的每条边恰好属于这些完美匹配中的两个。如果答案是肯定的，那么最近的另外两个猜想也是正确的：Fan-Raspaud猜想（1994），它指出$G$允许三个完美匹配，使得$G$的每条边最多属于其中的两个; Mazzuoccolo猜想（2013），它指出$G$允许两个完美匹配，它们的删除产生$G$的一个二部子图。它可以表明，给定一个任意完美匹配的$G$，它并不总是可能将其扩展到一个列表的三个或六个完美匹配满足声明的Fan-Raspaud和Berge-Fulkerson的配置，分别。本文证明了：给定$G$的任意一个$1^+$ -因子$F$（$G$的一个生成子图，其顶点的度至少为1）和$G$的任意一条边$e$，总存在$G$的一个完美匹配$M$，其中包含$e$，使得$G\setminus (F\cup M)$是二部的.我们的结果暗示了Mazzuoccolo猜想，但不仅如此。它还意味着，给定$G$中不相交奇电路的任何集合，存在$G$的完美匹配，该完美匹配包含该集合中每个电路的至少一个边缘。
2022-12-29 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
Connected matching in graphs with independence number two
本文研究独立数为2的图中的连通匹配猜想，通过分析反例的结构性质，证明 Füredi 等人的猜想在 $t\leq22$ 时成立。
2024-09-08 math.CO
Stable matching in a common generalization of the marriage and assignment models
在双边匹配市场理论中，有两个著名的模型：婚姻模型（不涉及金钱）和分配模型（涉及支付）。Roth和Sotomayor（1990）要求解释这两种模型之间行为的相似性。我们通过引入一个通用的推广来解决这个问题，该推广保留了两个重要的特征：稳定结果的存在性和稳定结果集的格属性。
1998-01-21 math.CO
On the rainbow matching conjecture for 3-uniform hypergraphs
Aharoni和Howard，以及Huang、Loh和Sudakov分别提出了Erdabos匹配猜想的彩虹版本：对于正整数$n,k,m$和$n\ge km$，如果每个$F_1,\ldots, F_m\subseteq {[n]\choose k}$族的大小都大于$\max\{\binom{n}{k} - \binom{n-m+1}{k}, \binom{km-1}{k}\}$，则存在两两不相交的子集$e_1,\dots, e_m$，使得对于所有$i\in [m]$都有$e_i\in F_i$。我们证明了存在一个绝对常数$n_0$，使得这个彩虹版本对$k=3$和$n\geq n_0$成立。我们将彩虹匹配问题转化为一个特殊超图$H$上的匹配问题。然后，我们结合了几个现有的技术匹配均匀超图：找到一个吸收匹配$M$在$H$ ;使用阿隆等人的随机化过程。找到一个几乎正则子图的$H-V(M)$ ;并找到一个几乎完美的匹配在$H-V(M)$。为了完成这个过程，我们还需要证明一个关于3-一致超图中匹配的新结果，这个结果可以被看作是Jumuczak和Mieczkowska的结果的稳定性版本，并且可能是独立的。
2021-09-29 math.CO
Rainbow paths and large rainbow matchings
前两位作者的一个猜想是，在任何图中，大小为$n$的$n$匹配都有大小为$n-1$的彩虹匹配。证明了$\frac{2}{3}n-1$的一个下界，改进了平凡的$\frac{1}{2}n$，并对超图给出了类似的结果.对于$\{C_3,C_5\}$ -free图和不交匹配，我们得到了$\frac{3n}{4}-O(1)$的一个下界.我们还讨论了一个关于彩虹交替路径的猜想，如果这个猜想成立，将给出$n-\sqrt{2n}$的一个下界。我们证明了这个猜想的非交替（普通路径）版本。
2021-10-07 math.CO
A tris of perfect matchings in bridgeless claw-free cubic graphs
L-Università ta’ Malta（马耳他大学）
本文证明了Fan--Raspaud猜想对无桥无爪三次图成立，即存在三个完美匹配交集为空，并提供了与5-圈双覆盖猜想相关的信息。
2026-09-24 math.CO
Compatible Geometric Matchings
本文研究非交叉几何完美匹配。两个这样的完美匹配是\emph{compatible}，如果它们有相同的顶点集，并且它们的并集也是非交叉的。我们的第一个结果表明，对于同一组$n$点的任何两个完美匹配$M$和$M'$，对于某些$k\in\Oh{\log n}$，存在一个完美匹配序列$M=M_0,M_1,...,M_k=M'$，使得每个$M_i$与$M_{i+1}$兼容。这改进了$k\leq n-2$的先前最佳界。然后我们研究猜想：\emph{every perfect matching with an even number of edges has an edge-disjoint compatible perfect matching}。我们引入了一个序列的更强的代数，暗示这个猜想，并证明了最强的完美匹配的情况下，由垂直和水平段的这些代数。最后，我们证明了每一个完美匹配的$n$边缘有一个边缘不相交相容匹配的近似$4n/5$边缘。
2008-01-16 math.CO
A proof of the 3-Decomposition Conjecture
Renmin University of China（中国人民大学）
本研究证明3-分解猜想，通过次立方图匹配补集新定理，经归纳推导依次得到2-分解猜想等结论，解决相关图论分解问题。
2026-10-23 math.CO
Special Matchings, Brenti's Conjecture, and the Combinatorial Invariance Conjecture
Università degli Studi di Bologna（博洛尼亚大学）；Università Politecnica delle Marche（马尔凯理工学院）
本文完全刻画了A型Coxeter群中任意Bruhat区间的特殊匹配，并应用此结果证明了Brenti关于通过特殊匹配计算Kazhdan-Lusztig R-多项式的猜想，为组合不变性猜想提供了新证据。
2026-06-11 math.CO math.RT
On a conjecture for the signless Laplacian spectral radius of cacti with given matching number
一个连通图$G$是一个仙人掌，如果它的任何两个圈最多有一个公共顶点。设$\ell_n^m$是$n$顶点上的仙人掌的集合，其匹配数为$m.$ S. C。Li和M. J. Zhang用$n=2m$确定了$\ell_n^m$中所有仙人掌中具有最大无符号拉普拉斯谱半径的唯一图.在本文中，我们刻画的情况下$n\geq 2m+1$。这证实了Li和Zhang（S.C. Li，M. J. Zhang，On the signless Laplacian index of Cacti with a given number of pendant vetices，线性代数应用436，2012，4400--4411）.进一步，我们刻画了在$n$顶点上所有仙人掌中具有最大无符号拉普拉斯谱半径的唯一图.
2015-11-21 math.CO
Generating series of non-oriented constellations and marginal sums in the Matching-Jack conjecture
Goulden和Jackson利用带匹配超映射的描述，给出了根二部映射生成列的带状多项式表示式。我们推广这种方法的情况下，最近推出的Chapuy和Doppelioga的星座上的非定向表面。证明中的一个关键步骤是用匹配元组对星座进行编码。我们考虑一个单参数变形的生成序列的星座使用杰克多项式，我们引入的系数$c^λ_{μ^0,...,μ^k}(b)$这些功能的扩展在幂和基础。这些系数由$k+2$整数分区和变形参数$b$索引，并且可以被认为是由Goulden和Jackson引入的连接系数的$k\geq1$的推广。我们证明，当我们采取一些边际和，这些系数枚举$b$加权$k$ -匹配元组。这可以被看作是Chapuy和Dopuzza最近关于星座的一个结果的“无根”版本。对于$k=1$，这给出了Goulden和Jackson匹配杰克猜想的部分答案。Lassale对系数$θ^{(α)}_μ(λ)$提出了一个正性猜想，定义为幂和基中Jack多项式$J_λ^{(α)}$的系数。我们利用本文的第二个主要结果，在剖分$λ$为矩形的情况下，给出了这个猜想的一个证明。
2021-06-29 math.CO
Erdős Matching Conjecture for almost perfect matchings
在1965年Erdibs问，什么是一个家庭的$k$-元素子集的$n$ -元素集，没有一个匹配的大小$s+1$？本文改进了Frankl最近的一个结果，并解决了$s>101k^{3}$和$(s+1)k\le n<(s+1)(k+\frac{1}{100k})$的这个问题.
2022-12-18 cs.DM math.CO
Three matching intersection property for matching covered graphs
该研究在匹配覆盖图上探讨三匹配交集性质（3PM性质），给出充要条件，并应用于刻画Halin图和4-正则图等特殊图类。
2018-01-07 math.CO
Bipartite graphs with uniquely restricted maximum matchings and their corresponding greedoids
图G中的极大独立集是具有极大尺寸的独立集。S是一个局部极大值独立集，如果它是由S和N（S）的并所张成的G的子图的一个极大独立集，其中N（S）是S的邻域.一个匹配图M是唯一受限的，如果它的饱和顶点导出一个子图，该子图具有唯一完美匹配，即M本身。Nemhauser和Trotter Jr.的一个定理，作为加权最大稳定集问题的一个有用的局部最优性条件，保证了G的任何局部极大值独立集都可以扩大为G的一个极大独立集.在我们以前的一篇论文中，我们证明了森林的所有局部极大值稳定集的族在其顶点集上形成一个广义拟阵。本文推广了这一论断，证明了二部图G的所有局部极大值稳定集的族是一个广义拟阵当且仅当G的所有极大匹配是唯一限制的.
2000-11-21 math.CO
Short proofs of rainbow matching results
边着色图的一个子图称为彩虹，如果它的所有边都有不同的颜色。彩虹子图的研究可以追溯到欧拉关于拉丁方的工作，并一直是广泛研究的焦点。这方面的许多著作大致说，“某种类型的每一个边着色图都包含一个使用每一种颜色匹配的彩虹”。在本文中，我们介绍了一个通用的“抽样技巧”，它使我们能够获得简短的证明旧的结果，以及解决渐近一些众所周知的programmures。- 我们给出了Pokrovskiy的渐近版本的Aharoni-Berger猜想的一个简单的证明，大大改善了误差项。- 我们给出了“非二分”Aharoni-Berger猜想的第一个渐近证明，解决了Aharoni，Berger，Chudnovsky和Zerbib的两个猜想。- 我们给一个很短的渐近证明格林布拉特猜想（首先获得克莱门斯，Eschermüller，和Pokrovskiy）。此外，我们还得到了Grinblat问题的一个新的渐近紧界作为相应的重图的边重数的函数。- 我们给第一个渐近证明的一个30岁的猜想Alspach。
2021-09-02 math.CO
On a conjecture of Stein
Stein提出了如下猜想：如果将$K_{n,n}$的边集划分为$n$集，每个集的大小为$n$，则存在大小为$n-1$的部分彩虹匹配。他证明了存在大小为$n(1-\frac{D_n}{n!})$的部分彩虹匹配，其中$D_n$是$[n]$的排列数。这意味着存在大小约为$(1- \frac{1}{e})n$的部分彩虹匹配。使用拓扑版本的霍尔定理，我们改进了这个界$\frac{2}{3}n$。
2016-05-06 math.CO
A generalization of Erdős' matching conjecture
设$\mathcal{H}=(V,\mathcal{E})$是一个$n$-一致超图，且固定一个正整数$k$使得$1\le k\le r$ . $\mathcal{H}$的$k$ - \emph{matching}是边$\mathcal{M}\subset \mathcal{E}$的集合，使得基数等于$k$的$V$的每个子集最多包含在$\mathcal{M}$的一个元素中。$\mathcal{H}$的$k$匹配数是$k$匹配的最大基数。一个著名的问题，由Erdens提出，要求在一个$r$ -一致超图的$1$ -匹配数的约束下，它的边的最大数目.在这篇文章中，我们研究了在$k$ -匹配数严格小于$a$的约束下，确定$n$上的$r$ -一致超图的最大边数的更一般的问题.这个问题也可以看作是一个推广，众所周知，$k$交叉问题。我们提出了解决这个问题的候选超图，并证明了当$n\ge 4r\binom{r}{k}^2\cdot a$。
2017-10-12 math.CO
Results and open problems in matchings in regular graphs
本文研究了正则图中关于$N$顶点的$k$ -匹配数的上下界.对于上界，我们回顾了上匹配猜想，这是已知的完美匹配。对于下界，我们首先调查了二部图的已知结果，以及它们的连续版本，如van der Waerden和Tverberg永久图及其变体。然后我们讨论非二部图。除了最近证明的关于立方无桥图中完美匹配的指数增长性的Lovász-Plummer猜想之外，我们所知甚少。讨论了矩阵凸集上的最小哈夫尼数问题，其极值点是完美匹配所对应的完全图的子图的邻接矩阵。我们还考虑了无限正则图。$k$ -匹配的类似物是$p$ -单体熵，其中$p\in [0,1]$是匹配数的密度.
2012-01-05 math.CO
Stable matchings, choice functions, and linear orders
本文提出在二分图中，企业偏好由选择函数、工人偏好由线性序给出的稳定匹配模型，给出旋转结构描述及 $O(|E|^2)$ 算法，并实现紧凑仿射表示。
2025-01-27 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
Validations of the Asymptotic Matching Conjectures
本文综述了$r$ -正则二部图的渐近匹配图，以及它们在估计$d$ -维整数格和Bethe格的单体-二聚体熵中的联系.我们证明了新的严格的上限和下界的单体-二聚体熵，支持这些programmures。我们描述了一个一般的建设无限家庭的$r$ -正则环面图，并给出算法计算密度$p$，任何$p\in [0,1]$，这些图的单体-二聚体熵。最后，我们利用环面图来检验某些无限$r$ -正则二部图的渐近匹配图。
2008-04-11 math-ph math.CO math.MP
Saturating stable matchings
我把二部图匹配与稳定匹配联系起来。我证明了饱和稳定匹配的存在的一个充分必要条件，其中每一个代理的一方是匹配的，所有可能的偏好。我将我的分析扩展到完美稳定匹配，其中双方的每个代理都匹配。
2021-03-28 cs.GT econ.TH math.CO
A new approach to bipartite stable matching optimization
针对二分稳定匹配优化问题，提出基于强多项式网络流的算法计算ℓ个不相交且总成本最小的稳定匹配，通过将其表示为有向图割或偏序集反链，结合相关定理，还得到覆盖所有稳定边的极小-极大公式。
2025-11-13 cs.DS cs.GT math.CO
Matching Theory and Barnette's Conjecture
Barnette猜想认为所有三次3连通平面二部图都是Hamilton图。我们给这个猜想到匹配理论设置的翻译。这使得我们可以放松对平面性的要求，给出等价的猜想，即所有三次、3连通、普夫图、二部图都是哈密尔顿图。一个图，除了长度为3的路之外，如果它是二分的，并且任何两个不相交的边是完美匹配的一部分，则它是一个花括号。我们的观点使我们能够观察到，巴内特猜想可以减少到立方，平面括号。我们展示了一个类似的减少大括号三次，3-连通，二部图关于四个更强的版本的哈密顿。注意，在这些情况下，我们不需要平面性。作为这些结果的一个实际应用，我们对Holton等人[哈密顿圈在三次三连通二部可平面图中，JCTB，1985]中发现的三次三连通平面二部图的生成过程作了一些补充.这些允许我们检查我们生成的图是否是一个大括号。
2022-08-15 cs.DM math.CO
An Elementary Integrality Proof of Rothblum's Stable Matching Formulation
本文给出了二部图中稳定匹配的关联向量凸包的Rothblum线性描述的完整性的一个简短的新证明。在迭代舍入证明的精神，我们的证明的主要特点是表明，极值点的制定必须有一个0，1-组件。
2016-09-23 cs.DM math.CO
Beyond the Erdős Matching Conjecture
一个家族$\mathcal F\subset {[n]\choose k}$是对于任何$|F_1\cup\ldots\cup F_s|\le q$的$F_1,\ldots, F_s\in \mathcal F$的$U(s,q)$。这个概念将族的性质推广为$t$ -相交，并且匹配数小于$s$。在本文中，我们找到了最大的$|\mathcal F|$的$\mathcal F$是$U(s,q)$，提供$n>C(s,q)k$与中等$C(s,q)$。特别是，我们推广的结果，第一作者的Erdibs匹配猜想，并证明了推广的Erdibs-Ko-Rado定理，其中规定，$n> s^2k$的最大的家庭$\mathcal F\subset {[n]\choose k}$的性质$U(s,s(k-1)+1)$是明星，特别是相交。（相反，很容易看出${[n]\choose k}$中的任何交叉族都是$U(s,s(k-1)+1)$。）我们调查的情况下$k=3$更彻底，表明，不像在情况下的Erdibs匹配猜想，在一般情况下可能有$3$极值家庭。
2020-12-28 cs.DM math.CO
At most $3.55^n$ stable matchings
我们将$n$工作和$n$申请者之间的最大可能稳定匹配数的上界从$131072^n+O(1)$提高到$3.55^n+O(1)$。为了建立这个界限，我们提出了一种新的熵界限公式，这种熵界限易于应用，并且可能在计算其他组合对象时具有独立的兴趣
2021-06-03 cs.DM math.CO
Cuts in matchings of 3-connected cubic graphs
本文讨论了三次图的哈密尔顿性（Tait，Barnette，Tutte），平面定向图的二色数（Neumann-Lara），以及收缩是强连通的有向图的偶图（Hochstättler）。我们表明，所有这些都适合到相同的框架有关削减匹配。这使我们能够找到一个反例的猜想Hochstättler和显示，猜想的诺伊曼-劳拉举行的所有可平面图在最多26个顶点。最后，我们陈述了一个关于二部立方定向图的新猜想，这个猜想在这种情况下自然产生。
2018-09-07 cs.DM math.CO
