お絵かきロジック

出典: フリー百科事典『ウィキペディア（Wikipedia）』

"ピクロス" はこの項目 "お絵かきロジック" へ転送されています。任天堂から発売されているパズルシリーズについてはピクロス (ゲームソフト)をご覧ください。

問題

解答

完成までの流れ

お絵かきロジック（おえかきロジック）は、縦と横の数字をヒントに塗り潰すマス目を割り出し、そのとおりに塗り潰していくと、最終的に絵（または文字）が浮かび上がるタイプのペンシルパズル。ののぐらむ、イラストロジック、ピクロスとも呼ばれている。

[編集] 生い立ち

お絵かきロジックは西尾徹也といしだのん（石田伸子）の二者が独自に発案した。同時期に別々に発表したため一時期論争を起こしたが、結局は殆ど同じ時期に別々に創案したということが分かり論争もおさまった。

西尾は、マトリクスを使用したロジックパズルのマトリクスを利用して絵を描くことを考えた。一般的なロジックパズルにおいてはマトリクスには○か×を埋めるが、この○と×を黒マスと白マスにすることを考え、ヒントの出し方を考えて現在のルールを完成させた。

石田は1987年に、ビルの窓を利用して絵を描くという企画で入選した後、窓の絵=格子の上に絵を描くパズルを考えた。この石田の思考の過程の一部は彼女の著書である「ののぐらむ」で見ることができる。

このように二者が独自の過程を経て偶然にも同じ形式の問題に落ち着いた。後に西尾は問題を提供している『パズラー』誌で、石田はパズルの連載をしていた『社会新報』誌で問題を発表することになるが、偶然にも両誌の発行日は共に1988年 7月2日であった。

西尾は『パズラー』でこのパズルを発表した際に、このパズルを読者からも募集した。これにより高い人気を得、同誌から多くの作家が生まれることになった。一方石田の作品は、イギリスのダルゲッティによりののぐらむと命名されて『サンデー・テレグラフ』紙で連載されることになった。これにより、ののぐらむはイギリスで人気を得ることになる。また、日本においては毎日新聞の日曜版でも連載されていた（2006年現在、連載終了）。

任天堂ではピクロス（ピクチャー・クロスワード）の名を冠してパズルゲーム化。1995年にゲームボーイ用ソフト『マリオのピクロス』を発売、以降シリーズ化されている（ピクロスの項を参照）。

[編集] 基本的なルール

[編集] 数字が単独である場合

1個の数字は連続して黒く塗り潰すマス目（以下黒マスという）の数を表している。但し、場所までは表していない。

（例）

に対しては、次の3通りの可能性が考えられる。

3
3
3

[編集] 数字が複数ある場合

[編集] 「白マス」について

数字が複数ある場合、それぞれが連続で黒マスの数を表し、間には必ず塗り潰さないマス（以下白マスという）が最低1つ入る。但し、白マスの場所と、間に幾つ入るかまでは表していない。

（例1）

に対しては、次の6通りが考えられる。

1	1
1	1
1	1
1	1
1	1
1	1

（例2）

に対しては、次の1通りしか考えられない。

[編集] 順番について

複数の異なる数字がある場合は、その順番が黒マスの順番を表している。

（例）

3	1
1	3

に対しては、正解はそれぞれこのようになる。

3	1
1	3

なお、横の場合のみを示したが、縦の場合も同じである。

（例）

に対しては、次の3通りが考えられる。

2	2	2
1	1	1

基本的なルールはこれだけである。

[編集] 解く時の定石

ここでは、1列に10マスあるパズルを解くことを想定している。また、スペース節約のため横の列の場合のみを示すが、縦の場合も解き方は同じで、ここの総ての文章を、「左」を「上」に、「右」を「下」に読み替えれば縦の場合の解き方になる。

[編集] 第1段階

第1段階では、解き始めで何も手掛りがない状態なので、手掛り無しでも黒マスか白マスか判る所から確定していく。ここでの作業を漏らすと、途中で行き詰まるので、確実にやっておかなくてはならない。

[編集] 0と最高値を処理

先ず初めに行うのは、0と最高値（ここでは10）から処理するということである。何も考えなくても0の列は全部白マスであり、最高値の列は全部黒マスであることが明らかなためである。

白マスであることが確定したマスには、下のように印（よく使われるのは×）を付けておくとよい。ただ、あまり大きな印をつけると、出来上がった時に絵が見辛くなるので要注意である。

[編集] 足して最高値になる列を処理

複数の数字がある列で、数字と数字の間に白マスが1つと仮定して計算すると、ちょうど最高値と同じ数になる列は、1通りの可能性しかないので数字と数字の間に1マスだけ白マスを入れて塗り潰す。

