arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1403.1995math.CO
收藏

关于一阶可定义着色

On First-Order Definable Colorings

Jaroslav Nesetril, Patrice Ossona De Mendez

摘要:

我们解决的问题,表征$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分析而来,可能存在错误,请以论文正文为准。

↑