Box-Line Reduction — 数独テクニック

概要

Box-Line Reduction は pointing pair の鏡像です。pointing pair は「ボックス → ライン」(ボックス内の制約から、あるラインで排除)に働きますが、Box-Line Reduction は「ライン → ボックス」 — ライン内の制約から、あるボックスで排除します。 原理は同一(locked candidates タイプ2)です。命名は方向によって変えており、解き手が排除の流れを正確に述べられるようになっています:「ボックス1の5に対する pointing」と「4行目から8への box-line reduction」のように。

使うべきタイミング

スキャンしていて、ある数字のある行または列の候補がすべて1つのボックスに集まっているのを見つけたら使います。そのボックスの残りからその数字を消すのに使ってください。

実例

7行目における数字3の候補セルは R7C4 と R7C6 のみ — どちらもボックス8(下中央のボックス)です。7行目の3はボックス8のどこかに必ず着地します。したがって、3は R8C4、R8C5、R8C6、R9C4、R9C5、R9C6 から排除できます(ボックス8のうち7行目の外側の残り)。