吕志鹏 熊正大 周立刚 石赫 陈志祥 程念华 黄勤波 邓泽林 赵亮 何琨 陈昊 赵孝武 刘景发

递归可表现 势能函数 任务调度 蛋白质折叠 拟人方法 调度 拟物算法 可满足性 点强全色数 蛋白质结构预测 折叠 IPERM 完全集 算法 复杂性 NP难度问题 合取范式 图 K-n-度 跨度 复杂性集类 裁减 引力势能 字符串匹配 二进制搜索 装箱问题 门限 分布式内存 车间作业调度 PERM

华中科技大学计算机科学与技术学院 湖北武汉 湖南衡阳 华中科技大学计算机学院 衡阳师范学院数学系 中国科学院数学与系统科学研究院 湖北大学数学与计算机科学学院