数独正是含剪枝的穷举，跟逻辑推理关系不大。  
  
【 在 janepencil (风杨) 的大作中提到: 】
:  1.因为B旁边不能有AC，所以最右边填D
:  2.因为D旁边不能有C，所以C只能填左2上下两个位置
:  3.因为C旁边不能有BD，所以最左边和左3上下两个位置只能填A
:  4.因为左4下周边有A/B/D，所以左4下只能填D
--
FROM 183.179.53.*