



｢エイト・クイーン｣ってクイーンが増えるとコンピュータはパンクしちゃうらしいですよ？ 英セント・アンドリューズ大教授が｢コンピュータには絶対無理｣と発表しました。反証できた方は100万ドル（約1億900万円）もらえます。

上下左右斜めの8方向に遮るものがない限り進めるチェスの駒クイーン。これを他のクイーンに取られないように並べる配置を考えるのが｢Nクイーン｣の命題です。縦横のマス目はクイーンと同数という条件です。最初に登場したのは1850年代で、これまでに8マスの｢エイト・クイーン｣は計4,426,165,368通りのパターンから92通りの解が人力で見つかっています。恐るべし、人力。









無論、8マスが解けたら9マス、10マスと駒を進めたくなるのが人類です。ところがこれが結構難しくて、現実的な時間枠の中で解を求めるプログラムについては、世界中の数学者とコンピュータ科学者の頭を悩ませ続けてきました。

米マサチューセッツのクレイ数学研究所が世紀の変わり目に人類7つの最難問｢ミレニアム懸賞問題｣にリストアップして公募中なのですが、まだ解けていません。そうこうするうちにAI分野で制約プログラミングを専門とするセント・アンドルーズ大学のIan Gent教授が、実行可能な時間内でコンピュータで解を導き出すことは事実上不可能であると結論付ける論文を発表してしまいました。

なぜ不可能なのかというと、今のコンピュータプログラムは1個1個の候補をしらみつぶしに当たって検証していく｢総当り｣攻撃のアプローチなので、処理にものすごく負荷がかかってしまうからです。たとえば27x27マス+27体まで増えただけで候補はなんと234,000,000,000,000通り！

これでは1,000x1,000マスにクイーン1,000体投入した辺りでコンピュータにガタがきてエンドレスな計算処理地獄にはまり、文字通り何千年という単位で計算してなきゃならないので、計算してる間に人類終わっちまうなどの状況も考えられる。したがって無理。ということらしいのです。なんだか、『銀河ヒッチハイク・ガイド』に出てくる｢Deep Thought｣（750万年かけて万物の解、42を導き出す）みたいな話ですよね…。

Gent教授自身は友達にFacebookで｢解ける？｣と聞かれたのがきっかけで研究をはじめました。｢これをすばやく解けるコンピュータプログラムが出現すれば、日々の暮らしに関わる最重要課題の多くが解決する。たとえばオンラインのあらゆる決済を保護している暗号化技術なんかも解けてしまう｣とプレスリリースで書いています。

確かに数学、コンピュータ、AIの研究への影響も大きいけど、金銭的インセンティブも膨大そうですよね。解いただけでミリオネアだし、市場デビューなんかした暁には一生左うちわです。でもGent教授も共同執筆者のPeter Nightingale博士も当分出現はないと予想しています。あまりにも解の候補が多すぎるし、バックトラッキング（それ以上進めても解がないと分かると、一手だけ戻って解を探す方法）という手法にも限界があるため、現存する最速のコンピュータでも数年かかるそうなのです。

｢理論はともかくとして現実には、すばやく解けるプログラムには誰も近づけていないんですね。だから研究では、絶対解けないことの証明を目指しました｣と、Nightingale博士は言っています。

ムリと言われると闘志が湧きますよね。｢Nクイーン｣の学術名は｢P vs NP Problem（P≠NP予想、P対NP問題）｣といいます。興味のある方はMike Jamesさんのブログ記事（英語）、Wikipediaの｢エイトクイーン｣の解説などご参考に。めざせ、100万ドル！





Source: The Journal of Artificial Intelligence Research

George Dvorsky - Gizmodo US [原文]



（satomi）