摘要
用Tait方法证明了Heawood反例是四色的;用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。
This paper proves with Tait method that Heawood-counterexample is four-colored, proves with Kempe-chain method that Tutte-counterexample is also four-colored, and puts forward the discussion of 4-color-model on covering of Civil aviation's airspace.
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第B07期1-2,共2页
Computer Engineering
基金
国家自然科学基金资助项目"多巢多食蚁群算法研究与民航飞机排班"(60472121)