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

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

于 2023-04-14 发布 文件大小:15.53 kB
0 269
下载积分: 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 个回复

  • ACM Nankai University in 2008 summer training camp, the early sharing of code
    南开大学2008年暑期ACM集训,初期共享代码-ACM Nankai University in 2008 summer training camp, the early sharing of code
    2022-06-28 09:39:01下载
    积分:1
  • 遗传
    分析了遗传算法的初始化,交叉变异等过程;通过实际例子,对遗传算法在计算目标函数值,将二进制编码转化为十进制数,计算个体的适应值几个方面的应用进行了详细分析。对初学者了解遗传算法具有很好的帮助。
    2022-08-02 17:38:53下载
    积分:1
  • M/M/1 队列参数的分析计
    此程序计算参数的 M/M/1 排队数。算法的输入是客户到队列的到达率和服务时间的队列中,而输出是均值和方差的客户数目在系统和队列和均值和方差的忙期的长度。
    2023-06-21 03:55:03下载
    积分:1
  • 八数码问题
    资源描述解决八数码问题的源代码,代码真实可靠!!!!!!!!!
    2022-02-14 20:28:20下载
    积分:1
  • 二进制搜索 java 代码
    导入 java.util.* ;类 BinarySearch{int [] ;无效的 get){扫描仪 sc = 新的 Scanner(System.in) ;System.out.println ("输入 no。元素") ;= 新 int[sc.nextInt()] ;System.out.println ("输入元素") ;为 (int 我 = 0 ; 我 < a.length;i++)a[i]=sc.nextInt() ;}int binarySearch (int n){int 低 = 0 ;int high=a.length-1 ;虽然 (低 < = 高){int 中期 =(low+high)/2 ;if(a[mid]==n)返回 (中期) ;if(n = 1 & & a [j-1] > t; j — —)[j] = [j-1] ;[j] = t ;}}空 display(){System.out.println ("给定的列表是") ;为 (int 我 = 0 ; 我 < a.length;i++)System.out.print ([i] +"") ;System.out.println() ;
    2023-01-30 23:10:03下载
    积分:1
  • 实现无损压缩lzw
    lzw算法实现文件的无损压缩 包含解压缩 程序可以运行LZW压缩算法的基本原理:提取原始文本文件数据中的不同字符,基于这些字符创建一个编译表,然后用编译表中的字符的索引来替代原始文本文件数据中的相应字符,减少原始数据大小。看起来和调色板图象的实现原理差不多,但是应该注意到的是,我们这里的编译表不是事先创建好的,而是根据原始文件数据动态创建的,解码时还要从已编码的数据中还原出原来的编译表.
    2022-07-09 22:05:05下载
    积分:1
  • 求逆矩阵的代码,可能不太好用。只是发上来看看而已。
    求逆矩阵的代码,可能不太好用。只是发上来看看而已。-Inverse matrix of the code, may not be easy to use. Just made up just to see.
    2022-03-30 16:09:52下载
    积分:1
  • 程序化交易--暴风雨源代码
    应用背景主要运用在外汇交易上,主要使用MT4平台上的各个商品和货币交易                                                                                                        关键技术每个人的看法不一样,结果只有使用者自己去决定,不过这个程序运转需要不少的钱,一般需要2万美金以上才比较安全可以使用。所以对外盘感兴趣的朋友,需要自己多测试后才运用,并且使用自己熟悉的参数来使用。
    2022-12-26 09:45:03下载
    积分:1
  • 最大最小蚂蚁c++
    传统蚁群优化算法难以量化定性系统的优化指标。为此,提出一种交互式最大最小蚂蚁算法。将路径中的信息素限制在最大最小区间内,利用全局历史最优解进行信息素更新和用户评价,选择当前代最感兴趣的解,无需给出每个解的具体优劣数量值,以提高算法性能和降低用户疲劳。仿真实验结果表明,该算法具有较好的搜索能力和较快的收敛速度。
    2022-01-25 21:12:23下载
    积分:1
  • Dijkstra源程序希望大家多多交流。
    Dijkstra算法源程序希望大家多多交流。-Dijkstra algorithm source we hope to conduct more exchanges.
    2022-01-26 04:37:50下载
    积分:1
  • 696518资源总数
  • 106235会员总数
  • 12今日下载