没有合适的资源？快使用搜索试试~
我知道了~
文库首页
人工智能
深度学习
求解SAT问题的改进粒子群优化算法.pdf
求解SAT问题的改进粒子群优化算法.pdf
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
数据结构
参考文献
专业指导
0 下载量
61 浏览量
2021-09-29
19:39:15
上传
评论
1
收藏
220KB
PDF
举报
温馨提示
限时特惠：¥4.90
14.90
求解SAT问题的改进粒子群优化算法.pdf
资源推荐
资源评论
采用正交免疫克隆粒子群算法求解SAT问题.pdf
浏览：94
采用正交免疫克隆粒子群算法求解SAT问题.pdf
论文研究-并行蚁群算法求解加权MAX-SAT.pdf
浏览：161
为了使得算法对蚁群进化的控制更加直接、算法更加高效，针对加权MAX-SAT的特点，以重离散化方式简化蚁群算法模型，提出取值概率的概念，并以之替换传统蚁群算法中信息素，最后对该算法作并行化改进。实验结果表明，得到的基于改进后并行化的蚁群算法更具有效性，搜索时间明显降低，取得了较好的加速比和效率。
粒子群优化算法及其在SAT问题matlab源码
浏览：141
5星 · 资源好评率100%
组合优化问题一直是科学研究领域中的一个重要问题。目前解决组合优化问题的方法可以分为两类。Non-Population based 方法和Population based 方法。本文主要讨论属于Population based 方法的粒子群优化算法(PSO).粒子群优化算法由Dr.Eberhart 和Dr.Kenney 于1995年提出,它是受到鸟群或者鱼群的社会行为的启发而形成的一种基于种群的随机
论文研究-分子计算算法求解SAT问题的仿真实验 .pdf
浏览：41
分子计算算法求解SAT问题的仿真实验，陈程，余文，分子计算作为一种新型的计算方式，凭借其高度的并行性和巨大的信息存储能力为NP完全问题的解决提供了全新的方法。但与电子计算机�
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览：104
可满足问题（SAT）是一个NP-Hard问题。提出了一种求解SAT的新算法（FFSAT）。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题，但是当所有子句长度不大于2时，SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子问题，当它不满足时，根据赋值选择新的2-SAT子问题。实验结果表明，采用本算法的结果优于UnitWalk。
一种求解TSP问题的改进粒子群优化算法.pdf
浏览：96
一种求解TSP问题的改进粒子群优化算法.pdf
求解约束优化的改进粒子群优化算法.pdf
浏览：89
求解约束优化的改进粒子群优化算法.pdf
一种求解复杂优化问题的改进粒子群优化算法.pdf
浏览：11
一种求解复杂优化问题的改进粒子群优化算法.pdf
一种求解最优潮流问题的改进粒子群优化算法.pdf
浏览：41
5星 · 资源好评率100%
一种求解最优潮流问题的改进粒子群优化算法.pdf
一个求解加权MAX-SAT问题的改进蚁群算法 (2010年)
浏览：64
加权MAX-SAT问题（WMSAT）是一个NP-难问题，针对WMSAT的特点，提出一个改进的蚁群算法。该算法的研究对象由“边”转化为“顶点”，简化算法模型；提出取值概率的概念，并以之替换信息素，实现对蚁群进化的直接控制，提高蚁群的可进化性。实验结果表明新算法是有效的。
基于扩展规则的启发式#SAT求解算法.pdf
浏览：138
基于扩展规则的启发式#SAT求解算法.pdf
一类可分离SAT问题的_i_O__i_(1.890_sup__i_n__i___sup_)精确算法.pdf
浏览：52
一类可分离SAT问题的_i_O__i_(1.890_sup__i_n__i___sup_)精确算法.pdf
一种求解SAT问题的人工蜂群算法 (2014年)
浏览：64
针对SAT问题,提出一种求解该问题的离散人工蜂群算法―――ABCSAT算法,建立了相应的优化算法模型,解决了问题编码和转化、适应度函数、蜜蜂觅食策略、离散操作等关键问题。不同于处理连续优化问题,ABCSAT将适应度函数定义为当前不可满足子句数。根据问题的特点设计了多种觅食策略,并利用各子句和变量之间约束关系的启发式信息对各阶段的候选解进行离散操作。最后在标准SATLIB测试集上对提出的算法进行了测
基于DPLL算法的SAT问题求解器【100012387】
浏览：77
5星 · 资源好评率100%
是一个基于DPLL算法的SAT问题求解器。并且利用这个求解器，实现了求解数独游戏。在操作手册.txt中查看目标程序的使用方法。
求解背包问题的一种改进粒子群优化算法.pdf
浏览：116
求解背包问题的一种改进粒子群优化算法.pdf
一类求解方程根的改进粒子群优化算法.pdf
浏览：37
一类求解方程根的改进粒子群优化算法.pdf
求解多隔室车辆路径问题的改进粒子群优化算法.pdf
浏览：32
求解多隔室车辆路径问题的改进粒子群优化算法.pdf
求解多目标最优潮流的改进粒子群优化算法.pdf
浏览：180
求解多目标最优潮流的改进粒子群优化算法.pdf
求解机组组合问题的嵌入贪婪搜索机制的改进粒子群优化算法.pdf
浏览：141
求解机组组合问题的嵌入贪婪搜索机制的改进粒子群优化算法.pdf
CE & BK 算法的 SAT 求解器：使用 2 个随机求解器解决 SAT 问题：CE 和 BK 算法-matlab开发
浏览：62
交叉熵 (CE) 和 Botev-Kroeze (BK) 优化算法的 SAT 求解器 CNF SAT 问题可以表述为： S(X)=sum(j=1,...,m)C_j，其中 C_j=max(0 , (2X_i-1)*Aji 请运行演示文件 test_ce_satA.m test_cemcmc_satA.m 为了在您的平台上编译 mex 文件，请先运行 mexme_cebk_sat.m（确保之前
4_求解SAT 问题的拟人退火算法1
浏览：111
摘要该文利用一个简单的变换,将可满足性(SAT)问题转换为一个求相应目标函数最小值的优化问题,提出了一种用于跳出局部陷阱的拟人策略. 基于模拟退火算法和拟人策略
19_求解SAT问题的多智能体社会进化算法
浏览：23
19_求解SAT问题的多智能体社会进化算法
求解SAT问题的多智能体社会进化算法
浏览：82
求解SAT问题的多智能体社会进化算法
一种求解背包问题的改进离散粒子群优化算法.pdf
浏览：54
一种求解背包问题的改进离散粒子群优化算法.pdf
一种反演问题求解的免疫克隆粒子群优化算法.pdf
浏览：18
一种反演问题求解的免疫克隆粒子群优化算法.pdf
基于OpenMP求解QAP的并行粒子群优化算法.pdf
浏览：127
基于OpenMP求解QAP的并行粒子群优化算法.pdf
一种改进的求解TSP混合粒子群优化算法.pdf
浏览：63
一种改进的求解TSP混合粒子群优化算法.pdf
一种求解符号回归问题的粒子群优化算法.pdf
浏览：71
一种求解符号回归问题的粒子群优化算法.pdf
评论
收藏
内容反馈
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
限时特惠：¥4.90
14.90
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
数据资源
粉丝: 118
资源:
23万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
matlab解决施密特正交规范化矩阵建模以及解决矩阵微分方程建模（代码开源）
工程材料.goodnotes
221007856572052应用市场_16.0.17.303.apk
LangGraph开发Agent智能体应用NL2SQL
ABCCorporMobileBank.apk
编程字体+思源黑体+高质量免费开源+开发设计利器
堆排序算法 Java代码示例
堆排序算法 Java代码示例
插入排序算法Java 代码示例
通过Python实现飞书机器人推送消息到指定群组或者用户
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
