文件Open Access徽标

有界展开类上的广义着色数

作者 斯蒂芬·克鲁泽, 米查尔·皮利普祖克, 罗曼·拉宾诺维奇, 塞巴斯蒂安·西贝茨



PDF格式
缩略图PDF

文件

LIPIcs公司。MFCS.2016.85.pdf文件
  • 文件大小:488 kB
  • 13页

文件标识符

作者详细信息

斯蒂芬·克鲁泽
米查尔·皮利普祖克
罗曼·拉宾诺维奇
塞巴斯蒂安·西贝茨

引用为获取BibTex

斯蒂芬·克鲁泽(Stephan Kreutzer)、米查尔·皮利普祖克(Michal Pilipczuk)、罗曼·拉比诺维奇(Roman Rabinovich)和塞巴斯蒂安·西贝茨(Sebastian Siebertz)。有界扩张类上的广义着色数。第41届计算机科学数学基础国际研讨会(MFCS 2016)。莱布尼茨国际信息学论文集(LIPIcs),第58卷,第85:1-85:13页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2016)
https://doi.org/10.4230/LIPIcs.MFCS.2016.85

摘要

广义着色数adm_r(G)、col_r(G)和wcol_r,由内塞特里尔和奥斯索纳·德门德斯介绍。在本文中,我们研究了着色数与其他两个度量的关系,这两个度量表征了无处稠密的图类,即具有一致拟宽性,Dawar等人首先在一阶逻辑的保留定理的背景下研究了这两个测度,以及Grohe等人引入的分裂对策。我们证明了除固定拓扑子图外的每一个图都承认一个普适序,即证明r的每个值的着色数都很小的一个序。最后,我们利用这种序的构造给出了Eickmeyer和Kawarabayashi结果的新证明,证明了在含有排除拓扑子项的图类上,连续不变一阶公式的模型检验问题是固定参数可处理的。
关键词
  • 图结构理论
  • 无处稠密图
  • 广义着色数
  • 拆分器游戏
  • 一阶模型检验

韵律学

工具书类

  1. 阿尔伯特·阿塞里亚斯(Albert Atserias)、阿努杰·达瓦尔(Anuj Dawar)和菲肯·G·科莱提斯(Phokion G Kolaitis)。关于连接查询的同态和并集下的保存。美国医学会杂志(JACM),53(2):208-2372006。谷歌学者
  2. Anuj Dawar。拟宽类上的同态保持。《计算机与系统科学杂志》,76(5):324-3322010。谷歌学者
  3. 莱因哈德·迪斯特尔。图论:斯普林格研究生文集GTM 173,第173卷。Reinhard Diestel,2012年。谷歌学者
  4. Zdeněk Dvořák。稀疏图中控制数的常数因子近似。《欧洲组合数学杂志》,34:833-8402013年。谷歌学者
  5. Zdeněk Dvořák、Daniel Král和Robin Thomas。测试稀疏图子类的一阶属性。美国医学会杂志(JACM),60(5):362013。谷歌学者
  6. Kord Eickmeyer和K.Kawarabayashi。个人通信,2016年。谷歌学者
  7. Kord Eickmeyer、K.Kawarabayashi和Stephan Kreutzer。次闭图类上的成功非变一阶逻辑的模型检查。2013年第28届IEEE/ACM计算机科学逻辑年会(LICS)论文集,第134-142页。IEEE,2013年。谷歌学者
  8. Martin Grohe、Stephan Kreutzer和Sebastian Siebertz。无处稠密图的一阶性质的判定。第46届ACM计算机理论年会论文集,第89-98页。ACM,2014年。谷歌学者
  9. 马丁·格罗赫和达尼尔·马克思。排除拓扑子图的图的结构定理和同构检验。SIAM计算机杂志,44(1):114-1592015。谷歌学者
  10. 马丁·格罗和托马斯·施温蒂克。序内变量一阶公式的位置。ACM计算逻辑学报(TOCL),1(1):112-1302000。谷歌学者
  11. 哈尔·阿基尔斯特德和大庆杨。图的排序和游戏着色数。订单,20(3):255-2642003。谷歌学者
  12. 雅罗斯拉夫·内舍特·伊尔(Jaroslav Nešetřil)和帕特里斯·奥斯索纳·德门德斯(Patrice Ossona de Mendez)。梯度和具有有界展开的类I.分解。欧洲组合数学杂志,29(3):760-7762008。谷歌学者
  13. 雅罗斯拉夫·内舍特·伊尔(Jaroslav Nešetřil)和帕特里斯·奥斯索纳·德门德斯(Patrice Ossona de Mendez)。无处稠密结构的一阶性质。符号逻辑杂志,75(03):868-8872010。谷歌学者
  14. 雅罗斯拉夫·内舍特·伊尔(Jaroslav Nešetřil)和帕特里斯·奥斯索纳·德门德斯(Patrice Ossona de Mendez)。在无位置稠密图上。欧洲组合数学杂志,32(4):600-6172011。谷歌学者
  15. 本杰明·罗斯曼。有限结构上的后继变一阶逻辑。符号逻辑杂志,72(02):601-6182007。谷歌学者
  16. 扬·范登·胡维尔(Jan van den Heuvel)、帕特里斯·奥斯纳·德门德斯(Patrice Ossona de Mendez)、丹尼尔·奎罗斯(Daniel Quiroz)、罗曼·拉宾诺维奇(Roman Rabinovich)和塞巴斯蒂安·西贝茨(Sebastian Siebertz)。关于排除固定次项的图的广义着色数。CoRR,abs/1602.090522016年。网址:http://arxiv.org/abs/1602.09052.
  17. 朱旭鼎。广义着色数有界的图的着色。离散数学,309(18):5562-55682009。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件