GDOI2015的某道题目

分析：

考试的时候由于一些神奇的原因(我就不说是什么了)...没有想$C$题，直接交了个暴力上去...

然后发现暴力的数组开的太大，由于矩阵乘法的需要做$m$次初始化，所以只拿到了10分...

我们一步一步来挖掘题目中隐含的条件...

首先，这个矩阵乘法很特殊，是位运算的形式，那么也就是说，每一位的运算是独立的，所以我们可以拆位，处理每一位的运算...

然后考虑对于其中的一位如何快速计算一个矩阵的$n$次幂...考虑到每一个格子只有可能是$0$或$1$，观察发现，对于数字$a[i][j]$，只有当第$i$行和第$j$列是相同的时候，我们新的到的矩阵中$a[i][j]$才是$0$，否则因为是$or$运算，所以只要有一位不同就是$1$...

那么我们考虑$A^{m-1}*A=A^{m}$，记$X=A^{m-1}$，$Y=A^m$，我们考虑$X$的每一个行向量对应的$Y$中的行向量是什么样子的，如果当前的行向量和$A$中的任意一个列向量都相等的话，那么新得到的行向量就是一个全为$1$的向量，否则，最多只有可能有$n$种取值，现在我们假设$A$中的每一个列向量都互不相同，那么也就是说，当前的行向量只有可能有一个地方是$0$，这个$0$最多有$n$中位置...所以当前行向量所对应的结果中的行向量最多有$n+1$种取值...因为每一次我们乘上的矩阵都是相同的，所以说无论进行多少次乘法，我们都只有可能在$n+1$种取值中给行向量赋值...那么也就是说，现在我们有一个$n+1$个点的图，然后我们需要在这张图上走$m-1$步，那么就可以倍增找到答案...至于对于图的预处理我们可以用$bitset$来加速...

没有想出来的原因：

没有充分利用到位运算的性质区进行拆位，没有想到去考虑每个行向量所对应的结果是存在循环的...

代码：

一开始实在不理解怎么做所以直接抄了一遍$std$...

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
//by NeighThorn
using namespace std;

const int maxn=500+5;

int n,m,tot,a[maxn][maxn],f[maxn<<1][30],id[maxn],ans[maxn][maxn];

struct M{

	unsigned long long a[8];

	friend bool operator == (M x,M y){
		for(int i=0;i<=7;i++)
			if(x.a[i]!=y.a[i])
				return false;
		return true;
	}

	inline void modify(int pos,int x){
		a[pos>>6]|=1ULL<<(pos&63);
		if(!x)
			a[pos>>6]^=1ULL<<(pos&63);
	}

	inline bool query(int pos){
		return (a[pos>>6]>>(pos&63))&1;
	}

}colu[maxn],node[maxn<<1];

inline int build(void){
	for(int i=1;i<=tot;i++)
		if(node[i]==node[tot+1])
			return i;
	int res=++tot;
	for(int i=1;i<=n;i++)
		node[tot+1].modify(i,!(node[res]==colu[i]));
	f[res][0]=build();
	return res;
}

signed main(void){
	freopen("C.in","r",stdin);
	freopen("C.out","w",stdout);
	scanf("%d%d",&n,&m);m--;
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			scanf("%d",&a[i][j]);
	for(int i=0;i<=30;i++){
		for(int j=1;j<=n;j++)
			for(int k=1;k<=n;k++)
				colu[j].modify(k,(a[k][j]>>i)&1);
		tot=0;
		for(int j=1;j<=n;j++){
			for(int k=1;k<=n;k++)
				node[tot+1].modify(k,(a[j][k]>>i)&1);
			id[j]=build();
		}
		for(int j=1;j<=29;j++)
			for(int k=1;k<=tot;k++)
				f[k][j]=f[f[k][j-1]][j-1];
		for(int j=0;j<=29;j++)
			if(m&(1<<j))
				for(int k=1;k<=n;k++)
					id[k]=f[id[k]][j];
		for(int j=1;j<=n;j++)
			for(int k=1;k<=n;k++)
				ans[j][k]|=node[id[j]].query(k)<<i;
	}
	for(int i=1;i<=n;i++,puts(""))
		for(int j=1;j<=n;j++)
			printf("%d ",ans[i][j]);
	return 0;
}
/*
Never give up.
Bless all.
*/

　　

---

By NeighThorn