#P11912. [PA 2025] 集合 2 / Zbiory 2

[PA 2025] 集合 2 / Zbiory 2

题目背景

PA 2025 trial round t2.

请注意本题非同寻常的时空限制。

题目描述

问题。

给定正整数 nn 和非负整数 mm。定义全集 U={1,2,,n}U=\{1,2,\ldots,n\}

构造 (n+m)(n+m) 个集合 A1,A2,,An+mA_1,A_2,\ldots,A_{n+m}

  1. 对于 1in1\le i\le nAiA_i 里的元素为 UUii 的倍数。
  2. 对于 n+1imn+1\le i\le m,给定参数 opiop_i
  • opi=1op_i=1 时,给定参数 x,yx,yx,y<n+ix,y\lt n+i),则 Ai=AxAyA_{i} =A_x\cup A_y
  • opi=2op_i=2 时,给定参数 x,yx,yx,y<n+ix,y\lt n+i),则 Ai=AxAyA_{i}=A_x\cap A_y
  • opi=3op_i=3 时,给定参数 xxx<n+ix\lt n+i),则 Ai=U\AxA_{i}=U\backslash A_x(即 Ai={j:jU,j∉Ax}A_i=\{j:j\in U,j\not\in A_x\})。

定义问题的答案为 An+mA_{n+m}

给定正整数 nn 和目标集合 B{1,2,,n}B\subseteq \{1,2,\ldots,n\}。构造非负整数 mm 和一组对应的参数,使得上述问题的答案为 BB

你需要保证 0m1050\le m\le 10^5。可以证明本题一定有解。

输入格式

第一行,两个正整数 n,kn,k,其中 B=k|B|=k

第二行,kk 个正整数 B1,B2,,BkB_1,B_2,\ldots,B_k,描述 BB 中的元素。

输出格式

输出 (m+1)(m+1) 行:

第一行,一个非负整数 mm

接下来 mm 行,第 ii 行两个或三个正整数(格式见上),描述集合 An+iA_{n+i} 的生成方式。

你需要保证 0m1050\le m\le 10^5,且格式符合【题目描述】中的限制。

7 4
1 2 4 6
8
1 5 7
2 2 3
3 8
2 10 8
3 3
1 12 12
2 10 13
1 9 14
3 1
3
0

提示

  • 1n5×1041\le n\le 5\times 10^4;
  • B{1,2,,n}B\subseteq \{1,2,\ldots,n\}