本页收录《求解SAT问题的拟物拟人算法》，资料类别为计算机信息资料。本页展示资料概况及部分扫描内容，同时提供数字文件获取信息。
![[求解SAT问题的拟物拟人算法]金人超 扫描预览第1页](https://img.cuwen.com/p60/01/499068_01.avif)
- 专题
- 求解SAT问题的拟物拟人算法
- 类别
- 计算机信息
【求解SAT问题的拟物拟人算法】金人超.pdfQuasiphysical and Quasisociological Algorithm for Solving SAT Problems by JinRenChao SupervisedbyProf.HuangWen Qi A Dissertation Submitted to theAcademicDegreesEvaluation Committeeof HuazhongUniversityofScience andTechnology fortheDoctorDegreeofPhilosophyinEngineering October,1998 HuazhongUnivers华中理工大学博士学位论文 第5章介绍了改进的求解SAT问题的拟物拟人算法Solar2.华中理工大学博士学位论文 Abstract SATproblem,orCNF(conjunctionnormalform)satisfiabilityproblem,istoask if thereexistsforagivenCNFa truth assignmentsuch that theCNFistrue,namely satisfiesit.SATproblem is thefirstproblem shown tobeNP-complete.It has special significanceinNP-complete theory.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。
🔒 下载高清完整版
解锁价格：39.00 元
支付成功后自动显示下载地址，无需注册，可长期查看。
已经购买过？查询 / 恢复下载权限
完整订单号或支付交易号可直接恢复；也可以输入购买邮箱查询历史订单。