摘要：本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形Packing问题进行了有益的探讨.这对设计Packing问题的求解算法具有借鉴意义.

关键词：packing问题 计算复杂性 离散模型 可计算性理论 计算机 

单位：华中科技大学计算机科学与技术学院，湖北武汉430074