蒋元凯 张景中 韩兵 江建国 黄明 朱庆保 王挺 魏瑾 王晓京 刘鹏飞 梁旭 周会平

可读证明 重码率 计算法 字元 扩张矩阵 汉英机器翻译 图搜索 示例学习 搜索效率 TSP问题 广度优先搜索 汉字编码方案 键码 蚁群算法 深度优先搜索法 布线策略 NP困难问题 统计机器翻译 启发式搜索 收敛性分析 搜索法 几何定理机器证明 蚁群优化算法 IBM模型 作业车间调度 标准项代换 关联矩阵 IBMModel4 相关度 启发式算法