标签： algorithm math discrete-mathematics knuth
如何证明使用输入限制双端队列的增加序列的排列数等于使用输出限制双端变换的排列数？在Knuth的“计算机编程艺术”中。给出在输入限制排列之间存在一对一映射，即x和x的反转的反转。后者可以用ORD获得。如何证明它可以用ORD获得？