\(\mathcal{Description}\)

  Link.

  有 \(n\) 个人站成一个环,初始时第 \(i\) 个人手里有 \(a_i\) 个球。第 \(i\) 个人可以将自己手中任意数量的求给第 \(i+1\) 个人,第 \(n\) 个人则可以给第 \(1\) 个人。设所有人同时进行一次传球后,第 \(i\) 个人手里有 \(b_i\) 个球,并令 \(B\) 为所有可能的 \(\lang b_n\rang\) 构成的集合,求

\[ \sum_{\lang b_n \rang\in B}\prod_{x\in\lang b_n \rang}x \pmod{998244353}.
\]

  \(n\le10^5\)。

\(\mathcal{Solution}\)

  首先有一个明显而重要的结论:存在某个人没有给别人球的传球方案一一对应了所有可能的 \(\lang b_n\rang\)。

  方法一 从暴力 DP 入手。枚举最小的 \(i=x\),使得 \(x\) 没有向 \(x+1\) 传球,此时令 \(f(i,j)\) 表示第 \(i\) 个人给出 \(j\) 个球时,\(x+1\sim i\) 这一段人的 \(b\) 值的乘积之和。转移时记得讨论当前的 \(i\) 能否不给下一个人球。

  写出转移式,似乎很难优化。这时不妨想一想,DP 欲求得的目标是什么? 是 \(f(i,j)\)?并不,应是 \(\sum_j f(i,j)\)。回头看一眼转移,发现我们能直接将转移施加在 \(\sum_j f(i,j)\) 上,状态中的 \(j\) 根本不需要!

  下一步优化比较简单:两种情况的转移均能写成 \(2\times2\) 的矩阵,求一求前缀积之类的就内求出答案了。复杂度 \(\mathcal O(n)\)。


  方法二 从组合意义入手。\(\prod b_i\) 即传完求后,每个人再从手里的球里选出一个的方案数。那么令 \(f(i,0/1)\) 表示考虑了前 \(i\) 个人,第 \(i\) 个人选出的球来自前一个人/自己,讨论转移。通过钦定第 \(1\) 个人所选出的球破环求解。复杂度 \(\mathcal O(n)\)。(我没实现所以讲得比较糊 www。

\(\mathcal{Code}\)

  只有方法一的代码呢。

/*-Rainybunny-*/

#include <bits/stdc++.h>

#define rep( i, l, r ) for ( int i = l, rep##i = r; i <= rep##i; ++i )
#define per( i, r, l ) for ( int i = r, per##i = l; i >= per##i; --i ) const int MAXN = 1e6, MOD = 998244353, INV2 = 499122177, INV3 = 332748118;
int n, a[MAXN + 5]; inline int mul( const int u, const int v ) { return 1ll * u * v % MOD; }
inline int sub( int u, const int v ) { return ( u -= v ) < 0 ? u + MOD : u; }
inline int add( int u, const int v ) { return ( u += v ) < MOD ? u : u - MOD; } struct Matrix {
int a, b, c, d;
friend inline Matrix operator * ( const Matrix& u, const Matrix& v ) {
return { add( mul( u.a, v.a ), mul( u.b, v.c ) ),
add( mul( u.a, v.b ), mul( u.b, v.d ) ),
add( mul( u.c, v.a ), mul( u.d, v.c ) ),
add( mul( u.c, v.b ), mul( u.d, v.d ) ) };
}
} pre[MAXN + 5], suf[MAXN + 5]; inline Matrix getTrans( const int i, const bool type ) {
int tmp = mul( mul( a[i], a[i] + 1 ), INV2 );
if ( !type ) {
return { tmp, a[i] + 1,
mul( sub( a[i], mul( add( a[i], a[i] ) + 1, INV3 ) ), tmp ), tmp };
} else {
return { sub( mul( a[i], a[i] ), tmp ), a[i],
mul( sub( a[i], mul( add( a[i], a[i] ) + 1, INV3 ) ), tmp ), tmp };
}
} int main() {
// freopen( "y.in", "r", stdin );
// freopen( "y.out", "w", stdout );
std::ios::sync_with_stdio( false ), std::cin.tie( 0 ); std::cin >> n;
rep ( i, 1, n ) std::cin >> a[i]; pre[0] = { 1, 0, 0, 1 };
rep ( i, 1, n ) pre[i] = getTrans( i, 1 ) * pre[i - 1];
suf[n + 1] = { 1, 0, 0, 1 };
per ( i, n, 1 ) suf[i] = suf[i + 1] * getTrans( i, 0 ); int ans = 0;
rep ( i, 1, n ) { // i won't give i+1 any ball.
Matrix&& tmp( pre[i - 1] * suf[i + 1] );
ans = add( ans, add( mul( a[i], tmp.a ), tmp.c ) );
}
std::cout << ans << '\n';
return 0;
}

Solution -「ARC 124E」Pass to Next的更多相关文章

  1. Solution -「ARC 104E」Random LIS

    \(\mathcal{Description}\)   Link.   给定整数序列 \(\{a_n\}\),对于整数序列 \(\{b_n\}\),\(b_i\) 在 \([1,a_i]\) 中等概率 ...

  2. Solution -「ARC 101D」「AT4353」Robots and Exits

    \(\mathcal{Description}\)   Link.   有 \(n\) 个小球,坐标为 \(x_{1..n}\):还有 \(m\) 个洞,坐标为 \(y_{1..m}\),保证上述坐标 ...

  3. Solution -「ARC 110D」Binomial Coefficient is Fun

    \(\mathcal{Description}\)   Link.   给定非负整数序列 \(\{a_n\}\),设 \(\{b_n\}\) 是一个非负整数序列且 \(\sum_{i=1}^nb_i\ ...

  4. Solution -「ARC 126E」Infinite Operations

    \(\mathcal{Description}\)   Link.   给定序列 \(\{a_n\}\),定义一次操作为: 选择 \(a_i<a_j\),以及一个 \(x\in\mathbb R ...

  5. Solution -「ARC 126F」Affine Sort

    \(\mathcal{Description}\)   Link.   给定 \(\{x_n\}\),令 \[f(k)=\left|\{(a,b,c)\mid a,b\in[0,c),c\in[1,k ...

  6. Solution -「ARC 125F」Tree Degree Subset Sum

    \(\mathcal{Description}\)   Link.   给定含有 \(n\) 个结点的树,求非负整数对 \((x,y)\) 的数量,满足存在 \(\exist S\subseteq V ...

  7. Solution -「ARC 125E」Snack

    \(\mathcal{Description}\)   Link.   把 \(n\) 种零食分给 \(m\) 个人,第 \(i\) 种零食有 \(a_i\) 个:第 \(i\) 个人得到同种零食数量 ...

  8. Solution -「ARC 058C」「AT 1975」Iroha and Haiku

    \(\mathcal{Description}\)   Link.   称一个正整数序列为"俳(pái)句",当且仅当序列中存在连续一段和为 \(x\),紧接着连续一段和为 \(y ...

  9. Solution -「ARC 101E」「AT 4352」Ribbons on Tree

    \(\mathcal{Description}\)   Link.   给定一棵 \(n\) 个点的树,其中 \(2|n\),你需要把这些点两两配对,并把每对点间的路径染色.求使得所有边被染色的方案数 ...

随机推荐

  1. Python常用功能函数总结系列

    Python常用功能函数系列总结(一) 常用函数一:获取指定文件夹内所有文件 常用函数二:文件合并 常用函数三:将文件按时间划分 常用函数四:数据去重 Python常用功能函数系列总结(二) 常用函数 ...

  2. Vue项目中使用websocket

    <template> <div class="test"> </div> </template> <script> ex ...

  3. SYCOJ2140祝福短信

    题目-祝福短信 (shiyancang.cn) 1 #include<bits/stdc++.h> 2 using namespace std; 3 map<string,bool& ...

  4. 《剑指offer》面试题03. 数组中重复的数字

    问题描述 找出数组中重复的数字. 在一个长度为 n 的数组 nums 里的所有数字都在 0-n-1 的范围内.数组中某些数字是重复的,但不知道有几个数字重复了,也不知道每个数字重复了几次.请找出数组中 ...

  5. Cplex用法

    Cplex用法 1.将问题转化为LP问题: cplex -c read mps/nw460.mps change problem type lp opt 2.将问题转化为LP问题并输出问题: cple ...

  6. 如何根据经纬度计算地面上某点在XYZ空间直角坐标系中的坐标

    如何根据经纬度计算地面上某点在XYZ空间直角坐标系中的坐标 /** * @param r: number 到地心的距离 * @param lon: number 经度 * @param lat: nu ...

  7. 给自己的网站装上SSL证书

    给网站装上SSL证书 前言 主要是因为自己的阿里云快过期了,自己的博客也重新用了一下Halo,重新安装SSL的时候有些地方忘了,所以在此留个记录! 关于SSL 阮一峰<图解图解SSL/TLS协议 ...

  8. gin中绑定表单数据至自定义结构体

    package main import "github.com/gin-gonic/gin" type StructA struct { FieldA string `form:& ...

  9. gin中如何自定义中间件

    package main import ( "fmt" "github.com/gin-gonic/gin" ) func main() { // 新建一个没有 ...

  10. java-异常-编译时检测异常和运行时异常区别(throws和throw区别)

    1 package p1.exception; 2 /* 3 * 对于角标是整数不存在,可以用角标越界表示, 4 * 对于负数为角标的情况,准备用负数角标异常来表示. 5 * 6 * 负数角标这种异常 ...