登录
首页 » 算法 » 著名的3SAT问题 用蒙特卡罗算法实现的!

著名的3SAT问题 用蒙特卡罗算法实现的!

于 2022-12-21 发布 文件大小:996.00 B
0 195
下载积分: 2 下载次数: 1

代码说明:

著名的3SAT问题 用蒙特卡罗算法实现的!-famous 3SAT uses Monte Carlo algorithm!

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

发表评论

0 个回复

  • c语言程序练习
    编程,输入正整数n,求n的阶乘。 编程,统计字符串中数字字符的个数。 打印出水仙花数。 编程,判断字符串是否为回文。 编程,判断正整数n是否为完数。
    2022-02-28 22:39:29下载
    积分:1
  • 等值线
    等值线算法,仅供参考,算法有待改进!基于离散点的等值线生成算法,里面包括样例数据!等值线算法,仅供参考,算法有待改进!基于离散点的等值线生成算法,里面包括样例数据!
    2023-01-10 20:50:04下载
    积分:1
  • 快速排序qsort
    快速排序qsort 快速排序(Quicksort)是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-05-06 06:19:21下载
    积分:1
  • 棋盘覆盖 applet小程序
    棋盘覆盖 applet小程序-chessboard coverage applet small program
    2022-06-21 13:03:27下载
    积分:1
  • 自主访问控制
       创建一个主体(客体)就把创建主体(客体)的一个结构加入到主体(客体)链表中去,然后和客体关联起来,一个可以对应一主体并创建一个用户对客体的一个权限结构,使得用户对客体的权限关联起来关联起来,由于设计时候有一个小疏忽,这里的客体并不是主体自己创建的,而是由管理员创建的,所以必须为客体定义其拥有者,点击客体授权进入到客体拥有者授予界面,如下。通关选中客体与主体,点击授予就可以为客体分配其拥有者,然后回到主界面刷新一下,就可以发现授权链表内容被修改了,然后我们通过登陆界面进入到用户专属的授权表,如登录是s1我们可以看到如下界面,左边的权限表是s1所有的权限,然后我们选中一个权限(其中拥有权不能授予,不然会报错)再点击主体,授予,就可以把权限授予到点击的主体,刷新一下授权表就可以查看已经授予的权限 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-05-01 01:39:53下载
    积分:1
  • 数据结构--C语言-Demo
    #ifndef _BINARY_TREE_H_INCLUDED#define _BINARY_TREE_H_INCLUDED#include #include templatestruct Bintree_node {T element;Bintree_node* lchild;Bintree_node* rchild;explicit Bintree_node(const T& elem=T(), Bintree_node* lchd=0, Bintree_node* rchd=0): element(elem), lchild(lchd), rchild(rchd) {}};templateclass Binary_tree {public:typedef Bintree_node* PBtn;Binary_tree();virtual ~Binary_tree();void clear();int depth() const;int size() const;virtual PBtn find(const T& elem) const=0;virtual void insert(const T& elem)=0;virtual void erase(const T& elem)=0;virtual void print(std::ostream& output) const=0;void print_tree(std::ostream& output) const;protected:
    2022-01-29 04:39:50下载
    积分:1
  • prime 判断
    prime 判断-prime judgment
    2023-03-29 22:10:04下载
    积分:1
  • the mapped relation is built using BP network in order to provide fitness functi...
    用BP网络建立映射关系,为遗传算法提供适应度函数,通过改进遗传算法完成最小值优化-the mapped relation is built using BP network in order to provide fitness function for genetic algorithm. At last, optimization of minimum value is finished by genetic algorithm.
    2023-04-03 12:00:04下载
    积分:1
  • opcv实例源代码讲述各种实例提供各类源码
    opcv实例源代码讲述各种实例提供各类源码-opcv examples of source code, about various instances, provide various types of source code
    2022-03-26 17:29:17下载
    积分:1
  • 利用相关物体的移动
    利用相关法计算物体的移动-correlation method of mobile objects
    2022-08-13 17:37:32下载
    积分:1
  • 696518资源总数
  • 106253会员总数
  • 14今日下载