有趣的和幽默的 - 页 3970 1...396339643965396639673968396939703971397239733974397539763977...4979 新评论 Andrey Kisselyov 2017.09.02 17:49 #39691 Дмитрий: 所以去拿那一百万吧,就拿那一包吧 如果他们这么想得到解决方案,他们会自己带来。 恭敬地说。 Dr. Trader 2017.09.02 18:09 #39692 Vladimir Suschenko: 为了澄清一个提示--我们需要的不仅仅是一个一般的算法(可能不止一个),而恰恰是一个能让现代计算机实时解决大板尺寸问题的算法。要用现有的算法解决一个有大量领域的问题,现代计算机可能需要太多的时间(和内存)...现在,使用SAT/SMT求解器来解决这类问题是很时尚的。为了尽可能快地解决这个问题,你需要用cnf形式的布尔函数来表达这个问题,然后以某种方式按照本文的例子http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf除了坐着的解算器将只是回答问题是否能被解决,以是/否的形式。我不知道如何从那里得到答案本身(形状排列),我不擅长这种技术。 Roman Shiredchenko 2017.09.02 18:31 #39693 Grisha看...现在... Roman Shiredchenko 2017.09.02 18:37 #39694 关于那些https://www.youtube.com/watch?v=VpOqb-0Ec4w Григорий Лепс - Я поднимаю руки.Full HD качество 2015.12.17www.youtube.com Григорий Лепс Roman Shiredchenko 2017.09.02 18:38 #39695 既幽默又有趣 Roman Shiredchenko 2017.09.02 18:38 #39696 IMHO Dr. Trader 2017.09.02 20:41 #39697 这里有一个相当快的八皇后问题的解决方案,在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个女王的问题在大约半分钟内就能解决。 Oksana Berenko 2017.09.02 21:10 #39698 geratdc: 这个问题没有解决办法。7个皇后覆盖了整个棋盘的面积。它确实如此。 Denis Sartakov 2017.09.02 23:13 #39699 在一个几乎是史诗般的时代...eh? Andrey Kisselyov 2017.09.02 23:29 #39700 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 新评论 您错过了交易机会: 免费交易应用程序 8,000+信号可供复制 探索金融市场的经济新闻 注册 登录 拉丁字符(不带空格) 密码将被发送至该邮箱 发生错误 使用 Google 登录 您同意网站政策和使用条款 如果您没有帐号,请注册 可以使用cookies登录MQL5.com网站。 请在您的浏览器中启用必要的设置,否则您将无法登录。 忘记您的登录名/密码? 使用 Google 登录
所以去拿那一百万吧,就拿那一包吧
恭敬地说。
为了澄清一个提示--我们需要的不仅仅是一个一般的算法(可能不止一个),而恰恰是一个能让现代计算机实时解决大板尺寸问题的算法。要用现有的算法解决一个有大量领域的问题,现代计算机可能需要太多的时间(和内存)...
现在,使用SAT/SMT求解器来解决这类问题是很时尚的。为了尽可能快地解决这个问题,你需要用cnf形式的布尔函数来表达这个问题,然后以某种方式按照本文的例子http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf
除了坐着的解算器将只是回答问题是否能被解决,以是/否的形式。我不知道如何从那里得到答案本身(形状排列),我不擅长这种技术。
Grisha看...现在...
关于那些
https://www.youtube.com/watch?v=VpOqb-0Ec4w
既幽默又有趣
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个女王的问题在大约半分钟内就能解决。
这个问题没有解决办法。7个皇后覆盖了整个棋盘的面积。
它确实如此。
在一个几乎是史诗般的时代...eh?
这里有一个相当快的八皇后问题的解决方案,在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个女王的问题在大约半分钟内就能解决。
注意到。