[论文解读] On infinite-finite tree-duality pairs of relational structures

Péter L. Erdős, Dömötör Pálvölgyi+2 more|arXiv (Cornell University)|Jul 18, 2012

Constraint Satisfaction and Optimization被引用 1

一句话总结

本文表征了关系结构中左侧为树或森林的无限-有限反链对偶性，扩展了对有向图和叶状树对偶性的先前研究。它对这类对偶对进行了完整分类，解决了在有限-有限和有限-无限情况之外的同态对偶性理论中的一个关键空白。

ABSTRACT

Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several examples of infinite-finite antichain duality pairs of directed graphs and a complete characterization for caterpillar dualities.

研究动机与目标

• 将同态对偶性对的理解扩展到已充分表征的有限-有限情况之外。
• 解决无限-有限对偶性对的复杂性，特别是当一侧为反链时的情况。
• 对左侧为树或森林的无限-有限反链对偶性提供完整表征。
• 将早期关于叶状树对偶性和有向图示例的结果推广到更广泛的关系结构类别。

提出的方法

• 利用树和森林的结构特性，在关系结构中定义并分析对偶对。
• 应用反链约束以限制右侧关系结构的类。
• 使用同态闭包和对偶条件，推导出对偶对的必要与充分条件。
• 基于早期关于有向图和叶状树对偶性的论文结果，推广框架。
• 采用模型论和序理论技术，分析无限-有限对偶关系。
• 基于左侧结构的树宽和无环性，建立对偶类型的层次结构。

实验结果

研究问题

• RQ1 当左侧由树或森林构成时，无限-有限反链对偶性对的必要与充分条件是什么？
• RQ2 树和森林结构如何影响关系结构中对偶对的存在性？
• RQ3 叶状树对偶性的表征能否推广到更一般的树状结构？
• RQ4 在无限-有限设定下，要求对偶对的两侧均为反链时会产生何种约束？
• RQ5 在基于树的无限-有限对偶性背景下，同态闭包与对偶性如何相互作用？

主要发现

• 本文对左侧由树或森林构成的无限-有限反链对偶性对提供了完整表征。
• 研究确立了此类对偶性对仅在树状左侧结构满足特定结构约束时才存在。
• 结果将早期关于叶状树对偶性的发现推广到更广泛的关系结构类别。
• 研究证实，仅当左侧具有有界树宽和特定无环性特征时，才可能存在右侧为反链的无限-有限对偶性。
• 所构建的框架可基于树和森林结构系统地构造对偶对，为约束满足问题提供一类新的可解问题。