#P10718. 【MX-X1-T6】「KDOI-05」简单的图上问题

    ID: 10132 Type: RemoteJudge 3000ms 512MiB Tried: 0 Accepted: 0 Difficulty: 7 Uploaded By: Tags>图论计算几何平衡树O2优化平面图欧拉公式(平面图)

【MX-X1-T6】「KDOI-05」简单的图上问题

题目描述

给你一个 nn 个点 mm 条边的边双连通图,并且给定了每个点的坐标,保证每条边不相交或者只在端点处重合。

给定 kk 个图上的简单环 C1,C2,,CkC_1,C_2,\dots,C_k,定义 GiG_i 为只考虑 CiC_i 内部的点和边所组成的图。

S{1,2,,k},S={s1,s2,,st}S\subseteq\{1,2,\dots,k\},S=\{s_1,s_2,\dots,s_t\},定义 f(S)f(S) 表示所有 GsiG_{s_i} 交的连通块数量。

qq 个询问,每次给出一个 zz,输出 S{1,2,,k},S=zf(S)\sum_{S\subseteq\{1,2,\dots,k\},|S|=z}f(S)。对 998244353998244353 取模。

输入格式

第一行三个正整数表示 n,m,kn,m,k

接下来 nn 行,每行两个整数 (xi,yi)(x_i,y_i) 表示第 ii 个点的坐标。保证所有 1i<jn1\leq i<j\leq n,都有 xixj,yiyjx_i\neq x_j,y_i\neq y_j

接下来 mm 行,每行两个正整数 ui,viu_i,v_i,表示一条连接 (ui,vi)(u_i,v_i) 的无向边。

接下来 kk 行,每行第一个正整数 lil_i 表示环的大小,接下来 lil_i 个正整数 Ci,1,Ci,2,,Ci,liC_{i,1},C_{i,2},\dots,C_{i,l_i} 表示一个原图的简单环,保证 Ci,jC_{i,j} 按顺序连接可以得到原图上的一个环。

接着一行一个正整数表示 qq

最后 qq 行,每行一个正整数表示询问的 ziz_i

输出格式

输出 qq 行,每行一个整数表示 S{1,2,,k},S=zf(S)\sum_{S\subseteq\{1,2,\dots,k\},|S|=z}f(S)998244353998244353 取模后的值。

4 5 3
1 1
3 2
2 3
4 4
1 2
1 3
1 4
2 4
3 4
3 1 2 4
3 1 3 4
4 1 2 4 3
3
1
2
3

3
3
1
8 15 5
4 4
5 8
2 7
10 9
1 10
3 5
8 2
7 6
2 1
3 1
3 2
4 1
4 2
5 2
5 3
5 4
6 1
6 3
7 1
7 4
8 1
8 4
8 7
3 1 8 4 
3 1 6 3 
3 7 8 4 
4 8 1 7 4 
3 1 2 3 
5
1
2
3
4
5
5
8
5
1
0

提示

【样例解释 #1】

样例 11 的数据如图:

【数据范围】

本题采用捆绑测试。

子任务编号 分值 nn\leq 特殊性质
11 1515 1010
22 3030 10001000
33 4×1044\times10^4 保证平面图是一个凸包的三角剖分
44 1515
55 1010 10510^5

对于 100%100\% 的数据:1n,li1051\leq n,\sum l_i\leq10^51m3n61\leq m\leq 3n-63li3\leq l_i0xi,yi1090\leq |x_i|,|y_i|\leq 10^91q201\leq q\leq 201ui,vin1\leq u_i,v_i\leq nuiviu_i\neq v_i1zik1\leq z_i\leq k。保证所有 1i<jn1\leq i<j\leq n,都有 xixj,yiyjx_i\neq x_j,y_i\neq y_j。保证每条边不相交或者只在端点处重合,保证图是一个边双连通分量。