CF1153F Serval and Bonus Problem
题意:一条长为
答案对
显然,这个问题具有线性性,不妨改设线段长为
设函数
考虑
显然所有排列的出现概率是相同的。因此,我们只需要考虑离散的排列,复杂的几何概型成功转化为熟悉的古典概型。
考虑 DP。
设
注意,我们认为左端点之间没有顺序之分,右端点追随与之配对的左端点。
边界:
转移:
选择左端点:
选择右端点(并选择一个已有的左端点配对):
选择随机采样点:
复杂度
除以总方案数就得到概率。总方案数可以把限制