跳到主要内容
10.1145/3209108.3209135acm会议文章/章节视图摘要出版物页面低收入国家会议记录会议集合
研究论文

有界线性团宽图的可定义分解

出版:2018年7月9日出版历史

摘要

我们证明了对于每个正整数k,存在一个MSO1转导,该转导给出了最多k个输出的线性团宽图,并且不确定地给出了由k函数限定的宽度图的一些团分解。这个结果的一个直接推论是CMSO1可定义性和可识别性概念在有界线性团宽图上的等价性。

参考文献

  1. I.Adler和M.M.Kanté。2015年,树木的线性等级宽度和线性楔形宽度。西奥。计算。科学。589 (2015), 87--98.谷歌学者谷歌学者数字图书馆数字图书馆
  2. 米科·阿杰·博扬奇克、马丁·格罗和米查·皮利普祖克。2018.有界线性cliquewidth图的可定义分解。CoRR abs/1803.05937(2018年)。谷歌学者谷歌学者
  3. 米科·阿杰·博扬奇克和米查·皮利普祖克。2016.可定义性等于有界树宽图的可识别性。2016年LICS。美国医学会,407--416。谷歌学者谷歌学者数字图书馆数字图书馆
  4. 米科·阿杰·博扬奇克和米查·皮利普祖克。2017年,优化MSO中的树分解。STAGS 2017(LIPIcs),第66卷。达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik),15:1-15:13。谷歌学者谷歌学者
  5. 布鲁诺·库塞尔(Bruno Courcelle)。1990.图的一元二阶逻辑。有限图的可识别集。Inf.计算。85, 1 (1990), 12--75.谷歌学者谷歌学者数字图书馆数字图书馆
  6. 布鲁诺·库塞尔(Bruno Courcelle)和乔斯·恩格弗里特(Joost Engelfriet)。2012.图结构与一元二阶逻辑——一种语言理论方法。数学及其应用百科全书,第138卷。剑桥大学出版社。I-XIV,1-728页。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 布鲁诺·库塞尔(Bruno Courcelle)、约翰·马科斯基(Johann A.Makowsky)和乌迪·罗蒂奇(Udi Rotics)。有界Clique-Width图上的线性时间可解优化问题。理论计算。系统。33, 2 (2000), 125--150.谷歌学者谷歌学者交叉引用交叉引用
  8. 布鲁诺·库塞尔(Bruno Courcelle)和斯蒂芬·奥拉里奥(Stephan Olariu)。2000.图的团宽度的上限。离散应用数学101,1-3(2000),77--114。谷歌学者谷歌学者数字图书馆数字图书馆
  9. Frank Gurski和Egon Wanke。2005.关于NLC宽度和线性NLC宽度之间的关系。西奥。计算。科学。347, 1-2 (2005), 76--89.谷歌学者谷歌学者数字图书馆数字图书馆
  10. P.Heggernes、D.Meister和C.Papadopoulos。2011年,线性线宽图最多为3。西奥。计算。科学。412, 39 (2011), 5466--5486.谷歌学者谷歌学者交叉引用交叉引用
  11. P.Heggenes、D.Meister和C.Papadopoulos。2012.用禁止诱导子图刻画一类图的线性团宽度。离散应用数学160,6(2012),888--901。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 桑吉尔乌姆。2005年,未成年人排名。J.库姆。理论,Ser。B 95,1(2005),79--100。谷歌学者谷歌学者数字图书馆数字图书馆
  13. Sang-il Oum和Paul D.Seymour。2006年,近似clique-width和branch-width。J.库姆。理论,Ser。B 96,4(2006),514--528。谷歌学者谷歌学者数字图书馆数字图书馆
  14. 我是西蒙。1990.有限高度的因子分解森林。西奥。计算。科学。72, 1 (1990), 65--94.谷歌学者谷歌学者数字图书馆数字图书馆

建议

评论

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

登录

完全访问权限

  • 发布于

    封面图片ACM会议
    LICS’18:第33届ACM/IEEE计算机科学逻辑年会论文集
    2018年7月
    960页
    国际标准图书编号:9781450355834
    内政部:10.1145/3209108

    版权所有©2018 ACM

    如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

    出版商

    计算机协会

    美国纽约州纽约市

    出版历史

    • 出版:2018年7月9日

    权限

    请求有关此文章的权限。

    请求权限

    检查更新

    限定符

    • 研究论文
    • 研究
    • 推荐有限公司

    接受率

    总体验收率143属于386提交文件,37%

PDF格式

以PDF文件查看或下载。

PDF格式

电子阅读器

使用eReader联机查看。

电子阅读器