もういいんじゃないでしょうかね。
Seven Treesパズルを解いたり、解を確認された方々、このエントリー（URL: http://d.hatena.ne.jp/m-hiyama/20081031）にトラックバックしてくださると、リンクが集約されて便利かと思います。
基本路線は、「T = 1 + T2 を元にして等式の変形を追いかける」ですが、それぞれの工夫もありますでしょうし、プログラミングとしては、もっと短くとか、いやもっと長くとか、もっとわかりやすくだの、この言語で、あの言語でと、いろいろなバリエーションがあると思います。
典型的な解法が公表されれば、グラフィカルに表示されたSeven TreesがアニメーションでOne Treeに変形していく、なんてのをどなたか作ってくれるかもしれませんよ。
今（2008-10-31 10:31）までにいただいたトラックバック：
- Seven Trees - まめめも
- Seven trees - λx.x K S K ＠ はてな
- Seven trees＋拡張問題 - bonotakeの日記
- 机上の計算ではできたものの - 菊やんの雑記帳
追記 その後いただいたトラックバック：
