2023 年第八场牛客多校题解
A Alive Fossils
题意：依次举办 n n n 场多校，每场多校有一些出题人。问哪些出题人每场都出题了。
解法：用 set 维护下一直在出题的人即可。
B Bloodline Counter
题意：求 n n n 个点的竞赛图中最大环大小恰好为 k k k 的方案数对 998 244 353 998\ 244\ 353 998 244 353 取模。 3 ≤ k ≤ n ≤ 5 × 1 0 5 3 \le k \le n \le 5\times 10^5 3≤k≤n≤5×105。
解法：首先看到这类不同方案求和，且约束条件为恰好的题目，第一反应就是转变成约束条件满足某个至多条件然后相减。因而原问题可以转化为，最大强连通分量至多为 k k k 个点方案数。
为计算出一个大小为 k k k 的强连通分量有多少种构成方式，这里直接统计最大环是谁（圆排列数），环内边怎么连（任意连）这种方法是不对的——五角星存在两种哈密顿路，即同一个强连通分量可以有两种这样的构造方式。这种方式仅能求出竞赛图哈密顿路总数，即 ( n − 1 ) ! 2 ( n 2 ) − n \displaystyle (n-1)!2^{\binom{n}{2}-n} (n−1)!2(2n)−n。
为计算出一个大小为 k k k 的强连通分量有多少种构成方式，正确做法是考虑容斥。经过缩点后，一个 n n n 个点的竞赛图一定是由一条链构成。这时仅考察这条链上最末端的一个强连通分量的大小，假设为 i i i，则有：
f n = ∑ i = 1 n ( n i ) g i 2 ( n − i 2 ) f_n=\sum_{i=1}^n \binom{n}{i}g_i2^{\binom{n-i}{2}} fn=i=1∑n(in)gi2(2n−i)
其中 f n f_n fn 表示 n n n 个点竞赛图的方案数，显然为 2 ( n 2 ) \displaystyle 2^{\binom{n}{2}} 2(2n)， g i g_i gi 表示大小为 i i i 的竞赛图构成一整个强连通分量方案数。该方程含义为，枚举最末端一个强连通分量大小，剩下的任选，就可以构成全部的竞赛图方案。考虑如何快速计算上式：
2 ( n 2 ) = ∑ i = 1 n ( n i ) g i 2 ( n − i 2 ) 2 ( n 2 ) n ! = ∑ i = 1 n g i i ! 2 ( n − i 2 ) ( n − i ) ! \begin{aligned} 2^{\binom{n}{2}}&=\sum_{i=1}^n \binom{n}{i}g_i2^{\binom{n-i}{2}}\\ \dfrac{2^{\binom{n}{2}}}{n!}&=\sum_{i=1}^n \dfrac{g_i}{i!}\dfrac{2^{\binom{n-i}{2}}}{(n-i)!} \end{aligned} 2(2n)n!2(2n)=i=1∑n(in)gi2(2n−i)=i=1∑ni!gi(n−i)!2(2n−i)
因而可以看成是 f ( x ) = ∑ i = 0 + ∞ 2 ( i 2 ) i ! x i \displaystyle f(x)=\sum_{i=0}^{+\infty}\dfrac{2^{\binom{i}{2}}}{i!}x^i f(x)=i=0∑+∞i!2(2i)xi 等于 g ( x ) = ∑ i = 1 + ∞ g i i ! x i g(x)=\displaystyle \sum_{i=1}^{+\infty} \dfrac{g_i}{i!}x^i g(x)=i=1∑+∞i!gixi 与 h ( x ) = ∑ i = 0 + ∞ 2 ( i 2 ) i ! x i \displaystyle h(x)=\sum_{i=0}^{+\infty}\dfrac{2^{\binom{i}{2}}}{i!}x^i h(x)=i=0∑+∞i!2(2i)xi 卷积之后再增补单独的常数项 1 1 1——因为 g ( x ) g(x) g(x) 没有常数项，而 f ( x ) f(x) f(x) 的常数项为 1 1 1。不难注意到 f = h f=h f=h，因而有 f ( x ) = g ( x ) f ( x ) + 1 f(x)=g(x)f(x)+1 f(x)=g(x)f(x)+1，可得 g ( x ) = 1 − 1 f ( x ) g(x)=1-\dfrac{1}{f(x)} g(x)=1−f(x)1。
由于此处需要每个强连通分量大小不超过 k k k，因而取 g ( x ) g(x) g(x) 的前 k k k 项出来。由于此处是需要先选点后组成强连通分量，因而考虑指数生成函数 EGF 求取答案：
[ x n ] ( ∑ i = 1 k g i i ! x i ) n [x^n]\left(\sum_{i=1}^k \dfrac{g_i}{i!}x^i\right)^n [xn](i=1∑ki!gixi)n
此处使用指数生成函数的原因是因为多项式系数下都带有指数。例如，若当前强连通分量大小组成为 { a 1 , a 2 , ⋯ , a k } \{a_1,a_2,\cdots,a_k\} {a1,a2,⋯,ak}，为选点再排列，则对于该方案，就必须带有该多项式系数：
( n a 1 , a 2 , ⋯ , a k ) ∏ i = 1 k g a i = n ! ∏ i = 1 k g a i a i ! \binom{n}{a_1,a_2,\cdots,a_k}\prod_{i=1}^k g_{a_i}=n!\prod_{i=1}^k \dfrac{g_{a_i}}{a_i!} (a1,a2,⋯,akn)i=1∏kgai=n!i=1∏kai!gai
因而使用指数生成函数就可以自动将强连通分量的大小的阶乘引入系数中，而不用单独计算贡献。
因而经过求逆和多项式快速幂可以做到 O ( n log n ) \mathcal O(n \log n) O(nlogn) 的复杂度。
void Solve() {
int n, k;
scanf("%d%d", &n, &k);
Poly g(k + 1), p2(k + 1);
g[0] = p2[0] = 1;
fp(i, 1, k) p2[i] = 2 * p2[i - 1] % P;
fp(i, 1, k) g[i] = mul(g[i - 1], p2[i - 1]);
fp(i, 1, k) g[i] = mul(g[i], ifac[i]);
g = g.inv(k + 1);
int a = g.pre(k + 1).inv(n + 1)[n], b = g.pre(k).inv(n + 1)[n];
printf("%lld\n", ll(a - b + P) * fac[n] % P);
}
D Distance on Tree
题意：给定大小为 n n n 的有根树，树上点有点权 { a } i = 1 n \{a\}_{i=1}^n {a}i=1n，边有边权。 q q q 次询问 u u u 子树上任选三点满足三点权值和模 m m m（为一常数）为定值 k k k 时，两两之间距离和的最大值。 1 ≤ n , m ≤ 2 × 1 0 3 1 \le n,m \le 2\times 10^3 1≤n,m≤2×103， 1 ≤ q ≤ 2 × 1 0 5 1 \le q \le 2\times 10^5 1≤q≤2×105。
解法：对于此类子树问题，可以考虑不断将 u u u 的一个新子树 v v v 加入到子树 u u u 的答案中。首先考虑一个最基本的 dp： f u , 1 , k f_{u,1,k} fu,1,k 表示子树 u u u 中任选一个权值模 m m m 等于 k k k 的点到 u u u 的最大距离的两倍（之所以用两倍是方便转移式的方便和形式统一）， f u , 2 , k f_{u,2,k} fu,2,k 表示子树 u u u 中任选两个点权值和模 m m m 为 k k k 的距离和加上选出的这两点到 u u u 的距离和的最大值， f u , 3 , k f_{u,3,k} fu,3,k 表示 u u u 子树下任选三点其权值和模 m m m 等于 k k k 的约束下，两两之间距离和的最大值。
考虑从 u u u 的子节点 v v v 进行朴素转移，此时 ( u , v ) (u,v) (u,v) 边权为 c c c：
- f u , 1 , k ← max ( f u , 1 , k , f v , 2 , k + 2 c ) f_{u,1,k} \leftarrow \max(f_{u,1,k},f_{v,2,k}+2c) fu,1,k←max(fu,1,k,fv,2,k+2c)。
- f u , 2 , k ← max ( f u , 2 , k , f u , 1 , k − j + f v , 1 , j + 2 c , f v , 2 , k + 2 c ) f_{u,2,k} \leftarrow \max(f_{u,2,k},f_{u,1,k-j}+f_{v,1,j}+2c,f_{v,2,k}+2c) fu,2,k←max(fu,2,k,fu,1,k−j+fv,1,j+2c,fv,2,k+2c)，即新子树可以选择 1 1 1 个或两个点执行转移。
- f u , 3 , k ← max ( f u , 1 , k − j + f v , 2 , j + 2 c , f u , 2 , k − j + f v , 1 , j + 2 c , f v , 3 , k ) f_{u,3,k} \leftarrow \max(f_{u,1,k-j}+f_{v,2,j}+2c,f_{u,2,k-j}+f_{v,1,j}+2c,f_{v,3,k}) fu,3,k←max(fu,1,k−j+fv,2,j+2c,fu,2,k−j+fv,1,j+2c,fv,3,k)，即还是枚举新子树加入点数目。
但是这样暴力转移的复杂度是 O ( n m 2 ) \mathcal O(nm^2) O(nm2)—— O ( n m ) \mathcal O(nm) O(nm) 个状态，每个状态需要 O ( m ) \mathcal O(m) O(m) 的转移时间。
考虑如何优化这一 dp。其实不难发现，当子树大小很小时， f u , 1 , k f_{u,1,k} fu,1,k 和 f u , 2 , k f_{u,2,k} fu,2,k 根本达不到 O ( m ) \mathcal O(m) O(m) 量级。可以考虑只从合法状态进行转移，这样就可以将状态数下降到 O ( min ( ∣ S u ∣ 2 , m ) ) \mathcal O(\min(|S_u|^2,m)) O(min(∣Su∣2,m))。考虑这样做的复杂度为什么正确，下面仅分析瓶颈部分转移也就是第三个转移式中分别从新旧子树中各取两个点和一个点的情况，以子树大小为 m \sqrt m m 为分界，子树大小大于这一阈值的认为是大点，反之为小点。并约定 u u u 仅考虑已经合并进入自身答案部分的子树大小而非整个树上 u u u 子树的大小：
- u , v u,v u,v 均为小点。则复杂度小于 m × m + m × m m\times \sqrt m+\sqrt m\times m m×m+m×m—— u u u 中选两个的状态数小于 m m m， v v v 中选一个的状态数小于 m \sqrt m m，反之同理。这种转移最多，但是单次执行复杂度小，因而这部分复杂度为 O ( n m 3 / 2 ) \mathcal O(nm^{3/2}) O(nm3/2)。
- u , v u,v u,v 均为大点。考虑使用原版暴力转移，单个点合并复杂度为 O ( m 2 ) \mathcal O(m^2) O(m2)，但是因为都是大点所以合并次数不超过 O ( n m ) \mathcal O\left(\dfrac{n}{\sqrt m}\right) O(mn)，因而这部分复杂度为 O ( n m 3 / 2 ) \mathcal O(nm^{3/2}) O(nm3/2)。
- u u u 为大点而 v v v 为小点（反过来同理）。这时 u u u 中选两个点 v v v 中选一个点的复杂度为 m × m m \times \sqrt m m×m，而反过来 u u u 选两个点 v v v 选一个点的复杂度为 m × m m\times m m×m。但是注意到 v v v 以小点身份加入 u u u 这一大点之后，以后关于 v v v 子树内部的转移就都是以大点身份进行的，因而每个节点以小点身份转移的时候，至多只会被一个大点吸收。而单次吸收的复杂度仅为 O ( m ) \mathcal O(m) O(m)（均摊到一个点上的贡献），因而这一部分的复杂度仅为 O ( n m ) \mathcal O(nm) O(nm)。所以这部分复杂度为 O ( n m 3 / 2 + n m ) \mathcal O(nm^{3/2}+nm) O(nm3/2+nm)。
因而可以仅从可行状态进行转移。复杂度 O ( n m 3 / 2 ) \mathcal O(nm^{3/2}) O(nm3/2)。代码中 dp 状态的第三个参数 0 − 2 0-2 0−2 对应上文中的 1 − 3 1-3 1−3。
#include G-Expected Distance
题意：平面上给出两条相互垂直的线段，问在这两条线上随机各取一个点的距离期望。点横纵坐标范围 [ − 1 0 3 , 1 0 3 ] [-10^3,10^3] [−103,103]。
解法：考虑把图通过旋转和对称操作使得两条线段都位于坐标轴上，则原式可写为：
1 ( b − a ) ( d − c ) ∫ a b ∫ c d x 2 + y 2 d x d y \dfrac{1}{(b-a)(d-c)}\int_a^b \int_{c}^d \sqrt{x^2+y^2}{\rm d}x{\rm d}y (b−a)(d−c)1∫ab∫cdx2+y2dxdy
首先考虑进行拆分： ∫ a b f ( x ) d x = ∫ a 0 f ( x ) d x + ∫ 0 b f ( x ) d x \displaystyle \int_a^b f(x){\rm d}x=\int_a^0 f(x){\rm d}x+\int_0^b f(x){\rm d}x ∫abf(x)dx=∫a0f(x)dx+∫0bf(x)dx，因而把原式化为四个形如下式的积分：
∫ 0 b ∫ 0 d x 2 + y 2 d x d y \int_0^b \int_0^d \sqrt{x^2+y^2}{\rm d}x{\rm d}y ∫0b∫0dx2+y2dxdy
对于此类根式积分，常见思路是三角换元或极坐标代换处理。
∫ 0 b ∫ 0 d x 2 + y 2 d x d y = ∫ 0 b ∫ 0 d b x x 2 + y 2 d x d y + ∫ 0 b ∫ d b x d x 2 + y 2 d x d y = ∫ 0 arctan d b d θ ∫ 0 b cos θ r 2 d r + ∫ arctan d b π 2 d θ ∫ 0 d sin θ r 2 d r = b 3 3 ∫ 0 arctan d b 1 cos 3 θ d θ + d 3 3 ∫ arctan d b π 2 1 sin 3 θ d θ = b 3 3 ∫ 0 arctan d b 1 cos 4 θ d sin θ + d 3 3 ∫ 0 arctan b d 1 cos 4 θ d sin θ \begin{aligned} &\int_0^b \int_0^d \sqrt{x^2+y^2}{\rm d}x{\rm d}y\\ =&\int_0^b \int_0^{\frac{d}{b}x}\sqrt{x^2+y^2}{\rm d}x{\rm d}y+\int_0^b \int_{\frac{d}{b}x}^d\sqrt{x^2+y^2}{\rm d}x{\rm d}y\\ =&\int_{0}^{\arctan \frac{d}{b}}{\rm d}\theta\int_{0}^{\frac{b}{\cos \theta}}r^2{\rm d}r+ \int_{\arctan \frac{d}{b}}^{\frac{\pi}{2}}{\rm d}\theta\int_{0}^{\frac{d}{\sin \theta}}r^2{\rm d}r\\ =&\dfrac{b^3}{3}\int_{0}^{\arctan \frac{d}{b}}\dfrac{1}{\cos ^3\theta}{\rm d}\theta +\dfrac{d^3}{3}\int_{\arctan \frac{d}{b}}^{\frac{\pi}{2}}\dfrac{1}{\sin^3\theta}{\rm d}\theta\\ =&\dfrac{b^3}{3}\int_{0}^{\arctan \frac{d}{b}}\dfrac{1}{\cos ^4\theta}{\rm d}\sin \theta +\dfrac{d^3}{3}\int_{0}^{\arctan \frac{b}{d}}\dfrac{1}{\cos ^4\theta}{\rm d}\sin \theta\\ \end{aligned} ====∫0b∫0dx2+y2dxdy∫0b∫0bdxx2+y2dxdy+∫0b∫bdxdx2+y2dxdy∫0arctanbddθ∫0cosθbr2dr+∫arctanbd2πdθ∫0sinθdr2dr3b3∫0arctanbdcos3θ1dθ+3d3∫arctanbd2πsin3θ1dθ3b3∫0arctanbdcos4θ1dsinθ+3d3∫0arctandbcos4θ1dsinθ
考虑 ∫ 1 cos 4 x d sin x \displaystyle \int \dfrac{1}{\cos ^4x}{\rm d}\sin x ∫cos4x1dsinx：
∫ 1 cos 4 x d sin x = ∫ 1 ( 1 − u 2 ) 2 d u = ∫ 1 4 ( u + 1 ) + 1 4 ( u + 1 ) 2 − 1 4 ( u − 1 ) + 1 4 ( u − 1 ) 2 d u = 1 4 ln ( sin x + 1 ) − 1 4 ( sin x + 1 ) − 1 4 ln ( sin x − 1 ) − 1 4 ( sin x − 1 ) d u \begin{aligned} &\int \dfrac{1}{\cos ^4x}{\rm d}\sin x\\ =&\int \dfrac{1}{(1-u^2)^2}{\rm d}u\\ =&\int \dfrac{1}{4(u+1)}+\dfrac{1}{4(u+1)^2}-\dfrac{1}{4(u-1)}+\dfrac{1}{4(u-1)^2}{\rm d}u\\ =&\dfrac{1}{4}\ln(\sin x+1)-\dfrac{1}{4(\sin x+1)}-\dfrac{1}{4}\ln(\sin x-1)-\dfrac{1}{4(\sin x-1)}{\rm d}u\\ \end{aligned} ===∫cos4x1dsinx∫(1−u2)21du∫4(u+1)1+4(u+1)21−4(u−1)1+4(u−1)21du41ln(sinx+1)−4(sinx+1)1−41ln(sinx−1)−4(sinx−1)1du
带入上式即可。或者利用积分公式：
∫ d x cos n x = 1 n − 1 sin x cos n − 1 x + n − 2 n − 1 ∫ d x cos n − 2 x ∫ 1 cos x d x = ln ∣ sec x + tan x ∣ + C \begin{aligned} \int \dfrac{{\rm d}x}{\cos^n x}&=\dfrac{1}{n-1}\dfrac{\sin x}{\cos^{n-1}x}+\dfrac{n-2}{n-1}\int \dfrac{{\rm d}x}{\cos^{n-2}x}\\ \int\dfrac{1}{\cos x}{\rm d}x&=\ln|\sec x+\tan x|+C \end{aligned} ∫cosnxdx∫cosx1dx=n−11cosn−1xsinx+n−1n−2∫cosn−2xdx=ln∣secx+tanx∣+C
H Insert 1, Insert 2, Insert 3, …
题意：给定长度为 n n n 的序列 { a } i = 1 n \{a\}_{i=1}^n {a}i=1n，问有多少个连续子区间 [ l , r ] [l,r] [l,r] 满足这个子区间可以通过若干次依次按顺序插入 1 , 2 , 3 ⋯ , k 1,2,3\cdots,k 1,2,3⋯,k 的子序列构成。 1 ≤ n ≤ 1 0 6 1 \le n \le 10^6 1≤n≤106， 1 ≤ a i ≤ n 1\le a_i \le n 1≤ai≤n。
解法：显然，每个合法的区间一定是以 1 1 1 开头。考虑维护每个右端点 r r r 有多少个合法的左端点（即数字 1 1 1）能和他组成一个合法的区间。对于非 1 1 1 的数字 x x x，首先就近寻找最近的 x − 1 x-1 x−1 在哪里，藉此维护出为了填出当前的数字 x x x，最近（最靠右）的 1 1 1 在哪里。
这时在这个 1 1 1 右侧的，且不超过当前右端点的全部的 1 1 1 一定就不合法了，且随着枚举的右端点不断右移，这些被标记为不合法的 1 1 1 也永远不可能变成合法的。因而找到这个最近的 1 1 1 之后统计它左侧有多少合法的 1 1 1 即可。总时间复杂度 O ( n ) \mathcal O(n) O(n)。
#include I Make It Square
题意：给定串 S S S 和 T T T，问有多少种长度均为 i i i 的串 P , Q P,Q P,Q，使得 c o n c a t ( P , S , Q , T ) {\rm concat}(P,S,Q,T) concat(P,S,Q,T) 为一个 AA 型的串，其中 A 为一任意非空字符串。可用字符集为小写字母。对 i ∈ [ 1 , m ] i \in [1,m] i∈[1,m] 求出答案。 1 ≤ m ≤ 1 0 6 1 \le m \le 10^6 1≤m≤106， 1 ≤ ∣ S ∣ , ∣ T ∣ ≤ 1 0 6 1 \le |S|,|T| \le 10^6 1≤∣S∣,∣T∣≤106。
解法：如果 ∣ S ∣ = ∣ T ∣ |S|=|T| ∣S∣=∣T∣，则 P P P 一定和 Q Q Q 匹配。只需要观察是否 S = T S=T S=T 即可判断是否有解，有解就是 2 6 k 26^k 26k 种。下记枚举的 P , Q P,Q P,Q 长度为 i i i。显然，如果 ∣ S ∣ + ∣ T ∣ |S|+|T| ∣S∣+∣T∣ 为奇数直接无解。下面 n + m n+m n+m 均为偶数。
如果 ∣ S ∣ > ∣ T ∣ |S|>|T| ∣S∣>∣T∣：
- 当 i ≤ n − m 2 i \le \dfrac{n-m}{2} i≤2n−m 时，会发现 T T T 在 S S S 中匹配的位置是固定的：截取 S S S 后面 n − m 2 \dfrac{n-m}{2} 2n−m 个字符，然后 S ′ S' S′ 和 T T T 后缀匹配。然后这时由图上所示， S S S 有一部分串需要自己的 border 进行匹配。因而使用 KMP 求出 S S S 所有的 border 即可。如果发现 border 长度满足条件，且能够匹配，则存在唯一一组解；否则无解。
- 当 i > n − m 2 i>\dfrac{n-m}{2} i>2n−m 时， T T T 在 S S S 中匹配位置仍然是固定的，但是这时是 P P P 和 Q Q Q 串重叠，这时可选自由长度为 n − m 2 − i \dfrac{n-m}{2}-i 2n−m−i。如果 S S S 和 T T T 能够匹配，则答案为 2 6 n − m 2 − i 26^{\frac{n-m}{2}-i} 262n−m−i。
如果 ∣ S ∣ < ∣ T ∣ |S|<|T| ∣S∣<∣T∣，
- 当 i ≤ m − n 2 i \le \dfrac{m-n}{2} i≤2m−n 时，情况同上：需要查看 S S S 是不是能在 T T T 固定位置匹配，以及 T T T 是否存在长度为 m − n 2 − i \dfrac{m-n}{2}-i 2m−n−i 的 border。同样使用 KMP 求解。
- 当 i > m − n 2 i>\dfrac{m-n}{2} i>2m−n 时， S S S 匹配段还是 T T T 去掉 m − n 2 \dfrac{m-n}{2} 2m−n 个字符的后缀处，自选段为 P P P 和 Q Q Q 重叠的 m − n 2 − i \dfrac{m-n}{2}-i 2m−n−i 的长度。
因而就这两种情况展开分类讨论即可。
#include J Permutation and Primes
题意：构造一个长度为 n n n 的排列，使得任意两个相邻数字的和或差的绝对值为一奇质数。多测， 1 ≤ T ≤ 1 0 5 1 \le T \le 10^5 1≤T≤105， 1 ≤ n ≤ 1 0 5 1 \le n \le 10^5 1≤n≤105。
解法：对于此类相邻差和和为质数的题，通常来说会联想到构造同余序列 1 , 1 + p , 1 + 2 p , ⋯ , 1 + k p , 2 , 2 + p , ⋯ , 2 + k p , ⋯ , p , p + p , ⋯ , p + k p 1,1+p,1+2p,\cdots,1+kp,2,2+p,\cdots,2+kp,\cdots,p,p+p,\cdots,p+kp 1,1+p,1+2p,⋯,1+kp,2,2+p,⋯,2+kp,⋯,p,p+p,⋯,p+kp。类似题有 2023 年 CCPC 河南省赛 K 题。
所以首先可以考虑模 3 3 3 构造 1 , 4 , 7 , ⋯ , 2 , 5 , 8 , ⋯ , 3 , 6 , 9 , ⋯ 1,4,7,\cdots,2,5,8,\cdots,3,6,9,\cdots 1,4,7,⋯,2,5,8,⋯,3,6,9,⋯。但是这样会导致衔接处不一定合法——如 89 89 89 下三个序列的 1 , 88 , 2 , 89 , 3 , 87 1,88,2,89,3,87 1,88,2,89,3,87 就无法完美衔接成一个序列。因而可以考虑模 5 5 5，试验后发现模 5 5 5 的端点都可以拼接起来了。
#include 另一个构造是 8 8 8 个一组：
#includeK Scheming Furry
题意：给定一 n × m n\times m n×m 的数组 { a } \{a\} {a}， [ 1 , n m ] [1,nm] [1,nm] 各出现一次。两个人先后手对数组操作，先手一次必须交换两行，后手一次必须交换两列，谁先把数组变得有序（即按行优先顺序放置数字的顺序）谁获胜。保证初始局面无序，问谁获胜。多测， 1 ≤ T ≤ 100 1\le T \le 100 1≤T≤100， 1 ≤ n , m ≤ 2 × 100 1 \le n,m \le 2\times 100 1≤n,m≤2×100。
解法：首先判断当前局面是否可以通过若干次行列交换变成有序——第 i i i 行最大值小于第 i + 1 i+1 i+1 行最小值对于任意 i ∈ [ 1 , n − 1 ] i \in [1,n-1] i∈[1,n−1] 成立。如果不能，直接平局。
如果先手一步操作就可以成功排序，则先手必胜。
如果 n ≥ 3 n \ge 3 n≥3 且 m ≥ 3 m \ge 3 m≥3，这时先后手都会达成一致：每次故意换错误的一对行或列，使得对手永远无法凭借自己的努力达成排序。因而这种情况必然平局。
考虑 n = 2 n=2 n=2 且 m ≥ 3 m \ge 3 m≥3 的情况。这时先手必然只能交换这两行，这时如果后手通过列交换使得列有序所需的操作步数和先手对行做操作，使得行从最初状态变成行有序的操作步数奇偶性相同，则后手必胜，反之平局。后手执行列交换使得有序的步数必然和列置换（列大小排名视为一个置换）上各个置换子环大小减 1 1 1 之和奇偶性相同。因为一次有效的交换必然会使得置换环大小缩小 1 1 1，而无效交换必然会让置换环大小增大 1 1 1。
n ≥ 3 n \ge 3 n≥3 且 m = 2 m=2 m=2 同理，先手对行的操作次数奇偶性和列所需操作次数奇偶性相反则先手必胜，反之平局。
当 n = 2 n=2 n=2 且 m = 2 m=2 m=2 的情况，由于不存在初始局面就是排好序的情况，因而当行需交换一次，列需交换一次时后手必胜，而行不需要交换，列需要交换一次时平局。行需交换一次，列不需要交换则先手必胜（第二类情况）。
#include