Uoj308【UNR #2】UOJ拯救计划

分析：比较难分析的一道题，先把式子写出来，ans=∑C(k,i)*f(i),f(i)是选i个颜色的方案数.这个模数有点奇怪，比较小而且是合数，说不定就会有某种规律，如果i >= 3,可以发现C(k,i)一定是被6整除的，那么我们只需要考虑i=2和i=1的情况，i=1的情况比较好处理，这种情况下，m只有等于0，答案为k^n,然后可以发现，这不仅仅是对i=1的情况的分析，所以我们要先特判m=0.

那么i=2的情况要怎么处理呢？把每个连通块单独分析，如果一个连通块有一个合法方案，反过来又是一个合法方案，所以一个连通块要么没有贡献，要么就是2，我们只需要把有贡献的连通块的个数cnt求出来，答案就是C(k,2)*2^cnt.一旦有一个连通块没有合法方案，那么答案就直接为0了.

二分图方案数要一个一个连通块考虑，求方案数如果不用dp先写出式子，然后分析.如果模数非常奇怪，找找看有没有什么规律.

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <cmath>

using namespace std;

int T,n,m,k,head[],nextt[],to[],tot = ;
int col[],ans;
bool flag = false;

void add(int x,int y)
{
    to[tot] = y;
    nextt[tot] = head[x];
    head[x] = tot++;
}

int qpow(int a,int b)
{
    int res = ;
    while (b)
    {
        if (b & )
        res = (res * a) % ;
        b >>= ;
        a = (a * a) % ;
    }
    return res;
}

void dfs(int x,int c)
{
    col[x] = c;
    for (int i = head[x];i;i = nextt[i])
    {
        int v = to[i];
        if (col[v])
        {
            if (col[v] == col[x])
            {
                flag = ;
                break;
            }
        }
        else
        dfs(v, - c);
    }
}

int main()
{
    scanf("%d",&T);
    while (T--)
    {
        memset(head,,sizeof(head));
        memset(col,,sizeof(col));
        ans = ;
        tot = ;
        flag = ;
        scanf("%d%d%d",&n,&m,&k);
        if (m == )
        printf("%d\n",qpow(k,n));
        else
        {
            for (int i = ; i <= m; i++)
            {
                int a,b;
                scanf("%d%d",&a,&b);
                add(a,b);
                add(b,a);
            }
            for (int i = ; i <= n; i++)
            {
                if (!col[i])
                {
                    dfs(i,);
                    if (flag)
                    {
                        ans = ;
                        break;
                    }
                    ans *= ;
                    ans %= ;
                }
            }
            printf("%d\n",((((k - ) * k / )% ) * ans) % );
        }
    }

    return ;
}