（例）

は、7と2の間には白マスが1マスしかないと仮定すると、7+1+2=10（1は白マスの分、以下同じ）で最高値と同じ値になるから、次の1通りしかない。

この処理ができることは数字が細かくなればなるほど気づきにくいので、注意が必要である。例えば次のようなもの。

は、4+1+2+1+2=10だから、

である。もっと細かい場合もある。

は、1+1+2+1+1+1+1+1+1=10だから、

である。

[編集] 左右につめた時に生じる共通の黒マスを処理

例えば、次の列はどう処理するか。

この列には次の3通りが考えられる。

8
8
8

この場合はどうしようも無いかというと、そうでもない。よく見ると、どの場合も真ん中の6マスは必ず塗られていることがわかる。従って、この列はこの様に一部が確定する。

もっと言えば、一番左のマスが黒マスだと仮定した場合と、一番右のマスが黒マスだと仮定した場合で、共通する黒マスは確定する。

（例）

これを、一番左が黒マスだと仮定すると、

逆に一番右が黒マスだと仮定すると、

2つを比べて、共通して黒マスになっているのは、

となり、黄色で示した中央の2つが共通するので、次の通りマスが確定する。

複数の数字がある場合についても、数字と数字の間の白マスを1マスと仮定すれば同じ事ができる。但し、左と右から塗った場合を比べた時に、黒マスで共通していても、別の数字に由来する場合は共通とは言わない（下の例を参照）。

（例）

一番左が黒マスと仮定して、

一番右が黒マスと仮定して、

2つを比べると、共通して黒マスになっているのは、

ここで、黄色のマスは同じ「4」で塗られているが、緑のマスは一番左から塗った場合は「2」、一番右から塗った場合は「4」で塗られているので、黄色のマスのみ確定である。従って次のように確定する。

上図のような場合の可能性を考慮すると緑色のマスは確定されないことがわかる。

[編集] 第2段階

第1段階で確定出来るのはここまでである。後は第1段階で確定したマスを手掛りに、更に確定したマスを増やしていく作業に移る。第2段階で確定したマスも、新たに確定したマスを増やす手掛りになるので、解き終わるまでここの作業を繰り返すことになる。なお、これ以降は、既に確定している黒マスは茶色のマスで、既に確定している白マスは茶色の×で、新たに確定した黒マスと白マスはそれぞれ黒マスと黒い×で表すことにする。

[編集] 全黒マス、全白マスが確定した列の処理

数字の合計と既に確定した黒マスの数が一致する場合、まだ確定していないマスは全て白マスに確定する。また、まだ確定していないマスと黒マスに確定したマスの合計が数字の合計に一致した場合は、まだ確定していないマスは黒マスに確定する。

（例1）

この場合、数字「1」に対して既に1つの黒マスが確定しているので、これ以外の黒マスは存在しない。従って、

と白マスが確定する。

（例2）

この場合、この列には合計4マスの黒マスがあるのだから、まだ確定していないマスが黒マスでないと、黒マスの数が足りなくなってしまう。従って

と黒マスが確定する。

[編集] 黒マスの両隣を留める処理

数字と数字の間には白マスが1マス以上入るので、黒マスの連続が留まっていることがわかれば、その両隣は白マスに確定である。

（例1）

この場合、すでに塗られている黒マスは「2」に由来して連続していることは明らかである。数字と数字の間は必ず1つ以上の白マスがあるので、

と白マスが確定する。

（例2）

（例1）の場合と似ているが、今度は既に確定しているマスは「1」に由来するものか「2」に由来するものか、この時点では明らかでないので、新たに確定できるマスはない。

[編集] 端の処理

一番外側が確定すると、外側の数字の表す黒マスは確定である。

（例1）

のように一番左が確定している場合、自動的に「3」が表しているのは

と確定する。前項で述べたｄ「黒マスの両隣を留める処理」により、左から4番目に×をつけることも忘れてないでほしい。

（例2）

と、一番右が確定している場合は、自動的に「2」が表しているのは、

と確定する。右から3つめの×は「黒マスの両隣を留める処理」によるものである。

[編集] 狭小マスの処理

連続して取れるマスが数字より少ない場合は、その部分は白マスだと確定する。

（例1）

は、右端から黒マスをとると2マスしか取れないので、右端には黒マスは入らない。従って

と確定する。

（例2）

は、×と×の間には2マスしか取れないので、そこには黒マスは入らない。従って

と確定する。

[編集] 確実に黒マスが届くマス、届かないマスを処理

