布鲁诺·库塞尔 关于构建障碍词集。 （英语） Zbl 0744.68074号 牛市。EATCS公司 44, 178-185 (1991). 小结：图的小定理[N.罗伯逊和P.西摩，J.Comb。理论B 35，39-61（1983；Zbl 0521.05062号)]指出有限图的每一个次闭集都具有一个被称为其障碍集的禁止配置的有限规范集。（此定义与图上称为次要包含的排序有关，我们将其表示为\（\ trianglefteq \）；有关定义的快速回顾，请参阅附录）。定理的证明并没有说明如何计算给定的次闭图集的障碍集。部分（k）树集合的障碍集最多为3S.Arnborg公司,A.普罗斯克洛夫斯基和D.G.科内尔[离散数学.80（1），1-19（1990；Zbl 0701.05016号)]. 对于一般（k\），它们由部分（k+1）树组成。的结果J.拉格伦[树分解图的算法和禁止子图，博士，报告TRITA-NA-9104，瑞典斯德哥尔摩皇家理工学院]提供了获取它们的算法。然而，这个算法似乎很难实现。我们简要介绍了几种等价的指定偏k树的次闭子类的方法，并讨论了与这些特征有关的一些有效性问题。然后，我们在单词的情况下考虑这些问题（我们可以将单词视为特殊形式的图形）。 引用于1审查引用于12文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：图小定理;有限图的次闭集;障碍物设置 引文：Zbl 0521.05062号;Zbl 0701.05016号 PDF格式BibTeX公司 XML格式引用 \发短信{B.Courcelle}，公牛。EATCS 44、178--185（1991年；Zbl 0744.68074）