dirworth定理

今天做到一道题，求最长上升序列的个数是多少个。
发现了这个定理。虽然证明没看懂，但是会用了。
大概理解就是
例如 1 2 3 2 3 4
这个序列，求最长上升序列的长度，等于求最长不上升序列的个数。
可以看到上升长度=4.而个数也恰好等于4.
反之也是亦然。