#P3167. 「CEOI2019」剪刀和胶带
「CEOI2019」剪刀和胶带
题目描述
译自 CEOI 2019 Day2 T3「Scissors and Tape」
给定一张简单多边形 形状的纸。你的任务是把他变成和 面积相同的简单多边形 。
你可以使用两种工具:剪刀和胶带。剪刀可以把任何多边形剪成一些小多边形。胶带可以把小多边形组合成一个大多边形。你可以任意顺序使用两个工具任意次。
输入给定的多边形的顶点坐标均为整数,但是你的输出允许产生顶点坐标不是整数的多边形。
这个问题的形式化定义如下。
形状 是一个平面上三个点及以上的点列,满足:
- 闭合折线 不会接触自身或与自身相交,因此这个边界是一个简单多边形;
- 这段折线以逆时针方向绕行多边形的边界。
若一个多边形的边界为形状 ,则记这个多边形为 。
两个形状等价当且仅当一个形状经过平移或旋转之后和另一个形状相同。
注意不允许做一个形状的对称,并且点的顺序与形状有关:形状 不一定等价于形状 。
在上图中,形状 与 是等价的。形状 与它们不等价,因为形状 的点顺序与二者不同。不考虑点的顺序的情况下,第四个形状与前三个都不等价,因为不允许翻转一个图形。
在输入和输出中,一个有着 个点的形状用一行 个被空格分开的数表示:一个数 ,后面紧接着这 个点的坐标:。
每个形状都有一个编号(IDs)。给定的形状 的 ID 为 。你在答案中产生的形状按产生顺序编号为 。
形状 构成一个形状 的划分,如果:
- 所有 组合在一起与 完全相同;
- 对于任意 ,, 与 不相交。
剪刀可以剪开一个存在的形状 ,并且产生一个及以上的形状 ,这些形状构成形状 的一个划分。
例如上图:形状 (一个正方形)被划分为形状 (三个三角形)。对于 ,一个合法的描述为:。
胶带可以粘合存在的形状 ,并构成一个新形状 。为了实现这个操作,你需要先指定形状 ,然后才能得到形状 。这些形状必须满足以下条件:
- 对于每个 ,形状 与 等价;
- 形状 是形状 的一个划分。
通俗地说,你选择了形状 ,然后展示如何把每个存在的 移动到构成 的正确的位置 。注意形状 需要分配一个新 ID,但 不需要。
输入格式
第一行包含原来的形状 ;
第二行包含目标形状 。
每个形状按照题目描述中的格式给出。
输出格式
每当使用剪刀时,按以下格式输出一些行:
其中, 是你想要剪掉的形状 的 ID。 是你想要产生的新形状个数, 是产生的新形状。
每当使用剪刀时,按以下格式输出一些行:
其中, 表示你想要把 个形状粘在一起, 是它们的编号, 是与 等价且在 内部的形状, 是将 粘在一起形成的形状。
推荐输出坐标时保留至少 位小数。
输出必须满足以下条件:
- 输出的所有点坐标都应该在 之内;
- 输出的每个形状最多包含 个点;
- 每次操作中,;
- 操作数不多于 ;
- 输出中所有形状的总点数不超过 ;
- 在最后,必须有且只有一个形状(未被剪开),并且这个形状必须等价于 ;
- 所有操作必须均被
checker
判为合法。如果有精度误差是可以被接受的(在checker
内部,允许的误差为绝对误差或相对误差不超过 )。
样例
样例输入 1
样例输出 1
样例说明 1
上图显示了第一个样例输出。左边是用剪刀后的原始形状,在右边的是用胶带粘好后的形状。
样例输入 2
样例输出 2
样例输出 2
对于第二个样例,注意到只要最终形状和目标形状等价即可,不需要完全一样。
样例输入 3
样例输出 3
样例说明 3
对于第三个样例,上图展示了输出的三个阶段。首先,我们把输入的矩形切成两个小矩形,然后我们把两个矩形中较大的一个再切成两个。在这个阶段操作之后的状态如图左上部分所示。
接下来,我们把两个新矩形两个新矩形粘起来,形成一个六边形,然后我们把这个多边形切成三个 的矩形和一个小一些的矩形。在这个阶段操作之后的状态如图左下部分所示。
最后,我们被第一步留下的较小的矩形和第二阶段新形成的四个矩形粘在一起,形成一个目标 的正方形。
数据范围与提示
对于所有数据:
-
每个形状包含大于等于 个点,但小于等于 个点。
-
所有输入的坐标均为整数,并在 范围内。
-
对于每个形状,任意三个点构成的角都不小于 。这包含非连续的点,暗示没有任何三点共线。
-
多边形 和 面积相同。
一个形状被称为好矩形,如果它的形式为 ,并且 均为正整数。
一个形状被称为好正方形,如果它的形式为 , 均为正整数,且 。
形状 被称为严格凸多边形,如果 的内角均小于 。
在以上定义下,详细子任务分值与附加限制如下表:
子任务编号 | 附加限制 | 分值 |
---|---|---|
均为好矩形,所有点坐标都在 内 | ||
是好矩形,且 , 是好正方形 | ||
均为好矩形 | ||
是三角形, 是好正方形 | ||
均为三角形 | ||
是严格凸多边形, 是好矩形 | ||
是好矩形 | ||
无附加限制 |