上の檜山とかいう人の圏とかうんたらもそう。
それ高校の組み合わせ〜グラフ理論じゃダメなの?と言いたい。