邓天炎 万武族 张庆顺 秦永彬 王健 刘长云 丁德成 张明义 唐瑞雪 董改芳 邹阳 李厚银 王晓峰 宁卓 张丹

NP-完全性 MAX-k-SAT问题 概率方法 （k 临界函数 近似算法 归约 基础矩阵 极小不可满足公式 不可近似性 矩阵博弈 线性半定规划 局部引理 不可满足性 聚类排序选择 缺省逻辑 线性CNF公式 证明系统 遗传算法 DPLL算法 SAT问题 整数规划 Nash均衡 改名 完备性 扩张 计算误差 难例 PTAS等价 PCP定理

贵州大学计算机科学系 贵州贵阳 南京大学数学系 贵州大学理学院数学系 贵州科学院 内蒙古呼和浩特 软件工程国家重点实验室（武汉大学） 内蒙古农业大学计算机与信息工程学院