民航空域频率覆盖相关论文
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。......
本文给出了构建Kempe链的算法，用Kempe链方法证明了Heawood反例是四色的，探讨了基于Kempe链模型的民航空域频率覆盖重构的可能性。......
