四色问题反例研究与民航空域频率覆盖

用Tait方法证明了Heawood反例是四色的;用Kempe链方法证明了Tutte反例也是四色的。讨论了民航空域覆盖的四色模型。

Kempe链的研究与民航空域频率覆盖重构

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