优化问题的判定版本：最大匹配的基数约束（下界）作为 CNF Horn 公式
计算机科学中的逻辑
2014-10-24 v4
摘要
我们提供了一种形式为 的下界公式，使得无权非二分图匹配的判定版本可以在多项式时间内求解。参数 随实例不同而变化。我们假设域、顶点集和边集是有序的。据我们所知，迄今为止尚未针对该问题或任何源自优化的判定问题开发出多项式时间可解的可满足性表达式。因此，对于此类问题，这开辟了一种求解它们的新途径。
引用
@article{arxiv.1407.1403,
title = {Decision versions of optimization problems: cardinality constraint (lower bound) as a CNF Horn formula for Maximum Matching},
author = {Prabhu Manyem},
journal= {arXiv preprint arXiv:1407.1403},
year = {2014}
}