树自动机与拟阵的鸽洞类：II
组合数学
2023-06-28 v5
摘要
设 为拟阵的计数一元二阶逻辑中的一个句子， 为一个有限域。Hliněný 定理指出，我们可以使用一个关于分支宽度的固定参数可处理算法来检验 -可表示拟阵是否满足 。在先前的一篇论文中，我们证明了存在一个类似的固定参数可处理算法，可以检验任意有效鸽洞类的成员。在本续篇中，我们应用第一篇论文中的结果，从而将 Hliněný 定理推广到基本横截拟阵、格路拟阵、双圆拟阵以及当 为有限群时的 -增益图拟阵类。由此，我们可以获得 Courcelle 定理的一个新证明。
引用
@article{arxiv.1910.04361,
title = {Tree automata and pigeonhole classes of matroids: II},
author = {Daryl Funk and Dillon Mayhew and Mike Newman},
journal= {arXiv preprint arXiv:1910.04361},
year = {2023}
}