zoukankan      html  css  js  c++  java
  • loj#2002. 「SDOI2017」序列计数(dp 矩阵乘法)

    题意

    题目链接

    Sol

    质数的限制并没有什么卵用,直接容斥一下:答案 = 忽略质数总的方案 - 没有质数的方案

    那么直接dp,设(f[i][j])表示到第i个位置,当前和为j的方案数

    (f[i + 1][(j + k) \% p] += f[i][j])

    矩乘优化一下。

    #include<bits/stdc++.h>
    #define LL long long 
    using namespace std;
    const int MAXN = 2e7 + 10, mod = 20170408, SS = 1e5 + 10;
    LL GG = 1e17;
    inline int read() {
    	char c = getchar(); int x = 0, f = 1;
    	while(c < '0' || c > '9') {if(c == '-') f = -1; c = getchar();}
    	while(c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
    	return x * f;
    }
    template<typename A, typename B> inline int add(A x, B y) {
    	if(x + y < 0) return x + y + mod;
    	else return x + y >= mod ? x + y - mod : x + y;
    }
    template<typename A, typename B> inline void add2(A &x, B y) {
    	if(x + y < 0) x = x + y + mod;
    	else x = (x + y >= mod ? x + y - mod : x + y);
    }
    template<typename A, typename B> inline int mul(A x, B y) {
    	return 1ll * x * y % mod;
    }
    int N, M, p, Lim;//1 - M, ºÍÊÇpµÄ±¶Êý 
    int f[SS], vis[MAXN], mu[MAXN], prime[MAXN], tot, cnt, num[SS], tim[SS], val[SS];
    struct Ma {
    	int m[201][201];
    	Ma() {
    		memset(m, 0, sizeof(m));
    	}
    	void init() {
    		for(int i = 0; i <= Lim; i++) m[i][i] = 1;
    	}
    	void clear() {
    		memset(m, 0, sizeof(m));
    	}
    	void print() {
    		for(int i = 0; i <= Lim; i++, puts(""))
    			for(int j = 0; j <= Lim; j++)
    				printf("%d ", m[i][j]);
    	}
    	Ma operator * (const Ma &rhs) const {
    		Ma ans = {};
    		for(int i = 0; i <= Lim; i++)
    			for(int j = 0; j <= Lim; j++) {
    				__int128 tmp = 0;
    				for(int k = 0; k <= Lim; k++) {
    					tmp += 1ll * m[i][k] * rhs.m[k][j];		
    				}
    				ans.m[i][j] = tmp % mod;
    			}
    		return ans;
    	}
    }g;
    Ma MatrixPow(Ma a, int p) {
    	Ma base; base.init();
    	while(p) {
    		if(p & 1) base = base * a;
    		a = a * a; p >>= 1;
    	}
    	return base;
    }
    void sieve(int N) {
    	vis[1] = 1; mu[1] = 1; 
    	for(int i = 2; i <= N; i++) {
    		if(!vis[i]) prime[++tot] = i, mu[i] = -1;
    		for(int j = 1; j <= tot && i * prime[j] <= N; j++) {
    			vis[i * prime[j]] = 1;
    			if(i % prime[j]) mu[i * prime[j]] = -mu[i];
    			else {mu[i * prime[j]] = 0; break;}
    		}
    	}
    	for(int i = 1; i <= N; i++) 
    		if(vis[i]) num[i % p]++;
    }
    
    int solve1() {//ºöÊÓÖÊÊýµÄÏÞÖÆ
    	for(int i = 1; i <= M; i++) f[i % p]++;
    	for(int j = 0; j < p; j++) {
    		memset(tim, 0, sizeof(tim));
    		memset(val, 0, sizeof(val));
    		int step = M;
    		for(int k = 1; k <= M; k++) {
    			int nxt = (j + k) % p;
    			if(tim[nxt]) {step = k - 1; break;}
    			tim[nxt] = 1; val[nxt]++;
    		}
    		if(step) for(int k = 0; k <= Lim; k++) g.m[k][j] = M / step * val[k];
    		for(int k = M / step * step + 1; k <= M; k++) g.m[(j + k) % p][j]++;
    	}
    	Ma ans = MatrixPow(g, N - 1);
    	int out = 0;
    	for(int i = 0; i <= Lim; i++) add2(out, mul(ans.m[0][i], f[i]));
    	return out;
    }
    int solve2() {//ÎÞÖÊÊý 
    	memset(f, 0, sizeof(f));
    	g.clear();
    	for(int i = 1; i <= M; i++) f[i % p] += (vis[i]);
    	for(int j = 0; j < p; j++)
    		for(int k = 0; k < p; k++)
    			g.m[(j + k) % p][j] += num[k];
    			
    	Ma ans = MatrixPow(g, N - 1);
    	int out = 0;
    	for(int i = 0; i <= Lim; i++) 
    		add2(out, mul(ans.m[0][i], f[i]));
    	return out;
    }
    int main() {
    	N = read(); M = read(); Lim = p = read();
    	sieve(M);
    	cout << (solve1() - solve2() + mod) % mod;
    	return 0;
    }
    
  • 相关阅读:
    OS + UNIX AIX performance
    web test LoadRunner fuction_list
    web test LoadRunner Linux
    web test LoadRunner SAP / java / Java Vuser / web_set_max_html_param_len
    网上购物系统(Task006)——数据访问层DAL
    Request 获取网址各片段
    网上购物系统(Task009)——FormView显示商品详细信息
    网上购物系统(Task007)——自定义DateList控件分页显示商品信息
    网上购物系统(Task010)——FormView编辑更新商品详细信息
    网上购物系统(Task011)——FormView插入删除商品详细信息
  • 原文地址:https://www.cnblogs.com/zwfymqz/p/10371612.html
Copyright © 2011-2022 走看看