题库/S0137

#S0137. 【23NOIP提高组】双序列拓展

    传统题 难度: 提高+ 标签>一本通受限构造模型必要条件循环不变量证明
时间限制1000 ms
内存限制512 MiB
通过率—0 / 0 次提交
题目描述 查看题解 开始编程Alt+E

S0137 · 【23NOIP提高组】双序列拓展

退出在线编程模式
提高+ 读懂题意,让每一次思考成为成长。
时间限制1000 ms
内存限制512 MiB
通过率—0 / 0 次提交

题目描述

称某个序列 B={b1,b2,⋅⋅⋅,bn}B = \{b_1, b_2, · · · , b_n\} 是另一个序列A={a1,a2,⋅⋅⋅,am} A =\{a_1, a_2, · · · , a_m\} 的拓 展当且 仅当存在正整数序列 L={l1,l2,⋅⋅⋅,lm}L = \{l_1, l_2, · · · , l_m\},将 aia_i 替换为 lil_i 个 aia_i 后得到序列 BB。例如, • {1,3,3,3,2,2,2}\{1, 3, 3, 3, 2, 2, 2\} 是 {1,3,3,2}\{1, 3, 3, 2\} 的拓展,取 L={1,1,2,3}L = \{1, 1, 2, 3\} 或 {1,2,1,3}\{1, 2, 1, 3\}; • 而 {1,3,3,2}\{1, 3, 3, 2\} 不是 {1,3,3,3,2}\{1, 3, 3, 3, 2\} 的拓展,{1,2,3}\{1, 2, 3\} 不是 {1,3,2}\{1, 3, 2\} 的拓展。 小 R 给了你两个序列 XX 和 YY ,他希望你找到 XX 的一个长度为 l0=10100l_0 = 10^{100} 的拓展 F={fi}F = \{f_i\} 以及 YY 的一个长度为 l0l_0 的拓展 G={gi}G = \{g_i\},使得任意 1≤i,j≤l01 ≤ i, j ≤ l_0 都有(fi−gi)(fj−gj)>0(f_i −g_i)(f_j −g_j ) > 0。由于序列太长,你只需要告诉小 R 是否存在这样的两个序列即可。 为了避免你扔硬币蒙混过关,小 R 还给了 qq 次额外询问,每次额外询问中小 R 会修改 XX 和 YY 中若干元素的值。你需要对每次得到的新的 XX 和 YY 都进行上述的判断。 询问之间是独立的,每次询问中涉及的修改均在原始序列上完成。

输入

输入的第一行包含四个整数 c,n,m,qc, n, m, q,分别表示测试点编号、序列 XX 的长度、序列Y 的长度和额外询问的个数。对于样例,c 表示该样例与测试点 c 拥有相同的限制条件。 输入的第二行包含 nn 个整数 x1,x2,⋅⋅⋅,xnx_1, x_2, · · · , x_n,描述序列 XX。 输入的第三行包含 mm 个整数 y1,y2,⋅⋅⋅,ymy_1, y_2, · · · , y_m,描述序列 YY 。 接下来依次描述 qq 组额外询问。对于每组额外询问: • 输入的第一行包含两个整数 kxk_x 和 kyk_y,分别表示对序列 XX 和 YY 产生的修改个数。 • 接下来 kxk_x 行每行包含两个整数 pxp_x, vxv_x,表示将 xpxx_{p_x} 修改为 vxv_x。 • 接下来 kyk_y 行每行包含两个整数 pyp_y, vyv_y,表示将 ypyy_{p_y} 修改为 vyv_y。

输出

输出一行,其中包含一个长度为 (q+1q + 1) 的 0101 序列,序列的第一个元素表示初始询问的答案,之后 qq 个元素依次表示每组额外询问的答案。对于每个询问,如果存在满足题目条件的序列 FF 和 GG,输出 11,否则输出 00。

输入样例

3 3 3 3
8 6 9
1 7 4
1 0
3 0
0 2
1 8
3 5
1 1
2 8
1 7

输出样例

1001

提示

【样例 1 解释】 由于 FF 和 GG 太长,用省略号表示重复最后一个元素直到序列长度为 l0l_0。如 {1,2,3,3,⋅⋅⋅}\{1, 2, 3, 3, · · · \}表示序列从第三个元素之后都是 33。 以下依次描述四次询问,其中第一次询问为初始询问,之后的三次为额外询问:

  1. A={8,6,9}A = \{8, 6, 9\},B={1,7,4}B = \{1, 7, 4\},取 F={8,8,6,9,⋅⋅⋅}F = \{8, 8, 6, 9, · · ·\}, G={1,7,4,4,⋅⋅⋅}G = \{1, 7, 4, 4, · · · \};
  2. A={8,6,0}A = \{8, 6, 0\},B={1,7,4}B = \{1, 7, 4\},可以证明不存在满足要求的方案;
  3. A={8,6,9}A = \{8, 6, 9\},B={8,7,5}B = \{8, 7, 5\},可以证明不存在满足要求的方案;
  4. A={8,8,9}A = \{8, 8, 9\},B={7,7,4}B = \{7, 7, 4\},取 F={8,8,9,⋅⋅⋅}F = \{8, 8, 9, · · · \}, G={7,7,4,⋅⋅⋅}G = \{7, 7, 4, · · · \}。 【数据范围】 对于所有测试数据,保证: • 1≤n1 ≤ n, m≤5×105m ≤ 5 × 10^5; • 0≤q≤600 ≤ q ≤ 60; • 0≤xi0 ≤ x_i, yi<109y_i < 10^9; • 0≤kx0 ≤ k_x, ky≤5×105k_y ≤ 5 × 10^5,且所有额外询问的 (kx+kyk_x + k_y) 的和不超过 5×1055 × 10^5; • 1≤px≤n1 ≤ p_x ≤ n,1≤py≤m1 ≤ p_y ≤ m,0≤vx,vy<1090 ≤ v_x, v_y < 10^9; • 对于每组额外询问,pxp_x 两两不同,pyp_y 两两不同。
测试点编号 n, m ≤ 特殊性质
1 1否
2 2
3, 4 6
5 200
6, 7 2, 000
8, 9 4 × 104是
10, 11 1.5 × 105
12 ∼ 14 5 × 105
15, 164 × 104否
17, 18 1.5 × 105
19, 20 5 × 105
特殊性质:对于每组询问(包括初始询问和额外询问),保证 $x_1$

公式排版补正

原站将拓展长度指数显示为10100;这里还原为1010010^{100}。这是根据CCF原卷的同源题意、范围与PDF指数提取规律,并与同源公开题面交叉核对后作出的排版还原推断。原始采集文本另存,未更改输入输出协议或数据范围。

评测数据说明

本题使用按题意独立构造、以独立程序核对的训练数据及公开样例,共6个测试点,非原站或官方原始数据。总分100分。

题目信息

#2041
—

暂无提交记录

练习难度 提高+
时间限制
1000ms
内存限制
512MiB
上传者