解题报告 之 2015蓝桥杯 垒骰子

解题报告 之 2015蓝桥杯 垒骰子

赌圣 atm 晚年迷恋上了垒骰子，就是把骰子一个垒在另一个上边，不能歪歪扭扭，要垒成方柱体。
经过长期观察，atm 发现了稳定骰子的奥秘：有些数字的面贴着会互相排斥！
我们先来规范一下骰子：1 的对面是 4，2 的对面是 5，3 的对面是 6。
假设有 m 组互斥现象，每组中的那两个数字的面紧贴在一起，骰子就不能稳定的垒起来。
atm 想计算一下有多少种不同的可能的垒骰子方式。
两种垒骰子方式相同，当且仅当这两种方式中对应高度的骰子的对应数字的朝向都相同。
由于方案数可能过多，请输出模 10^9 + 7 的结果。

不要小看了 atm 的骰子数量哦～

「输入格式」
第一行两个整数 n m
n 表示骰子数目
接下来 m 行，每行两个整数 a b，表示 a 和 b 数字不能紧贴在一起。

「输出格式」
一行一个数，表示答案模 10^9 + 7 的结果。

「样例输入」
2 1
1 2

「样例输出」
544

「数据范围」
对于 30% 的数据：n <= 5
对于 60% 的数据：n <= 100
对于 100% 的数据：0 < n <= 10^9, m <= 36

题目大意：略

分析：想当年真是小白啊，，如此简单的题居然一个字没写。。太悲惨了。。根据相关文章一的启发，想把这道题拿出来炒炒陈饭。矩阵快速幂，用一连接矩阵表示各面朝上时可以连接的情况，然后有多少个骰子直接矩阵幂就可以了。最后注意侧面的数字可以转4个情况，则最后再乘一个4^n。注意都要用快速幂来取模。

上代码：

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

using namespace std;
typedef long long ll;
const int MAXN = 8;
const ll MOD = 1e9 + 7;

int n, m;

struct matrix
{
	ll con[MAXN][MAXN];
	matrix()
	{
		for(int i = 0; i < MAXN; i++)
			for(int j = 0; j < MAXN; j++)
				con[i][j] = 0;
	}
};

matrix mul( matrix& a, matrix& b )
{
	matrix ans;
	for(int i = 1; i <= 6; i++)
		for(int j = 1; j <= 6; j++)
			if(a.con[i][j])
				for(int k = 1; k <= 6; k++)
					ans.con[i][k] += a.con[i][j] * b.con[j][k];
	return ans;
}

matrix m_pow( matrix a, int b )
{
	matrix ans;
	for(int i = 1; i <= 6; i++)
		ans.con[i][i] = 1;
	while(b)
	{
		if(b & 1)
			ans = mul( ans, a );
		a = mul( a, a );
		b /= 2;
	}
	return ans;
}

ll q_pow( ll a, ll b, ll c )
{
	ll ans = 1;
	while(b)
	{
		if(b & 1)
		{
			ans = (ans * a) % c;
		}
		b /= 2;
		a = (a*a) % c;
	}
	return ans;
}

int main()
{
//没有找到judge，感觉应该没问题。请各位指教，多谢！
	matrix ini;
	for(int i = 1; i <= 6; i++)
		ini.con[1][i] = 1;
	matrix con;
	for(int i = 1; i <= 6; i++)
		for(int j = 1; j <= 6; j++)
			con.con[i][j] = 1;

	while(scanf( "%d%d", &n, &m ) == 2)
	{
		int a, b;
		for(int i = 1; i <= m; i++)
		{
			scanf( "%d%d", &a, &b );
			con.con[a][b] = con.con[b][a] = 0;
		}

		ini = mul( ini, m_pow( con, n - 1 ) );
		long long ans = 0;
		for(int i = 1; i <= 6; i++)
		{
			ans += ini.con[1][i];
		}
		ll times = q_pow( 4, n, MOD );
		ans = (ans*times) % MOD;
		printf( "%lld\n", ans );
	}

	return 0;
}