【题目描述】一个2*i的矩阵,一共有m种颜色,相邻两个格子颜色不能相同,m种颜色不必都用上,f[i]表示这个答案,求Σf[i]*(2*i)^m (1<=i<=n)%p。

  【数据范围】

    20% n,m<10^5 p<10^9

    其余 n<10^9

      其中40% m<100 p<10^9

        20% m<10^3 p<10^9

        20% m<10^4 p<10^3

  首先我们可以推导出f[i]的式子,f[1]=m*(m-1),因为其余的格子,我们第一个格子可以放m-1种颜色,第二个格子在第一个格子和上一层第二个格子颜色不同时有m-2种情况,相同时有m-1种情况,那么我们可以得出f[i]=f[i-1]*(m^2-3*m+3),设a=m^2-3*m+3,那么问题就变成了求2^m*m*(m-1)/a*Σa^i*i^m (1<=i<=n)。

  对于前20%的数据,我们可以暴力的nlogm递推求解。

  对于中间的20%数据,我们可以化简一下求解式。

    设w[i][j]为Σa^j*j^k (1<=j<=i),那么答案就成了2^m*m*(m-1)/a*w[n][m],现在的问题就是求解w[n][m]。

    w[n][m]=Σa^i*i^m (1<=i<=n),w[n+1][m]=Σa^i*i^m (1<=i<=n+1)=a+Σa^i*i^m (2<=i<=n+1)=a+a*Σa^i*(i+1)^m (1<=i<=n)

    那么我们可以根据二项式展开来化简,w[n+1][m]=a+a*Σa^iΣc(m,j)*i^j (1<=i<=n) (0<=j<=m)=a+a*Σc(m,j)*w[n][j] (0<=j<=m),那么这样我们就可以写一个矩阵来加速在n^3logn的时间内求解了。

  对于m<10^3的情况,w[n+1][m]=w[n][m]+a^(n+1)*(i+1)^m。根据刚才的推导,w[n+1][m]=a+a*Σc(m,j)*w[n][j] (0<=j<=m)。所以我们可以得到

    w[n][m]+a^(n+1)*(i+1)^m=a+a*Σc(m,j)*w[n][j] (0<=j<=m),这样我们发现,如果我们知道了w[n][m]之前的w[n][j],那么我们可以在m的时间内反解出w[n][j]。

  对于最后的20%,我们发现p非常小,考虑答案的求和式Σa^i*i^m,发现这个式子之和i和i^m有关,当i,i^m和j,j^m关于mod p相等之后,那么i与j之后的变换是相同的,我们可以发现一共有p^2个不同的情况,那么我们记下来这个循环之后就可以算出来了。

//By BLADEVIL
#include <cstdio>
#define LL long long
#define maxp 1010
#define maxm 1010 using namespace std; int n,m,p,a;
int mo[maxp],next[maxp],w[maxm],c[maxm][maxm];
int flag[maxp][maxp],f[maxp*maxp],g[maxp*maxp]; int mi(int a,int k) {
int ans=;
while (k) {
if (k&) ans=((LL)ans*a)%p;
a=((LL)a*a)%p;
k>>=;
}
return ans;
} void work1() {
int ans=;
ans=((LL)m*(m-))%p; ans=((LL)ans*mi(,m))%p;
ans=((LL)ans*mi(a,p-))%p; //printf("%d\n",ans);
int cur=;
for (int i=;i<=n;i++) cur=((LL)cur+(LL)mi(a,i)*mi(i,m))%p;
ans=((LL)ans*cur)%p;
printf("%d\n",ans);
} void work2() {
int i,l,r;
f[]=(LL)m*(m-)%p; g[]=(LL)f[]*mi(,m)%p;
flag[][f[]]=;
for (i=;i<=n;i++) {
f[i]=(LL)f[i-]*a%p;
g[i]=(LL)f[i]*mi(*i,m)%p;
if (flag[i%p][f[i]]) {
l=flag[i%p][f[i]];
r=i-;
break;
}
flag[i%p][f[i]]=i;
}
//printf("%d %d %d %d\n",l,r,i,g[i]);
int len=r-l+,ans=,tmp=;
for (int j=;j<l;j++) ans=(ans+g[j])%p;
n-=l-;
for (int j=l;j<=r;j++) tmp=(tmp+g[j])%p;
ans=(ans+(LL)tmp*(n/len)%p)%p;
for (int j=;j<=n%len;j++) ans=(ans+g[l+j-])%p;
printf("%d\n",ans);
} void work3() {
for (int i=;i<=m;i++) {
c[i][]=c[i][i]=;
for (int j=;j<i;j++) c[i][j]=(c[i-][j]+c[i-][j-])%p;
}
int ans=;
ans=((LL)m*(m-))%p; ans=((LL)ans*mi(,m))%p;
ans=((LL)ans*mi(a,p-))%p; //printf("%d\n",ans);
//for (int i=1;i<=m;i++) printf("%d ",c[m][i]); printf("\n");
w[]=((LL)mi(a,n+)-a+p)%p; w[]=((LL)w[]*mi(a-,p-))%p;
//printf("%d\n",w[0]);
for (int i=;i<=m;i++) {
w[i]=((LL)mi(a,n+)*mi(n+,i)-a+p)%p;
for (int j=;j<i;j++) w[i]=((LL)w[i]-((LL)a*c[i][j]%p*w[j]%p)+p)%p;
w[i]=(LL)w[i]*mi(a-,p-)%p;
w[i]%=p;
}
//printf("%d\n",w[m]);
ans=((LL)ans*w[m])%p;
printf("%d\n",ans);
} int main() {
freopen("color.in","r",stdin); freopen("color.out","w",stdout);
scanf("%d%d%d",&n,&m,&p);
a=((LL)m*m-*m+)%p;
if (n<=) work1(); else
if (m>) work2(); else work3();
fclose(stdin); fclose(stdout);
return ;
}

