关于无界团宽的遗传类别的MSO不可判定性
摘要：有界团幅图类的Seese猜想指出，对于所有无界团幅图类，单调二阶逻辑（MSO）是不可判定的。我们证明，要验证这个猜想，只需证明无界大小的网格可以在两个图类族中进行解释：无界团幅最小继承类；以及在诱导子图关系下，无界团幅上的反链。我们探索了当前已知的前一类图类，并证明无界大小的网格确实可以在其中进行解释。
作者：Anuj Dawar and Abhisekh Sankaran
论文ID：2011.02894
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-04