首页/论文/1409.6952

arXiv 1409.69522014-09cs.DS

二部图最大$k$ -点覆盖的0.821-比率纯组合算法

A 0.821-ratio purely combinatorial algorithm for maximum $k$-vertex cover in bipartite graphs

Edouard Bonnet, Bruno Escoffier, Vangelis Paschos, Georgios Stamoulis

备注：: 25 pages, 2 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们在本文中的目标是提出一个\textit{combinatorial algorithm}，击败了唯一这样的算法，贪婪的。我们研究了多项式近似的最大顶点覆盖问题的二分图的纯组合算法，并提出了一个计算机辅助分析，发现最坏情况下的近似保证，是有界的~0.821。

英文摘要：

Our goal in this paper is to propose a \textit{combinatorial algorithm} that beats the only such algorithm known previously, the greedy one. We study the polynomial approximation of the Maximum Vertex Cover Problem in bipartite graphs by a purely combinatorial algorithm and present a computer assisted analysis of it, that finds the worst case approximation guarantee that is bounded below by~0.821.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

比率~0.7范围内二部图最大$k$ -点覆盖的组合逼近

Combinatorial approximation of maximum $k$-vertex cover in bipartite graphs within ratio~0.7

我们提出了一个\textit{purely combinatorial algorithm}的\mkvc{}在二部图，实现近似比~0.7。唯一的组合算法，目前已知的，直到现在这个问题是自然的贪心算法，实现比0.632，和一个简单的$2/3$ -近似算法在\cite{DBLP:journals/corr/BonnetEPS14}。

2015-03-10cs.DS

一种更快的最大二分匹配组合算法

A Faster Combinatorial Algorithm for Maximum Bipartite Matching

针对最大二分匹配快速算法是否必须依赖连续技术的问题，提出一种纯组合算法，在中等稠密图上性能优于现有经典算法，并拓展得到顶点容量一致的有向图最大顶点容量s-t流确定性算法。

2023-12-19cs.DS

近似有向最小度生成树的Pestrian组合算法

Purely Combinatorial Algorithms for Approximate Directed Minimum Degree Spanning Trees

给定一个有向图$G$，其上的$n$顶点具有一个特殊顶点$s$，有向最小度生成树问题需要计算一棵以$s$为根的传入生成树，该树的最大树入度在所有这样的树中是最小的。这个问题是NP困难的，因为它推广了哈密顿路径问题。最佳的基于LP的多项式时间算法可以实现$Δ^*+2$的近似[Bansal et al，2009]，其中$Δ^*$表示最佳最大树入度。对于纯组合算法（不使用LP的算法），最佳近似是$O(Δ^*+\log n)$ [Krishnan and Raghavachari，2001]，但运行时间是准多项式。在本文中，我们专注于纯组合算法，并试图弥合基于LP的方法和纯组合方法之间的差距。因此，我们提出了一个纯粹的组合多项式时间算法，也实现了$O(Δ^* + \log n)$近似。然后我们改进了这个算法，得到了一个$(1+ε)Δ^* + O(\frac{\log n}{\log\log n})$的任何常数$0<ε<1$近似在多项式时间。

2019-05-27cs.DS

基于组合算法的 $n^{2+o(1)}$ 时间最大二分图匹配

Maximum Bipartite Matching in $n^{2+o(1)}$ Time via a Combinatorial Algorithm

本文提出了一种随机化 $n^{2+o(1)}$ 时间的组合算法解决最大二分图匹配（MBM），在稠密图上匹敌了连续优化方法的性能，并扩展至最大顶点容量 $s$-$t$ 流问题。

2024-05-31cs.DS

具有恒定混合时间的组合特征

A Combinatorial Characterization of Constant Mixing Time

本文提出了一种新的组合特征，用于刻画具有恒定混合时间的图，该特征基于小集合二分密度条件，比谱半径条件更弱，但比小集合顶点扩展条件更强。

