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

第一篇
第二篇
对于这一题，他的n就有1e9这么大了，而我们知道，算法比赛中测评的时候，计算1e9次就是1s，显然一般的算法肯定是要超时的
所以，我们这里用到的算法为快速幂，算法的时间复杂度为O(logn)，可以看出这个算法是非常的快呀。

下面看一下代码吧！

#include <iostream>
#include <map>

using namespace std;

typedef long long ll;

const int mod = 1e9 + 7;

int n, m;
map<int, int> op;

void init(){
    op[1] = 4;
    op[2] = 5;
    op[3] = 6;
    op[4] = 1;
    op[5] = 2;
    op[6] = 3;
}

struct matrix{//定义矩阵，同时初始化为全为1的矩阵
    ll a[7][7];
    
    matrix(){
        for (int i = 1; i <= 6; i ++ )
            for (int j = 1; j <= 6; j ++ )
                a[i][j] = 1;
    }
};

//两矩阵相乘
matrix Multiply(matrix s, matrix t){
    matrix ans;
    
    for (int i = 1; i <= 6; i ++ )
        for (int j = 1; j <= 6; j ++ ){
            ans.a[i][j] = 0;//将ans初始化为0矩阵
            for (int k = 1; k <= 6; k ++ )
                ans.a[i][j] = (ans.a[i][j] + s.a[i][k] * t.a[k][j]) % mod;
                //ans.a[i][j] 表示为s的i行和 t的j列的乘积的和
                
        }
        
    return ans;
}

//矩阵m的k次幂
matrix m_pow(matrix m, ll k){
    matrix ans;
    
    //开始时，ans为单位矩阵
    for (int i = 1; i <= 6; i ++ )
        for (int j = 1; j <= 6; j ++ )
            if (i == j) ans.a[i][j] = 1;//单位矩阵的对角线为1
            else ans.a[i][j] = 0;//其他地方为0
            
    while (k){//快速幂求解k阶矩阵
        if (k & 1) ans = Multiply(ans, m);
        
        k >>= 1;
        m = Multiply(m, m);
    }
    
    return ans;
}

ll fun(int a, int b){
    ll res = 1;
    
    while (b){
        if (b & 1) res = res * a % mod;
        
        b >>= 1;
        a = a * a;
    }
    
    return res;
}
int main(){
    init();
    scanf("%d%d", &n, &m);
    
    matrix ucf;//定义原矩阵
    while (m -- ){
        int x, y;
        scanf("%d%d", &x, &y);
        ucf.a[op[x]][y] = 0;//上方色子的顶面和下方色子的顶面存在冲突
        ucf.a[op[y]][x] = 0;//其实就是说的x，y他俩有冲突，但是将这些色子的情况统一按照顶面来表示冲突
    }
    
    matrix ans = m_pow(ucf, n - 1);//结果矩阵,即原矩阵的n-1次方
    
    ll res = 0;
    for (int i = 1; i <= 6; i ++ )
        for (int j = 1; j <= 6; j ++ )
            res += ans.a[i][j];
            
    printf("%lld\n", res * fun(4, n) % mod);
    
    return 0;
}