[CTS2019] 田野
题目描述
> Last night I saw you running
In the open fields of grace
No longer were you broken or in pain
>
> 题面中的歌词来自 Jackie Evancho 的 Open Fields of Grace,作曲者为 Lisa Venkatrathnam 和 Paul Sumares。
你找到了一片一望无际的大田野,在这片田野中你忘记了曾经破碎、痛苦的过去。你像小孩一样在上帝的恩赐中奔跑。
然而你发现了一个问题,在这片田野中有若干条峡谷。你随时都有坠入峡谷中的危险。为了继续自由自在的奔跑,你决定用若干围栏将这些峡谷围起来。
我们可以忽视峡谷的宽度,将每一条峡谷看做一条线段。**这些线段可以相交**,而你的围栏必须是**一条或多条闭合不自交且两两不相交的曲线**,使得**任何一个峡谷都完全在某一条**闭合曲线围成的闭合区域之内。
当然,围栏需要消耗资源,消耗的资源和围栏的长度成正比,你希望最小化消耗的资源总量,所以你希望求出围栏总长度的**下确界**,换句话说,你希望找到一个最大的实数 $x$,使得不存在一个方案使得围栏总长度小于 $x$。
输入输出格式
输入格式
输入文件的第一行为一个整数 $n$,表示峡谷的个数。
接下来 $n$ 行,第 $i$ 行四个整数 $a_i,b_i,c_i,d_i$,表示第 $i$ 条峡谷为一条连接点 $(a_i,b_i)$ 和点 $(c_i,d_i)$ 的线段。**保证两个端点不重合,不同的线段不会涉及到相同的点。保证任意三点不共线。**
输出格式
输出一行一个实数,表示围栏总长度的下确界。**你的答案和标准答案的绝对误差和相对误差的最小值不能超过** $10^{-6}$。
输入输出样例
输入样例 #1
1
0 0 0 1
输出样例 #1
2.00000000
输入样例 #2
4
-1 7 0 7
0 0 0 1
2 -3 5 5
2 2 6 -1
输出样例 #2
23.563573998194637061425470524757
输入样例 #3
4
-1 1 -1 3
0 4 2 4
3 1 3 3
0 0 2 0
输出样例 #3
13.656854249492380195206754896839
说明
#### 样例 1 解释
一个四个端点分别为 $(−0.01,−0.01),(−0.01,1.01),(0.01,1.01),(0.01,−0.01)$ 的长方形完全包含输入的线段,且总长度为 $2.08$,略大于下确界。
我们可以证明,不存在长度恰好为 $2$ 的方案。我们可以通过将正方形无限向输入线段“缩紧”来构造一个长度为任意大于 $2$ 的方案。
#### 样例 2 解释
下图为输入的线段,注意线段可以相交:
![img1](https://s2.ax1x.com/2019/05/17/ELd6pj.png)
我们以通过无限“逼近”这些红色的曲线来构造任意总长度大于答案的方案。注意通过样例 1,我们很容易知道左上角的红色线段被算了两遍。
#### 样例 3 解释
答案为 $8+4\sqrt 2$。
解释如图:
![img2](https://s2.ax1x.com/2019/05/17/ELdINF.png)
我们可以通过无限“逼近”这些红色的曲线来构造任意总长度大于 $8+4\sqrt 2$ 的方案。
#### 测试数据约定
对于 $5\%$ 的数据,保证 $1\le n\le 1$。
对于 $10\%$ 的数据,保证 $1\le n\le 2$。
对于 $15\%$ 的数据,保证 $1\le n\le 10$。
对于 $30\%$ 的数据,保证 $1\le n\le 15$。
对于 $45\%$ 的数据,保证 $1\le n\le 30$。
对于 $55\%$ 的数据,保证 $1\le n\le 60$。
对于 $65\%$ 的数据,保证 $1\le n\le 120$。
对于 $75\%$ 的数据,保证 $1\le n\le 200$。
对于另外 $10\%$ 的数据,保证答案最多包含两条曲线。
对于 $100\%$ 的数据,保证 $1\le n\le 250$,$0\le |a_i|,|b_i|,|c_i|,|d_i|\le 10^9$。**保证两个端点不重合,不同的线段不会涉及到相同的点。保证任意三点不共线。**