先说结论:如果是一个偶数^1,那么答案是偶数+1.如果是一个奇数^1,那么答案是奇数-1
在学tarjan算法求无向图的双连通分量时,其中有一段代码是
1 is_bridge[i] = is_bridge[i ^ 1] = true;
这句话的作用就是标记一条边及其反向边为桥,但是我一直不明白为什么i ^ 1可以表示i的反向边,直到在网上看到一篇写异或1的博客才恍然大悟。
插入边的时候是成对做的,0-1, 2-3, 4-5, … 都互为反向边,所以i ^ 1就是i的反向边。
较小的偶数和较大的奇数构成了一对,想象一本从page 0开始的书, 每张纸的编号就是(0,1), (2, 3)…(2k, 2k+1),将每张纸看做一条边就可以理解了。
参考博客:https://blog.csdn.net/yiqzq/article/details/80206461