费德，托马斯;见鬼，帕沃;彼得·琼森;安德烈·克罗金;古斯塔夫·诺德 退缩到假森林。 （英语） Zbl 1215.05063号 SIAM J.离散数学。 24，第1期，101-112（2010）. 摘要：对于固定图\（H\），让\（\text{RET}（H）\）表示决定给定输入图是否可缩回到\（H）的问题。当（H）是一个图（允许循环），其中每个连接的组件最多有一个循环，即一个伪森林时，我们对（文本{RET}（H）的复杂性进行了分类。特别地，这个结果将自反和非自反循环的已知复杂性分类（text{RET}（H））推广到了一般循环。我们的方法主要基于泛代数中的代数技术，这些技术以前用于分析约束满足问题的复杂性。 引用于15文件 MSC公司： 05C15号 图和超图的着色 08A70号 泛代数在计算机科学中的应用 68兰特 计算机科学中的图论（包括图形绘制） 关键词：回缩;计算复杂性;泛代数;约束满足 PDF格式BibTeX公司 XML格式引用 \textit｛T.Feder｝等人，SIAM J.离散数学。24，第1号，101--112（2010；Zbl 1215.05063） 全文： 内政部