#P14801. [CCPC 2024 哈尔滨站] 造计算机

[CCPC 2024 哈尔滨站] 造计算机

题目描述

你想要造一台计算机来实现一个功能:给出一个整数 xx,判断 xx 是否在 [L,R][L, R] 区间内。为此,你在电路中设计了一个边权为 0011 的有向无环图,包含一个入度为 00 的起点和一个出度为 00 的终点。从起点出发沿着某一条路径走到终点,将经过的边权连成一个串,就可以得到 [L,R][L, R] 范围内的一个整数的不含前导零的二进制表示,并且 [L,R][L, R] 范围内的任意一个整数都能从这张图中找到唯一一条对应路径。这样一来,你只需要判断一个数的二进制表示是否能够通过这个有向无环图表达出来,就可以判断它是否在 [L,R][L, R] 区间内。

显然,你可以将每个整数的对应路径分开成一条条链的形式,可你发现给出的范围很大时,这种有向无环图所需的节点太多了,你造的只有 256MiB 内存的计算机根本存不下。因此,你需要压缩这张有向无环图,即不同的路径之间可能会有共用的节点,使得这张图的点数和边数减少到一定范围内。形式化地说,你需要构造一个点数不超过 100100,每个节点出度不超过 200200 的有向无环图,边权为 0011,有且仅有一个入度为 00 的起点和一个出度为 00 的终点。[L,R][L, R] 中的每一个整数,都能与这张有向无环图中的一条起点到终点的路径 一一对应\textbf{一一对应}。具体地说,对于[L,R][L, R] 中的任意一个整数,在图中有且仅有一条起点到终点的路径与之对应,且图中不存在一条起点到终点的路径能够对应 [L,R][L, R] 范围之外的某一个整数。注意,图中的任意一条起点到终点的路径得到的二进制串均不能出现前导零。两点之间可以存在边权不同的两条边。

输入格式

一行两个正整数 L,RL, R (1LR1061 \le L \le R \le 10^6)。

输出格式

第一行输出节点数 nn (1n1001 \le n \le 100)。

对于接下来 nn 行,第 ii 行先输出一个整数 kk (0k2000 \le k \le 200),表示节点 ii 的出边条数,接下来输出 2k2 \cdot k 个正整数 ai,k,vi,ka_{i,k}, v_{i,k} (1ai,kn1 \le a_{i,k} \le n, ai,kia_{i,k} \neq i, vi,k{0,1}v_{i,k} \in \{0, 1\}),表示点 ii 有一条连向 ai,ka_{i,k} 的边权为 vi,kv_{i,k} 的有向边。你需要保证输出的是一张满足题目要求的有向无环图。

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