【HNOI】矩阵染色 数论的更多相关文章

  1. 【BZOJ3243】【NOI2013】向量内积(矩阵,数论)

    [BZOJ3243][NOI2013]向量内积(矩阵,数论) 题面 BZOJ 题解 这题好神仙. 首先\(60\)分直接是送的.加点随机之类的可以多得点分. 考虑正解. 我们先考虑一下暴力. 我们把\ ...

  2. 矩阵乘法快速幂 codevs 1250 Fibonacci数列

    codevs 1250 Fibonacci数列  时间限制: 1 s  空间限制: 128000 KB  题目等级 : 钻石 Diamond   题目描述 Description 定义:f0=f1=1 ...

  3. Codevs 1287 矩阵乘法&&Noi.cn 09:矩阵乘法(矩阵乘法练手题)

    1287 矩阵乘法  时间限制: 1 s  空间限制: 128000 KB  题目等级 : 黄金 Gold 题解  查看运行结果     题目描述 Description 小明最近在为线性代数而头疼, ...

  4. Codevs 1305 Freda的道路(矩阵乘法 DP优化)

    1305 Freda的道路 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 大师 Master 题目描述 Description Freda要到Rainbow的城堡去玩了.我们可以认 ...

  5. Codevs 1482 路线统计(矩阵乘法)

    1482 路线统计 时间限制: 1 s 空间限制: 256000 KB 题目等级 : 钻石 Diamond 题目描述 Description N个节点的有向图, 求从start到finish刚好经过时 ...

  6. Codevs 1070 普通递归关系(矩阵乘法)

    1070 普通递归关系 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 大师 Master 题目描述 Description 考虑以下定义在非负整数n上的递归关系 f(n) = f0 ...

  7. 1250 Fibonacci数列(矩阵乘法)

    1250 Fibonacci数列 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 定义:f0=f1=1, fn=fn-1+fn ...

  8. Codevs 1574 广义斐波那契数列(矩阵乘法)

    1574 广义斐波那契数列 时间限制: 1 s 空间限制: 256000 KB 题目等级 : 钻石 Diamond 题目描述 Description 广义的斐波那契数列是指形如an=p*an-1+q* ...

  9. Codeforces Round #344 (Div. 2) B. Print Check

    B. Print Check time limit per test 1 second memory limit per test 256 megabytes input standard input ...

随机推荐

  1. java面试95题

    1.面向对象的特征有哪些方面? 答:面向对象的特征主要有以下几个方面: - 抽象:抽象是将一类对象的共同特征总结出来构造类的过程,包括数据抽象和行为抽象两方面.抽象只关注对象有哪些属性和行为,并不关注 ...

  2. 软工网络15个人作业4-alpha阶段个人总结(201521123059 叶文柠)

    一.个人总结 (1) 类别 具体技能和面试问题 现在回答 毕业找工作时 语言 最拿手的计算机语言之一,代码量多少? 感觉自己没有最拿手的语言,而且拿手的在计算机网络这方面的,所以在软件变成这方面的代码 ...

  3. C#下Label的多行显示

    效果如图 1. tableLayout 三行两列 第一行 存放二维码的信息 第二行空白,用于分割 第三行存储LOGO信息 2. Lable4个,Dock属性都为Fill 第一列TextAlign使用M ...

  4. SQL SERVER技术内幕之10 事务并发

    1.事务 1.1事务的定义 事务是作为单个工作单元而执行的一系列操作.定义事务边界有显式和隐式两种.显式事务的定义以BEGIN TRAN作为开始,以COMMIT TRAN提交事务,以ROLLBACK ...

  5. 自定义JS Map 函数

    // 自定义JS Map 函数 function Map() { var map = function (key, value) {//键值对 this.key = key; this.value = ...

  6. [剑指Offer] 66.机器人的运动范围

    题目描述 地上有一个m行和n列的方格.一个机器人从坐标0,0的格子开始移动,每一次只能向左,右,上,下四个方向移动一格,但是不能进入行坐标和列坐标的数位之和大于k的格子. 例如,当k为18时,机器人能 ...

  7. linux 安装 bitnamid-redmine

    Unix 和 Linux 安装 Perl Unix/Linux 系统上 Perl 安装步骤如下: 通过浏览器打开 http://www.perl.org/get.html. 下载适用于 Unix/Li ...

  8. BZOJ 1082 栅栏(二分+DFS剪枝)

    首先,长度短的木板一定比长度长的木板容易得到,因此若要得到最多的木板,它们必定是所有木板中最短的——可以对木板排序后二分答案(用k表示). 判断是否合法就用搜索,但数据有点大,要用到两个剪枝.一个是若 ...

  9. Greenlet-手动切换

    yield()是自己写的协程,Greenlet( )是已经封装好了的协程. 协程:遇到 I/O 操作就切换到别的地方了(先去处理其他携程去了).等原协程的 I/O 操作一完成就切回去.这样就把 I/O ...

  10. Spring多个数据源问题:DataSourceAutoConfiguration required a single bean, but * were found

    原因: @EnableAutoConfiguration 这个注解会把配置文件号中的数据源全部都自动注入,不会默认注入一个,当使用其他数据源时再调用另外的数据源. 解决方法: 1.注释掉这个注解 2. ...