arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2103.08625math.COmath.RA
收藏

关于本原正可构造性的极大有向图

Maximal Digraphs With Respect to Primitive Positive Constructibility

Florian Starke, Manuel Bodirsky

摘要:

本文研究了有限有向图的本原正可构性。得到的顺序有一个唯一的最大元素,即图$P_1$有一个顶点,没有边。图$P_1$有唯一的下确界,即有两个顶点和一条有向边的图$P_2$.我们的主要结果是一个完整的描述的下确界的$P_2$,我们称这些图次极大。我们证明了每个不等价于$P_1$和$P_2$的图都低于次极大图之一。

英文摘要:

We study the class of all finite directed graphs up to primitive positive constructability. The resulting order has a unique greatest element, namely the graph $P_1$ with one vertex and no edges. The graph $P_1$ has a unique greatest lower bound, namely the graph $P_2$ with two vertices and one directed edge. Our main result is a complete description of the greatest lower bounds of $P_2$; we call these graphs submaximal. We show that every graph that is not equivalent to $P_1$ and $P_2$ is below one of the submaximal graphs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