给你一个大小为 m m m 的集合 S S S , S S S 中不包含 n n n 。
现在对于一个正整数序列 a 1 − a k a_1−a_k a1−ak,如果不存在 s i s_i si 属于集合 S S S 就是合法的, s s s 表示 a a a 的前缀和。
这样的序列贡献是 ∏ i = 1 k a i 2 \prod\limits_{i=1}^k{a_i}^2 i=1∏kai2,求所有合法序列的贡献和。
我们不妨进行一下巧妙的模型转化。
有一个长度为 n n n 的序列,你可以在一个位置里放红球或绿球,你还可以在边界以及位置间隙放分隔板,要求满足以下要求:
左边界和右边界必须放分隔板
如果一个位置i属于集合 S S S,那么 i i i 和 i + 1 i+1 i+1 之间的间隙不能放分隔板
任意两个分隔板之间的区域必须恰好放一个红球与一个绿球,求方案数。
这个是和原问题等价的。
然后我们可以设 d p [ i ] [ 0...2 ] dp[i][0...2] dp[i][0...2] 表示做到第 i i i 个位置目前最后一个分隔板后的区域已经放了多少个球。
我们可以把转移写成两个矩阵(一个矩阵是允许放分隔板,另一个是不允许)。
那么可以通过矩阵乘法快速幂,来得到 d p [ n ] dp[n] dp[n] 。
#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(s) freopen(s".in", "r", stdin), freopen(s."out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 100010 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }
int n, m, las ;
struct mtr {
ll a[3][3] ;
mtr () { clr(a) ; }
void unit() {
rep(i, 0, 3) a[i][i] = 1 ;
}
} ans, trn, cou ;
mtr operator * (const mtr &u, const mtr &v) {
mtr w ;
rep(i, 0, 2)
rep(j, 0, 2)
rep(k, 0, 2)
w.a[i][j] = (w.a[i][j] + u.a[i][k] * v.a[k][j]) % MOD ;
return w ;
}
mtr operator ^ (mtr a, int b) {
mtr ret ; ret.unit() ;
for (; b; b >>= 1, a = a * a) if (b & 1) ret = ret * a ;
return ret ;
}
void init() {
ans.a[0][0] = 1 ;
cou.a[0][0] = 1, cou.a[0][1] = 0, cou.a[0][2] = 0 ;
cou.a[1][0] = 2, cou.a[1][1] = 1, cou.a[1][2] = 0 ;
cou.a[2][0] = 1, cou.a[2][1] = 1, cou.a[2][2] = 1 ;
trn.a[0][0] = 1, trn.a[0][1] = 0, trn.a[0][2] = 1 ;
trn.a[1][0] = 2, trn.a[1][1] = 1, trn.a[1][2] = 2 ;
trn.a[2][0] = 1, trn.a[2][1] = 1, trn.a[2][2] = 2 ;
}
signed main(){
scanf("%d%d", &n, &m) ;
init() ;
rep(i, 1, m) {
int x ; scanf("%d", &x) ;
ans = (trn ^ (x - las)) * ans ;
ans = cou * ans, las = x + 1 ;
}
ans = (trn ^ (n - las)) * ans ;
cout << ans.a[2][0] << endl ;
return 0 ;
}
/*
写代码时请注意:
1.ll?数组大小,边界?数据范围?
2.精度?
3.特判?
4.至少做一些
思考提醒:
1.最大值最小->二分?
2.可以贪心么?不行dp可以么
3.可以优化么
4.维护区间用什么数据结构?
5.统计方案是用dp?模了么?
6.逆向思维?
*/