入力制限付き両端キューを使用した増加シーケンスの順列の数が、出力制限付き両端キューを使用した順列の数と等しいことを証明するにはどうすればよいですか? Knuth の「The Art of Computer Programming」では、x などの入力制限順列と「x の逆の逆の rev」との間に 1 対 1 のマッピングがあり、後者は ORD で取得できるとされています。ORDで取得できることをどのように証明しますか?
入力制限付き両端キューを使用した増加シーケンスの順列の数が、出力制限付き両端キューを使用した順列の数と等しいことを証明するにはどうすればよいですか? Knuth の「The Art of Computer Programming」では、x などの入力制限順列と「x の逆の逆の rev」との間に 1 対 1 のマッピングがあり、後者は ORD で取得できるとされています。ORDで取得できることをどのように証明しますか?