论文部分内容阅读
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。
四色问题反例研究与民航空域频率覆盖
【摘 要】
：
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。
【机 构】
：
中国民航学院计算机科学与技术学院,中国国际航空公司飞行总队二大队
【出 处】
：
计算机工程
【发表日期】
：
2005年B07期
【基金项目】
：
国家自然科学基金资助项目“多巢多食蚁群算法研究与民航飞机排班”（60472121）
其他文献
正交加筋均质芯材基于一阶剪切变形理论,并采用δ函数描述其非连续性,复合材料面板采用Kirchhoff薄板假设,以面板面内位移和结构整体横向位移为响应函数,通过能量原理推导了
给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度.相对于直接求解,体差不等式测试算法的时间复杂度要小得多.实验表明,对于科
The sea surface temperature (SST) of the East China Sea (ECS) increased in the past decades,which may have a great impact on the ecosystem of the ECS,including
宁都县一黄鸡扩繁种鸡场业主反映，该场种鸡表现惊恐、精神沉郁，一周后粪便变稀，死亡数量上升，造成了较大的经济损失。笔者接报后，立即到现场进行诊疗，现将诊疗情况总结如下： 一、鸡场基本情况 该种鸡场座落在宁都县长胜镇，占地面积10亩，种鸡舍3栋，存笼种母鸡5800套、种公鸡466只。正常情况下，这些母鸡能年供优质种蛋72.5万枚或宁都黄鸡母苗60万羽（按入孵蛋出壳率82.75%计算）。 二、现场
混流装配线实现在一条流水线上装配多种不同类型的产品.该文在总结混流装配线排序问题的基础上建立了二种排序的目标函数:最小化工作站的闲置与超载时间和保持均匀的零部件消