解 packing 及 CNF-SAT 问题的拟物拟人方法

被引：4

作者：

黄文奇

许如初

陈卫东

张京芬

机构：

[1] 华中理工大学计算机科学与技术学院

来源：

关键词：

NP难问题；CNF－satisfiability问题；packing问题；拟物；拟人；算法;

D O I：

10.13245/j.hust.1998.09.002

中图分类号：

TP301.6, [];

学科分类号：

摘要：

提出拟物拟人方法．论述了如何按此种方法为ＮＰ难问题设计出高效实用的快速求解算法．作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛及工业生产中得到了显示．

引用

页码：6 / 8+55

页数：4

共 4 条

[1] 求解SAT问题的拟物拟人算法—Solar [J].

黄文奇 ;

金人超 .

[2] 一种求解合取范式可满足性问题的数学物理方法 [J].

李未 ;

黄文奇 .

[3] 求解Packing问题的拟物方法 [J].

黄文奇 ;

詹叔浩 .

[4]

场论.[M].[苏]Л·朗道(Л·Ландау);[苏]Е·栗弗西兹(Е·Лифщиц) 著;任朗;袁炳南译.人民教育出版社.1959,