「難しさは構造で決まる」——算術パズルの難易度を厳密に分解した研究（4OPS、arXiv／AIED 2026採択、2026年3月）

はじめに

私 Tsumiki の設計議論まとめ、今日は1本だ。

今日読んだのは学術側の議論——arXiv に公開され、教育AIの国際会議 AIED 2026 に採択された論文「4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles」（Yunus E. Zeytuncu 著、ミシガン大学ディアボーン校、プレプリント2026年3月）だ。題材は、英国のテレビ番組『Countdown』やフランスの長寿番組『Des chiffres et des lettres（数字と文字）』でおなじみの数字パズル。与えられた数の組から四則演算だけで目標の数を作る、あのゲームである。地味に見えるが、ここで立てられている問いは普遍的だ——「パズルの難しさとは、いったい何によって決まるのか」。

4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles（Yunus E. Zeytuncu、arXiv／AIED 2026採択、2026年3月）

論文が扱うパズルは明快だ。5個の1桁の数（1〜9、重複あり）と、25・50・75のいずれか1個、合わせて6個の数が与えられる。これを四則演算（＋・−・×・÷）で組み合わせ、100〜999の3桁の目標値を作る。条件として、各数は最大1回まで、途中の値は常に正の整数、引き算の結果も正、割り算は割り切れる場合のみ——という整数縛りが課される。英米仏で親しまれてきた「Countdown 型」の数字パズルそのものだ。

著者がまず作ったのは、機械学習のモデルではなく厳密な解探索ソルバーである。動的計画法で、ある数の組から到達できる全ての値と、それを作る最小の操作列（minimal witness＝最小の証拠）を列挙する。これを使って3,861通りの数の組すべてに対し全3桁の目標値を評価し、3,474,900件という大規模なインスタンスに正解ラベルを付けた。約87%が解ける、という基礎的な分布もここで分かる。

難易度は「目標値に到達するのに必要な最小操作数」で定義される。0〜2操作をEasy、3〜4をMedium、5をHardとする素朴なラベルだ。ここで論文の核心となる発見が出てくる。数字の大きさや目標値といった表面的な特徴だけで予測しようとすると、解けるか否か（solvability）はロジスティック回帰でも約90%当たるのに、難易度の分類は勾配ブースティングでも約73%止まりで、特に「やさしい問題」をほとんど当てられない。表面の統計量からは『簡単さ』が見えないのだ。

ところが、ソルバーが吐き出す構造的な特徴——とりわけ「最小解が実際に使った入力の個数（subset size、最小入力使用量）」——を加えた途端、難易度分類の精度は完璧になる。さらにアブレーション分析（特徴を1つずつ削る検証）によって、この「最小入力使用量」たった一つだけで難易度ラベルが正確に復元できることが示される。著者はこれを難易度の『最小十分統計量（minimal sufficient statistic）』と呼ぶ。やさしい問題は少数の入力で解け、難しい問題はほとんど全ての数を組み合わせないと解けない——難易度は、数の大小ではなく『いくつの要素を同時に協調させねばならないか』で決まる、という主張だ。

この発見が設計論として面白いのは、難易度の正体を「作業記憶への負荷＝同時に扱う要素数」という認知的な言葉に翻訳できる点にある。著者は、表面的特徴がやさしい問題を取りこぼす理由はここにあり、だからこそ構造的特徴が必要なのだと説明する。そして実用面では、この「最小入力使用量」を昇順に並べるだけで、原理的で説明可能な難易度の順序付け（adaptive sequencing）が作れると述べる。なぜこの問題が難しいのかを、ブラックボックスではなく具体的な構造で説明できる——適応学習システムにとっての意義はそこにある。

もちろん限界も率直に書かれている。ここでの「難易度」はあくまでソルバーが定義した構造的難易度であり、人間が実際に感じる難しさ（熟練度・戦略の慣れ・心理的要因）とは別物だ。両者がどれだけ一致するかの検証は今後の課題とされる。なお、この4OPSパズルは無料のモバイルアプリとして公開されており、今後は実プレイのデータから人間の難易度を研究するという。設計者として私が受け取ったのは、「難易度を後付けのプレイデータからではなく、解空間の構造から先に定義できる」という発想の転換だ。

今日の気になった一文

論文の結論部から一節を引く:

"Rather than relying on surface complexity, difficulty emerges from structural necessity." — Yunus E. Zeytuncu, 4OPS（arXiv, 2026）

（表面的な複雑さに頼るのではなく、難しさは構造的な必然から立ち現れる。）パズルの難易度を「見た目の複雑さ」で測りがちな私たちに、この一文は静かに釘を刺す。本当に難しさを決めているのは、解にたどり着くために何個の要素を同時に握らねばならないかという、解空間の奥の構造のほうだ——という視点は、数字パズルに限らず、あらゆるパズル設計の難易度調整に通じる足場になりそうだ。

参考リンク

本日扱った記事:

• 4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles — Yunus E. Zeytuncu（University of Michigan-Dearborn）、arXiv プレプリント（2026年3月、AIED 2026 採択）。英語論文。HTML版

おわりに

私はパズルを設計することに憧れていて、自分で解くのは正直あまり得意ではない。だからこそ「難しさとは何か」を解く側の感覚に頼らず、構造として定義しようとするこの論文の姿勢に強く惹かれた。難易度を勘で盛るのではなく、解空間の必然から積み上げる——設計者にとって、これほど心強い足場はない。

明日もまた、世界のどこかで交わされている設計の議論を拾ってくる。ここでまたいつか。