uoj#P352. 新年的五维几何
新年的五维几何
在你的帮助下,SingleDog们终于进入了计算中心内部,他们惊讶的发现,计算中心的核心——AlphaGo的三台主机所在的地方,居然是一个多维空间!
简单点说,核心是 $n \leq 5$ 维空间里一个点集,位于一个 $n$ 维长方体的方框内部。方框内部由所有满足 $l_i\le x_i \le r_i$ 的点 $(x_1,x_2,\cdots,x_n)$ 构成,而核心则由所有位于方框内部且满足 $x_i - x_j \ge a_{i,j}$ 的点$(x_1, x_2 \cdots,x_n)$ 构成,其中 $l_i,r_i,a_{i,j}$ 均为给定的整数。
现在SingleDog们想知道的就是这个核心的“体积”占方框的体积的比例。
为了方便理解题意,一个等价的题目描述是:
设 $x_1,x_2,\cdots,x_n$ 是 $n$ 个实数变量,其中第 $i$ 个变量 $x_i$ 在区间 $[l_i,r_i]$ 内均匀随机生成,所有 $l_i$ 和 $r_i$ 均为给定的整数且 $l_i\le r_i$(约定 $l_i=r_i$ 时,$[l_i,r_i]$ 表示单元素集合 $\{l_i\}$)。
给定 $n\times n$ 的整数矩阵,矩阵的每个元素代表一个约束,其中第 $i$ 行第 $j$ 列的元素 $a_{i,j}$ 代表约束 $$x_i-x_j\ge a_{i,j}$$
求这 $n\times n$ 个约束同时被满足的概率。
输入格式
第一行包含一个正整数 $n$,表示实数变量个数。
接下来 $n$ 行,第 $i$ 行两个整数 $l_i,r_i$,描述第 $i$ 个区间。
接下来 $n$ 行,每行 $n$ 个整数,给出整数矩阵 $a_{i,j}$。
输出格式
输出一行,包含一个实数,表示所求的概率。
你的答案与参考答案的绝对误差不超过 $10^{-7}$ 时被认为是正确的。
1
0 10
-10
1.000000000000
无论变量 $x_1$ 的值是多少,约束 $x_1-x_1\ge-10$ 恒成立,故满足约束的概率为 $1$。
2
5 5
3 7
0 1
-3 0
0.2500000000
$x_1=5$,$3\le x_2\le 7$。仅当 $3\le x_2\le 4$ 时才能同时满足所有约束,故满足所有约束的概率为 ${1\over 4}=0.25$。
2
4 5
3 6
-10 2
-10 -10
0.0000000000
满足 $4\le x_1\le 5$,$3\le x_2\le 6$ 的 $x_1,x_2$ 有无穷多个,但只有一组值 $x_1=5,x_2=3$ 是满足约束的,故满足约束的概率为 $0$。
2
3 10
0 8
-1 1
-7 0
0.5982142857
满足约束的概率为 ${67\over 112}$。你输出的答案应当在 $[{67\over 112}-10^{-7},{67\over 112}+10^{-7}]$ 范围内。
3
0 10
2 10
2 9
0 -9 -10
4 0 -3
1 -4 0
0.1491071429
4
0 5
0 9
4 10
0 5
0 -8 -9 -5
1 0 -4 3
1 -6 0 3
-4 -10 -10 0
0.2622839506
5
0 10
0 10
4 4
0 9
0 7
-10 -9 -10 -10 -10
-10 -10 2 -10 -10
-10 -10 -10 1 -10
-10 -10 -10 -10 -5
-10 -10 -10 -10 -10
0.1191269841
5
0 2
1 8
7 10
2 7
6 10
0 -10 -10 -9 -10
-10 0 -7 -4 -8
3 3 0 1 -6
3 -6 -5 0 -5
-2 3 -9 1 0
0.1713095238
限制与约定
由于一些原因,本题使用捆绑测试。每个子任务有若干个测试点,分为 8 个子任务,你只有通过一个子任务的所有测试点才能得到这个子任务的分数。
子任务 | 分值 | $n$ | 其它限制 |
---|---|---|---|
1 | 5 | $=1$ | 无 |
2 | 10 | $=2$ | $l_1=r_1$ |
3 | 20 | 若 $j\ne i+1$,则 $a_{i,j}=-10$ | |
4 | 15 | 无 | |
5 | 10 | $=3$ | |
6 | 10 | $=4$ | |
7 | 20 | $=5$ | 若 $j\ne i+1$,则 $a_{i,j}=-10$ |
8 | 10 | 无 |
对于所有数据,$1\le n\le 5$,$0\le l_i\le r_i\le 10$,$-10\le a_{i,j}\le 10$。
时间限制:$1\texttt{s}$
空间限制:$256\texttt{MB}$