既に黒マスが確定しており、数字と見比べて届かないマスがある場合は、そこは白マスに確定する。また、幾ら端に寄せても黒マスがはみ出す部分については黒マスに確定である。

（例1）

この場合、可能性は次の2通りしかない。

2
2

従って、次の様に確定する。

（例2）

この場合、右端から黒マスを取ったとしても、必ず右から5マス目に黒マスが届いてしまう。また、確定しているマスから左へ5マス取ったとしても、左から3マス目まで黒マスは届かないことが明らかである。従って

と確定する。

（例3）

この場合、右側の黒マスから左側に目一杯4マス分伸ばしたとしても、2つの黒マスは繋がらない。また、その間にはルールにより最低1つの白マスが必要なので、左から4マス目は4のマスとしては埋められない。となれば、4の左端が右にずれるので（左から5マス目）、そこから右に数えた4マス目が黒マスに確定する。

[編集] 端や最高値の更新に対する処理

外側の白マスが連続して確定すると、その分だけ端が内側に寄ったものと見なす事が出来、それに伴ってその列の最高値がそれだけ少なくなったと見なせる。そこで、更新された端や最高値を使って黒マスと白マスを確定する。

（例1）

これは、第1段階では確定できなかった。しかし、

と確定した場合、右端が1つ分内側にずれたものと見なす事が出来、右から2つめのマスを新しい右端と考えて「左右に詰めた時に生じる共通の黒マスの処理」を行うと、

と確定できる。

（例2）

これは、第1段階では確定できなかった。しかし、

と確定すると、この列は最高値が10から7に下がったと見なせる。すると、1+1+1+1+1+1+1=7となり、最高値と一致するので、

と確定する。

[編集] 解決の流れ

	左の8×8マスの問題を例に、パズルの全体の流れを示す。便宜上、横列を大文字のAからH、縦列を小文字のaからhを使って呼び、特定のマスを横列と縦列の名を連ねて呼ぶ（最も左上のマスはAaとなる）。なお、赤で示した塗り潰しや×マークは横列の数字から、青のものは縦列の数字から導かれたことを表す。
	D列「8」は最高値なので、その列はすべて塗り潰せる（0と最高値を処理）。 b列「6」、c列「2,1,2」、f列「2,1,2」は、左右につめた時に生じる共通の黒マスを処理の定石から、一部塗り潰せる。
	a列「4」のうち、黒が確定しているDaのマスから考えて、最下段Haは白マスであることが確定する。（確実に黒マスが届くマス、届かないマスを処理）。 g列「3,2」の中の黒マスDgは位置から考えて、明らかに「3」に由来する黒マスである。なので、この列の最上段Agは白マスであることが確定する。 c列「2,1,2」について、Bc、Dcの黒マスは位置から考えてそれぞれ「2」、「1」に由来することがわかる。そこで、Dcの上下の両隣りは白マスと決まる（黒マスの両隣を留める処理）。またそれによって、最上段Acが黒マスであることも確定する（端や最高値の更新に対する処理）。 f列もc列と同様の処理ができる。
	A列「4」にある2つの黒マスAc、Afは当然同じ「4」に由来する。なので、その間の2マスは黒マスと決まり、全黒マス、全白マスが確定した列の処理を行うことができる。 B列「2,2」はどちらも確実に黒マスが届くマス、届かないマスを処理の定石から、両端のマスBa、Bhが白マスであると決定する。G列も同様である。 C列「2,2」はCcが白マスと確定しているため、端や最高値の更新に対する処理からCaが黒マスであることが確定する。 E列「2」はEcが白マスと確定しているため、これも同様にEaが黒マスであることが確定する。その後、全黒マス、全白マスが確定した列の処理ができる。 H列「4」も端や最高値の更新に対する処理から黒マスがひとつ確定する。
	a列の全マスが確定する。 b列「6」は端や最高値の更新に対する処理から黒マスがひとつ確定する。 d列「1,1,1」には黒マスの両隣を留める処理ができる。 e列の全マスが確定する。 g列の「3」が確定、「2」が一部確定する。 h列の「2」が確定する。
	B列の全マスが確定する。 F列「2,2」は、黒マスの両隣を留める処理からFcが白マスと決まり、またFdは狭小マスの処理ができ、白マスと確定する。その後、端や最高値の更新に対する処理からFgが黒マスとなる。 G列の全マスが確定する。
	b、c、g列の全マスが確定する。
	H列の全マスが確定する。
	f、h列の全マスが確定し、完成となる。
	完成図（"e"の文字）以上の例からわかるように、解く際にはしばしば「この黒マスはどの数字に由来するものか」ということが重要となる。