1256: [蓝桥杯2015初赛]垒骰子【算法：递推】(第二篇）

题目描述
赌圣atm晚年迷恋上了垒骰子，就是把骰子一个垒在另一个上边，不能歪歪扭扭，要垒成方柱体。
经过长期观察，atm 发现了稳定骰子的奥秘：有些数字的面贴着会互相排斥！
我们先来规范一下骰子：1 的对面是 4，2 的对面是 5，3 的对面是 6。
假设有 m 组互斥现象，每组中的那两个数字的面紧贴在一起，骰子就不能稳定的垒起来。
atm想计算一下有多少种不同的可能的垒骰子方式。
两种垒骰子方式相同，当且仅当这两种方式中对应高度的骰子的对应数字的朝向都相同。
由于方案数可能过多，请输出模 10^9 + 7 的结果。
输入
输入存在多组测试数据，对于每组数据：
第一行两个整数 n m(0<n<10^9,m<=36)
n表示骰子数目
接下来 m 行，每行两个整数 a b ，表示 a 和 b 数字不能紧贴在一起。
输出
对于每组测试数据，输出一行，只包含一个数，表示答案模 10^9 + 7 的结果。
样例输入 Copy
2 1
1 2
样例输出 Copy
544

第一篇
第三篇
运用递推（动态规划）来求解，但是时间上还是会超限

#include <map>
#include <iostream>
#include <algorithm>

using namespace std;

typedef long long ll;

const int mod = 1e9 + 7;

int n, m;
map<int, int> op;//
bool cf[7][7];
ll f[2][7];
ll sum;
ll ans;

void init(){//给色子的对立面初始化一下
    op[1] = 4;
    op[2] = 5; 
    op[3] = 6;
    op[4] = 1; 
    op[5] = 2; 
    op[6] = 3;
}

void conflict(int x, int y){
    cf[x][y] = true;
    cf[y][x] = true;
}

void dice(){//求得方案数
    int cur = 0;
    for (int i = 1; i <= 6; i ++ ) f[cur][i] = 1;
    
    for (int k = 2; k <= n; k ++ ){//表示层数
        cur = 1 - cur;
        //int cur = 1 - cur;之前这样写，造成了代码错误
        for (int i = 1; i <= 6; i ++ ){//上面的色子
        f[cur][i] = 0;
            for (int j = 1; j <= 6; j ++ ){//下面的色子
                if (cf[op[i]][j]) continue;
                f[cur][i] = (f[cur][i] + f[1 - cur][j]) % mod;
            }
        }
    }
    
    for (int i = 1; i <= 6; i ++ ) sum = (sum + f[cur][i]) % mod;
}

void fun(int a, int b){//快速幂求所有色子总共可以转动的次数
    ans = 1 % mod;
    
    while (n){
        if (n & 1) ans = ans % mod * a % mod;
        n >>= 1;
        a = a * a;
    }
}
int main(){
    init();
    scanf("%d%d", &n, &m);
    
    while (m -- ){
        int x, y;
        scanf("%d%d", &x, &y);
        conflict(x, y);
    }
    
    dice();
    
    fun(4, n);
    
    printf("%d\n", sum * ans % mod);
    
    return 0;
}