配信する全ての盤面を、機械で検証しています
「たぶん公平」で済ませません。生成器から独立したソルバーで一つずつ証明しています。各保証バッジの裏にある実データと、その再現方法を公開します。
フリーセル — 99.9992%の配札がクリア可能
配札番号はMicrosoft版フリーセルと同じ方式(1〜1,000,000)。だから四半世紀ぶんのフリーセル記録とそのまま照合できます。最初の100万件のうち、絶対に勝てない配札はわずか8つ。その全てを、うちのソルバーがゲーム木を網羅探索して「不可解」と証明します。これらは一切配信しません — 配信する配札は全て三重チェック(配札→求解→再生)済みです。
最も有名な不可解配札 #11982 も、61,643ノードの探索で不可解だと証明済み。
| 配札番号 | 証明に要した探索ノード数 |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
現在768配札を配信中 — 不可解0・未検証0。
マインスイーパー — 推測は一切不要
全ての盤面が初手から純粋な論理だけで完解できます。運任せの二択はありません。候補盤を生成し、推測を強いる盤は棄却します — 上級では約89%の盤を棄却しています。
| 難易度 | 推測を強いるため棄却した盤 |
|---|---|
| 初級 9×99×9 / 10 | 7% |
| 中級 16×1616×16 / 40 | 38.8% |
| 上級 30×1630×16 / 99 | 89% |
100% · 推測不要・論理だけで解ける ✓
ノノグラム — 解はただ一つ
全ての絵柄が、行と列のライン論理だけで到達できる一意解を持ちます。直感に反して、小さい盤ほど一意にするのが難しく、5×5では候補の約88%を棄却しています。
| サイズ | ライン論理で一意に解けず棄却した候補 |
|---|---|
| やさしい 5×55×5 | 87.6% |
| ふつう 10×1010×10 | 68.9% |
| むずかしい 15×1515×15 | 49.6% |
100% · 一意解・論理だけで解ける ✓
ウォーターソート — parは本物の最小手数
全ての面がクリア可能で、表示するparは厳密な最小手数(A*ソルバーによる証明値・推定値ではありません)。難しい面ほど手数が要り、上級は21〜35手です。
| 難易度 | 最小手数(最適を証明) |
|---|---|
| やさしい(7本)5 colors / 7 tubes | 8–16 (avg 11.8) |
| ふつう(10本)8 colors / 10 tubes | 15–23 (avg 18.8) |
| むずかしい(14本)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · 全盤クリア可能・最適手数つき保証 ✓
自分で確かめるには
保証を誠実に保つ2つの掟。第一に、ソルバーは生成器から独立(生成器に自分の答案を採点させない)。第二に、全て再現可能 — node scripts/guarantee-stats.mjs を実行すれば同じ証明サイズが得られます。ソルバーは全てコードベースに公開しています。
データ生成日: 2026-07-26。
よくある質問
フリーセルは全部クリアできる?
ほぼ全て。最初の1,000,000配札のうち不可解はちょうど8つ(約99.9992%がクリア可能)。その8つはうちのソルバーで不可解だと証明し、配信していません。
クリア不可能なフリーセルの配札は?
最初の100万件では #11982・#146692・#186216・#455889・#495505・#512118・#517776・#781948。#11982はMicrosoft版の最初の32,000件で唯一の不可解配札です。
「推測不要」マインスイーパーとは?
全盤面が論理だけで解けます — 二つのマスが等確率で地雷になり「勘で選ぶしかない」場面が生じません。推測を強いる盤は配信前に棄却します。
ノノグラムの解は必ず一つ?
はい。各問題は一意解を持つことを検証済みで、ライン論理だけで到達できます — 勘や、間違った枝からのやり直しは不要です。
ウォーターソートの手数は本当に最小?
はい。parはA*ソルバーが厳密に算出した「その面の証明された最小手数」で、近似値ではありません。