在这篇题解作者写道：

s1∪s2=s,u∈s1,v∈s2

首先，如果可以转移，s1s2应该都是s的子集。

那

            int s2 = s ^ s1;

代码里的异或操作代表的是什么含义呢，为什么异或就可以保证s1s2是s的子集