[发明专利]图染色软件系统

摘要

本发明公开了一种图染色软件系统，包括存储装置，该存储装置内设有图染色介绍模块、图的显示模块、图的生成模块、图染色验证模块、图染色算法模块和图染色猜想证明模块。本发明利用JNI技术与JGraph技术，把图染色研究的特点与Java平台结合起来，设计并实现一个基于Java平台的图染色软件系统，它囊括了目前图染色领域绝大多数的图染色概念，可以为图论研究者或爱好者提供一个开放的、全面的图染色研究平台，实现从手工染色到计算机染色，并为使用者提供大量的基础研究数据。

主权项

一种图染色软件系统，其特征在于：包括存储装置，该存储装置内设有图染色介绍模块、图的显示模块、图的生成模块、图染色验证模块、图染色算法模块和图染色猜想证明模块；所述图染色介绍模块，对图染色领域的相关知识进行介绍，本模块将实现对图染色领域的绝大多数的图染色定义与示例图进行介绍，共囊括了十三种图染色；所述图的显示模块，实现根据图的邻接矩阵进行图的可视化操作功能，为了在研究图染色的过程中更加直观的显示研究结果，实现未染色与染色后图的显示，其中染色后的图，对于无向图又分为边染色后和全染色后；对于有向图，染色后的图就是指弧染色后；所述图的生成模块，实现根据不同要求进行图的生成功能，为了对特定要求的图有一个直观的了解，本模块将实现随机无向图与随机有向图的生成；所述图染色验证模块，实现对具体图染色后的邻接矩阵进行染色成功验证功能；所述图染色算法模块，实现八种图染色的算法功能；所述图染色猜想证明模块，主要实现偶阶完全图除去子图爪图边集后的图的点可区别边色数猜想证明功能。