-
walksat 找到一种令人满意的 cnf 公式模型
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-帮助
(或其他任何非法的选项)。
- 2023-04-14 06:25:03下载
- 积分:1
-
NS2多径DSR
这是代码来实现多径 dsr.this 使用 DSR protocol.there 是使用 multipath.we 使用 3 多径基于的纸张的路由协议实现的方法。
- 2022-04-07 08:32:04下载
- 积分:1
-
内部排序算法性能分析
在本系统中,通过编码用C语言实现测试程序对常见的六种排序算法性能从比较次数、移动次数和消耗时间方面进行了对比,分析数据得出结论,为在实际应用中选择合适排序算法提供了实验依据。实现功能:排序演示模块:直接排序算法、起泡排序算法、选择排序算法、快速排序算法、希尔排序算法、堆排序算法排序对比模块:直接排序算法、起泡排序算法、选择排序算法、快速排序算法、希尔排序算法、堆排序算法
- 2022-03-17 12:03:49下载
- 积分:1
-
C++编写的快速离散余弦变换
快速DCT(离散余弦变换) 也许对图像处理有用。
- 2022-03-31 18:56:19下载
- 积分:1
-
我用MATLAB编写的傅里叶变换,不利用FF软件…
采用Matlab自己编写的傅里叶变换,并不是使用软件提供的FFT2-I have written using Matlab Fourier transform, not using software provided by FFT2
- 2022-03-02 17:36:01下载
- 积分:1
-
分科学计算器和简易计算器两种功能
分科学计算器和简易计算器两种功能-Sub-scientific calculator and simple calculator two functions
- 2022-01-25 14:34:07下载
- 积分:1
-
我们的作业 计算方法里面的牛顿切线法求根,(单根情况)。...
我们的作业 计算方法里面的牛顿切线法求根,(单根情况)。-our operations inside the calculation method Newton tangent Root, (single).
- 2022-09-13 08:15:03下载
- 积分:1
-
order issued calculation of photonic crystal band structure, good! !
order发计算光子晶体的能带结构,比较好-order issued calculation of photonic crystal band structure, good! !
- 2022-02-07 21:48:31下载
- 积分:1
-
Hash函数MD5的实现
资源描述
用C语言实现该MD5压缩算法,尽可能的优化算法的实现。通过编程实现算法,对该算法的设计有较好的认识。
- 2022-03-24 04:29:04下载
- 积分:1
-
checkstl文件存在许多冗余点,此函数用来去除冗余点,重建拓扑结构
checkstl文件存在许多冗余点,此函数用来去除冗余点,重建拓扑结构
- 2022-01-21 06:18:17下载
- 积分:1