数独

数独（すうどく）は、3×3のグループ（ブロック）に区切られた 9×9の正方形の枠内に1〜9までの数字を入れるペンシルパズルの一つである。
同様のパズルそのものは1980年代から世界各地のパズル愛好家には知られていた。日本においては1990年代後半以降、専門誌も創刊されていたが、2005年にイギリスで大衆層を巻き込んだブームが起こり、外国のブームを追うように2006年から日本でも連載する新聞や雑誌が従前以上に増加した。
世界パズル選手権では、スケルトンやお絵かきロジック、その他さまざまなパズルとともに数独 () も毎年出題されている。
名称.
アメリカのパズル誌に載っていた「Number Place」というパズルを、パズル制作会社ニコリの代表取締役鍜治真起が、名称だけ「数字は独身に限る」（略して、数独）と変えて日本で発表したことが始まりで、同社の関与する媒体で使用される名称である。同社によって商標登録がされており、日本国内においては同社が制作に関与していないものについては「ナンプレ（ナンバープレース）」などの表記が使われている。
2008年、高等学校英語の教科書に取り上げられた数独に関する文章について、教科書検定の結果「特定の商品の宣伝になる恐れがある」との理由で表記を「」から「」などに修正を求められたと報じられた。
一方、日本国外では同社による商標登録が行われておらず、同社が制作に関与していないものについても「」の呼称が用いられている場合が多い。また、従前からの名称である「」「」の呼称も引き続き用いられている。
遊び方.
基本的なルールは簡単で、下記の3つだけである。
解法.
基本的な問題はこの2つで解くことが可能である。具体例としては、
中級以上の手筋としては、数字が入るマスは確定しないが、ある制約により数字が入る場所が限定され決定することがある。具体例としては、
以上のような解法が一般に知られている。
初期配置.
日本国内で数独の問題を発表するときには、最初に盤面に提示するヒントとなる数字の配置（初期配置）を点対称形にするのが一般的である。ただし、ナンプレなど、他の名称で作成・公開されているものについては、必ずしもこの規則に従っていない。
初期配置の数字の数は年々減少し、現在では20〜30個程度が多く、中でも24個のものが非常に多い。また、初期配置の数字の数は、少なければ少ないほど難しくなるというわけではなく、難しい数独を作ろうとすると、20〜25個程度になる。
ニコリと世界文化社を除くほとんどの出版社では、初期配置の数字の数は24〜38個程度で、易しいものほど多く、難しいものほど少なくなっている。
最少個数.
数独の初期配置の数字の最少個数は、17個である。2012年1月6日、アイルランドの数学者 Gary McGuire は「数独においてヒントが16個以下のものは解法を持ちえない」ということを証明した。証明にあたっては「ヒッティング・セット・アルゴリズム」を用いて単純化し、2年間で700万CPU時間をかけ、答えにたどり着いた。以前は、問題として成立する初期配置の数字の最少個数は結論が出ていなかったが、点対称の問題では18個（初出・パズル通信ニコリ31号、1990年）、線対称（対角線）・非対称のものでは17個（後者の初出・パズラー187号、1997年）のものが確認されていた。
また、どの初期配置の数字もそれが無かったら唯一解でなくなる問題の初期配置の数字の最多個数は、今のところ35個のものが確認されている。
なお、複数の解が存在する初期配置の数字の最多個数は77個である。
標準以外.
標準のルール以外の場合、初期配置の数字の数はさらに少なくすることができる。対角線上でも同じ数字が重複してはいけない「対角線ナンプレ」では、点対称・線対称（水平もしくは垂直）・非対称の問題で12個のものが確認されている。ブロックの形を変更した「幾何ナンプレ」では、ブロックの形状次第では8個で問題が成立する。このタイプの問題の場合、 のサイズでは初期配置の数字の数が 個の問題を作ることができる。この形式を含め、数字が意味を持たない形式の場合、初期配置の数字の数が 個以下で一意解の問題を作ることができない。
数字が意味を持つ場合、初期配置の数字の数をさらに少なくすることができる。隣接マスの相互関係を利用する「」や、数字の合計を利用する「サムナンプレ」では、マスに1つも数字が入っていない問題が出題されることがある。「1つ違いナンプレ」は隣接するマスの相互関係を利用する問題だが、これは初期配置の数字の数を0にすることはできない。
大きい問題.
標準ルールでマスの数を増やした形式については、あまり調べられていない。
これらに対して統計を取った例はほとんどないが、ニコリ発行の『数独通信』によれば、16×16で74個（『数独通信』Vol.1（2006年2月） とくしん作）・25×25で241個（『パズル・ザ・ジャイアント』Vol.11（2000年7月）作）の問題が確認されている。
印刷物の形では発行されていないが、2006年7月に16×16で初期配置の数字の数が64個（点対称）のものと62個（非対称）のものが発表されている。
2011年に16×16の場合の初期配置の数字の最小個数がGPCCに取り上げられた。出題時点では上記の62個が最小となっていたが、2011年4月11日現在56個のものが発見されている。
また、2018年10月6日、「アスキードワンゴ」「すうがくぶんか」「和から」共同主催の「数の祭典 MATH POWER 2018」において3✕3を280個連結したものをニコニコ動画で公開生中継し21時間経過したところで完成、ギネス記録として認定された。
歴史.
フランスの日刊紙「ル・シエクル」は1892年に、2桁の数字を使用する同様のパズルを掲載している。1895年には別の日刊紙「ラ・フランス」が1桁の数字で9×9の盤面を埋めるパズルを掲載しているが、これは3×3のブロックを用いていなかった。これらのパズルはしばらくフランスのいくつかの新聞に毎週掲載されていたが、いずれも第一次世界大戦前後には姿を消した。
現在の数独は、アメリカ人建築家が匿名で考案したものである。これは18世紀にスイスの数学者レオンハルト・オイラーが考案した、ラテン方陣あるいはオイラー方陣と呼ばれるものに、3×3のブロックという新たな制限を付け加え、ペンシルパズルとしたものである。これは「ナンバー・プレイス」の名前で1979年にニューヨークの出版社デル・マガジン社から初めて出版された。当時から「フィギュアー・プレイス」という名称も存在している。
日本には、ニコリの『月刊ニコリスト』1984年4月号で、「数字は独身に限る」の題で初めて紹介された。作者及び命名者はニコリ社長の鍜治真起である。
1988年4月1日、ニコリから単行本『ペンシルパズル本6・数独1』が刊行された際、ニコリによる公式な略称として「数独」という名称が使用され始めた。以後数年間は「数字は独身に限る」の方が引き続き正式名称で、「数独」が正式名称となったのは1992年3月1日発行の『パズル通信ニコリ37号 はる分』からである。
世界的な流行は、1997年に59歳のニュージーランド人が日本の書店で数独の本を手にとったことに始まる。グールドは6年後、数独をコンピュータで自動生成するプログラムを作ることに成功した。イギリスの新聞・タイムズに売り込み、2004年11月12日から の名で連載を開始した。2005年4月から5月にかけてブームに火が付き、インデペンデント、ガーディアン、ザ・サン、デイリー・ミラーなどイギリスの主要日刊紙に軒並み掲載されるという状況になった。2005年7月1日にはテレビ局スカイ・ワンが、数独をテーマにした初のテレビ番組を放映。イギリスでの人気は他国にも飛び火し、パズルとしては1980年ごろのルービック・キューブ以来の大流行と言われた。
世界選手権.
2006年3月10日、11日にはイタリアのルッカで初の世界選手権（世界ナンプレ選手権）が開催され、22か国85名が参加した。優勝はチェコの女性ヤナ・ティローバである。女性が国際的なパズル選手権で優勝するのは世界パズル選手権でも例がないことだった。日本代表はパズル作家の西尾徹也の4位が最高だった。
2007年にはプラハで第2回大会が開催され、個人ではアメリカのトーマス・スナイダーが、チームでは日本が優勝した。また、これに伴い、日本では世界選手権の参加者の選抜を兼ねた日本選手権が行われた。この大会は日本パズル選手権（世界パズル選手権の日本代表選考を兼ねる）と同様世界文化社が主催していたが、現在の選考は世界パズル選手権と同様日本パズル連盟が行っている。
選手権の正式名称は （世界数独選手権）だが、公式な日本語名は、商標の関係もあり「世界ナンプレ選手権」となっている。
2013年より18歳以下と50歳以上の部門が新設されている。
バリエーション.
数独の中には、新しいルールを付加したり一部のルールを変更したものが多く存在する。
大きさの変更.
一般的な数独は枠の大きさが9×9であるが、一辺のマスの数を増やして大型化したものが考えられる。ブロック分けの関係上一辺のマスの数は平方数にすることが多いが、平方数でなくとも作成は可能であり、世界選手権においては6×6（2×3のブロックが6個）の問題が出題されている。16×16や25×25程度のサイズは比較的よく見られ、毎号のように掲載している専門誌もある。これ以上のサイズでは、36×36のものが世界文化社発行の「ナンプレ」1997年11月号に掲載されている。今までにパズル誌で発表された最大の問題は、49×49である。
10以上の数字については、そのまま数字を入れる場合もあれば、アルファベットに置き換えられる場合もある。
ルールの付加.
数独のルールに新たな条件を追加したものがある。代表的なものには以下のようなものがある。追加の条件にはそれ自体が解答のヒントとなるものも多いため、同程度の難易度の通常の問題に比べ初めから数字で埋められているマスは少ないことが多い。
ルールの変更.
ルールの一部を変更したものがある。
最も代表的なものは、本来3×3の正方形であるブロックの形状を不規則な9マスの形（ノノミノ）に変更したものであり、「ジグソー数独」「幾何（模様）ナンプレ」などの名称で呼ばれる。なお、このルールによれば必ずしも9×9の問題である必要はなく、任意の大きさの正方形で問題を作ることも可能である。
他に、立方体の表面上に数字を並べるものや、数字が2つ入るマスを設け各列に10個ずつ数字が入るもの、などがある。
入る数字の変更.
入る数字の表記法を制限して、表記の一部を表示するタイプの問題がある。世界選手権では、以下のようなものを入れる問題が登場した。
コンピュータと数独.
前記のウェイン・グールドがタイムズ紙に問題を提供していた例のように、コンピュータを用いて数独の問題を解答したり作成したりすることも広く行われている。日本でも、インフォレストが2004年1月から（外注のプログラマが作成した）プログラムで生成された問題を誌面に掲載しているなど、コンピュータによって作成された問題が商業誌に使用されるも例も多い。
ルールの単純さから多くの解答プログラムが作られており、フリーウェアとして公開されているものも多い。多くのプログラムは9×9の標準の形式の解答しかできないが、大きいサイズの問題や対角線の条件が加わったものなども解けるプログラムもある。
問題作成プログラムは、解の存在をチェックするために解答プログラムを内包することになるため、解答プログラムよりも数は少ない。コンピューターで問題を作成する利点としては、短時間で多くの問題が作れることや、「盤面に17個しかない」などのより限定された条件の問題を作ることができることがあげられる。
ただし、コンピュータで面白い問題が作れるかどうかは別の話である。パズル通信ニコリの編集部および読者や、西尾徹也のように日本で専門の雑誌が刊行されるよりも前から数独を作っている作家の中には、「コンピュータ作成の問題より人間が手で作った問題の方が解いて面白い」という意見が存在している。
コンピュータゲームの数独.
数独専用の電子ゲーム機やウェブサイト上でを用いたものなど様々なバリエーションが存在する。以下にゲーム機用のソフトウェアとして発売された代表的なタイトルを挙げる。
数独の組み合わせパターン数.
数独の組み合わせパターン数は、回転や反射や順列や名前を変更することなどで同じになるものを考慮すると、54億7273万0538種類になるとエド・ラッセルとフレーザージャービスによって示されている。