QOJ.ac

QOJ

Time Limit: 7 s Memory Limit: 512 MB Total points: 100
[+1]

# 45. Tutte多项式

Statistics

题目描述

对于一个无向图 G=(V,E)Tutte 多项式可以定义为 TG(x,y)=AE(x1)k(A)k(E)(y1)k(A)+|A||V|,其中 k(E) 表示图 (V,E) 的连通分量数。它还有一些看起来更简洁自然的定义和很多优秀的性质,但在这题只需要知道这个定义。

在一些 (x,y) 上,Tutte 多项式和一些计数问题相关。一个图的 Tutte 多项式等于它的所有连通分量的 Tutte 多项式之积,为了方便,以下假设图 G 连通。

容易观察到 TG(1,1)G 的生成树(即无环连通生成子图)数量,TG(2,1)G 的生成森林(即无环生成子图)数量,TG(1,2)G 的连通生成子图数量,TG(2,2)G 的生成子图数量,即 2|E|

y=0 时有 PG(k)=(1)|V|k(E)kk(E)TG(1k,0)PG(k) 表示 G色多项式,是 G 的顶点 k 染色的数量。

  • 特别地,TG(2,0)G无环定向数量。

x=0 时有 CG(k)=(1)|E||V|+k(E)TG(0,1k)CG(k) 表示 G流多项式,是 G 的无处为零 k-流的数量。

对一个无重边无自环的图 G=(V,E)=({0,1,,n1},E),求 TG(x,y)mod

输入格式

1 行:n

2+i 行(0 \leq i \leq n−1):G_{i, 0}\ G_{i, 1}\ \ldots G_{i, n-1}G_{i, j}0 表示 (i, j) \notin E ,为 1 表示 (i, j) \in E

2+n 行:x\ y

输出格式

1 行:T_G(x, y) \bmod 998244353

样例数据

样例输入

5
0 1 1 0 1
1 0 0 1 1
1 0 0 1 1
0 1 1 0 0
1 1 1 0 0
[x] [y]

[x][y] 是输入的 xy,样例输出中给出了一些可能的 (x, y) 对应的输出。

样例输出

(x, y) T_G(x, y) \bmod 998244353
(0, 1) 6
(0, 2) 24
(1, 0) 10
(1, 1) 24
(1, 2) 52
(2, 0) 60
(2, 1) 86

子任务

  • 1 \leq n \leq 21
  • G_{i, j} \in \{0, 1\}, G_{i, j} = G_{j, i}, G_{i, i} = 0
  • 0 \leq x, y < 998244353

Subtasks

  1. (16 分)n \leq 7
  2. (20 分)n \leq 11
  3. (14 分)n \leq 14
  4. (25 分)n \leq 18
  5. (25 分)没有附加限制