一元结构一阶约化的二分性

许多自然决策问题可被表述为有限有界齐次结构约化 $\mathbb{A}$ 的约束满足问题。这类问题是有限域上 CSP 类的一大推广。我们的第一个结果是从此类无限域 CSP 到有限域 CSP 的通用多项式时间归约。我们利用该归约获得新的强有力多项式时间可处理条件，其可用 $\mathbb{A}$ 的拓扑多态克隆表达。此外，我们研究结构 $\mathbb{A}$ 为一元语言结构的约化时 CSP 的子类 $\mathcal{C}$。该类 $\mathcal{C}$ 也恰当地扩展了所有有限域 CSP 类。我们应用新的可处理条件证明了 Bodirsky 与 Pinsker 关于有限有界齐次结构约化在类 $\mathcal{C}$ 上的通用可处理猜想。