Link
随便找一个ST，对每条非树边rand一个\([0,2^{\omega})\)的权值，再令每条树边的权值为所有覆盖它的非树边权值的异或和，这样图不连通当且仅当删掉的边权线性相关。
检查是否线性相关可以利用线性基。
这个算法的正确性大概是\((1-\frac1{2^{\omega}})^{2^k}\)。
代码正在来的路上了。
标签：rand,Chinese,3569,每条,II,线性相关,权值,非树边,omega
来源： https://www.cnblogs.com/cjoierShiina-Mashiro/p/12229104.html