\[二分图略解\]
\[By\;TYQ\]
二分图定义:
\(f(i,L) = [a \in L\;\text{&}\;\forall b \in a.to \;\text{,}\; b \not\in L]\)
\(\{G(V,E)|\forall a \in V , f(i,LD) | f(i,RD)\}\)
其实就是两个集合 , 有连边的点不在同一个集合内
判定显然染色 , 未染色未0 , 黑1白2 , 不能给以染色节点染色 , 大法师即可
二分图定义:
\(f(i,L) = [a \in L\;\text{&}\;\forall b \in a.to \;\text{,}\; b \not\in L]\)
\(\{G(V,E)|\forall a \in V , f(i,LD) | f(i,RD)\}\)
其实就是两个集合 , 有连边的点不在同一个集合内
判定显然染色 , 未染色未0 , 黑1白2 , 不能给以染色节点染色 , 大法师即可