狄尔沃斯定理

简单来说，它的意思是：
要想把一个序列划分成最少数量的“不上升子序列”，这个最少数量，恰好等于这个序列中“最长上升子序列”（LIS）的长度