无处稠密的图类及算法应用——2019年《逻辑、游戏和自动机亮点》教程

摘要:无处稠密图类的概念由Nev{s}etv{r}il和Ossona de Mendez引入,提供了图类均匀稀疏性的坚实概念。无处稠密类推广了许多熟悉的稀疏图类,比如排除一个固定图作为子图或拓扑子图的类。它们具有几个表面上无关的自然特征,导致了强大的算法应用。特别是,一阶逻辑的模型检查问题在这些类上是固定参数可解的。这些笔记是为2019年逻辑、游戏和自动机重点研讨会的教程准备的,是对无处稠密性理论的简要介绍,重点是算法应用。

作者:Sebastian Siebertz

论文ID:1909.06752

分类:Discrete Mathematics

分类简称:cs.DM

提交时间:2019-09-17

PDF 下载: 英文版 中文版pdf翻译中