论具有有界严格宽度且有界齐次二元核的一阶扩张的关系宽度
计算机科学中的逻辑
2020-05-11 v1
摘要
有限结构的关系宽度如果有界，则总是 (1,1) 或 (2,3)。在本文中，我们研究了有界齐次二元核的一阶扩张的关系宽度，其中二元核是具有等式和某些反自反二元关系的结构，使得对于域中任意两个不同元素 a, b，恰好存在一个二元关系 R 满足 (a, b) 属于 R。我们的主要结果是，具有有界严格宽度的自由有界齐次二元核的一阶扩张具有关系宽度 (2, MaxBound)，其中 MaxBound 是最大禁止子结构的大小，但不小于 3，而自由代表不禁止某些小尺寸有限结构的结构。该结果建立在一个新方法之上，并涉及一大类结构，包括尚未获得 CSP 复杂性分类的齐次有向图的归约。
引用
@article{arxiv.2005.04145,
title = {On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width},
author = {Michał Wrona},
journal= {arXiv preprint arXiv:2005.04145},
year = {2020}
}
备注
A long version of an extended abstract that appeared in LICS 2020