森林的正则族，反链和关系结构的对偶对
Regular families of forests, antichains and duality pairs of relational structures
摘要：
同态对偶对在关系结构理论和约束满足问题中起着至关重要的作用。两个类都是有限的情况下，充分的特点。两边都是无穷大的情况似乎很复杂。我们还知道，如果我们附加限制，即两个类都是反链，那么有限-无限对偶对是不可能的。本文刻画了无穷-有限反链对偶和左边为树或森林的无穷-有限对偶。这项工作建立在我们以前的论文中，给出了几个例子的无限有限反链对偶对的有向图和一个完整的表征毛虫对偶。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
