We give a simple approximation algorithm for a common generalization of many previously studied extensions of the stable matching problem with ties. These generalizations include the existence of critical vertices in the graph, amongst whom we must match as much as possible, free edges, that cannot be blocking edges and $\Delta$-stabilities, which mean that for an edge to block, the improvement should be large enough on one or both sides. We also introduce other notions to generalize these even further, which allows our framework to capture many existing and future applications. We show that our edge duplicating technique allows us to treat these different types of generalizations simultaneously, while also making the algorithm, the proofs and the analysis much simpler and shorter then in previous approaches. In particular, we answer an open question by \cite{socialstable} about the existence of a $\frac{3}{2}$-approximation algorithm for the \smti\ problem with free edges. This demonstrates well that this technique can grasp the underlying essence of these problems quite well and have the potential to be able to solve countless future applications as well.
翻译:我们提供了一个简单的逼近算法,可以应用于许多之前研究过的同稳定匹配问题的推广版本。这些推广版本包括图中存在关键点的情况,在这些关键点中,我们必须尽可能地匹配,自由边无法成为阻碍边以及$\Delta$-稳定性。$\Delta$-稳定性意味着为了阻塞边,改进的一方或两方的改进应该足够大。我们还引入其他概念将这些推广进一步推广,从而使我们的框架能够涵盖许多现有和未来的应用。我们展示了我们的边缘复制技术如何使我们可以同时处理不同类型的推广,同时使算法、证明和分析比以前的方法更简单,更短。特别地,我们回答了\cite{socialstable}的一个未解决问题,即是否存在一个用于具有自由边的\smti\ 问题的$\frac{3}{2}$逼近算法。这很好地证明了这种技术可以很好地把握这些问题的基本要领,有潜力能够解决无数的未来应用。