登录
首页 » 算法 » walksat 找到一种令人满意的 cnf 公式模型

walksat 找到一种令人满意的 cnf 公式模型

于 2023-04-14 发布 文件大小:15.53 kB
0 314
下载积分: 2 下载次数: 1

代码说明:

Walksat 规格 Walksat 试图找到一种令人满意的 cnf 公式模型。 格式是.cnf 格式: c 在文件的开头的可选注释。 c"p"行指定 cnf 格式、 编号 var、 数字通则 c 变量的编号从 1 开始的 c 每个子句结束与 0 p cnf 3 2 1-3 0 2 3-1 0 Walksat 读取从标准中 (或从作为命令指定的文件 线参数) 并将写入到标准输出 (和标准错误)。 到 获取的命令行选项,类型列表 walksat-帮助 (或其他任何非法的选项)。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • code39条形码程序.rar
    能较好的识别code39条码,vc编写,易于识别,条形码识别程序,用来识别条形码。可以直接运行 能较好的识别code39条码,vc编写,易于识别,条形码识别程序,用来识别条形码。可以直接运行
    2023-03-25 08:05:04下载
    积分:1
  • 一维信号离散小波分解与重构的VC实现
    在理解了离散小波变换的基本原理和算法的基础上,通过设计VC程序对简单的一维信号在加上了高斯白噪声之后进行Daubechies小波、Morlet小波和Haar小波变换,从而得到小波分解系数;再通过改变分解得到的各层高频系数进行信号的小波重构达到消噪的目的。在这一程序实现的过程中能直观地理解信号小波分解重构的过程和在信号消噪中的重要作用,以及在对各层高频系数进行权重处理时系数的选取对信号消噪效果的影响。
    2022-01-26 07:27:14下载
    积分:1
  • a more general algorithm
    一个较为普通的算法-a more general algorithm
    2022-03-09 20:14:18下载
    积分:1
  • jpeg source code
    JPEG组织官方JPEG算法源代码,内含编码和解码,包括JPEG, JPEG2000, BMP, PNM等等格式的编解码,精度准确,经过实际编译测试,代码可用。
    2023-09-07 13:55:06下载
    积分:1
  • 神经网络实现
    人工神经网络(Artificial Neural Networks,简写为ANNs)也简称为神经网络(NNs)或称作连接模型(Connection Model),它是一种模仿动物神经网络行为特征,进行分布式并行信息处理的算法数学模型。这种网络依靠系统的复杂程度,通过调整内部大量节点之间相互连 接的关系,从而达到处理信息的目的。 本程序实现了神经网络算法 的框架,只需提供训练集便可运行。
    2023-01-20 11:20:04下载
    积分:1
  • malab数值解
    本源代码详细编出多种格式求解对流扩散方程的源代码,非常有用,对求解对流扩散问题有很大帮助,并且代码都有详细的中文注解,简单易懂,对于编程能力不是很好的同学有很大帮助。
    2022-07-23 18:11:49下载
    积分:1
  • 用C编的龙贝格函数,程序简单明了,可直接使用,也可较快地修改应用于MATLAB中。...
    用C编的龙贝格算法函数,程序简单明了,可直接使用,也可较快地修改应用于MATLAB中。-Rhomberg compiled with the C algorithm is a function, the program simple and clear, can be used directly, but also quickly modify the application in MATLAB.
    2022-02-22 01:26:07下载
    积分:1
  • 麻省理工学院开发的光子晶体软件的计程序,很不错的
    MIT开发出来的计算光子晶体的软件,非常好-MIT developed the calculation of photonic crystal software, very good
    2022-04-01 17:26:58下载
    积分:1
  • 运筹学之模式搜索及游泳问题!
    运筹学之模式搜索法及游泳问题!-tacticians search patterns and swimming!
    2022-01-25 23:31:37下载
    积分:1
  • vc wrote of the source is the type of game procedures. Calling many of the syste...
    vc写的源程序,是关于游戏类的程序。调用了系统的很多API-vc wrote of the source is the type of game procedures. Calling many of the system API
    2022-07-17 18:20:39下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载