Bodlaender，Hans L。 在不相交循环上。 （英语） Zbl 0803.05030号 发现的国际期刊。计算。科学。 5，第1号，59-68（1994）. 对于每一个（k\geq2），给出了一个线性时间算法，该算法决定图（G）是否包含（k）个顶点（或边）不相交圈，如果包含，则输出这些圈。否则（在顶点不相交循环的情况下），算法会找到一个大小为（leq 12k^2-27k+15）的反馈顶点集，给出树宽为（leq12k^2-27k+16）的树分解。反馈顶点集的大小不是最佳的：P.Erdős公司和洛佩萨[Can.J.Math.17，347-352（1965；Zbl 0129.399）]表明，每个图要么具有顶点不相交圈，要么具有大小为（O（k\log k）的反馈顶点集。每个（k\geq 2）的有界树宽的树分解导致了一个线性时间算法，该算法确定给定的图是否包含大小为（leq k）的反馈顶点集，如果包含，则输出一个。该结果由以下人员独立得出：R·G·唐尼和M.R.研究员[国会数字87，161-178（1992；Zbl 0768.68136号)].审核人：H.Müller（耶拿） 引用于2评论引用于49文件 MSC公司： 05C38号 路径和循环 68兰特 计算机科学中的图论（包括图形绘制） 05C85号 图形算法（图形理论方面） 65年第68季度 算法和问题复杂性分析 68宽10 计算机科学中的并行算法 关键词：线性时间算法;不相交循环;树分解;树宽;反馈点集 引文：Zbl 0129.399;Zbl 0768.68136号 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender}，国际法学研究所。计算。科学。5，编号1，59--68（1994；Zbl 0803.05030） 全文： DOI程序