有趣的和幽默的 - 页 3970

新评论
 
Дмитрий:

所以去拿那一百万吧，就拿那一包吧

如果他们这么想得到解决方案，他们会自己带来。

恭敬地说。
 
Vladimir Suschenko:

为了澄清一个提示--我们需要的不仅仅是一个一般的算法（可能不止一个），而恰恰是一个能让现代计算机实时解决大板尺寸问题的算法。要用现有的算法解决一个有大量领域的问题，现代计算机可能需要太多的时间（和内存）...

现在，使用SAT/SMT求解器来解决这类问题是很时尚的。为了尽可能快地解决这个问题，你需要用cnf形式的布尔函数来表达这个问题，然后以某种方式按照本文的例子http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf

除了坐着的解算器将只是回答问题是否能被解决，以是/否的形式。我不知道如何从那里得到答案本身（形状排列），我不擅长这种技术。

 

Grisha看...现在...

 

既幽默又有趣

 

IMHO

 

这里有一个相当快的八皇后问题的解决方案，在Python中，我花了36毫秒：http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm（找到标题 "八皇后"。）

你需要这个python库https://github.com/Z3Prover/z3/releases， 在代码本身中首先执行 "from z3 import *"，然后才是第一个链接的代码。

没有办法赚到一百万，解决问题的时间根据女王的数量呈指数增长，例如，有100个女王的问题在大约半分钟内就能解决。

 
geratdc:

这个问题没有解决办法。7个皇后覆盖了整个棋盘的面积。


它确实如此。


 

在一个几乎是史诗般的时代...eh?


 
Dr. Trader:

这里有一个相当快的八皇后问题的解决方案，在Python中，我花了36毫秒：http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm（找到标题 "八皇后"。）

你需要这个python库https://github.com/Z3Prover/z3/releases， 在代码本身中首先执行 "from z3 import *"，然后才是第一个链接的代码。

没有办法赚到一百万，解决问题的时间根据女王的数量呈指数增长，例如，有100个女王的问题在大约半分钟内就能解决。

我们谈论的是一个边长为1000或更多的单元格的字段。 你的算法不能处理它，基于100*100的字段已经需要半分钟的事实。

注意到。
1...396339643965396639673968396939703971397239733974397539763977...4979
新评论