首页 > 其他分享 >【luogu CF645E】Intellectual Inquiry(DP)(结论)(矩阵乘法)

【luogu CF645E】Intellectual Inquiry(DP)(结论)(矩阵乘法)

时间:2022-10-17 00:33:17浏览次数:119  
标签:return matrix int luogu ++ CF645E Intellectual re sum

Intellectual Inquiry

题目链接:luogu CF645E

题目大意

给你一个序列,值域在 1~k,然后要你在后面再加上 m 个数,也要满足值域,然后使得本质不同的子序列个数最多,输出这个数量。

思路

首先别管那么多,如果 \(m=0\) 怎么办。
发现 \(k\) 只有 \(100\),而且因为是子序列,所以其实是跟最后一个数有关的。
设 \(s_i\) 为 \(i\) 这个数结尾的子序列个数。

那每次放进去一个新的数 \(x\),那除了 \(s_x\) 别的都不会变,那就看看 \(s_x\) 怎么变。
那可以从所有的上面接,也可以自己新开,但是有一些接会导致重复,数量就是之前的 \(s_x\),你相当于把 \(s_x\) 里面每种情况的最后的 \(x\) 删掉,得到的序列加上你这个都是重复的。
所以其实就是 \(s_x=s_x+\sum\limits_{i=1}^ks_i-s_x+1=\sum\limits_{i=1}^ks_i+1\)
我们设 \(sum=\sum\limits_{i=1}^ks_i\),那就是 \(s_x=sum+1\)

发现每次操作之后,如果新加入的是 \(x\),那 \(s_x\) 就会变成最大的。
而且无论放什么,它那个位置变成的值都是固定的,所以我们如果要在后面加数,我们肯定是选 \(s_x\) 最小的。

然后因为做的题其实后面加的 \(m\) 会很大,但也可以搞。

那如果后面要加很多,那我们就不停地选最小的,也就会变成一个循环。

那我们对于一次循环能得到转移矩阵,矩阵快速幂一下,剩下的 \(<k\) 个我们暴力转移即可。

但是有一个小小的问题是我们要如何找到最小的以确定循环转移的顺序,因为有取模是不能直接看。
但是我们考虑到上面的性质,每次操作之后会变成最大的,那我们用 \(lst_i\) 记录 \(i\) 这个数最晚出现的时间,那我们 \(lst\) 排序的结果就是我们的顺序。

至于怎么算转移矩阵,你就枚举每个数,分别弄一下,\(O(n^3)\) 搞好就行。

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
#define mo 1000000007

using namespace std;

const int N = 1e6 + 100;
int n, k, a[N], lst[N], id[N];
int sum, s[101];
ll m;
char tmp[N];

bool cmp(int x, int y) {return lst[x] < lst[y];} 

int add(int x, int y) {return x + y >= mo ? x + y - mo : x + y;}
int dec(int x, int y) {return x < y ? x - y + mo : x - y;}
int mul(int x, int y) {return 1ll * x * y % mo;}

struct matrix {
	int n, m;
	int a[101][101];
}A, B;

matrix operator *(matrix x, matrix y) {
	matrix re; re.n = x.n; re.m = y.m;
	for (int i = 0; i < re.n; i++)
		for (int j = 0; j < re.m; j++)
			re.a[i][j] = 0;
	for (int k = 0; k < x.m; k++)
		for (int i = 0; i < re.n; i++)
			for (int j = 0; j < re.m; j++)
				re.a[i][j] = add(re.a[i][j], mul(x.a[i][k], y.a[k][j]));
	return re; 
}

matrix ksm(matrix x, ll y) {
	if (!y) {
		matrix re; re.n = k + 1; re.m = k + 1;
		for (int i = 0; i < re.n; i++) for (int j = 0; j < re.m; j++) re.a[i][j] = 0;
		for (int i = 0; i < re.n; i++) re.a[i][i] = 1;
		return re;
	}
	matrix re = x; y--;
	while (y) {
		if (y & 1) re = re * x;
		x = x * x; y >>= 1;
	}
	return re;
} 

ll re; char c;
ll read() {
	re = 0; c = getchar();
	while (c < '0' || c > '9') c = getchar();
	while (c >= '0' && c <= '9') {
		re = (re << 3) + (re << 1) + c - '0';
		c = getchar(); 
	}
	return re;
}

