注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 2009 英特尔® 线程挑战赛 第二题 3SAT 源码

  2. 2009 英特尔® 线程挑战赛—3SAT 使用tbb结合OpenMP进行了并行优化

  3. 所属分类：专业指导

    • 发布日期：2009-05-15
    • 文件大小：386048
    • 提供者：denghui0815

  1. np难问题近似算法(绝版好书)

  2. 这本书在国内已经绝版。目录如下 Introduction Dorit S. Hochbaum 0.1 What can approximation algorithms do for you: an illustrative example 0.2 Fundamentals and concepts 0.3 Objectives and organization of this book 0.4 Acknowledgments I Approximation Algorithms for Sc

  3. 所属分类：其它

    • 发布日期：2010-12-22
    • 文件大小：13631488
    • 提供者：dragonxin28

  1. 用GA、SA实现3SAT问题的求解

  2. 模拟退火的方法求解3SAT问题; GA比起SA ，最大的优势在于对个初始解，而且存在杂交和变异，让SA具有非常强的跳出局部最优解的能力。而且简单通用，健壮性强。但是待定的参数很多，而且计算速度比较慢。选择，杂交，变异算子的选取也很关键 内含详尽的代码与报告说明

  3. 所属分类：C/C++

    • 发布日期：2012-09-19
    • 文件大小：184320
    • 提供者：xiaoyao3857

  1. 3sat 问题的benchmark

  2. 里面包含了13组数据，来测试自己的速度，数据格式里面有解释。

  3. 所属分类：C/C++

    • 发布日期：2013-04-01
    • 文件大小：15360
    • 提供者：yuanluliao

  1. 3SAT问题测试用例

  2. 可满足性问题： 1. m=3(变元的个数),n=5(子句的个数),l=3(子句的长度), 3-5-3.txt: 1 -2 3 0 1 -2 -3 0 1 2 -3 0 1 2 3 0 -1 2 3 0 其中文件表示如下合取范式： cnf=(p1并(P2的非)并p3)交(p1并(P2的非)并(p3的非))交(p1并P2并(p3的非))交(p1并P2并p3)交((p1的非)并P2并p3)

  3. 所属分类：其它

    • 发布日期：2015-06-11
    • 文件大小：2048
    • 提供者：zhoubin1992

  1. 3satStrategy

  2. 3sat的GSAT搜索算法。阅读标准cnf文件，返回无解或变量真值表。

  3. 所属分类：其它

    • 发布日期：2015-09-10
    • 文件大小：97280
    • 提供者：xsymjz

  1. qubo-nn:分类和自动编码QUBO矩阵-源码

  2. 曲波-NN 9个问题及其各自的QUBO矩阵。 QUBO矩阵用于将优化问题描述为矩阵，以便量子退火器（例如D-Wave QA）可以解决该问题。 现在，这些矩阵是一个非常有趣的构造。因此，出现了一些问题： 是否可以根据QUBO矩阵对问题类别进行分类？ 自动编码QUBO矩阵时，要权衡些什么呢，也就是说，在解决方案质量显着下降之前，还能走多远？ 让我们找出答案。 项目结构 文件 目的 nn / 包含神经网络模型。 问题/ 包含针对特定问题（例如3SAT或TSP）的生成器和评估器。 曲

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：123904
    • 提供者：weixin_42131405