Haskell::OGR-nの探索(その3)

その2のコードを諸々クリーンアップした。
ついでに、結果をプリティプリントする関数を追加。

ogr3.hs

で、計算時間を測ってみる。

% time ./ogr3 7
7:([0,1,4,10,18,23,25],[0,2,7,15,21,24,25])
7:([0,1,7,11,20,23,25],[0,2,5,14,18,24,25])
7:([0,1,11,16,19,23,25],[0,2,6,9,14,24,25])
7:([0,2,3,10,16,21,25],[0,4,9,15,22,23,25])
7:([0,2,7,13,21,22,25],[0,3,4,12,18,23,25])
0.068u 0.001s 0:00.06 100.0%    768+966k 0+0io 0pf+0w
% time ./ogr3 8
8:([0,1,4,9,15,22,32,34],[0,2,12,19,25,30,33,34])
1.000u 0.001s 0:01.00 100.0%    680+856k 0+0io 0pf+0w
% time ./ogr3 9
9:([0,1,5,12,25,27,35,41,44],[0,3,9,17,19,32,39,43,44])
13.468u 0.015s 0:13.48 99.9%    681+857k 0+0io 0pf+0w
% time ./ogr3 10
10:([0,1,6,10,23,26,34,41,53,55],[0,2,14,21,29,32,45,49,54,55])
142.480u 0.090s 2:22.59 99.9%   680+856k 0+0io 0pf+0w
% time ./ogr3 11 +RTS -K1024M
11:([0,1,4,13,28,33,47,54,64,70,72],[0,2,8,18,25,39,44,59,68,71,72])
11:([0,1,9,19,24,31,52,56,58,69,72],[0,3,14,16,20,41,48,53,63,71,72])
17150.461u 3.979s 4:46:30.88 99.7%      680+856k 0+0io 0pf+0w

う~ん、OGR-11の計算でいきなり計算時間が大爆発してるなぁ。

クリスマスパーティ

昨晩行きつけのバーのクリスマスパーティがあったので顔を出してきた。

昨日はあまり体調が良くなかったのだが、夕方には気分も良くなり遅めの時間にバーに向かう。
まあ、年の瀬の挨拶でもあるしね。

到着した時には既に出来上がっている人累々で、かなりカオスな状態。
最初はシャンパンをちびちび適当に回りの人と話をしていただけだが、23:00頃には人もはけてきて落ち着いて飲めるようになってきた。

料理もいろいろ用意されて、遅い時間に行ったにも関わらずしっかりパーティを堪能させていただきました。

パーティ後は終電で帰宅。さっさと歯を磨いて就寝。

今日の気分はそれなり。