共查询到2条相似文献，搜索用时 15 毫秒
1.
求解SAT问题的拟物拟人算法——Solar 总被引：18，自引：1，他引：18
利用拟物与拟的方法，为合取范式可满足性问题的高效率近似求解得出了继承策略，新路策略和赦免策略，然后对著名的Ｂａｒｔ Ｓｅｌｍａｎ跳坑策略给出了一个直观解释，综合这些策略得出了一个新的求解算法－－Ｓｏｌａｒ。 相似文献
2.
基于当前格局下可能填充的最大矩形空间的概念以及围城战术,将求解三维矩形Packing这一典型NP难度问题的拟人型穴度算法做了关键性的改进,得到了新的更强有力的算法ICDA.在时间开销与当今代表性算法大致相当的前提下,ICDA对于国际上公开的由100个实例组成的天然的最困难的问题类,即待放长方体的形状大小随机给定、几乎两两皆不相同的情形,得到了90.92%的平均空间利用率.所得精度比国际学术界最新公开发表的同时也是迄今为止最好的结果要高出0.54个百分点. 相似文献