价值序列——计数

小酒窝.

已于 2022-04-01 23:18:01 修改

阅读量285

点赞数

分类专栏：牛客竞赛文章标签：计数思维

于 2022-04-01 23:17:22 首次发布

本文链接：https://blog.csdn.net/Mr_dimple/article/details/123910320

版权

牛客竞赛专栏收录该内容

30 篇文章 0 订阅

订阅专栏

该博客主要讨论了一种数组价值子序列的问题，其中涉及数组的定义、价值计算以及如何通过删除元素保持价值不变的策略。文章介绍了利用归纳法证明删除特定元素不会增加序列价值，并提出将相等元素视为连通块，分析了不同情况下的删除策略对答案的影响。最后，给出了C++代码实现来解决这个问题。

摘要由CSDN通过智能技术生成

价值序列

题意：

给出长度为 $n$ 的整数数组 $a_{1}, a_{2}, \ldots, a_{n}$ ，定义序列的价值为 $\sum_{i=1}^{n-1}\left|a_{i}-a_{i+1}\right|$ 。
当数组长度为 1 时，价值认为是 0 。
求有多少不同的 $\leq i_{1}<i_{2}<\ldots<i_{k} \leq n(1 \leq k \leq n)$ 满足子序列 $a_{i 1}, a_{i 2}, \ldots, a_{i k}$ 的价值等于 $a_{1}, a_{2}, \ldots, a_{n}$ 的价值。
由于答案可能很大，对答案 mod $998244353$ 。

思路：

首先说一个结论：删除一个数，价值必定不增。

证明可以用归纳法，对于 $\leq 2$ 显然。
对于 $n > 2$ ，如果删除一个 $a_{i-1} \leq a_{i} \leq a_{i+1}$ 的位置 $i$ ，价值不变，如果删除 $a_{i-1} \geq a_{i} \geq a_{i+1}$ 的位置 $i$ 价值也不变。如果删除 $a_{i-1} \leq a_{i} \geq a_{i+1}$ 或 $a_{i-1} \geq a_{i} \leq a_{i+1}$ ，答案只可能减少，删除一个数后 $n$ 的规模减1，由归纳法结论得证。

接下来，考虑删除哪些数答案不会变。
把相等的数看成一个连通块，设为 $[i, j]$ 。
如果满足 $a_{i-1}<a_{i}=\ldots=a_{j}<a_{j+1}$ 或 $a_{i-1}>a_{i}=\ldots=$ $a_{j}>a_{j+1}$ (且要满足 $i > 1, j < n$ )，则区间 $[i, j]$ 的数可以全部删除，不影响价值，这样的区间对答案贡献有 $2^{j-i+1}$ 种方案。
否则区间 $[i, j]$ 的数必须保留一个，这样的区间对答案贡献 $2^{j-i+1}-1$ 种方案。把所有区间的贡献连乘起来就是答案。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——摘自牛客网

Code：

#include<bits/stdc++.h>
using namespace std;

const int N = 200010, mod = 998244353;
int T, n, m;
int a[N];

bool pd(int i, int j)
{
	if(i==1 || j==n) return 0;
	
	if(a[i-1]<a[i] && a[j+1]>a[j]) return 1;
	if(a[i-1]>a[i] && a[j+1]<a[j]) return 1;
	return 0;
}

int qmi(int x, int y)
{
	int ans = 1;
	while(y)
	{
		if(y & 1) ans = ans*x%mod;
		x = x*x%mod;
		y >>= 1;
	}
	return ans;
}

signed main(){
	Ios;
	cin>>T;
	while(T--)
	{
		int ans = 1;
		
		cin>>n;
		for(int i=1;i<=n;i++) cin>>a[i];
		
		for(int i=1;i<=n;i++)
		{
			int j = i;
			while(a[j+1] == a[i]) j++;
			
			if(pd(i, j)) ans = ans * qmi(2, j-i+1) % mod;
			else ans = ans * (qmi(2, j-i+1) - 1) % mod;
			
			i = j;
		}
		
		cout << ans << endl;
	}
	
	return 0;
}