Python Python+Z3で覆面算を解く方法(SAT入門) Microsoft Researchが作ったZ3というツールがあります。 これを使うと魔方陣や数独などを簡単に解くことができます。 簡単にと言っても使い方は難しいです。 今回はPythonでZ3を使って覆面算を解いてみます。Macで試しまし... 2021.02.13 Pythonデジタル
Tool 4個の数字と加減乗除で数を作る 「1,1,9,9と四則演算を組み合わせて10を作れ」というパズルがありました。 これはなかなか難しいです。 最初に答えを書いてしまうと「(1+1÷9)×9=10」です。 2010.08.10 Tool
小ネタ 魔方陣を作る方法 3×3のマス目に1から9までの数を重複なく入れ、縦、横、斜めの合計がすべて等しくなるものを魔方陣と言いますが、これを考えてみます。 なお「魔法陣」ではありません。 2010.08.05 小ネタ
小ネタ 「4桁÷4桁=1桁」で1から9までの数字をすべて使う 前に「3桁÷2桁=2桁あまり2桁」で1から9までの数字をすべて使うというパズルをとり上げましたが、今回は次の通り。 「4桁÷4桁=1桁(あまりゼロ)」となる計算で、1から9までの数字をすべて使う場合を見つけろ。 そしても今回もしらみつぶし法... 2010.07.21 小ネタ
小ネタ 「3桁÷2桁=2桁あまり2桁」で1から9までの数字をすべて使う こんなパズルがあるそうです。 「3桁÷2桁=2桁あまり2桁」となる計算で、1から9までの数字をすべて使う場合を見つけろ。 例を挙げると「589 ÷ 46 = 12 あまり 37」。数字が9個ありますが1から9までの数字がすべて使われています... 2010.07.19 小ネタ