距无环仅差若干顶点或边的障碍物
组合数学
2016-09-06 v1
摘要
图子式定理保证在子式序下的下理想中存在有限的障碍物集合。多年来已知原则上对大多数自然下理想可机械地计算障碍物集合。本文描述一种利用有界树宽(或有界路径宽)搜索来寻找障碍物的一般方法。我们通过基于两个著名问题 -{\sc Feedback Vertex Set} 与 -{\sc Feedback Edge Set} 刻画某些圈覆盖图族来说明该方法。我们的搜索基于若干可缓解大常数的算法策略,包括一种用于获得极小性证明的随机化策略。
引用
@article{arxiv.math/9502226,
title = {Obstructions to within a few vertices or edges of acyclic},
author = {Kevin Cattell and Michael J. Dinneen and Michael R. Fellows},
journal= {arXiv preprint arXiv:math/9502226},
year = {2016}
}
备注
16 pages