スパコンで簡単な問題 背景-a に挑戦 1 - 理詰めでナンプレ － メモなし・２択決定 で挑戦中

スパコンで力任せに数独の難しい問題を作ったつもりが簡単な問題だった件
背景 (a) の問題

• まず問題

		─	─
─							─
	─			─		─
─					─	─
	─			─				─
		─	─				─
	─		─					─
		─					─
					─	─

• レーザーで p=5 , q=3 がわかる

		─	─
─				p			─
	─			─		─
─					─	─
	─			─	q			─
		─	─				─
	─		─					─
		─					─
					─	─

• u=67 , abc=5
  ここで b=5 , c=5 は不可とわかり a=5 が決まる

		─	─
─				・			─
	─			─		─
─		u			─	─
	─			─	・			─
u	a	─	─				─
	─		─					─
	b	─					─
	c				─	─

• u=67 , abc=5 , b=5 のときを考える

		─	─
─				・			─
	─			─		─
─		u			─	─
	─			─	・			─
u	a	─	─				─
	─		─					─
	b	─					─
	c				─	─

• このとき レーザーで以下までわかる

		─	─
─				・			─
	─			─		─
─		・			─	─
・	─			─	・			─
・		─	─				─	・
	─	・	─					─
・	・	─				・	─
					─	─	・

• ここで 連続場合分けで x=8 とわかる
  ab=2 , a=2 のとき c=2 で x=8 , b=2 とする
  このとき d=7 , e=1 , f=2 , g=8
  hi=8 , h=8 のとき j=8 で x=8 , i=8 とする
  k=1 , l=2 , m=7 , n=6 , v=138 , o=4 , hp=49 で x=8

		─	─		l
─			n	・	m		─
	─		h	─	i	─
─	c	・	e	j	─	─	d	b
・	─	x	p	─	・	a		─
・		─	─				─	・
v	─	・	─	v	o	f	v	─
・	・	─			k	・	─	g
					─	─	・

• さらに レーザーで以下までわかる

	・	─	─
─	・			・			─
	─			─		─		・
─	・	・			─	─
・	─	・		─	・	・		─
・	・	─	─				─	・
	─	・	─					─
・	・	─				・	─
	・				─	─	・

• ここで ab=9 → x=8
  a=9 のとき c=9 , d=9 , x=8
  b=9 のとき e=2 , f=2 , u=17 , g=8 , x=8

	・	─	─
─	・	a		・			─
	─	b	c	─		─		・
─	・	・	x	d	─	─
・	─	・		─	・	・		─
・	・	─	─				─	・
	─	・	─					─
・	・	─	u	g	u	・	─	f
	・	e			─	─	・

• さらに レーザーで進めて これは不可とわかる

• u=67 , abc=5 , c=5 のときを考える
  xy=5 → c=5 不可
  x=5 のとき a=5 で c=5 不可
  y=5 のとき z=5 で c=5 不可

		─	─
─				・			─
	─			─		─
─		u			─	─
	─			─	・		x	─
u	a	─	─				─	y
	─		─					─
	b	─					─
	c				─	─	z

---