康立山 杜立智 陈毓屏 杨元生 韩俊刚 滕弘飞 钱志勤

同步并行算法 约束表 有向图 NP 线性规划 处理机 Hamilton环路 单纯形法 设计 多项式算法 时序机 状态化简 异步并行算法 Hamilton道路 分而治之 字符串表达式 最大相容类 应用 生成树 最小闭覆盖 P 多项式时间算法 航天器 无向图 进展 并行计算机 递归 NP完全