邱关源 叶凤常 王慧蓉 王礼萍 唐为萍 樊社民 胡能发 许寿椿

电子电路 色多项式 地图着色 神经网络 四色猜想 极大平面图 地图 哈米尔顿圈 图论算法 逻辑方程 图论模型 Kampe链 平面三正则图 四色图 哈米顿圈 二色子图 四着色算法 逻辑表达式 二元哈米顿圈 Heawood反例 图论 遗传算法 加德纳 邻接表 七桥问题 计算机证明