loj#P3931. 「WC2023 / CTS2023」楼梯
「WC2023 / CTS2023」楼梯
题目背景
长颈鹿累了,他开始做梦。
在梦中他下坠。他穿过草地,穿过打着转的羊群。他穿过星海,穿过漫天的火羽。
终于,他站在了一块屏幕前。屏幕上展示着某种类似楼梯的图样。
题目描述
我们首先给出一些关于楼梯的形式定义。
我们称一对正整数组成的二元组 为 格子,称格子构成的集合 (可以为空)为 楼梯 当且仅当其满足下面两个条件:
- 若 且 ,则 。
- 若 且 ,则 。
对于一个楼梯 和 ,我们定义 为 生成格 生成的 子楼梯 为
$$\{(a-x+1, b-y+1) \mid (a,b) \in L, a \ge x, b \ge y\} $$容易证明这一集合仍然是一个楼梯。对于一个楼梯 ,我们定义 边界格数 为满足 或 的 的数量。
为了方便理解,我们接下来给出直观解释。我们在平面上可以将所有格子按从左到右 坐标递增、从上到下 坐标递增的顺序排列成网格,因此我们也称 为第 行第 列的格子。
在这一解释下,若一个格子属于某个楼梯,且它上方和左方不是边界,则对应格子也属于这个楼梯。子楼梯就是生成格右下方区域格子所构成的非空楼梯,一个楼梯的边界格数是上边界或左边界上的总格数。
如下图,$(1,1),(1,2),(1,3),(1,4),(2,1),(2,2),(2,3),(2,4),(3,1),(3,2),(3,3),(4,1),(5,1)$ 组成了一个合法的楼梯。这一楼梯的边界格数为 ,其中以 作为生成格生成的子楼梯的边界格数为 。
长颈鹿看到屏幕上的楼梯后很好奇。他首先计算出了这一楼梯的边界格数 ,并给定了 的某一 正整数因子 。他想要知道,给定的楼梯是否有子楼梯满足边界格数等于 。如果是,他希望你给出 任一 这样的子楼梯的生成格。
梦境时常变化,因此长颈鹿可能会有许多次这样的询问,楼梯也可能会发生变化。初始楼梯 为空,对于 记 为最大的满足 的正整数,若不存在则令其为 ,则有若干次三种之一的修改:
- 给定正整数 和 ,在前 行的末尾插入 格。形式化地,对于 ,将 加入 。
- 给定正整数 和 ,在第 行后(包含第 行)的所有行行末尾删去 格,若不足则删空。形式化地,对于 ,将 从 中移除(不存在的则忽略)。
- 给定正整数 ,撤销之前的 次操作,即将楼梯还原为 次操作前的状态,保证这 次操作均为询问或在行末尾插入。具体地,假设该操作为第 次操作,我们一定有 ,且第 次操作均为询问或在行末尾插入(即上述的第一种修改)。你只需要将楼梯还原为第 次操作前的状态即可(当然,你应该保留询问的输出)。
可以证明每次修改之后得到的集合仍然是一个楼梯。
输入格式
从文件 stairs.in
中读入数据。
输入数据第一行包含一个正整数 ,表示操作总数。
接下来 行每行描述四种之一的操作,详细含义可参见题目描述一节。描述为由空格分隔的一个字符和一到两个正整数,具体地:
+ a b
:在前 行的末尾插入 格。- a b
:在第 行后(包括第 行)的所有行行末尾删去 格,若不足则删空。R u
:撤销之前的 次操作,即将楼梯还原为 次操作前的状态。保证这 次操作存在且均为询问或在行末尾插入,即该行之前的 行均以+
或?
开头。? q
:询问是否有边界格数等于 的子楼梯,若有则给出任意合法生成格。保证 是当前楼梯边界格数的因子。
输出格式
输出到文件 stairs.out
中。
对于每个询问(?
操作)输出一行。
如果存在边界格数等于 的子楼梯,输出一行两个用空格分隔的正整数 x y
,表示一个合法生成格是 。否则输出一行两个用空格分隔的 。
18
+ 5 1
+ 2 1
? 3
+ 3 2
? 4
? 4
+ 4 1
? 3
R 3
- 2 2
? 3
- 1 1
? 2
? 4
- 1 2
? 1
- 9 9
? 1
3 1
1 3
2 2
2 4
2 1
1 2
1 1
1 1
1 1
样例 2
见附件中的 stairs2.in
与 stairs2.ans
。
样例 3
见附件中的 stairs3.in
与 stairs3.ans
。
样例 4
见附件中的 stairs4.in
与 stairs4.ans
。
样例 5
见附件中的 stairs5.in
与 stairs5.ans
。
样例 6
见附件中的 stairs6.in
与 stairs6.ans
。
数据范围与提示
对于所有测试数据,。
- 对于
+
和-
操作,。 - 对于
R
操作,保证之前紧邻的 次操作存在且均为询问或在行末尾插入。 - 对于
?
操作, 且保证为当前楼梯边界格数的因子。
记 为所有 +
和 -
操作中 的最大值, 为所有 +
和 -
操作中 的最大值。
测试点 | 特殊性质 | |||
---|---|---|---|---|
无 | ||||
AB | ||||
A | ||||
无 | ||||
B | ||||
AB | ||||
无 | ||||
A | ||||
无 | ||||
B | ||||
无 | ||||
AB | ||||
无 | ||||
B | ||||
无 | ||||
其中附加限制中的特殊性质如下所示:
- 特殊性质 :
?
操作在所有+
和-
操作之后。没有R
操作。 - 特殊性质 :没有
-
操作。
请注意选用合适的数据类型存储各结果。