遊び方

どのパズルにも解は一つだけあります。推測は必要なく、論理だけで解けます。

ルール

空いているマスに1から9までの数字を入れます。
各行には、すべての数字を一度ずつ入れます。
各列には、すべての数字を一度ずつ入れます。
各3×3ボックスには、すべての数字を一度ずつ入れます。

このサイトでの遊び方

マスを選び、数字キーを押して数字を置きます。矢印キーで選択を移動できます。
「メモ」をオンにすると、候補を記録できます。同じ数字をもう一度押すとメモを消せます。
キーボードでは、Shiftを押しながら数字を押すと、「メモ」の設定を変えずに候補を追加または削除できます。Nで「メモ」を切り替えます。
「消去」は選択中のマスから入力した数字を消します。最初から入っている数字は変更できません。
同じ行、列、ボックスにある数字と重なる数字には赤い下線が付きます。
プレイページでは「標準」にタイマーが表示され、「リラックス」では非表示になります。「誤った配置を表示」は初期状態でオフです。オンにすると入力のたびに解答と照合します。「標準」ではその間違いも数えます。サイトは新しいゲームでも選択を記憶します。
「一時停止」は再開するまで盤面を隠します。
「ヒント」を開くと、短い段階式のヒントが表示されます。最初に注目する場所を示し、次にテクニックを挙げ、その理由を説明します。最後の段階で答えを示します。「さらにヒント」は一段階進み、「答えを見る」は最後まで進みます。入力した数字が間違っている場合は3段階になり、最初に間違いを知らせます。Hでヒントを開き、Escで閉じます。

難易度

新しいパズルの難易度は、解くために必要なテクニックで判定します。各レベルには、それより前のレベルのテクニックも含まれます。Hard、Expert、Master、Extremeのパズルでは、そのレベルの推論を使う必要があります。シングルが長く続いても難易度は上がりません。難しい手がかりを見つける間にも、推論で盤面が開くとシングルが現れます。

テクニック

候補とは、そのマスにまだ入る可能性がある数字です。ユニットとは行、列、またはボックスです。二つのマスが同じユニットを共有すると、お互いが見えます。ヒントは各手順のテクニック名を示し、それによって証明できる配置や候補の削除を説明します。

チェーンでは候補同士のリンクを使います。強リンクは、一方の候補が偽なら他方が真になる関係です。たとえば、ユニット内で数字の置き場所が二つだけの場合や、マスの候補が二つだけの場合です。弱リンクは、一方が真なら他方が偽になる関係です。色分けでは、つながった候補にAとBを交互に付けます。色だけに頼らず関係を追えます。

初級

裸のシングル: 行、列、ボックス、これまでの推論を確認したあと、候補が一つだけ残ったマスです。
隠れシングル: マスにほかの候補があっても、行、列、ボックスの中でその数字を置ける場所が一つだけの場合です。

中級

裸のペア: 同じ行、列、またはボックスにある二つのマスが、まったく同じ二つの候補を持つ状態です。その数字は二つのマスに入るため、ユニット内のほかのマスから削除できます。
隠れペア: ユニット内で二つの数字を置ける場所が、同じ二つのマスだけの場合です。その二つのマスからほかの候補をすべて削除できます。
ポインティングペア: ボックス内である数字の候補がすべて一つの行または列に並ぶとき、そのボックスの外にある同じ行または列からその数字を削除できます。
ボックスライン削減: 行または列にある数字の候補がすべて一つのボックス内にあるとき、そのボックスのほかのマスからその数字を削除できます。

上級

裸のトリプル: ユニット内の三つのマスにある候補を合わせると、数字が三つだけになる状態です。その数字をユニット内のほかのマスから削除できます。
隠れトリプル: ユニット内で三つの数字を置ける場所が、同じ三つのマスだけの場合です。その三つのマスからほかの候補をすべて削除できます。
裸のクアッド: ユニット内の四つのマスにある候補を合わせると、数字が四つだけになる状態です。その数字をユニット内のほかのマスから削除できます。
隠れクアッド: ユニット内で四つの数字を置ける場所が、同じ四つのマスだけの場合です。その四つのマスからほかの候補をすべて削除できます。
X-Wing: 二つの行それぞれで数字の候補が二つだけあり、その候補が同じ二つの列に並ぶ場合です。その数字を両方の列のほかのマスから削除できます。行と列を入れ替えても同じです。
スカイスクレーパー: 二つの行それぞれに、ある数字の候補が二つだけあります。各行から一つずつ選んだ候補が同じ列にあり、土台を作ります。残り二つの候補のどちらかには必ず数字が入るため、両方が見えるマスからその数字を削除できます。行と列を入れ替えても同じです。
ツーストリングカイト: ある行には数字の候補が二つだけあり、ある列にも二つだけあります。各ペアの一端が同じボックス内の別々のマスにあります。外側に残った二つの端のどちらかには必ず数字が入るため、両方が見えるマスからその数字を削除できます。
シンプルカラーリング: 一つの数字について、ユニット内で置き場所が二つだけのペアをリンクします。リンクした候補をAとBで交互に示すと、どちらかのグループ全体が真になります。同じグループの二つの候補が互いに見える場合、そのグループを除外できます（wrap）。外側の候補から両方のグループが見える場合、その候補も削除できます（trap）。
リモートペア: 一連のマスが同じ二つの候補を持ち、隣り合うマス同士が見えるため、値が交互になります。この交互関係の反対側にある二つのマスが見える外側のマスには、どちらの数字も入りません。

