ナンプレ (いわゆる数独) の問題生成アルゴリズムの話。 | blog.dnpp.org

2023/12/28 183 users iOS LeetCode ナンプレ MacOS アルゴリズム

概要 iOS と macOS ネイティブなアプリを作った ので、技術的な話を書きます。 拠所無い事情からコンピュータサイエンスというか基本的なアルゴリズムの実装の勉強を leetcode でやっていた時期が 2023 年の 9 月頃にありまして、「折角勉強したんだし何か作るか」という気持ちでアプリを作りまして…。 リリースまでなん... 続きを読む

スパコンで力任せに数独の難しい問題を作る

2013/03/11 317 users スパコン 指標 定義 参考文献 手法

概要 背景 難易度の定義 手法 まとめ 参考文献 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である。 このうち平均幅が難易度の指標であ... 続きを読む

慶応SFCの入試でまさかの「数独」が出題され受験生困惑 - ねとらぼ

2013/02/19 176 users 慶応SFC ナンプレ 入試 とらぼ 受験

総合政策学部や環境情報学部などがあり、創立以来ユニークな人材を多く排出してきたことで知られる慶応義塾大学の湘南藤沢キャンパス（通称：SFC）。その入試問題でまさかの「数独（ナンプレ）」が出題され、困惑する受験生たちの様子がNAVERまとめにまとめられています。 【画像】 慶應義塾大学・総合政策の入試でまさかの「数独」出題wwwww SFC 出題された問題は、9×9の格子状に分けられたマス目の中に1... 続きを読む

数独を解く(画像解析) - cuspy diary

2012/06/29 392 users cuspy diary 画像解析 OpenCV ワザ 手法

画像として与えられた数独を解きます。 新聞に掲載されていたこの問題をOpenCVを使って画像解析する。(画像が斜めなのはワザとです) グレースケール変換 画像解析の前処理として、まずグレースケールに変換し、ガウシアンフィルタをかけてぼかします。ガウシアンフィルタをかける事で、安定した二値化が画像が得られます。1 二値化 次に二値化を行います。 二値化には、普通の方法、大津さんの手法、適応的二値化、... 続きを読む

数独の初期ヒント最小個数は「17」、それ未満では解けないと数学者が結論 - GIGAZINE

2012/01/09 192 users GIGAZINE アイルランド 最小 結論 ヒント

by Miss_Bathory 日本だけではなく海外でも人気の高い数字パズル「数独(Sudoku)」。初期に配置するヒントの数は20個～30個ぐらいのものが多く、最小では17個のものが確認されていますが、問題として成立するのがいったいどのラインなのかは結論が出ていなかったのですが、アイルランドの数学者が「ヒントが16以下だと解けない」と結論を出しました。 Mathematician claims ... 続きを読む

あらゆる数独パズルを解く

2011/08/29 173 users 数独パズル Square 盤面 青木靖 探索

Peter Norvig / 青木靖 訳 このエッセイでは、 あらゆる数独パズルを解くという問題に取り組む。制約伝播と探索という2つのアイデアを使うと、ごく簡単に解けるということがわかる(主要なアイデアはコードにして1ページたらずで、補足的なコードが2ページある)。 数独の記法と予備概念 最初に記法をいくつか決めておこう。数独パズルは81個のマス(square)からなる盤面を使う。数独ファンの多く... 続きを読む