数独解析

添付の数独を「数独解析」
http://www5e.biglobe.ne.jp/~jyokun/sudoku_analys …
にかけたのですが、
左上ブロックの９の左と、中央上段ブロックの４の右が、ともに１か６である、
というのが理解できません。
解析11行目の「^(1,6)^b3f3」の部分です。

左上ブロックの９の左と、中央上段ブロックの４の右のどちらかが６である、
というのは突き止めましたが、
左上ブロックの左下と、右上ブロックの左下と真ん中下に１が入るのを
否定できる理由が分かりません。

なぜ、このようなことが割り出せるのでしょうか？

No.1 ベストアンサー 回答者： fine_day 回答日時： 2015/04/09 01:58

こういうプログラムがあるんですね。

ふだんは手で解いているので感心しながら入力してみました。

11行目に至る前に、６行目でi1とi2が５と９のどちらかになるとなっています。
その結果から、７行目で２がh3、i3のどちらかにしか入らないことが判明。

盤面の上から３行目を横に見ると、b3、f3は縦に３、７、８があることから
１、２、６のいずれかが入りますが、上記から２はh3、i3なのでここには入らず、
その結果b3、f3は１か６のいずれかとなります。