[CSP-S 2022] 策略游戏 题解

题面

题目描述

小 L 和小 Q 在玩一个策略游戏。

有一个长度为 $n$ 的数组 $A$ 和一个长度为 $m$ 的数组 $B$，在此基础上定义一个大小为 $n\times m$ 的矩阵 $C$，满足 $C_{ij}=A_i\times B_j$。所有下标均从 $1$ 开始。

游戏一共会进行 $q$ 轮，在每一轮游戏中，会事先给出 $4$ 个参数 $l_1,r_1,l_2,r_2$，满足 $1\le l_1\le r_1\le n$、$1\le l_2\le r_2\le m$。

游戏中，小 L 先选择一个 $l_1\sim r_1$ 之间的下标 $x$，然后小 Q 选择一个 $l_2\sim r_2$ 之间的下标 $y$。定义这一轮游戏中二人的得分是 $C_{xy}$。

小 L 的目标是使得这个得分尽可能大，小 Q 的目标是使得这个得分尽可能小。同时两人都是足够聪明的玩家，每次都会采用最优的策略。

请问：按照二人的最优策略，每轮游戏的得分分别是多少？

输入格式

第一行输入三个正整数 $n,m,q$，分别表示数组 $A$，数组 $B$ 的长度和游戏轮数。

第二行：$n$ 个整数，表示 $A_i$，分别表示数组 $A$ 的元素。

第三行：$m$ 个整数，表示 $B_i$，分别表示数组 $B$ 的元素。

接下来 $q$ 行，每行四个正整数，表示这一次游戏的 $l_1,r_1,l_2,r_2$。

输出格式

输出共 $q$ 行，每行一个整数，分别表示每一轮游戏中，小 L 和小 Q 在最优策略下的得分。

样例 #1

样例输入 #1

3 2 2
0 1 -2
-3 4
1 3 1 2
2 3 2 2

样例输出 #1

0
4

样例 #2

样例输入 #2

6 4 5
3 -1 -2 1 2 0
1 2 -1 -3
1 6 1 4
1 5 1 4
1 4 1 2
2 6 3 4
2 5 2 3

样例输出 #2

0
-2
3
2
-1

提示

【样例解释 #1】

这组数据中，矩阵 $C$ 如下：

$$\left[\begin{array}{cc}0& 0\\ -3& 4\\ 6& -8\end{array}\right]$$

在第一轮游戏中，无论小 L 选取的是 $x=2$ 还是 $x=3$，小 Q 都有办法选择某个 $y$ 使得最终的得分为负数。因此小 L 选择 $x=1$ 是最优的，因为这样得分一定为 $0$。

而在第二轮游戏中，由于小 L 可以选 $x=2$，小 Q 只能选 $y=2$，如此得分为 $4$。

【数据范围】

对于所有数据，$1\le n,m,q\le {10}^5$，$-{10}^9\le A_i,B_i\le {10}^9$。对于每轮游戏而言，$1\le l_1\le r_1\le n$，$1\le l_2\le r_2\le m$。

测试点编号	$n,m,q\le$	特殊条件
$1$	$200$	1, 2
$2$	$200$	1
$3$	$200$	2
$4\sim 5$	$200$	无
$6$	$1000$	1, 2
$7\sim 8$	$1000$	1
$9\sim 10$	$1000$	2
$11\sim 12$	$1000$	无
$13$	${10}^5$	1, 2
$14\sim 15$	${10}^5$	1
$16\sim 17$	${10}^5$	2
$18\sim 20$	${10}^5$	无

其中，特殊性质 1 为：保证 $A_i,B_i>0$。
特殊性质 2 为：保证对于每轮游戏而言，要么 $l_1=r_1$，要么 $l_2=r_2$。

解析

小 Q 的选择

我们先不管小 L ，当小 L 给出了一个 $x$ 后，小 Q 一定会选一个 y，使得 $A_x\times B_y$ 最小。

而当 $A_x$ 确定的话，小 Q 的选择只有三种情况：

1. $A_x>0$，选择 $$\underset{y=l_2}{\overset{r_2}{\min }}{B}_y$$
2. $A_x<0$，选择 $$\underset{y=l_2}{\overset{r_2}{\max }}{B}_y$$
3. $A_x=0$，无论如何选择都是 0。

对于小 Q 而言，他每次只要选择
$$\min (A_x\times \underset{y=l_2}{\overset{r_2}{\min }}{B}_y,A_x\times \underset{y=l_2}{\overset{r_2}{\max }}{B}_y)$$
这样我们就可以用 ST 表维护 $l_2$ ~ $r_2$ 的最大和最小值，

并成功将小 L 和小 Q 的选择分离开来，使小 L 的选择无法影响到小 Q。

小 L 的选择

然后看小 L，小 L 每次需选择$$\underset{x=l_1}{\overset{r_1}{\max }}(\underset{y=l_2}{\overset{r_2}{\min }}(C_{x,y}))$$

如下图:

令红轴( x 轴)为 A，绿轴( y 轴)为 B。
则 $C_{x,y}$ 为点 $(x,y)$ 在平面投影对应的 z 轴坐标。
由图可知，当 $|x|$ 越小时 $$\underset{y=l_2}{\overset{r_2}{\min }}{C}_{x,y}$$
就越大。
但这还不够，
当 $\forall y,B_y\le 0$ 时易知 $A_x$ 取得越小，$C_{x,y}$ 越大；
当 $\forall y,0\le B_y$ 时易知 $A_x$ 取得越大，$C_{x,y}$ 越大。

