Atcoder agc040简要题解

补一下最近几场的agc。

A - ><

略

B - Two Contests

略

C - Neither AB nor BA

先考虑没有${}^{\prime }{C}^{\prime }$的情况。注意到如果存在多对${}^{\prime }A{A}^{\prime }$或${}^{\prime }B{B}^{\prime }$且有解，随便消去一对都可以得到一组合法解。那么考虑将$2k-1$和$2k$分一组，如果相同直接消掉，易证有解当且仅当剩下的${}^{\prime }A{B}^{\prime }$和${}^{\prime }B{A}^{\prime }$数目相同。
注意到我们可以将${}^{\prime }{C}^{\prime }$任意填成${}^{\prime }{A}^{\prime }$或${}^{\prime }{B}^{\prime }$。那么同样分组，易证合法当且仅当${}^{\prime }A{B}^{\prime }{\le }^{\prime }B{A}^{\prime }{+}^{\prime }B{C}^{\prime }{+}^{\prime }C{A}^{\prime }{+}^{\prime }C{C}^{\prime }$且${}^{\prime }B{A}^{\prime }{\le }^{\prime }A{B}^{\prime }{+}^{\prime }A{C}^{\prime }{+}^{\prime }C{B}^{\prime }{+}^{\prime }C{C}^{\prime }$。
注意到两个条件至多只有一个会不满足，于是可以选择计算反面情况容斥一下。以${}^{\prime }A{B}^{\prime }$为例，枚举${}^{\prime }A{B}^{\prime }{+}^{\prime }B{A}^{\prime }{+}^{\prime }B{C}^{\prime }{+}^{\prime }C{A}^{\prime }{+}^{\prime }C{C}^{\prime }$的值$k$，那么可以变成计算一个上指标为$k$的组合数前缀和。我们如果按$k$的值从小往大算，可以很方便地用加法公式递推。
时间复杂度$\mathcal{O}(N)$。

#include <bits/stdc++.h>
#define FR first
#define SE second
#define MOD 998244353
#