特殊极大匹配构造的复杂性

On complexity of special maximum matchings constructing

R. R. Kamalian, V. V. Mkrtchyan

备注：: 12 pages, 8 figures. Discrete Mathematics, to appear
发表信息：: Discrete Mathematics, 2008, Vol 308/10 pp 1792-1800
DOI：: 10.1016/j.disc.2007.04.029

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对于二部图，证明了最大匹配存在性问题的NP-完全性，去掉最大匹配，图的最大匹配的基数具有给定的上（下）界。

英文摘要：

For bipartite graphs the NP-completeness is proved for the problem of existence of maximum matching which removal leads to a graph with given lower(upper)bound for the cardinality of its maximum matching.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

树中特殊最大匹配构造的两个多项式算法

Two polynomial algorithms for special maximum matching constructing in trees

对于任意树，本文研究了如何构造一个最大匹配，使图的最大匹配的基数最小化或最大化的问题，并给出了相应的多项式算法。

2007-07-16cs.DM

与特殊极大匹配构造有关的参数的上界

On upper bounds for parameters related to construction of special maximum matchings

对于图$G$，令$L(G)$和$l(G)$表示通过去除$G$的最大匹配而从$G$获得的图的最大和最小最大匹配的大小。我们表明，$L(G)\leq 2l(G),$和$L(G)\leq (3/2)l(G)$提供了$G$包含一个完美的匹配。我们还刻画了一类图，其中$L(G)=2l(G)$。我们的表征意味着存在一个多项式算法测试的属性$L(G)=2l(G)$。最后证明了一个包含完美匹配的图$G$是否满足$L(G)=(3/2)l(G)$是$NP$ -完全的.

2011-07-25cs.DMmath.CO

几乎正则图中的最大匹配

On maximum matchings in almost regular graphs

在2010年，Mkrtchyan，Petrosyan和Vardanyan证明了每个具有$2\leq δ(G)\leq Δ(G)\leq 3$的图$G$包含一个最大匹配，其不饱和顶点没有公共邻居，其中$Δ(G)$和$δ(G)$分别表示$G$中顶点的最大和最小度。在同一篇论文中，他们提出了以下猜想：每一个图$G$与$Δ(G)-δ(G)\leq 1$包含一个最大匹配，其不饱和顶点没有一个共同的邻居。最近，Picouleau用$Δ(G)=5$和$δ(G)=4$构造了一个二分反例$G$，从而证明了这个猜想是错误的。本文证明了对于图$G$，当$Δ(G)-δ(G)=1$和$Δ(G)\geq 4$满足时，该猜想是错误的;对于$r$ -正则图，当$r\geq 7$满足时，该猜想是错误的.

2012-08-10cs.DMmath.CO

匹配与拟阵问题的代数结构与算法（初版）

Algebraic Structures and Algorithms for Matching and Matroid Problems (Preliminary Version)

由Cunningham和Geelen（FOCS 1996）引入的基本路径匹配是拟阵交和非二部匹配的一种常见推广。本文的主要结果是基本路径匹配问题的一个新的代数刻画和一个在O（n^w）时间内构造基本路径匹配的算法，其中n是顶点数，w是矩阵乘法的指数。我们的算法是随机的，我们的方法假设给定的拟阵是线性的，可以表示在同一领域。我们的主要结果有几个特殊情况下的路径匹配问题的有趣的后果。对于拟阵的交，我们得到了一个运行时间为O（nr^（w-1））=O（nr ^1.38）的算法，其中拟阵有n个元素，秩为r.这改进了Gabow和Xu（FOCS 1989）提出的O（nr^1.62）的长期边界。此外，我们得到了一个简单的，纯代数算法的非二部匹配的运行时间为O（n^w）。这解决了Mucha和Sankowski（FOCS 2004）的核心开放问题。

2006-01-09cs.DMcs.DS

格雷码与对称链

Gray codes and symmetric chains

我们考虑的问题，构造一个循环列表的所有位串的长度$2n+1$与汉明重量的间隔$[n+1-\ell,n+\ell]$，其中$1\leq \ell\leq n+1$，通过翻转一个单一的位在每一步。这是著名的中间两个层次的问题（情况$\ell=1$）的一个广泛的推广。我们提供了一个解决方案的情况下，$\ell=2$，我们解决了一个宽松的版本的问题，一般值的$\ell$，通过构建周期因素，这些情况下。第一个结果的证明使用的词汇匹配介绍Kierstead和Trotter，我们推广到任意连续水平的超立方体。第二个结果的证明使用超立方体的对称链分解，这是偏序集理论中的一个概念。我们还提出了几个新的结构，这样的分解的基础上词汇匹配。特别地，我们构造了任意$n\geq 12$的$n$维超立方体的四个两两边不相交的对称链分解。

2021-10-29cs.DMmath.CO

基于稳定匹配的无货币机制设计

Mechanism Design without Money via Stable Matching

没有金钱的机制设计在社会选择文献中有着丰富的历史。由于Gibbard和Satterthwaite的强不可能定理，探索存在主导策略机制的领域是该领域的核心问题之一。我们提出了一个通用的框架，称为广义装箱问题（\gpp），研究机制设计问题没有支付。\gpp \具有丰富的结构，并包括许多作为特殊情况的经过充分研究的模型，例如，拟阵、匹配、背包、独立集和广义分配问题。我们采用近似机制设计的议程，其目标是设计一个真实的（或strategyproof）的机制，没有钱，可以在多项式时间内实现，并产生一个很好的近似社会最优解。研究了\gpp的几种特殊情况，给出了拟阵、匹配、背包和广义指派问题的常数逼近机制。我们对广义指派问题的结果解决了\cite{DG10}中提出的一个公开问题。我们的主要技术贡献是利用稳定匹配的方法，这是一个基本的解决方案的概念，在匹配市场的背景下，在应用到机制设计。稳定匹配，虽然概念上很简单，但提供了一套强大的工具来管理和分析参与代理的自利行为。我们的机制使用一个稳定的匹配算法作为一个关键组成部分，并采用其他方法，如随机抽样和在线机制。我们的工作也丰富了稳定匹配理论与一个新的背包约束匹配模型。

2011-04-14cs.DMcs.GT