论文标题
分离的平面图是DP最小的
Planar graphs with separation are dp-minimal
论文作者
论文摘要
我们证明，给定图形在球体中的平面嵌入图，通过预测通过图表的简单循环编码对顶点的分离的膨胀是DP最低的。
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
