#P50408. 「CTSC2017」投影

「CTSC2017」投影

题目描述

换一个角度看,世界可能就不同。—— 小强

k k 维空间中有 n n 个黑点与 n n 个白点。我们为每一个黑点确定一个互不相同的对应的白点,这样一共有 n! n! 种对应方法。我们定义这 n n 个黑点与 n n 个白点之间的「移动距离」为,在所有的对应方法中,对应的黑点与白点之间的 n n 个欧几里德距离的和的最小值。

例如:考虑一维中的三个黑点 {1,5,6} \{ 1, 5, 6 \} 与三个白点 {2,3,4} \{ 2, 3, 4 \} ,那么它们之间的移动距离为:12+53+64=4|1 - 2| + |5 - 3| + |6 - 4| = 4 。你可以验证一下这确实是距离和最小的一种对应方法。

你得到了三维空间中的 n n 个黑点与 n n 个白点。你想把它们投影到一个 k(1k2) k(1 \leq k \leq 2) 维子空间上。一维子空间就是三维空间中的一条直线,二维子空间则是三维空间中的一个平面。一个点在一个子空间中的投影点就是这个子空间中距离它最近的点。例如,(0,0,0),(1,1,0),(1,0,0),(0,1,0) (0, 0, 0), (1, 1, 0), (1, 0, 0), (0, 1, 0) 这四个点投影到 xy=0,z=0 x - y = 0,z = 0 这条直线上之后,得到的投影点是 (0,0,0),(1,1,0),(0.5,0.5,0),(0.5,0.5,0) (0, 0, 0), (1, 1, 0), (0.5, 0.5, 0), (0.5, 0.5, 0)

你希望这 n n 个黑点和 n n 个白点投影到这个 k k 维子空间之后的移动距离最大。请你计算这个最大值除以 n n

输入格式

每个测试文件中可能有多个测试用例,每个测试用例的格式如下:

第一行两个数 n n k k ,表示点数以及降到的维度。
后面 2n 2n 行,每行三个数,表示点的坐标。
文件最后有一行包含两个数 -1 -1 \texttt{-1 -1}

输出格式

对文件中的每个测试用例,输出一行一个数(长度不要超过 30 30 ),表示结果。
你的答案与参考答案的相对误差不超过 107 10 ^ {-7} 时被认为是正确的。

只有一个文件中所有的测试用例的结果都是正确的才能获得这个测试文件所对应的分数。

样例 1

2 1
0 0 0
1 1 0
0 1 0
1 0 0
-1 -1
0.70710678118655
4 2
0 0 0
0 1 1
1 0 1
1 1 0
0 0 1
0 1 0
1 0 0
1 1 1
-1 -1
0.73883404559321

数据范围与提示

对于 30% 30\% 的数据,k=1,n1000 k = 1, n \leq 1000 ,所有的点的 z z 都是 0 0 。一个文件中最多包含一个测试用例。
对于另外 40% 40\% 的数据,k=1,n1000 k = 1, n \leq 1000 ,所有的点的坐标都是 [1,1] [-1, 1] 之间均匀独立随机生成的,一个文件中最多包含十个测试用例。
对于另外 30% 30\% 的数据,k=2,n20 k = 2, n \leq 20,所有的点的坐标都是 [1,1] [-1, 1] 之间均匀独立随机生成的,一个文件中最多包含十个测试用例。
对于 100% 100\% 的数据,点的坐标的范围都是 1 -1 +1 +1 之间的,答案不小于 0.01 0.01