2025-12-01cs.DSmath.CO

层流族与度量嵌入：半流模型中的非二部最大匹配问题

Laminar Families and Metric Embeddings: Non-bipartite Maximum Matching Problem in the Semi-Streaming Model

本文研究了半流模型下的非二部最大匹配问题。最近，半流模型中的最大匹配问题受到了极大的关注。虽然对于二分图已经稍微很好地解决了该问题，但是用于非二分图的已知算法使用$2^{\frac1ε}$遍或$n^{\frac1ε}$时间来计算$(1-ε)$近似。在本文中，我们提供了第一个FPTAS（多项式在$n,\frac1ε$）的问题，这是有效的运行时间和通过的数量。我们还表明，我们可以估计的大小匹配$O(\frac1ε)$通过使用轻微的超线性空间。为了实现这两个结果，我们使用的结构特性的匹配多面体，如层紧集和总的对偶积分。该算法是迭代的，并基于分数包装和覆盖框架。然而，本文的公式需要指数地多个变量或约束。我们使用分层，度量嵌入和图稀疏化，以减少所需的算法之间和整个迭代的空间。这是第一次使用这些想法在半流模型来解决一个组合优化问题。

2011-04-20cs.DS

更多相关论文收起更多论文

二部超图的完美匹配

Finding Perfect Matchings in Bipartite Hypergraphs

Haxell条件是Hall条件的一个自然的超图模拟，Hall条件是二部图允许完美匹配的充分必要条件。也就是说，当Haxell条件成立时，它迫使二部超图中存在完美匹配。然而，与图中不同的是，没有已知的多项式时间算法来找到在满足Haxell条件时保证存在的超图完美匹配。我们证明了存在一个有效的算法，找到完美匹配的二部超图时，一个更强的版本的哈塞尔的条件。我们的算法可以被看作是一个推广的经典匈牙利算法在二分图中找到完美匹配。我们用来实现这一结果的技术可以更普遍地用于超图的不相交结构是至关重要的其他组合问题，例如集包装。

2016-12-05cs.DMcs.DS

开地址哈希编码插入平均时间的组合分析

A combinatorial analysis of the average time for open-address hash coding insertion

在分析一个著名的散列编码方法时，克努特给出了一个精确的表达式，表示了一个音乐椅变体的玩家遇到的平均拒绝次数。我们研究了一个更密切相关的音乐椅子本身的变体，并推导出相同的表达由一个纯粹的组合方法。

2012-08-29cs.DSmath.CO

基于子空间枚举的稠密二部图独立集近似计数

Approximately counting independent sets in dense bipartite graphs via subspace enumeration

本研究提出一种随机算法，为稠密正则二部图上的#BIS问题提供FPRAS，填补了低温稠密图近似计数的研究空白，方法基于子空间枚举与图的小集扩张性质，补充了组合优化领域的相关研究。

2023-07-18cs.DSmath.CO

二分相关聚类--最大化一致性

Bipartite Correlation Clustering -- Maximizing Agreements

在二分相关聚类（BCC）中，我们给出了一个具有“+”和“-”边的完全二分图$G$，我们寻求一个顶点聚类，该顶点聚类最大化协议的数量：簇内所有“+”边的数量加上所有跨簇的“-”边的数量。BCC被认为是NP难的。我们提出了一种新的近似算法$k$ -BCC，BCC的一个变种上界$k$的集群数量。我们的算法输出的$k$ -聚类，可证明实现了一些协议内的乘法${(1-δ)}$ -因素从最佳的，任何所需的精度$δ$。它依赖于解决组合约束双线性最大化的双邻接矩阵的$G$。它在$k$和$δ^{-1}$中以时间指数方式运行，但在输入大小方面是线性的。此外，我们表明，在（无约束）BCC设置，${(1-δ)}$近似可以实现由$O(δ^{-1})$集群，而不管图形的大小。反过来，我们的$k$ -BCC算法意味着一个有效的PTAS的BCC目标的协议最大化。

