有界线性团宽图的可定义分解
摘要：针对每个正整数k，我们证明存在一个MSO\_1-转换，对于线性团宽度至多为k的图输入，会非确定地输出一个团宽度受k函数限制的某种图的分解。这个结果的直接推论是CMSO\_1-可定义性和有界线性团宽度图的可识别性概念的等价性。
作者：Miko{l}aj Boja''nczyk, Martin Grohe and Micha{l} Pilipczuk
论文ID：1803.05937
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22