カタログ不要の動的な四彩色アルゴリズムを検証する
四色問題の従来の証明やアルゴリズムで不可欠であった「可約構成の膨大なカタログ」を一切排除した、新しい動的平面グラフ彩色アルゴリズムを提案しています。本ソフトウェアは、そのアルゴリズムの正当性を検証するためのもので、逐次実行やバッチ実行、エクスポートなどの機能を完備しています。生成する地図は、乱数でノード座標を与え、ドロネー分割に基づいてグラフ化しています。
| ソフト名: | 四色問題:彩色プログラム |
|---|---|
| 動作OS: | Windows 11/10 |
| 機種: | IBM-PC x64 |
| 種類: | フリーソフト |
| 作者: | 加藤 一郎 |