2016-03-09cs.DSstat.ML

最小最大相关聚类的快速组合算法

Fast Combinatorial Algorithms for Min Max Correlation Clustering

我们介绍快速算法相关聚类最小最大的目标，提供恒定因子近似完整的图形。我们的算法是第一个纯组合近似算法这个问题。我们构造了一个新的半度量的顶点集，我们称之为相关度量，这表明我们的聚类算法是否对节点应该在同一个集群。本文实证表明，与以前的工作相比，我们的算法牺牲很少的客观质量，以获得更好的运行时间。此外，我们的算法可以扩展到更大的网络，这些网络对于已知算法来说是非常棘手的。

2023-01-30cs.DMcs.DS

二分匹配的需求查询模型

The Demand Query Model for Bipartite Matching

我们引入了一个“具体的复杂性”模型，用于研究二分图中的匹配算法。该模型是基于“需求查询”模型用于组合拍卖。大多数（但不是所有）已知的二分匹配算法似乎都可以转化为这个模型，包括精确，近似，顺序，并行和在线算法。二分图中的完美匹配可以在这个模型中找到O（n^{3/2}）需求查询（在每边有n个顶点的二分图中），我们主要的开放问题是提高上限或证明下限。一个改进的上限可以产生“正常”的算法，其运行时间比已知的最快的算法更好，而一个下限将排除一个更快的算法，从一个大类的算法二分匹配。我们的主要结果是找到一个近似的最大尺寸匹配并行的下限：一个确定性算法，运行在n^{o（1）}轮，其中每轮可以使最多n^{1.99}需求查询无法找到匹配的大小是在最大的n^{o（1）}因子。这与随机算法相反，随机算法可以在O（\log n）轮中找到大小为最大值的$99\%$的匹配，每个轮进行n次需求查询。

2019-06-10cs.CCcs.DScs.GT

二部图的公平性最大二边圈计数

Fairness-aware Maximal Biclique Enumeration on Bipartite Graphs

最大二部图计数是二部图数据分析中的一个基本问题。现有的二分图枚举方法主要针对无属性二分图，也忽略了图属性的\emph{fairness}。本文首次将公平性的概念引入到双团模型中，研究了公平性感知的双团枚举问题。具体来说，我们提出了两个公平感知的biclique模型，分别称为\nonesidebc ~和\ntwosidebc ~。为了有效地枚举所有{ \nonesidebc }，我们首先提出了两个非平凡的修剪技术，称为公平的$α$ - $β$核心修剪和丰富多彩的公平的$α$ - $β$核心修剪，以减少图的大小，而不损失准确性。然后，我们开发了一个分支定界算法，称为\onesideFBCEM，枚举所有的单边公平二分图的约简二分图。为了进一步提高效率，我们提出了一个有效的分支定界算法与精心设计的组合枚举技术。请注意，我们所有的技术也可以扩展到枚举所有双边公平bicliques。我们还通过限制每个属性的顶点数与顶点总数的比率来扩展这两个公平感知的biclique模型，并提出相应的枚举算法。在五个大型真实世界数据集上的大量实验结果证明了我们的方法的效率，有效性和可扩展性。

2023-03-07cs.DBcs.DS

超平面图不同拓扑表示的有效生成

Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity

超越平面性专注于非平面图类的组合性质，这些非平面图允许在其边交叉上满足某些局部几何或拓扑约束的表示。除了研究特定图类的最大边密度外，文献中经常考虑的另一个参数是属于它的最大完全或完全二部图的大小。克服标准组合参数的限制，我们提出了一种技术，系统地生成完全和完全二部图的所有非同构拓扑表示，考虑到特定类别的约束。作为概念证明，我们将我们的技术应用于各种超平面类，并实现了上述参数的新的紧界。

2019-08-26cs.DMcs.DSmath.CO