数独日誌110514

   前からSue de Coqという名前の手筋が気になっていました。SudopediaとHodokuのどちらのサイトにも載っていますが、「その他」というような分類です。何かフランス語のような、日本語の数独のような不思議な命名です。

   前にTachyonさんが、使ったというコメントをいただいたことがあると思います。今回この手筋を勉強しようと思い、SudopediaとHodokuの解説を訳してみました。よかったら参考にして下さい。ただこれを使わないと解けない問題は、私が普段解いている本には今までなかったように思います。下のサイトにある図と一緒にご覧下さい。
http://www.sudopedia.org/wiki/Sue_de_Coq
http://hodoku.sourceforge.net/en/tech_misc.php#sdc

（Sudopedia）
このテクニックはSue de Coqというハンドルネームの、Sudoku Players’ forum（どこにあるか知りませんが）のひとりのメンバーによって紹介されたものだそうです。（フランス人でしょうか）この人はこのテクニックに別の名前を付けていたのですが、これこそ真のSue de Coq（数独？）であるという意見があり、ハンドルネームがそのままテクニックの名前になったようです。

以下例題の部分を訳してみました。
第３行と第３ブロック（右上ブロック）の交差する部分について考えましょう。その部分の候補数字は12589です。その部分は２と９を同時に含むことはできません。なぜなら３行２列と矛盾するからです。またその部分は５と８を同時に含むこともできません。なぜなら１行７列と矛盾するからです。

その交差する部分は１と（２または９）と（５または８）を含まなくてはなりません。この結果、第３行と第３ブロックの候補数字から１を除外することができます。また第３行の残りのマスから２と９を除外でき、（管理人注　交差する部分に２が入る場合は３行２列が９となり、交差する部分に９が入れば３行２列が２となるから）第３ブロックの残りのマスから５と８を除外できます。（もしあれば）（管理人注　交差する部分に５が入る場合は１行７列が８となり、交差する部分に８が入れば１行７列が５となるから）これらは赤で示されています。

Sue de Coqはエレガントかつ効果的なテクニックで、一度にいくつかの数字を除外できます。しかしながらこのテクニックはあまり使われていません。

（Hodoku）
（左図）（左下ブロックと第７行の）交差している部分は７行１列と７行３列です。その部分は3459が候補数字です。第７行の７行７列には45の２択マスがあり、左下ブロックの８行２列には39の２択マスがあります。すると４と５が第７行の残りのマスから除外でき、３と９が左下ブロックの残りのマスから除外できます。

次の段落はうまく訳せませんでしたが、７行１列と７行３列の２つのマスには、７行７列に45の２択マスがあるので、４と５が同時には入れず、８行３列に39の２択マスがあるので、３と９も同時には入れません。ということで７行１列と７行３列の２つのマスには39のどちらかと45のどちらかが入ることになる、ということだと思います。この結果、交差している部分と７行７列に４と５（または５と４）が入るので、第７行の残りのマスから４と５が除外でき、交差している部分と８行３列に３と９（または９と３）が入るので、左下ブロックの残りのマスから３と９が除外できることになります。

（右図）これはSudopediaの例と同じ形で、交差する部分が７行9列と８行９列と９行９列になります。２行９列に56の２択マス、右下ブロックの９行７列に27の２択マスがあるので、交差する部分は４と27のどちらかと56のどちらかが入ります。この結果第９列の残りのマスから５と６が除外でき、右下ブロックの残りのマスから２と７が除外でき、第９列と右下ブロックの両方から４が除外できます。