#P2819. 图的 m 着色问题

图的 m 着色问题

题目背景

给定无向连通图 GGmm 种不同的颜色。用这些颜色为图 GG 的各顶点着色,每个顶点着一种颜色。如果有一种着色法使 GG 中每条边的 22 个顶点着不同颜色,则称这个图是 mm 可着色的。图的 mm 着色问题是对于给定图 GGmm 种颜色,找出所有不同的着色法。

题目描述

对于给定的无向连通图 GGmm 种不同的颜色,编程计算图的所有不同的着色法。

输入格式

11 行有 33 个正整数 n,k,mn,k,m,表示给定的图 GGnn 个顶点和 kk 条边,mm 种颜色。顶点编号为 1,2,,m1,2,\dots,m。接下来的 kk 行中,每行有 22 个正整数 u,vu,v,表示图 GG 的一条边 (u,v)(u,v)

输出格式

程序运行结束时,将计算出的不同的着色方案数输出。

5 8 4
1 2
1 3
1 4
2 3
2 4
2 5
3 4
4 5
48

提示

数据保证,1n1001\leq n\leq 1001k25001 \leq k\leq 2500

nn 很大时保证 kk 足够大。

保证答案不超过 2000020000

数据为在满足上述条件的合法数据中随机采样得到。