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

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

• まず問題

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

• レーザーで p=5 , q=3
  さらに r=5 がわかり s=5 もわかる
  ここで 連続的な場合分けで x=8 がわかる

		─	─
─				p			─
	─			─		─
─					─	─
	─	x		─	q		s	─
	r	─	─				─
	─		─					─
		─					─
					─	─

• 改めて uv=67
  ここで ab=4 , a=4 のとき x=8 なので b=4 とする , c=2
  ここで de=1 だが e=1 のとき x=8 となる （ d=1 のときは改めて調べる ）
  e=1 のとき f=7 , g=9 , h=6 , i=4 , j=1 , k=4 , l=4 , m=1 , n=7 , o=9 , v=7
  ここで pq=6 → y=6 , da=69 , z=8 , x=8
  p=6 のとき r=9 , w=79 , y=6
  q=6 のとき y=6

		─	─	o			f
─	r	p	n	・			─
	─	q		─		─	g
─		v	d	z	─	─	e	c
	─	x	a	─	・	b	・	─
u	・	─	─	k	j		─
	─		─				i	─
w		─	m	y	w		─
			l		─	─	h

• 引き続き u=67 , a=4 , b=2 , c=1 を調べる
  ここで de=6 だが e=6 のとき x=8 となる （ d=6 のときは改めて調べる ）
  e=6 のとき
  fg=4 だが g=4 のとき wv=1235 , h=8 , x=8 なので f=4 とする
  i=1 , j=7 , k=9 , l=9 , m=1 , n=1 , w=1 , o=5 , p=9 , q=9 , r=679 , x=8

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

• 引き続き uv=67 , a=4 , b=2 , c=1 , d=6 を調べる
  さらに e=2
  ここで fg=7 → x=8
  f=7 のとき h=7 , i=9 , j=8 , k=1 , l=1 , x=8
  g=7 のときは改めて調べる

		─	─			j
─				・		k	─
	─			─		─
─		v	c		─	─	f	b
	─	x		─	・	a	・	─
u	・	─	─			i	─	g
	─	h	─			e		─
		─				d	─
		l			─	─

• 引き続き uv=67 , a=4 , b=2 , c=1 , d=6 , e=2 , f=7 を調べる
  g=7 , h=6 , v=7 , u=6 , i=6 , j=1 , k=1 , l=1 , m=26 , n=8 , o=8 , p=8 , x=8

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

---