面白さ・ユーモア - ページ 3970

新しいコメント
 
Дмитрий:

だから100万ドルを手に入れろ パッケージを手に入れろ

そんなに解決したいのなら、自分たちで持ってくればいい。

謹んで申し上げます。
 
Vladimir Suschenko:

ヒントを明確にすると、一般的なアルゴリズムではなく、現代のコンピュータがボードサイズの大きな問題を実時間で解けるようなアルゴリズムが必要です（おそらく1つ以上あると思います）。フィールド数が多い問題を既存のアルゴリズムで解くには、現代のコンピュータでは年数（とメモリ）がかかりすぎてしまうかもしれない...。

最近では、このような問題を解くためにSAT/SMTソルバーを使うことが流行っている。できるだけ早く解くには、問題をブール関数でcnf形式で表現し、何とかこの記事の例に従う必要があります http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf

ただし、サットソルバーは、問題が解けるかどうかをイエス/ノー形式で答えるだけです。そこからどうやって答えそのもの（形状配置）を導き出すのか、この技術に疎い私には全くわかりません。

 

グリシャの表情...今...。

 

滑稽且つ面白い

 

IMHO

 

Pythonでは36ミリ秒かかります。http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(find title "Eight Queens")です。

この Python ライブラリhttps://github.com/Z3Prover/z3/releases が必要で、 コード自体にはまず "from z3 import *" を実行し、その後に最初のリンクのコードを実行するだけです。

100万を作る方法はありません。問題を解く時間は、女王の数によって指数関数的に増加し、例えば100人の女王の問題は約半分で解けます。

 
geratdc:

この問題には解決策がない。7人の女王がチェス盤の全領域をカバーする。


そうなんです。


 

という壮大な時代に...。彼


 
Dr. Trader:

Pythonでは36ミリ秒かかります。http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(find title "Eight Queens")です。

この Python ライブラリhttps://github.com/Z3Prover/z3/releases が必要で、 コード自体にはまず "from z3 import *" を実行し、その後に最初のリンクのコードを実行するだけです。

100万を作る方法はありません。問題を解く時間は、女王の数によって指数関数的に増加し、例えば100人の女王の問題は約半分で解けます。

100 * 100 のフィールドにすでに半時間がかかっていることから、あなたのアルゴリズムはそれを処理できません。

リーズナブル。
1...396339643965396639673968396939703971397239733974397539763977...4979
新しいコメント