[论文解读] Characterization of Cobweb Posets as KoDAGs

Ewa Krot-Sieniawska|ArXiv.org|Feb 21, 2008

Data Management and Algorithms参考文献 4被引用 4

一句话总结

本文将由整数序列定义的蛛网偏序集（cobweb posets）表征为可排序有向无环图（KoDAGs），证明其可通过两个线性扩展实现二维表示。通过显式构造两个线性扩展 X 和 Y，表明任意蛛网偏序集的哈斯图即为这两个链的交集，从而确立其作为 KoDAG 的结构特征。

ABSTRACT

The characterization of the large family of cobweb posets as DAGs and oDAGs is given. The dim 2 poset such that its Hasse diagram coincide with digraf of arbitrary cobweb poset is constructed.

研究动机与目标

• 建立由任意满足 F₀=1 的整数序列定义的蛛网偏序集为可排序有向无环图（oDAGs）的性质。
• 证明任一蛛网偏序集可表示为其偏序关系的两个线性扩展的交集。
• 验证蛛网偏序集的哈斯图满足作为 KoDAG 的必要且充分条件。
• 提供一种构造性方法，生成实现该偏序集二维表示的两个线性扩展（X 和 Y）。

提出的方法

• 使用满足 F₀ = 1 的序列 {Fₙ} 定义蛛网偏序集 Π = (V, ≤)，其中元素为满足 1 ≤ j ≤ Fₛ 的对 ⟨j,s⟩。
• 将哈斯图构造为有向无环图，其边为 (⟨j,p⟩, ⟨q,(p+1)⟩)，其中 1 ≤ j ≤ Fₚ 且 1 ≤ q ≤ Fₚ₊₁，外加初始边 (⟨1,0⟩, ⟨1,1⟩)。
• 通过证明当 n < m+1 时不存在边 (⟨i,n⟩, ⟨j,m⟩)，证明该偏序集是正则的，从而避免冗余路径。
• 定义两个线性扩展：X 按顺序 (t < v) ∨ (t = v ∧ s ≤ u) 排列，Y 按顺序 (t < v) ∨ (t = v ∧ s ≥ u) 排列，二者均构成链。
• 利用 Plotnikov 定理 2，证明正则有向无环图是 oDAG 当且仅当其顶点可表示为可接受形式。
• 建立偏序集 Π 为两个线性序的交集：Π = X ∩ Y，从而证明其为 KoDAG。

实验结果

研究问题

• RQ1 任一蛛网偏序集是否可通过两个线性扩展的交集表示为二维偏序集？
• RQ2 在何种条件下，蛛网偏序集的哈斯图是可排序有向无环图（oDAG）？
• RQ3 蛛网偏序集的哈斯图是否为正则图，且是否可表示为可接受形式？
• RQ4 实现偏序集作为 KoDAG 的两个线性扩展 X 和 Y 的显式构造方法为何？
• RQ5 双分图链（完全二分有向图）与蛛网偏序集作为 KoDAG 的结构之间有何关联？

主要发现

• 由满足 F₀ = 1 的序列 {Fₙ} 定义的任意蛛网偏序集 Π = (V, ≤) 均为正则有向无环图，满足 oDAG 所需的正则性条件。
• 任一蛛网偏序集的哈斯图可通过链 X（按 (t < v) ∨ (t = v ∧ s ≤ u) 定义）表示为可接受形式。
• 存在第二个线性扩展 Y（按 (t < v) ∨ (t = v ∧ s ≥ u) 定义），使得偏序关系 Π 可表示为交集 Π = X ∩ Y。
• X 和 Y 的构造满足 Plotnikov 定理 2 的条件，从而证明 Π 是 oDAG，因此也是 KoDAG。
• 因此，该偏序集被表征为 KoDAG，其结构完全由其偏序关系的两个线性扩展的交集决定。
• 该结果确认，任意蛛网偏序集（包括斐波那契蛛网偏序集）均为 KoDAG，将有序有向无环图的概念推广至一类广泛的组合结构。