刘长荣 王献芬

图着色 数学家 平面地图 地图四色定理 四色问题 计算机证明 着色 类数 球面地图 机器证明 最大平面图 拟阵 折叠 可平面图 四色图 地图着色 加德纳 惠特尼 图论 哈密顿回路 构造主义者 色多项式 非标准分析 kn连接关系