所以对于小 L ，我们需要维护4个值。
最大值和最小值同样可以用 ST 表维护，
但 $$\underset{x=l_1}{\overset{r_1}{\min }}|A_x|(0\le A_x)$$ 和 $$\underset{x=l_1}{\overset{r_1}{\min }}|A_x|(A_x\le 0)$$ 的维护需要考虑是否能用区间合并。
这里证明显然。

总结

用 6 个 ST 表维护：
$$a_1=\underset{x=l_1}{\overset{r_1}{\min }}{A}_x$$
$$a_2=\underset{x=l_1}{\overset{r_1}{\max }}{A}_x$$
$$a_3=\underset{x=l_1}{\overset{r_1}{\min }}|A_x|(0\le A_x)$$
$$a_4=\underset{x=l_1}{\overset{r_1}{\min }}|A_x|(A_x\le 0)$$
$$b_1=\underset{y=l_2}{\overset{r_2}{\min }}{B}_y$$
$$b_2=\underset{y=l_2}{\overset{r_2}{\max }}{B}_y$$
答案为

max ⁡ i = 1 4 { min ⁡ j = 1 2 ( a i × b j ) } \max_{i=1}^{4}\{\min_{j=1}^{2}(a_i\times b_j)\} i=1max4​{j=1min2​(ai​×bj​)}

代码

赛时代码，极丑

#include<bits/stdc++.h>
using namespace std;
const long long Inf=2000000000;
const int Maxn=100039;
int n,m,q;long long ans;
int L1,R1,L2,R2,k,ks,k2,ks2;
int log2s[Maxn]={0,0,1,1,2}; 
long long A[Maxn],B[Maxn];long long As[5],Bs[3];
long long a[5][Maxn][18],b[3][Maxn][18];
long long Abs(long long a){return a<0?-a:a;}
long long min(long long a,long long b){return a>b?b:a;}
long long max(long long a,long long b){return a>b?a:b;}
long long maxQ(long long a,long long b){
	if(a>=0&&b>=0)
	return a<b?a:b;
	if(a>=0)return a;
	if(b>=0)return b;
	return -Inf;
}
long long minQ(long long a,long long b){
	if(a<=0&&b<=0)
	return a>b?a:b;
	if(b<=0)return b;
	if(a<=0)return a;
	return -Inf;
}
int main(){
 	freopen("game.in","r",stdin);
 	freopen("game.out","w",stdout);
	scanf("%d%d%d",&n,&m,&q);
	register int i,j;
	for(i=4;i<=100000;i++)log2s[i]=log2s[i/2]+1;
	for(i=1;i<=n;i++)scanf("%lld",&A[i]),a[1][i][0]=a[2][i][0]=a[3][i][0]=a[4][i][0]=A[i];
	for(i=1;i<=m;i++)scanf("%lld",&B[i]),b[1][i][0]=b[2][i][0]=B[i];
	for(j=1;(1<<j)<=m;j++){
		for(i=1;i+(1<<j)-1<=m;i++){
			b[1][i][j]=max(b[1][i][j-1],b[1][i+(1<<(j-1))][j-1]);
			b[2][i][j]=min(b[2][i][j-1],b[2][i+(1<<(j-1))][j-1]);
		}
	}for(j=1;(1<<j)<=n;j++){
		for(i=1;i+(1<<j)-1<=n;i++){
			a[1][i][j]=max(a[1][i][j-1],a[1][i+(1<<(j-1))][j-1]);
			a[2][i][j]=min(a[2][i][j-1],a[2][i+(1<<(j-1))][j-1]);
			a[3][i][j]=maxQ(a[3][i][j-1],a[3][i+(1<<(j-1))][j-1]);
			a[4][i][j]=minQ(a[4][i][j-1],a[4][i+(1<<(j-1))][j-1]);
		}
	}
	while(q--){
		scanf("%d%d%d%d",&L1,&R1,&L2,&R2);
		k=log2s[R2-L2+1],k2=log2s[R1-L1+1];
		ks=(1<<k),ks2=(1<<k2);
		Bs[1]=max(b[1][L2][k],b[1][R2-ks+1][k]);
		Bs[2]=min(b[2][L2][k],b[2][R2-ks+1][k]);
		As[1]=max(a[1][L1][k2],a[1][R1-ks2+1][k2]);
		As[2]=min(a[2][L1][k2],a[2][R1-ks2+1][k2]);
		As[3]=maxQ(a[3][L1][k2],a[3][R1-ks2+1][k2]);
		As[4]=minQ(a[4][L1][k2],a[4][R1-ks2+1][k2]);
		ans=max(min(As[1]*Bs[1],As[1]*Bs[2]),min(As[2]*Bs[1],As[2]*Bs[2]));
		if(As[3]!=-Inf)ans=max(ans,min(As[3]*Bs[1],As[3]*Bs[2]));
		if(As[4]!=-Inf)ans=max(ans,min(As[4]*Bs[1],As[4]*Bs[2]));
		printf("%lld\n",ans);
	}
	return 0;
}