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

搜索资源列表

  1. 2-sat 问题 课件

  2. 2sat问题的课件，讲解细致易懂！acm/icpc用

  3. 所属分类：专业指导

    • 发布日期：2009-08-21
    • 文件大小：269312
    • 提供者：inzaghi250

  1. 一种求解SAT问题的新方法

  2. 一种求解SAT问题的新方法。与大家分享。一种求解SAT问题的新方法。与大家分享。

  3. 所属分类：专业指导

    • 发布日期：2010-03-21
    • 文件大小：359424
    • 提供者：weiguopan

  1. 基于寻找2-SAT子问题的SAT算法

  2. 将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效

  3. 所属分类：其它

    • 发布日期：2010-09-04
    • 文件大小：214016
    • 提供者：uniquesole

  1. 基于DPLL的混合遗传算法求解SAT问题’

  2. 基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本 身特性，调节阅值艿，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公式能够 快速找到一个可满足性指派。同时，在遗传算法中引入了DPLL算法，对部分变元进行消解，提高了算法的求解效率。相 关的实验数据表明，本算法的性能明显优于同类算法。

  3. 所属分类：其它

    • 发布日期：2010-11-29
    • 文件大小：415744
    • 提供者：tinaxieting1016

  1. 伍昱的《由对称性解2-SAT问题》

  2. 伍昱的《由对称性解2-SAT问题》。。。。。。。。。。。。。。。。。。。。。。。。。。

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

    • 发布日期：2011-09-08
    • 文件大小：269312
    • 提供者：nameless_05

  1. SAT问题求解

  2. sat problem 模拟退火算法接近Sat问题

  3. 所属分类：C

    • 发布日期：2011-09-16
    • 文件大小：10240
    • 提供者：zhougong88

  1. 关于Sat问题

  2. SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。

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

    • 发布日期：2011-12-05
    • 文件大小：577536
    • 提供者：hailianren

  1. 可满足性问题DPLL算法研究

  2. 本论文的贡献在于总结和分析了那些推动SA=r问题发展的最主要的启发式 算法和技术，并在此基础上提出了两点创新。其一，提出了一种新的正f剐燕理技 术：对称扩展的一元子旬推导。与传统的一元子句推导技术相比，本文的方法通 过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。 基于这项技术本文实现了一个可满足性问题预处理器Snowball。实验结果验证了 这项新的正向推理技术的有效性，并表明该预处理器Snowball能够有效地化简 SAT问题的规模并减少解决SAT问题的时间，特别是对

  3. 所属分类：专业指导

    • 发布日期：2011-12-25
    • 文件大小：1048576
    • 提供者：s_clover

  1. 2-SAT问题的求解思想

  2. 基于2-SAT问题的通用算法进行了详细的证明，结合例题图形深入剖析该算法的解题思想，充分挖掘图的性质，更好的解决问题。

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

    • 发布日期：2012-09-04
    • 文件大小：269312
    • 提供者：steamqueen

  1. 关于SAT问题

  2. SAT问题 有简单的介绍，而且程序运行。

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

    • 发布日期：2014-01-03
    • 文件大小：48128
    • 提供者：u013046518

  1. 由对称性解2-SAT问题

  2. 由对称性解2-SAT问题 资料非常全面详细 绝对有用的哦！ 强烈推荐！！

  3. 所属分类：专业指导

    • 发布日期：2014-05-28
    • 文件大小：269312
    • 提供者：licyh

  1. 解决SAT问题的JAVA代码

  2. 解决SAT问题的JAVA代码，判断输入的范式是否存在可满足性。

  3. 所属分类：Java

    • 发布日期：2014-12-24
    • 文件大小：3072
    • 提供者：sinat_15129573

  1. 2-SAT问题解法浅析

  2. 2-SAT问题浅析，论文资料。

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

    • 发布日期：2016-08-12
    • 文件大小：183296
    • 提供者：ourfutr2330

  1. 2-SAT解法浅析 赵爽 ＆　由对称性解2-SAT问题

  2. 关于学习２-sat的某些论文，入手必备，建议阅读．简介：算法２的步骤＆原理＆证明　与　例题分析，算法１的步骤

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

    • 发布日期：2017-09-25
    • 文件大小：269312
    • 提供者：qq_27121257

  1. 超级详细的图论问题分析与解答.rar

  2. 跳舞蝇 从一道题目的解法试谈网络流的构造与算法 平面图在信息学中的应用 平面嵌入 生成树的计数及其应用 由对称性解2-SAT问题 由图论算法浅析算法优化 图论的基本思想及方法 图论模型的建立与转化 欧拉回路性质与应用探究 树的枚举 浅析二分图匹配在信息学竞赛中的应用 浅析树的划分问题 浅谈网络流算法的应用 浅谈图论模型的建立与应用 浅谈基于分层思想的网络流算法 偶图的算法及应用 最大流在信息学竞赛中应用的一个模型--江涛 最小生成树问题的扩展 最小生成树算法

  3. 所属分类：讲义

  1. 规则随机（k，s）-SAT问题的可满足性阈值的上限

  2. 规则随机（k，s）-SAT问题的可满足性阈值的上限

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：480256
    • 提供者：weixin_38736011

  1. 基于1RSB的正则(k,r)-SAT问题可满足临界

  2. 基于1RSB的正则(k,r)-SAT问题可满足临界

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：327680
    • 提供者：weixin_38706294

  1. 求解SAT问题的多智能体社会进化算法

  2. 求解SAT问题的多智能体社会进化算法

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：1048576
    • 提供者：weixin_38592455

  1. 09_基于熟人网模型的SAT问题多智能体进化算法

  2. 09_基于熟人网模型的SAT问题多智能体进化算法

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：148480
    • 提供者：weixin_38574410

  1. 利用正交方法解SAT问题

  2. 利用正交方法解SAT问题

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：308224
    • 提供者：weixin_38680475
« 12 3 4 5 6 »