偏序关系就是一个关系矩阵。
关系矩阵就是一个布尔方阵。
任意的一个布尔方阵,求解出它的一般性骨架矩阵,即哈斯矩阵,也就是缩边矩阵就是你要的东西。
偏序性质的有向无环图的最大独立集等于最小路径覆盖。
也就是你上面那拗口的一句话。什么最小路径覆盖云云。
情况复杂一点,那么现在来看具体求解。
在之前请自行搜索 对抗解释结构模型,或者搜索对抗哈斯图技术。两者是等价的。
上面是对抗哈斯图技术的运算地址。
其中没有回路的时候 即哈斯矩阵,也称为骨架矩阵,也就是去掉了覆盖路径即重复路径的。
比如上面的原始关系矩阵(偏序集)
可达矩阵如上
上面的叫缩点可达矩阵。f6与f7够成回路,当成一个结点处理
上面的就叫哈斯矩阵,骨架矩阵,由缩点骨架矩阵缩边得到。
上面是一般性骨架矩阵
上面两边的都是哈斯图。分层级的
上面的就是最大独立集。
计算很简单
I为单位矩阵。