Alloyで次数が一定のグラフを探す - 檜山正幸のキマイラ飼育記 (はてなBlog)ソフトウェアの抽象モデリングとは、なーんか趣旨と方向性が違うんですが、Alloyを“有限構造の検索装置”として使って遊んでます。 エイトクイーンのような問題だと、Alloy付属の標準ビジュアライザーの表示はあまり役に立ちません。ビジュアラザーの表示がそのまま使える例題は何かな？ と考えて、グラフの検索問題ならハマるだろうと。 ループ辺（同じ頂点に戻る辺）を許さない無向グラフのなかで、すべての頂点の次数（その頂点と接続している辺の数）が同じようなグラフを探すことにします。グラフの定義はAlloyと相性が良いので簡単に書けます。 -- 次数が一定のグラフ module uniform_graph -- グラフ（空グラフを除く） some sig Graph { -- お隣さん（adjacent nodes）の集合 adj: set Graph } -- お隣さんの制約 fact { { --
