#P16062. [CSPro 24] 磁盘文件操作

[CSPro 24] 磁盘文件操作

题目背景

洛谷的测试数据仅供民间交流使用,非官方测试数据。官方评测链接:https://www.cspro.org/

题目描述

小 C 对计算机运行的原理很感兴趣,经常进行一些研究和实验。

有一天,他在尝试删除一个好几 GB 大小的文件时,惊奇地发现删除操作几乎在一瞬间就完成了!这让他很是纳闷:如果计算机在每次删除文件时都直接在磁盘上把对应的数据抹掉,不是应该要花挺长时间吗?

于是他找来了小 S 和小 P 一起讨论。小 S 说,或许计算机是一个很“懒”的体系,在删除时不会真的去抹除数据吧?而小 P 则更见多识广一些,他当即找来了一个号称能“恢复磁盘数据”的软件,当场把小 C 刚刚删除的文件恢复了!

这让小 C 有了更强的好奇心,于是他们决定设计一个模型来模拟一个磁盘文件的写入、删除及恢复过程。但是在他们生活的西西艾弗岛上没有合适的条件来运行他们的模型,于是他们联系了带着一台算力超强的电脑来西西艾弗岛旅游的你来帮助他们。

在小 C、小 S 和小 P 设计的模型中,计算机中有 nn 段程序(编号为 1n1 \sim n),它们共享一块大小为 mm 的磁盘空间(编号为 1m1 \sim m),磁盘上的每个位置可以写入一个整数。

最初,磁盘上每个位置上的数都是 00,并不被任何程序占用。

现在,这 nn 段程序同时执行,在某一时刻,某段程序可能对磁盘数据进行读写等操作。

操作共 kk 个,按时间先后顺序给出,具体操作如下:

0 id l r x0\ id\ l\ r\ x:编号为 idid 的程序尝试向磁盘空间中 [l,r][l, r] 位置上每个位置都写入一个整数 xx

  • 操作执行过程中,程序 idid 会尝试从最左端 ll 开始向右顺次写入数据。
  • 对于每个位置,若目前不被任何程序占用,则成功写入整数 xx,并将其视为被程序 idid 占用;
  • 若该位置目前正被程序 idid 自己占用,则这次写入的 xx 可以覆盖之前写入的结果,此后该位置仍被程序 idid 占用;
  • 直到成功向 rr 位置写入数据,或遇到第一个正在被其他程序占用的位置为止,此时该操作立刻中断。

1 id l r1\ id\ l\ r:程序 idid 尝试删除磁盘中 [l,r][l, r] 位置上的所有数据。

  • 这一操作当且仅当 [l,r][l, r] 区间内所有位置都正在被程序 idid 占用时才能成功执行。
  • 执行效果为将其中所有位置都解除占用,即恢复到可以被任意程序写入的状态。但为了便于恢复数据,不会立即将全部位置重新覆盖成 00
  • 否则,认为此操作执行失败,不进行任何修改。

2 id l r2\ id\ l\ r:程序 idid 尝试恢复磁盘中 [l,r][l, r] 位置上的所有数据。

  • 这一操作当且仅当 [l,r][l, r] 区间内所有位置都未被占用,且 上一次被占用是被程序 idid 占用 时才能成功执行。
  • 执行效果为将其中所有位置恢复为 被程序 idid 占用 的状态,同时由于之前删除操作并未改变其存储的值,因此本次操作也不需要改变每个位置上的值。
  • 否则,认为此操作执行失败,不进行任何修改。

3 p3\ p:尝试读取磁盘中 pp 位置的数据,返回结果为两个整数。

  • 如果该位置当前正被程序 idid 占用且存储的值为 pp,返回结果为 id pid\ p
  • 如果该位置当前没有被任何程序占用,返回 0 00\ 0

你需要实现一个程序,帮助小 C、小 S 和小 P 来模拟实现上述过程,并对于每个操作输出操作结果。

输入格式

从标准输入读入数据。

第一行:33 个正整数 n,m,kn, m, k

接下来 kk 行,每行若干个整数描述一个操作,格式如上所述。

输出格式

输出到标准输出。

输出共 kk 行,对于每个操作输出一行。

  • 对于每个写入操作,输出一个整数表示此次操作写入成功的最右位置;特别地如果该操作一个位置也没有写入成功,输出 1-1
  • 对于每个删除、恢复操作,若该操作成功,输出一个字符串 OK,否则输出一个字符串 FAIL
  • 对于每个读取操作,输出两个整数表示此次查询的结果。
3 15 12
0 1 1 5 -1
0 2 10 13 2
0 1 4 14 6
1 1 2 8
3 1
3 3
3 14
2 1 3 5
0 3 7 8 -4
2 1 6 8
1 3 6 7
0 2 5 7 3
5
13
9
OK
1 -1
0 0
0 0
OK
8
FAIL
FAIL
-1

提示

样例 2

见题目录下的 2.in2.ans

样例 3

见题目录下的 3.in3.ans

子任务

  • 对于 25%25\% 的数据,n,k2000n, k \leq 2000, m10000m \leq 10000
  • 对于另外 15%15\% 的数据,没有删除、恢复操作;
  • 对于另外 20%20\% 的数据,没有恢复操作;
  • 对于另外 15%15\% 的数据,n=1n = 1
  • 对于 100%100\% 的数据,1n,k2×1051 \leq n, k \leq 2 \times 10^5, 1m1091 \leq m \leq 10^9, 1idn1 \leq id \leq n, 1lrm1 \leq l \leq r \leq m, 1pm1 \leq p \leq m, x109|x| \leq 10^9