×

relabel函数的Well拟阶。 (英语) Zbl 1209.05210号

摘要:我们定义\(\text{NLC}k(_k)^{\mathcal{F}}\)是图类\(\text)的限制{非语言文字}_{k}),其中重新标记函数是从一组函数中独占地取自(1,dots,k\})到(1,dots,k\})。我们刻画了函数集(mathcal{F}),其中{NLC}_k(_k)^{mathcal{F}})是通过诱导子图关系(leq{i})得到的良好拟序。准确地说,这些集合是那些满足每一个(F,g)的集合,我们有(Im(F\deg g)=Im(F))或。为了实现这一点,我们证明了\(mathcal{F}\)上的单词(或树)是很好的拟序关系,其约束程度略高于通常的子单词(或子树)关系。如果一类图的顶点标号到颜色的集合在\(leq_{i}\)下形成一个良好的拟序,其中\(leq _{i{)尊重标号,则这类图是良好的拟阶。M.Pouzet先生[C.R.科学院,巴黎,SéR.A 2741677-1680(1972;Zbl 0254.08001号)]假设一个在诱导子图下闭合的2-良拟序类实际上对于每个(n)都是良拟序的。一种可能的方法是刻画2-良拟序图类。在这方面,我们推测这样的类总是包含在一些良好的拟序\(\text{NLC}k(_k)^{\mathcal{F}}\)用于某些族\(\mathcal{F}\)。这意味着Pouzet的猜测。

MSC公司:

05C78号 图形标记(优美的图形、带宽等)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Courcelle,B.,Engelfriet,J.,Rozenberg,G.:处理重写超图语法。J.计算。系统。科学。46, 218–270 (1993) ·Zbl 0825.68446号 ·doi:10.1016/0022-0000(93)90004-G
[2] Damaschke,P.:诱导子图和良好拟序。《图论》14,427-435(1990)·Zbl 0721.05059号 ·doi:10.1002/jgt.3190140406
[3] 弗雷塞,R。:关系理论。收录于:《逻辑研究》,第118卷。北荷兰(1986)·Zbl 0593.04001号
[4] Gurski,F.:NLC-宽度为2的限制图的特征。西奥。计算。科学。372, 108–114 (2007) ·Zbl 1108.68087号 ·doi:10.1016/j.tcs.2006.12.010
[5] Gurski,F.,Wanke,E.:最小化NLC宽度是NP-完全的(扩展抽象)。收录:计算机科学图形理论概念论文集。计算机科学课堂讲稿,第3787卷,第69-80页。柏林施普林格出版社(2005)·兹比尔1171.05427
[6] 希格曼:抽象代数中的可除性排序。程序。伦敦。数学。Soc.2,326–336(1952年)·Zbl 0047.03402号 ·doi:10.1112/plms/s3-2.1.326
[7] Johansson,O.:NLC2-多项式时间分解。发现的国际期刊。计算。科学。11, 373–395 (2000) ·Zbl 1320.05124号 ·doi:10.1142/S0129054100000223
[8] Kaminski,M.,Lozin,V.V.,Milanic,M.:有界团宽图的最新发展。离散应用程序。数学。157(12), 2747–2761 (2009) ·Zbl 1211.05165号 ·doi:10.1016/j.dam.2008.08.022
[9] Kriz,I.:具有间隙条件的拟序有限树。哈维·弗里德曼猜想的证明。安。数学。130, 215–226 (1989) ·Zbl 0684.05016号 ·doi:10.2307/1971481
[10] Kriz,I.,Sgall,J.:好拟序依赖于标签。科学学报。数学。55, 59–65 (1991) ·Zbl 0736.06007号
[11] Kriz,I.,Thomas,R.:关于带标签的良好拟序有限结构。图形梳。6, 41–49 (1990) ·Zbl 0699.06003号 ·doi:10.1007/BF01787479
[12] Kruskal,J.B.:拟序、树定理和Vazsonyi猜想。事务处理。美国数学。Soc.95、210–225(1960)·Zbl 0158.27002号
[13] Kruskal,J.B.:良好准序理论,一个经常被重新发现的概念。J.库姆。理论,Ser。A 13297–305(1972)·Zbl 0244.06002 ·doi:10.1016/0097-3165(72)90063-5
[14] Nash-Williams,C.St.J.A.:关于良好拟序无限树。数学。程序。外倾角。菲洛斯。Soc.61、697–720(1965年)·Zbl 0144.23305号 ·doi:10.1017/S0305004100039062
[15] Pouzet,M.:Un bel ordre d’abritement et ses rapports avec les bornes d’une多重关系。C.R.学院。科学。,巴黎。A–B 2741677–1680(1972)·Zbl 0254.08001号
[16] Robertson,N.,Seymour,P.:《未成年人图形》。二十、。瓦格纳猜想。J.库姆。理论,Ser。B 92325–357(2004)·Zbl 1061.05088号 ·doi:10.1016/j.jctb.2004.08.001
[17] Thomassé,S.:关于更好的拟序可数序列平行序。事务处理。美国数学。Soc.352、2491–2505(2000年)·Zbl 0944.05052号 ·doi:10.1090/S0002-9947-99-02400-9
[18] Wanke,E.:k-NLC图和多项式算法。离散应用程序。数学。54, 251–266 (1994) ·Zbl 0812.68106号 ·doi:10.1016/0166-218X(94)90026-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。