张国义 何宏 黄建国 冯文峰 徐子珊 吴素妍 肖建华 郭巧 徐云 许道云 沈艳霞 祁传达 吴占斌 段玲 吴学江 陈国良 初丽娟 贾元强 周鹏

不满足解数 主成分分析 选择算法 NP完全问题 概率算法 SAT问题 概率分布 膨胀图 数据流 时间复杂度 生成元 拟鞅 测地线 稳定性 激活函数 循环群 随机步 期望 期望值 概要数据结构 难SAT实例 硬件描述语言 状态机 数学期望 近似算法 频繁项集 Stiefel流形