关于一阶可定义着色
On First-Order Definable Colorings
摘要:
我们解决的问题,表征$H$着色问题,是一阶定义的一个固定的类的关系结构。在这方面,我们给出了几个特征的同态对偶产生的一类结构。
英文摘要:
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of structure.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。