地図の塗り分けに関する話で「4色問題(定理)」というのがあります。簡単に説明すると「どんな地図でも4色あれば同じ色が隣接しないように塗り分けられる」というものです。今回はそれをSpatialiteを使って実装する方法を紹介.....のつもりでしたが途中で挫折しました。またその気になったときに思い出せるように途中経過をメモっておきます。 ちなみに4色問題自体は解決(?)しています。あと、これは証明方法の実装ではありません。 http://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86 プログラムの準備 OSGeo4Wでgdalをインストール spatialiteをとってくる http://www.gaia-gis.it/gaia-sins/windows-bin-x86/spatialite-4.1.1-win-x86.z