高引民 杜晓马 杜林古 王子龙 冯荣权 吴宏锋 杨启帆 张良震 程国忠 吕其诚

递归 有向（?） 最小生成树 NP—hard 瓶颈TSP 可读性 Steiner树 分治算法 机器证明 单纯形法 按列单降矩阵 有向图 几何定理 圈 划分 Fibonacci堆 ?)装箱 邻接矩阵 指派 倍乘 fibonacci堆 P问题 顶点集 椭圆曲线 （?）装箱 可读证明 连接度 复杂度 偶图 点乘