int main() {
	m = read(); k = read();
//	scanf("%d %d %d", &n, &m, &k);
	scanf("%s", tmp + 1); n = strlen(tmp + 1);
	for (int i = 1; i <= n; i++) a[i] = tmp[i] - 'a' + 1;
	
	for (int i = 1; i <= n; i++) {
		ll bef = s[a[i]];
		s[a[i]] = add(sum, 1);
		sum = add(dec(sum, bef), s[a[i]]);
		lst[a[i]] = i;
	}
	
	for (int i = 1; i <= k; i++) id[i] = i;
	sort(id + 1, id + k + 1, cmp);
	
	A.n = 1; A.m = k + 1;
	for (int i = 1; i <= k; i++) A.a[0][i] = s[i]; A.a[0][0] = 1;
	B.n = k + 1; B.m = k + 1;
	for (int i = 0; i <= k; i++) B.a[i][i] = 1;
	for (int i = 1; i <= k; i++) {
		int sum = 1;//sum si
		for (int j = 1; j <= k; j++) {
			int lstsum = sum;
			sum = dec(mul(sum, 2), B.a[i][id[j]]);
			B.a[i][id[j]] = lstsum;
		}
	}
	int sum = 0;//+1
	for (int i = 1; i <= k; i++) {
		int lstsum = sum;
		sum = add(dec(mul(sum, 2), B.a[0][id[i]]), 1);
		B.a[0][id[i]] = add(lstsum, 1);
	}
	
	B = ksm(B, m / k);
	A = A * B;
	sum = 0; for (int i = 1; i <= k; i++) s[i] = A.a[0][i], sum = add(sum, s[i]);
	for (int i = 1; i <= m % k; i++) {
		int now = id[i], bef = s[now];
		s[now] = add(sum, 1);
		sum = add(dec(sum, bef), s[now]);
	}
	printf("%d", add(sum, 1));
	
	return 0;
}

标签:return,matrix,int,luogu,++,CF645E,Intellectual,re,sum
From: https://www.cnblogs.com/Sakura-TJH/p/luogu_CF645E.html

相关文章

  • 【luogu P5161】WD与数列(SA)(单调栈)
    WD与数列题目链接:luoguP5161题目大意给你一个序列,问你有多少对区间,长度相同,没有相交部分,而且一个区间里面所有数同时加上某个数可以变成另一个区间。思路首先发现它......
  • luogu P3232 [HNOI2013]游走 (期望, 高斯消元)
    https://www.luogu.com.cn/problem/P3232思路:算出每条边的期望访问次数,将期望访问次数多的赋予小的编号。一条边的期望访问次数=访问点u的期望/u的度+访问点v的期望......
  • luoguP1505旅游(处理边权的树剖)
    /*luogu1505非常简单的处理边权的树剖题。在树上将一条边定向,把这条边的权值赋给这条边的出点树剖的时候不计算lca权值即可*/#include<bits/stdc......
  • Luogu1398
    思路什么毒瘤细节题。考虑如何解决。考虑对这些条件做出进一步的抽象。于是我们做出细致的观察。方便起见,我们横、纵坐标自左往右、自上往下标号。字母之间的关系O......
  • LuoguP2633 Count on a tree
    题意给定一棵\(n\)个节点的树,每个点有一个权值。有\(m\)个询问,每次给你\(u,v,k\),你需要回答\(u\text{xorlast}\)和\(v\)这两个节点间第\(k\)小的点权。其......
  • 【luogu CF1396D】Rainbow Rectangles(线段树)
    RainbowRectangles题目链接:luoguCF1396D题目大意给你一个L*L的矩形,里面有n个点,有各自的颜色。然后问你有多少个端点是整点的矩形可以圈出所有颜色至少有一个点。......
  • Luogu P3469 [POI2008]BLO-Blockade
    [P3469POI2008]BLO-Blockade-洛谷|计算机科学教育新生态(luogu.com.cn)图\(G\)本身联通。删除\(u\)的连边后会形成\(k\ge2\)个连通块(至少会把\(u\)隔离出......
  • Luogu2167 Bill的挑战 - 容斥 - dp -
    题目链接:https://www.luogu.com.cn/problem/P2167题解:摘录一段描述容斥题目的话:本题中,关于容斥系数,可以先感性理解一下,严格证明可以用即除了自身,自身的超集都计算......
  • Luogu P6157 有趣的游戏(平衡树 + 树链剖分)
    有趣的游戏题目描述游戏在一棵大小为\(n\)的树上进行。其中每个点都有点权,第\(i\)个点的点权为\(w_i\)。每一次系统会给出一条链,小A可以从这条链上找出两个点权......
  • 【luogu CF1553F】Pairwise Modulo(树状数组)(根号分治)
    PairwiseModulo题目链接:luoguCF1553F题目大意给你一个序列,对于每个前缀,要你求两两互相取模的结果的和。思路考虑新加入一个数增加的答案。那就是加两个部分:\(\sum......