.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
我们考虑一个算法决策问题，其输入为一个具有n个顶点、k-正则的m-共同度至少为m-c的超图H，并判定其是否存在大小为m的匹配。我们证明，该决策问题关于参数c是固定参数可解的。此外，我们的算法不仅能解决该问题，实际上还能找到大小为m的匹配，或证明不存在这样的匹配。特别地，当m=n/k且c=O(log n)时，这给出一个多项式时间算法，该算法对于任何具有n个顶点、k-正则且m-共同度至少为n/k-c的超图H，都能找到H中的一个完美匹配，或证明不存在完美匹配。
Keyword:
Perfect matching
Fixed-parameter tractable algorithm
期刊
A
IF:
1.4
论文数:
43
被引数:
1.1K
机构
引用论文
暂无论文信息