エキスパート

Swordfish: 三つの行それぞれに数字の候補が二つまたは三つあり、すべて同じ三つの列に収まる状態です。その数字は三つの行でその列に入るため、列のほかのマスから削除できます。行と列を入れ替えても同じです。
XY-Wing: XとYを候補に持つマスが、XとZを持つマス、およびYとZを持つマスを見ています。最初のマスにどちらの数字が入っても、残り二つのどちらかにZが入るため、両方が見えるすべてのマスからZを削除できます。
XYZ-Wing: X、Y、Zを候補に持つピボットが、XとZを持つウィングとYとZを持つウィングを見ています。三つのマスのいずれかにはZが入るため、ピボットと両方のウィングが見えるマスからZを削除できます。
W-Wing: XとYだけを持つマスが二つあります。別のユニットでXの置き場所が二つだけあり、それぞれを片方のウィングが見ています。少なくとも一つのウィングにはYが入るため、両方のウィングが見えるマスからYを削除できます。
X-Chain: 一つの数字のチェーンで強リンクと弱リンクが交互に続き、両端は強リンクです。少なくとも一方の端点に数字が入るため、両端点が見えるほかのマスからその数字を削除できます。
XY-Chain: 候補が二つだけのマスをたどり、互いに見えるマス同士で同じ数字をつなぎます。マス内の強リンクとマス間の弱リンクによって、少なくとも一方の端点には共通の数字が入ると分かります。両端点が見えるほかのマスからその数字を削除します。
3Dメデューサ（wrap/trap）: マス内の二つの候補と、ユニット内で数字を置ける唯一の二か所をつなぎ、複数の数字に色分けを広げます。AとBのどちらかのグループ全体が真です。グループ内の矛盾があればそのグループを除外できます（wrap）。両方のグループと矛盾する外側の候補も削除できます（trap）。
交互推論チェーン: AICは候補とユニットをまたいで強リンクと弱リンクを交互にたどります。成り立つチェーンは端点の制約を証明するか、一本道で矛盾に至り、候補を除外するか配置を証明します。ヒントには推論を支えるリンクが表示されます。

グループリンクによって、複数マスの候補を連鎖で扱えます。真のグループにはその数字が少なくとも一つありますが、どのマスかは示しません。グループが偽なら、すべての候補が偽です。

マスター

グループXチェーン: 数字をユニット内のマスのグループに結び付けます。グループが真なら、少なくとも一つのマスにその数字があります。グループが偽なら、すべてのマスで候補は偽です。強弱リンクを交互にたどり候補の制約を証明します。
グループAIC: グループAICは候補とグループを結び付けます。真のグループには少なくとも一つ真の候補がありますが、どれかは特定しません。配置、候補の除外、または矛盾を証明します。

マスターではグループXチェーンとグループAICを使います。候補とマスのグループ間の強弱リンクをたどります。真のグループにはその数字が少なくとも一つありますが、どのマスかは特定しません。

エクストリーム

フォーシングチェーン: 候補、またはマスやユニットの複数の可能性の一つを仮定し、その結果をたどります。矛盾すれば仮定を否定でき、すべてのケースに共通する結果は証明されます。
フォーシングネット: フォーシングネットはすべての可能なケースとその依存関係をたどります。各ケース内では、それまでの推論を組み合わせて結論を証明できます。共通の結果は、すべてのケースがそれぞれ独立に証明した場合にのみ成立します。

エクストリームではフォーシングチェーンと上限付きフォーシングネットを使います。フォーシングネットはすべての可能なケースとその依存関係をたどります。各ケース内では、それまでの推論を組み合わせて結論を証明できます。共通の結果は、すべてのケースがそれぞれ独立に証明した場合にのみ成立します。