豊福です。

  X3.png 作っていただいてありがとうございます。
立体的に見たらシャンデリアみたいにきれいに見えるのではないか
と思っていたのですがそれほどでもないですかね。pngファイルを
拡大して見る方法がわからなくて詳しくはわからないですが。

さかいさん
> 3^126 = 1310020508637620352391208095712502073964245732475093456566329 個
> の関数のうち、いったいどれだけの関数が単調なんでしょうね。
> 少なくとも一千万個以上はありそう……

  かなり大雑把な見積もりですが X3.png を見ると
縦に21段、横に最高12個並んでいるので、
全順序21段から [0, 1, 2] への単調関数は 22*23/2 = 253個、
12本の縦のコースで全ノードを覆えたとして
253^12 = 68777479182635902650515347441
あたりのオーダじゃないでしょうか。
ちなみに X2 のときは縦7段、横に2個での X3 の見積もり
(8*9/2)^2 = 1296 に対して実際は 126 でした。
---
                        豊福
                        nobu_toyofuku / nifty.com


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/