iPhone の数独
一度も勘に頼らずに解ける数独
どの問題も解が一つだけであることを確認してから配られます。難易度は空きマスの数ではなく、そこへ辿り着くのに実際に必要だった一番難しい手筋そのもの。ひと息ついて、マスを埋めていってください。
App Store でダウンロード
iPhone · 無料 · 広告なし・アカウントなし、機内モードでも遊べます
537619598686348317266284195879
- 5段階の難易度
- 11種類の手筋で判定
- 1つだけの解
- 0広告とアカウント
このアプリで手に入るもの
意味のある難易度
多くの数独アプリは「いくつマスを消したか」で難易度を決めています。これは指標としてかなり当てになりません。ヒントが24個でも単数候補だけで最後まで進む盤面はありますし、32個あっても X-Wing が要る盤面もあります。ここでは問題を作り終えたあと、人間の手筋だけでもう一度解き直し、必要になった一番難しい手筋を記録して、それをそのまま難易度にしています。入門は単数候補だけ、やさしいは隠れ単数まで、ふつうは指差し・囲い込み・裸のペアまで、むずかしいは隠れペアと裸のトリプルまで、エキスパートで X-Wing、Swordfish、XY-Wing の領域に入ります。
解が一つであることを検証済み
問題は完成盤から対称な二マスずつ掘って作られます。掘るたびに解の個数を数え、二つ目が見つかった時点で打ち切ります。ちょうど一つでなければ、その二マスはそのまま埋め戻されます。だからどの問題も推論だけで終わりまで行けますし、正しく進めた枝が実は外れだった、ということが起こりません。
答えではなく理由を教えるヒント
1局につき3回。ヒントは数字をただ置くのではなく、人がやるのと同じ「安い手筋から順に」試す連鎖を回し、どの手筋で止まったかを名前で答え、その推論を成り立たせているマスを光らせます。理由はいらないという人のために、数字もそこにあります。盤面にすでに誤りがある場合は、成立しているふりをせずにその旨を伝えます。
勝手に片付く候補数字
候補数字は内部では1マスあたり9ビットのマスクなので、どんな組み合わせでも余計な管理が要りません。自動入力を有効にすれば、盤面全体の正しい候補が一度に書き込まれます。数字を確定させると、同じ行・列・ブロックにあるマスからその候補が自動で消えます。紙の数独でいちばん事務作業らしい部分であり、紙の愛好家が取りこぼしを起こす部分でもあります。
全員が同じデイリー問題
デイリー問題は日付をハッシュして作られていて、サーバーから取ってくるものではありません。純粋な関数なので、あなたの端末と別のタイムゾーンにいる誰かの端末が、どちらも通信せずに同じ盤面を生成します。ホーム画面には、達成した日を記録した月間カレンダーがあります。
見る価値のある統計
プレイ数、クリア数、クリア率、現在の連続日数と最長連続日数、合計時間。さらに難易度ごとに、プレイ数、勝利数、最速タイム、平均タイム、そしてミスゼロでのクリア数。すべて対局記録そのものから計算しているので、実態とずれることがありません。
5つのテーマ、うち1つはダーク
ピュアホワイト、フォレストグリーン、スカイブルー、サクラ、ディープスペース。どれもページ、盤面、ブロック罫、選択マス、同じ行列のマス、同じ数字、矛盾の色をひとまとまりとして決めています。色を被せただけの画面ではなく、読みやすい盤面ごと入れ替わります。
邪魔をしない
ミス表示も、同じ数字の強調も、触覚フィードバックも、それぞれ切れます。取り消しがあり、盤面を隠す一時停止があり、タイマーは無視して構いません。インターフェースは9言語、システム設定に従わせることもできます。バナーも、インタースティシャルも、デイリーボーナスのポップアップも、ログイン画面もありません。
難易度はどうやって決まるのか
難易度は割り当てるものではなく、測るものです。手順はこれだけで、手元の iPhone 上で数ミリ秒で終わります。
- 完成盤を1枚作る制約伝播つきの乱択バックトラックで、正しい 9×9 の完成解を作ります。種は小さな決定的な生成器から取り、途中でシステム時計を読むことはないので、同じ種からは必ず同じ盤面が出ます。
- 対称な二マスずつ掘るマスは 180 度回転で対になる二つずつ取り除かれます。そのため出来上がりが問題らしい見た目になり、でたらめに散らしたようにはなりません。目標に届かなければ、そのあと非対称の追加パスを走らせます。
- 掘るたびに解を数える解の個数を数え、二つ目で打ち切ります。ちょうど一つでなければ、その二マスはすぐ埋め戻されます。勘を不要にしているのはこの工程です。
- 人間の手筋だけでもう一度解く安い手筋から順に走らせます。単数候補、隠れ単数、指差し、囲い込み、裸のペア、隠れペア、裸のトリプル、X-Wing、Swordfish、XY-Wing。必要になった一番難しい手筋が、その問題の等級です。
- 採用するか、捨てるか出た等級が指定した段階と合わなければ、その問題は破棄して次の種でやり直します。試行錯誤が必要になってよいのはエキスパートだけで、そこでも解は一つのままです。
ヒント数の下限は入門40からエキスパート22まで、そして17という固い下限があります。17は、解が一つの数独に必要なヒント数の最小値として証明されている数です。
端末の外へ出ていくもの
何も出ていきません。これは方針の表明ではなく、ビルドそのものの性質です。このアプリには HTTP クライアントも、解析 SDK も、広告 SDK も、バックエンドもありません。
問題は端末上で生成されます。デイリー問題はダウンロードではなく日付から計算されます。対局も統計も設定も、ローカルのデータベースとキーチェーンにあり、アプリを削除すれば一緒に消えます。
登録もメールアドレスも不要で、端末識別子も集めず、トラッキングもありません。App Store のプライバシー表示は「データを収集していません」で、同梱のプライバシーマニフェストでも収集データ種別は空のままです。
アプリから外へ出る唯一のリンクは、設定にあるプライバシーポリシー・利用規約・サポート宛先です。これらは Safari とメールに引き渡されるだけで、アプリ自身は一度も通信しません。
価格
無料です。5段階の難易度、デイリー問題、ヒント、候補数字、統計、5つのテーマ、すべて最初の起動時から入っています。
サブスクリプションも、消耗型アイテムも、リワード広告も、スタミナもありません。広告を見るか支払うかしないと開かない要素は一つもありません。
App Store でダウンロード
まず聞かれること
解けない問題が出ることはありますか
ありません。すべての問題は配られる前に解が一つであることを検証済みで、エキスパート以外はその段階の手筋の範囲で解けることも検証済みです。詰まったなら推論は必ず残っています。ヒントがその名前を教えてくれます。
インターネット接続は必要ですか
デイリー問題も含め、一度も必要ありません。生成も求解も端末上で動きます。
デイリー問題は全員同じですか
同じです。端末のカレンダー日付の純粋な関数なので、日付が同じ端末なら同じ盤面になります。何も取ってこないので、違いようがありません。
間違えるとゲームオーバーですか
いいえ。ミスは数えられ、設定を有効にしていれば色でも示されますが、三振制も強制リスタートもありません。一度も間違えずに終えた対局は、統計にミスゼロのクリアとして残ります。
アプリを削除したら記録はどうなりますか
消えます。すべてが端末内にあり、サーバーへのバックアップもありません。そもそもサーバーが存在しないからです。