【51nod 算法马拉松19 C】 集合对

Description

定义集合xor操作 A xor B=A∪B-A∩B。
问有多少对(P,Q)满足 P∈A Q∈B 使得 (P xor A)xor(Q xor B)=A xor B其中P Q都是集合。
答案对1e9+7取模。

例如：A ={1} ,B={1,2}，A xor B = {2}，枚举所有情况P Q有2种。
输出答案对10^9+7取模的值

Input

三个整数A B C。(A,B,C<=10^18)
表示|A|,|B|,|A∩B|。
A,B,C<=10^18

Analysis

让我们化简一下目标式，因为P∈A Q∈B，所以易化简为
$(A-P)xor(B-Q)=A∪B-A∩B$
该式等价于
$P∪Q-P∩Q=A∪B-A∩B$
那就很简单了。显然应满足$P∪Q=A∪B$，所以只需考虑$P∩Q=A∩B=C$的方案数。
$P$若选取了$x$个$C$中的元素，那么$Q$也必须选这些元素。共$c$个元素，每个可以选或不选，所以答案为$2^c$