程序源码。其实就是四色定理的实现。通过编译，运行成功。-procedures source. In fact, four-color theorem achieved. By compiling, running successfully.