N-自由拓展的偏序集。关于P.A.Grillet定理的注记。
摘要：关于含有一定数量dummy顶点的有限偏序图P，通过在每个对角边上添加一个dummy顶点得到的偏序图记作S_N(P)。我们证明了S_N(S_N(P))是N-free的。由此可得，此偏序图是P的最小N-free细分图，而P的存在性是由P.A. Grillet证明的。此外，该算法起始于P_0:=P，步骤m中在P_m的某个N上的对角边上添加一个dummy顶点，证明了该算法的结果不依赖于每一步选择的具体对角边。这些结果与绘制偏序图相关。
作者：Maurice Pouzet (ICJ), Nejib Zaguia (SITE)
论文ID：cs/0509034
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2007-05-23