未能解释某有限结构的图的对称性
计算机科学中的逻辑
2023-02-24 v1 环与代数
摘要
我们研究给定有向图不满足以带参数或轨道的本原正解释意义解释每一个有限结构这一条件时所导出的结构推论。我们的结果推广了文献中的若干定理，并给出了此类图中必须满足的进一步代数不变性质。这类代数性质与约束满足问题的易处理性紧密关联，我们甚至对无限可数范畴图获得了新的此类性质。我们通过证明存在一个可数范畴超图——其未能解释某个有限结构，却仍缺乏某些已知对有限结构成立的最本质代数不变性质——来平衡这些正面结果。
引用
@article{arxiv.2302.12112,
title = {Symmetries of structures that fail to interpret something finite},
author = {Libor Barto and Bertalan Bodor and Marcin Kozik and Antoine Mottet and Michael Pinsker},
journal= {arXiv preprint arXiv:2302.12112},
year = {2023}
}