染色法就是用来判断一个图是不是二分图
二分图:可以把图中所有的点划分到两边去,使得所有的边都是在集合之间的,集合内部没有边
用到的性质:一个图是二分图,当且仅当这个图可以被二染色
一个图是二分图,当且仅当这个图中不含奇数环,反之,如果是个二分图的话,那么它一定不含有奇数环
证明充分性:由于图中没有奇数环,所以染色过程中一定没有矛盾
这句话也可以用反证法来证明:有矛盾的情况一定是,从一个点染着染着,就发现从一个点搜到了一个颜色相同的点,就得到这个环是奇数,得到有矛盾的话一定是奇数环
例题
#include
#include
#include
#include