Tournaments 的线性分解的转化
组合数学
2026-01-07 v1 离散数学
计算机科学中的逻辑
摘要
Boja\'nczyk、Pilipczuk 和 Grohe [LICS '18] 证明了对于线性 clique-width 有界的图，clique 分解的宽度可以在 CMSO transduction 下产生。我们展示在 tournaments 的情况下，first-order transduction 就足够了。这意味着在线性 clique-width 有界的 tournaments 上，CMSO 和 existential MSO 在逻辑上等价。
引用
@article{arxiv.2601.02999,
title = {Transducing Linear Decompositions of Tournaments},
author = {Colin Geniet and Fatemeh Ghasemi and Mamadou Moustapha Kanté},
journal= {arXiv preprint arXiv:2601.02999},
year = {2026}
}
备注
30 pages, 4 figures