首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 基于遗传算法的快速求解算法

基于遗传算法的快速求解算法

  • 资源大小:326.34 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 算法 基于 遗传 求解 快速

资 源 简 介

Fast SAT Solver is an program, which solves the Boolean satisfiability problem. Complexity of this problem is NP-completeness, non-trivial problems of this complexity can not be solved on current HW in reasonable time while using ordinary algorithms. This program solves problem using genetic algorithm (GA). Thanks to GA, (some) instances of this problem can be solved much faster than problem"s theoretical complexity expects to. Disadvantage of this approach is fact, that there is not guarantee to find solution if any exists. Fast SAT Solver can solve this problem using either GA, or by blind algorithm (brute force).

文 件 列 表

fss-0.1
src
input98.txt
README
proj_doc.pdf
input-20v-20f-6s.txt
input-29v-21f-12596s.txt

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.251002s