基于最大可满足性问题的专业实验方案设计  

作　　者：刘燕丽[1] 余艳[1] 张婷[1] 

机构地区：[1]武汉科技大学理学院,湖北武汉430081

出　　处：《软件导刊》2015年第2期37-39,共3页Software Guide

摘　　要：基于最大可满足性问题的专业实验方案以组合拍卖为应用背景,采用命题逻辑建模、分支限界算法,针对问题设计优化的存储结构。专业实验方案展现了一个完整的工业问题的解决过程,内容涉及程序设计语言、数据结构、离散数学、算法设计等计算机核心课程相关内容,有助于加强学生专业知识的系统化。

关 键 词：实验教学 算法设计 数据结构 NP问题 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]