前、こういうのを考えて、最大クリーク数もなんとなく半分になりそうって書いたんだけど、 kousuke.hatenablog.comそれって式にするとこういうことになるのかな? fはの辺を頂点にして、がの時に辺とするような変換。 完全グラフについては証明できそうだけど…