#P4547. [THUWC2017] 随机二分图

    ID: 3474 远端评测题 6000ms 500MiB 尝试: 0 已通过: 0 难度: 7 上传者: 标签>搜索2017记忆化搜索状态压缩,状压

[THUWC2017] 随机二分图

题目背景

滥用本题评测将被封号

题目描述

某人在玩一个非常神奇的游戏。这个游戏中有一个左右各 nn 个点的二分图,图中的边会按照一定的规律随机出现。

为了描述这些规律,某人将这些边分到若干个组中。每条边或者不属于任何组 (这样的边一定不会出现),或者只属于一个组。

有且仅有以下三类边的分组:

  1. 这类组每组只有一条边,该条边恰好有 50%50\% 的概率出现。

  2. 这类组每组恰好有两条边,这两条边有 50%50\% 的概率同时出现,有 50%50\% 的概率同时不出现。

  3. 这类组每组恰好有两条边,这两条边恰好出现一条,各有 50%50\% 的概率出现。

组和组之间边的出现都是完全独立的。

某人现在知道了边的分组和组的种类,想要知道完美匹配数量的期望是多少。你能帮助她解决这个问题吗?

输入格式

从标准输入读入数据。

第一行两个数 nnmm,表示图左右点数的数量和边的组的个数。我们用 (a,b)(a,b) (其中 1a,bn1 \le a,b \le n)表示一条左端点为二分图左侧第 aa 个点,右端点为二分图右侧第 bb 个点的边。

接下来 mm 行,每行描述一个组。开头第一个数 tt 表示组的种类,t=0t=0 表示是一条边的组,t=1t=1 表示是两条边的组中的第一种,t=2t=2 表示是两条边的组中的第二种。如果 t=0t=0, 接下来两个数 a1,b1a_1,b_1 表示组内的第一条边;否则,接下来四个数 a1,b1,a2,b2a_1,b_1,a_2,b_2, 表示该组内的两条边分别为 (a1,b1)(a_1,b_1)(a2,b2)(a_2,b_2)。保证每条边至多出现一次。

输出格式

输出到标准输出。

假设期望的完美匹配数量是EE。输出一行表示

(2nE)mod(109+7)(2^{n} E) \bmod (10^9 + 7)

可以看出上式一定是一个整数。

2 2
1 2 1 2 2
2 1 2 1 1
2
3 5
1 1 2 3 3
1 3 2 2 2
1 1 1 1 3
1 2 1 3 1
0 2 3
7
4 9
2 4 1 4 2
1 3 2 1 4
2 2 1 4 4
2 3 4 1 1
2 4 3 2 4
2 2 2 3 1
0 1 3
0 3 3
1 2 3 1 2
20

提示

【定义解释】

如果你对完美匹配和期望的定义很熟悉,那么你可以跳过本段。

对于一个左右各 nn 个点的二分图,它的一个完美匹配是指 nn 条没有公共点的边构成的匹配。

两个完美匹配不同,当且仅当它们至少含有一条不同的边。一个二分图完美匹配的数量定义为这张图能找到的两两不同的完美匹配的数量。

在题目的图中,边都是随机出现的,因此这个图中完美匹配的数量是一个随机变量。一个(离散型)随机变量 XX 的期望定义为以概率为权,XX 所有可能取值的加权平均数,即

xV(X)P[X=x]x\sum_{x \in V(X)}P[X=x]\cdot x

其中 V(X)V(X) 表示 XX 所有可能的取值集合,P[X=x]P[X=x] 表示 XX 取值为 xx 的概率。

【数据规模和约定】

对于 5%5\% 的数据 n5n \le 5
对于另 5%5\% 的数据 n8n \le 8
对于另 10%10\% 的数据 n10n \le 10
对于另 15%15\% 的数据,只有t=0t = 0 的情况。
对于另 5%5\% 的数据,只有t=0t = 0 的情况,且m=n2m = n^2,也就是该图为一个完全图。
对于另 20%20\% 的数据,只有 t=0t =0 或者 t=1t=1 的情况。 对于另 20%20\% 的数据,只有 t=0t =0 或者 t=2t=2 的情况。 对于 100%100\% 的数据,n15n \le 15