パズルを解くための戦略は、スキャン、マーキング、分析という 3 つのプロセスの組み合わせと考えることができます。
スキャン
スキャンは最初から、解像度全体にわたって定期的に実行されます。 スキャンは、スキャン期間の間に数回実行する必要がある場合があります。 スキャンは、クロスハッチングとカウントという 2 つの基本的な手法で構成されており、交互に使用できます。
- クロスハッチングは、行 (または列) をスキャンして、特定の領域内のどの行に特定の数値が含まれるかを消去プロセスを通じて識別することです。 このプロセスは列 (または行) に対して繰り返されます。 結果を迅速に得るために、数値は出現頻度に従って順番にスキャンされます。 1 から 9 までのすべての数字を確認し、このプロセスを体系的に実行することが重要です。
- 領域、行、列ごとに 1 ~ 9 を数えて、欠落している数字を特定します。 最後に検出された番号に基づいてカウントすると、検索速度が向上します。 また、個々のセルの値が、逆カウントによって決定できる場合もあります。つまり、その領域、行、または列をスキャンして、あり得ない値を探して、何が何であるかを確認することです。
高度なソルバーは、スキャン中に「偶発性」を探します。つまり、行、列、領域、または 2 つまたは 3 つのセル内の数値の位置を絞り込みます。 これらのセルがすべて同じ行 (または列) および領域にある場合、クロスハッチングおよびカウント中に消去の目的で使用できます。 特に難しいパズルでは、おそらく複数の方向または交差点でさえも、複数の偶発事象の認識が必要になる場合があり、ほとんどのソルバーはマークアップに追いやられます (後述)。 不測の事態の検出を必要とせず、スキャンだけで解決できるパズルは「簡単な」パズルとして分類されます。 その他のより難しいパズルは、当然のことながら、スキャンだけでは解決できません。
ダイヤル
新しい番号が見つからなくなると、スキャンが停止します。 この時点では、論理的な分析に焦点を当てる必要があります。 ほとんどの場合、空のセルに候補番号をマークすることで、この分析をガイドするのが役立つと考えています。 一般的な表記法には、下付き文字とピリオドの 2 つがあります。 下付き表記ではセル内に候補番号を小さく書きます。 欠点は、オリジナルのパズルが新聞に掲載されるため、通常、数桁以上のスペースがあまり残されていないことです。 この表記が使用される場合、ソルバーは多くの場合、パズルの大きなコピーを作成し、鋭い鉛筆を使用します。 2 番目の表記は、左上隅のドットが 1 を表し、右下隅のドットが 9 を表すドット パターンです。この表記には、元のパズルで使用できるという利点があります。 ずれたポイントや不用意なマークは必然的に混乱を招き、さらに混乱を招かずに消去するのは簡単ではないため、ポイントを配置するにはスキルが必要です。
分析
主なアプローチは 2 つあります – 除去と仮定です。
- 消去法では、選択肢が 1 つだけ残るまで、1 つ以上のセルの候補番号を連続的に消去することで進行します。 各応答が得られた後、新しいスキャンを実行する必要があります (通常は最後の数値の効果を確認します)。 除去戦術は数多くあります。 最も一般的なものの 1 つは、「一致しない候補の削除」です。 候補番号の構成が同一であるセルは、それぞれの候補番号の数がそれらを含むセルの数と等しい場合に一致すると言われます。 たとえば、2 つのセルに同じ候補番号のペア (p,q) が含まれ、他に含まれない場合、または 3 つのセルに同じ 3 つの候補番号 (p,q) が含まれる場合、セルは特定の行、列、または領域に一致すると言えます。 ). ,r) であり、他のものではありません。 これらは本質的に偶然の出来事です。 一致しないセルの同じ行、列、または領域のどこかに候補として表示されるこれらの数字(p、q、r)は削除できます。
- what-if アプローチでは、候補番号が 2 つだけあるセルが選択され、推測が行われます。 重複が見つからない限り、上記の手順が繰り返されます。重複が見つかった場合、代替候補が解決策となります。 論理用語では、この方法は不条理への還元として知られています。 西尾氏はこのアプローチの限定的な形式です。セル候補ごとに、ある構成の特定の数が別の場所に適合するかという疑問が生じます。 答えが「はい」の場合、その候補者は 取り外すことができます。 what-if アプローチでは鉛筆と消しゴムが必要です。 このアプローチは試行錯誤が多すぎるため、論理純粋主義者には嫌われるかもしれませんが、解決策を明確かつ迅速に導き出すことができます。
理想的には、上記の要素の欠点の一部を回避するテクニックの組み合わせを見つける必要があります。 領域、行、列を数えるのは退屈かもしれません。 空のセルに候補番号を入力するのは時間がかかる場合があります。 「もしも」のアプローチは、よく整理されていないと混乱する可能性があります。 問題の核心は、カウント、マーク、削除を最小限に抑える手法を見つけることです。