Dilworth定理指出，一个偏序集能被划分成的最少全序集个数等于其最大反链的元素个数。偏序集包括自反性、反对称性和传递性，而全序集是任何两个元素间都有对应关系的偏序集。链是所有元素间满足关系的子集，反链则是不满足关系的子集。在解决HDU 1257问题时，找到最长上升子序列的长度即可得到最少的全序集数量。
命题：偏序集能划分成的最少的全序集的个数与最大反链的元素个数相等。
偏序集：关系集合，并且满足自反性，反对称性，传递性，（自反性就是，两个相同的元素也满足对于的关系，即（x，x） 也属于偏序集A，反对称性就是，（x，y）属于偏序集A，但是（y，x）不属于偏序集A，传递性就是 如果（x，y），（y，z） 都属于偏序集合A，那么（x，z）也属于偏序集合A）
全序集：如果偏序集任意取两个数（x，y）都能满足对于的关系，那么这个偏序集就叫做全序集，也就是全序集包含在偏序集中，比如一个整除的关系，假设有整除关系的偏序集 { 1 3 9 } 随意取两个数，都能有整除关系，则称这个偏序集为全序集，如果 是偏序集 { 1 2 3 9 } 显然，2不能整除3, 3也不能整除2 ，显然两者是不满足这个关系的，那么这个偏序集就不能叫全序集，这里只是把概念通俗化了，可能不是非常严谨，建议结合标准的概念来理解；
链：链是偏序集的一个子集，如果子集的任何两个元素都满足偏序集对
最低0.47元/天 解锁文章
扫一扫
926
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
