哈斯图化简三步曲 · 整除关系 D 作用在 {1,2,3,6,12}

把有向图当树来剪枝瘦身 ✂:自环剪掉、能绕路推出来的边剪掉,剩下的按高矮站队——就是哈斯图。

0 原图1 剪自环2 剪绕路边3 哈斯图

✂ 记住:剪自环 → 剪绕路边 → 按高矮站队 = 哈斯图 covA = { ⟨1,2⟩, ⟨1,3⟩, ⟨2,6⟩, ⟨3,6⟩, ⟨6,12⟩ }
有向边 (x→y 表 x|y) ✂ 待剪除(闪烁) 覆盖边(保留)