AT_xmascon23_a Art Irrationnel

题目描述

请从 $k = 2, 3, 4$ 中选择一个,并回答下述问题。 请用若干个边长比例为 $1 : \left(1 + \sqrt[k]{2}\right)$ 或 $\left(1 + \sqrt[k]{2}\right) : 1$ 的长方形,不留缝隙且不重叠地拼成一个正方形。更详细的限制条件请参见“输出格式”部分。 **[可以在此处使用简易可视化工具。](https://hos.ac/contest/xmas2023/art_irrationnel.html)**

输入格式

输入为空。

输出格式

请按如下格式输出: > $k$ $r$ $n$ $a_1$ $b_1$ $c_1$ $d_1$ $a_2$ $b_2$ $c_2$ $d_2$ $\vdots$ $a_n$ $b_n$ $c_n$ $d_n$ - $k$ 是你选择的 $2, 3, 4$ 之一。 - 实数 $r$ 的具体表示格式见下文。它表示你所构造的正方形的顶点为 $(0, 0)$、$(r, 0)$、$(r, r)$、$(0, r)$。 - $n$ 表示长方形的数量,需满足 $1 \le n \le 10^5$。 - 实数 $a_i, b_i, c_i, d_i$($1 \le i \le n$)的表示格式见下文。表示第 $i$ 个长方形的四个顶点为 $(a_i, c_i), (b_i, c_i), (b_i, d_i), (a_i, d_i)$。 - $r$ 以及每个 $a_i, b_i, c_i, d_i$($1 \le i \le n$)都需输出 $k$ 个整数 $p_0, p_1, \ldots, p_{k-1}$,空格分隔,表示该值为 $\sum_{j=0}^{k-1} p_j (\sqrt[k]{2})^j$,其中 $-10^9 \le p_j \le 10^9$。 - 必须满足 $r > 0$。 - 对每个 $1 \le i \le n$,需满足 $0 \le a_i < b_i \le r$ 且 $0 \le c_i < d_i \le r$。 - 对每个 $1 \le i \le n$,需有 $\dfrac{d_i-c_i}{b_i-a_i} = 1 + \sqrt[k]{2}$ 或 $\dfrac{b_i-a_i}{d_i-c_i} = 1 + \sqrt[k]{2}$。 - 正方形的所有内部点及边界点必须完全被这 $n$ 个长方形的内部或边界覆盖,且任意两个长方形的内部不得有正面积的交集。

说明/提示

### 样例说明 1 此为**除了最后一条条件外**都满足的输出样例(因此会被判定为不正确)。下图展示了此例中长方形的排布(左下角坐标为 $(0, 0)$,右下角为 $(r, 0)$): ![](https://cdn.luogu.com.cn/upload/vjudge_pic/AT_xmascon23_a/f7646e6a13496a66678ca8372258b08a410beee09486cf6f91e0feb661911b54.png)输出示例 **[可以在此处使用简易可视化工具。](https://hos.ac/contest/xmas2023/art_irrationnel.html)** 由 ChatGPT 5 翻译