题目大意：给定n个区间\([l_i , r_i]\)，\(-10^6 \leq l_i \leq r_i \leq 10^6\)且\(l_i , r_i\)都为整数，\(x_i\)为对应范围内的一个随机实数，求\(| \sum{x_i} | \)的期望。\( n \leq 15\)，答案对998244353取模。 题解：和这道题基本上是一样的，容斥方法一样。 分成\(\sum{x_i}\)小于0和大于0两部分来考虑，两部分的做法一样。以小于0的部分为例，首先将范围进行调整，将\(x_i\)的范围调整为\([0,r_i – l_i]\)，那么符合条件的范围即\( \sum{l_i} + \sum{x_i} < 0\)，即\( 0 \leq |\sum{x_i}| < |\sum{l_i}| \)，求此时\( |\sum{l_i}| – |\sum{x_i}|\)的期望。容斥的方法和上面的那个是一样的，不同之处在于这题求的不是概率，还要考虑\(\sum{x_i}\)的期望。这里可以通过积分求出，当\[0 \leq x_i \leq a\] \[0 \leq \sum{x_i} \leq a\]时，该部分\(a – \sum{x_i}\)的期望为\(\frac{a^n}{xpro \cdot n!}\)，其中\(xpro = \prod{(r_i – l_i)}\)。（不是很严谨，意会一下即可）
容斥
[ SPOJ ] RNG – Random Number Generator
题意：有n个正整数\(1 \leq x_1…x_n \leq 10\)，\(a_i\)为\([-x_i,x_i]\)范围内的一个随机的实数，求\(a \leq \sum a_i \leq b\)的概率。\( (n \leq 10) \) 题解：这题有一个n=2的版本。 首先将a和b都加上\(\sum x_i\)，那么问题中\(a_i\)范围变为\([0,2x_i]\)。和链接中的题目一样，考虑容斥。另外由于统计和在一个区间内难度比较大，所以就考虑和\( \leq b\)的概率减去和\( \leq a\)的概率。 设\(f(x)\)为\(0\leq a_1,a_2,a_3,\cdots,a_n\leq x\)时\(\sum a_i\leq x\)的概率\(*x^n\)。n=1时概率为1，n=2时概率为\(\frac{1}{2}\)，n=3时概率为\(\frac{1}{6}\)，（可以结合图形来看，如n=3时表示的是由(0,0,0),(x,0,0),(0,x,0),(0,0,x)四点构成的三棱锥的体积）由此可以类推\(f(n)=\frac{x^n}{n!}\)。\(x\leq 0\)时\(f(x)=0\)。 先讨论n=2的情形。n=2时答案为\[\frac{f(a)-f(a-2x_1)-f(a-2x_2)+f(a-2x_1-2x_2)}{\prod{2x_i}}\] 即先计算\begin{aligned}0\leq a_1\leq a \\ 0\leq a_2\leq a \\ 0\leq a_1+a_2\leq a \end{aligned}的情况，减去\begin{aligned}2x_1\leq a_1\leq a \\ 0\leq a_2\leq a \\ 2x_1\leq a_1+a_2\leq a \end{aligned}的情况和\begin{aligned}0\leq a_1\leq a \\ 2x_2\leq…
[ TCO2016 Round 2B DIV1 Easy ] TriangleTriples
题意：给出\(a,b,c,1<=a,b,c<=10^9\)，求所有的满足\(1 \leq x \leq a,1 \leq y \leq b,1 \leq z \leq c\)且由\(x,y,z\)为三边长能组成三角形的方案数。（\(a,b,c,x,y,z\)均为整数） 题解：用容斥做这道题目会比较简单。首先设\(a \leq b \leq c\)。考虑容斥，答案即\(abc\)减去所有\(x \geq y+z,y \geq x+z,z \geq x+y\)的方案数。由于\(x \geq y+z,y \geq x+z,z \geq x+y\)是独立的，所以可以分别计算。 考虑\(x \geq y+z\)，由于\(y+z \leq a\),那么显然有\begin{aligned}1 \leq x \leq a \\ 1 \leq y \leq a \\ 1 \leq z \leq a \end{aligned}答案显然为\(\sum_{i=1}^{a-1}{\frac{i(i+1)}{2}}=\frac{a(a+1)(a-1)}{6}=C_{a+1}^{3}\)，后面的组合数可以理解为在\(0…a\)中选出三个点\(x_0,x_1,x_2,0 \leq x_0<x_1<x_2 \leq…