覆面算ソルバー — 文字の計算パズルを段階的に解説

問題の入力方法

足し算・引き算・かけ算のいずれかを選び、1 行に 1 語ずつ書き、線の下に答えを書きます。各文字は 1 つの数字を表し、異なる文字は異なる数字を表します。2 桁以上の数は 0 で始まりません。

足し算は STORK + KOI + BOAS + TROUT + TOADS + RATS = BIRDS のように最大 10 語まで書けます。引き算とかけ算は 2 語だけです。1 問で使える異なる文字は 10 個までです。

推論のしくみ

足し算は右から 1 列ずつ調べます。列の数字と入ってくる繰り上がりの和は、答えの桁に出ていく繰り上がりの 10 倍を足したものに等しくなります。引き算 A − B = C は足し算 B + C = A として確かめます。

かけ算では、積の下の桁は 2 つの因数の下の桁だけで決まり、上の桁の数字が積の大きさを制限します。

どの列からも直接答えが出ないときは、ある値を仮定し、それが生む矛盾を示します。それでも足りなければ、残りの場合を 1 つずつ調べます。

解が複数ある場合・ない場合

複数の割り当てが成り立つ場合は、1 本の推論ではなく解の一覧を表示します。解がない場合は、どこで矛盾が生じるかを示します。

問題はブラウザ内で解かれ、入力した内容はサーバーに送信されません。