解析戦略
分析への2つの主要なアプローチは「候補者除去」および「what-if」である。 「候補者除去では」の、進歩は引き続いて細胞から候補者の1つの選択を残すために数字を除去することによってなされる。
各答えが達成された後、別のスキャンは偶発事の効果を見る行われた通常点検であるかもしれない。 特定の数字を入れることが他の必要な配置の完了を防げば質問の一般に、
そして数字候補者として除去することができる。 1つの方法は分かれる」の働く「一致させた細胞識別によって。 例えば、規模規模内の正確に3個の細胞が同じ3つの候補者の数字
(p、q、r)を含んでいれば(特定の列、コラム、または地域)内の正確に2個の細胞が同じ2つの候補者の数字(p、q)を、または含んでいるか、これらの細胞は一致すると言われる。
その同じ規模内のそれらの候補者の数字の配置はどこか他の所に解決を不可能にする; 従って、それらの候補者の数字は規模の他のすべての細胞から削除することができる。
「what-if」アプローチでは(また、「分岐点」、「撤回」および「Ariadne糸」の「推測および点検しなさい呼ばれる」)、2つの候補者の数字の細胞は選ばれ、推測はなされる。
ステップは代わりとなる候補者が解決でなければならなければ重複があるかまたは細胞が可能な候補者なしで残っているまで繰り返される。 各細胞の候補者のために、質問は提起される:
「その数字の他の配置の完了を防ぐために入れる特定の数字をか」。 答えが「はい」あれば、その候補者は除去することができる。 what-if」両方の候補者のために運動するか「どちらかが1人可能であることを、
別の組試みられるべきである示しなさい。 結果が本当でなければならないことwhat-if」両方の候補者のために運動するか「代わりに、同一の結果を、そして意味しなさい。
what-ifアプローチが鉛筆および消す物またはよいレイアウトの記憶要求するか。
困惑の解決の間に現われることができる3種類の対立がある、: nから数を除去することはまたはコラム漕ぐ場合それは、
1。基本的な対立-区域
2。魚の対立のnの細胞に唯一にN-1異なった候補者がある- N+1コラムか列からまた消える。
3。独特な対立-このパターンは多数の解決を、パターン2回のすべての数丁度存在しているあらゆる区域、列およびコラムの意味する。 細胞にたった1人の候補者があれば、どの事実上の候補者でも加えることができる。
のそれら出会うことは困惑が独特に解答可能でないことを示す。 それらにの結果として「what-if」出会えばそう、あなたの消す物を使用し、まだ試みられない試みの代わりに戻る。
|
