日経サイエンスにて、創刊400号特別企画ということでこんな懸賞パズルをやってました。
なんとなく面白そうだったので、コンピュータの力を借りて取り組んでみることにしましょう。
http://www.nikkei-bookdirect.com/science/page/magazine/puzzle/puzzle0502/question.html
１から９までの数字を使った、算数のパズルです。
今回出題されたのは全部で３問。
問題の詳しいルールはリンク先を参照なのですが、一応ここでも簡単に引用します。
【問１】
□１□２□３□４□５□６□７□８□９□
の□に四則の演算子（＋，－，×，÷）や空白、カッコの記号を入れて、答えが400になるようにして下さい。
小町算と呼ばれる問題だそうです。ちなみに、
解答例：１×２÷３×４×５× (６＋７＋８＋９) ＝ ４００
だそう。他にもいろいろ正解のパターンはあるので「面白い例を見つけて下さい。」とのこと。
まあたぶん適当に記号を当てはめていったら正解が見つかるのでしょう。
あまり興味が湧かなかったので、パスして問２に挑戦。
今度は，１から９までの数字が現れる順番にはこだわらず，数式の長さ・短さを競って下さい。四則に限らず，三角関数，対数関数，微分積分，ベクトルや行列，順列など高校程度の数学で使われるものならなんでもよいとします。数字はそれぞれ１回しか使えませんが，定数（π，ｅ，ｉなど）は何度でも使えます。
【問２】
できるだけ短い数式を作って下さい。
解答例： (４×５)^２×１^３６７８９ ＝ ４００
【問３】
できるだけ長い数式を作って下さい。
解答例： sin (３!×５°) ×|２＋６×ｉ|^４÷ (１８－９－７) ＝ ４００
（ｉは虚数単位。｜｜は絶対値記号。）
注釈によると、式の長さは演算の個数で決めるのだそうです。
つまり問２の解答例だと、乗算とべき乗が２回ずつ行われているので、長さは４となります。
（カッコや定数、数字は数えない。べき乗演算や行列演算，定積分も１個と数える。）
問３の解答例は、長さが１１となります。
以上をもとに、これらの解答例よりも優れた解答を作ってね、というのが問題です。
直感的に問２の方が易しそうです。こっちから考えることに。
ていうかこの問２、解答例の長さ４でもずいぶん短いじゃないか。
それ以下の長さといえば、あとは１か２か３の場合だけ。
長さ１の数式なんて、演算が１回しか使えないわけで、これはちょっと無理がありそう。
というわけで、長さ２で何かよいのないのかな･･･と考えてるときに、ふっと気付きました。
「ガウス記号使えばいけるんじゃないか？」
そんな思い付きを元に試しにプログラムを組んでみたところ、出るわ出るわ、どっさり解答例が見つかりました。
長さ２の解答：[３８４５２７÷９６１] ＝ ４００
（[...]はガウス記号。記号内の数を超えない最大の整数。）
こんな感じのが、[６桁÷３桁]の場合だけでも数百パターン見つかりました。
うーむ、でもやっぱり、これじゃ面白くない。
そもそもガウス記号っていうのが何だかダサい。
もうちょっときれいな解答か、あるいはいっそ長さ１の解答なんてのがないかな？ と言う気がします。
そうしたら再び、ある思いつきに襲われました。
「３×３行列の行列式なんてどうだろう？」
さすがにそんな都合のいいことはないかな、と思いつつも再びプログラムを組んでみたところ、なんとびっくり、見つかっちゃいました。
長さ１の解答： ｜１４８｜
det ｜９２６｜ ＝ ４００
｜５７３｜
非常にシンプルな形で、かなり気に入りました。（行列式は大学１年の範囲だけど。）
実はこれ以外に、行列を使わない長さ１の解答を思いつきました。
非常にユニークで最高のネタなので、懸賞の募集締切が過ぎるまで秘蔵っ子ということにしておきましょう。
ていうか、募集締切は１月２０日。もうすぐなんですね･･･。（この問題を知ったのは昨日。）
明日以降、問１と問３を考えてみようと思います。
