出典と検証

基準:アプリ

このサイトで説明しているルールは、Sudokuアプリのコードを読んで確認したものです。数字のチェック、ゲームの終了、ヒント、グリッドの入力、設定などが対象です。アプリ内ヘルプとコードが異なる場合、このサイトはコードに従います。

参照した出典

• 数独(新しいタブ)(Wikipedia):ゲームのルール、用語(マス、行、列、ブロック、候補)、歴史。
• 数独の数学(新しいタブ)(Wikipedia):解がひとつだけのグリッドに必要な、最小のヒント数字の数。
• Mathematics of Sudoku(新しいタブ)(Wikipedia(英語)):この最小数をコンピューターで証明したもの(McGuire、Tugemann、Civario、2012年)。
• Sudoku solving algorithms(新しいタブ)(Wikipedia(英語)):アプリのソルバーが使うバックトラック法と、制約による解法。

リンクは2026年10月30日に確認済みです。

グリッドの検証方法

公開のたびに、独立した2つのプログラムがサイトのすべての計算をやり直します。

• アプリのエンジンにつないだツール(エンジンは変更しません)が、アプリに収録された400個のグリッドを読み込み、最初から入っている数字を数え、アプリのソルバーにそれぞれのグリッドの解の数を調べさせます。
• サイトに掲載しているグリッドを解答つきで取り出し、スクリーンショットに使った画面の構成を再現します。
• 別に作られた2つ目のプログラムが、アプリのコードから同じグリッドを読み直し、すべての解答を検証し、解の数を数え直し、解法テクニックで使うすべてのマスと数字を見つけ出します。ひとつでも食い違いがあれば、公開を止めます。

誤りを見つけましたか?お問い合わせページからご連絡ください。