标签：一个 str 16px strong mil 分数 关系 最长上升子序列 bsp
一个序列中下降子序列的最少划分数个数等于最长上升子序列的长度。
一个序列中上升子序列的最少划分数个数等于最长下降子序列的长度。
每句中的前后两者互为偏序关系。
Diworth定理
原文地址：https://www.cnblogs.com/Hoyoak/p/11392865.html
