过了/bx
by Untitled0 @ 2024-04-25 16:57:46
@[一只绝帆](/user/401393) 试着给出一个更简明扼要的说明（真的吗？
我们能不能直接考虑在什么情况下我们的点没受到限制。
1. 它没有被任何 $\text{dfn}$ 相邻的 $\text{bfn}$ 区间包含
那它不管分不分层对其他位置的限制都没有任何影响，自然贡献是 $0.5$。
2.它被 $\text{bfn}$ 区间 $[\text{bfn}_i,\text{bfn}_{i+1})$包含了，但是其中没有任何必须分层的点（我们默认 $i$ 在这里表示 $\text{dfn}$）
那这时我们其实是知道这里一定有 $\text{bfn}_i+1=\text{bfn}_{i+1}$ 的（否则在 $\text{bfn}$ 序上一定有 $\text{bfn}_{i}+1$ 对应位置的 $\text{dfn}$ 比 $i+1$ 大，因此必须分层，矛盾），其对应的贡献也就是 $0.5$。
事实上我在 [CXY07的题解 ](https://www.luogu.com.cn/article/37z67jwi)里的代码看到了有关这个分支的 ```assert```，不知道是不是他觉得这个东西自己容易想清楚就没有提（但是我想了好久才反应过来...
by CleinMirika @ 2024-04-25 17:18:14
@[CleinMirika](/user/1215521) 其实大家的题解关于分段是说明还是有一点的，但是关于为什么贡献是 0.5 这件事基本没看到，我最终在外站的一篇 blog 里面找到了类似的说明。
by 一只绝帆 @ 2024-04-25 17:51:34
@[一只绝帆](/user/401393) 对，我就是在说，在我上面这两种情况，一种完全不被限制，一种所有影响的区间长度都为 $1$，于是我们应当容易说明其贡献一定是 $0.5$ 吧 qwq
by CleinMirika @ 2024-04-25 18:38:31
@[CleinMirika](/user/1215521) 第二种是平凡的，但我觉得第一种的“没有影响”并不能很容易看出来，为什么“dfn相邻的bfn区间”这个限制足以代替两个序？
可能我比您缺乏一点常识（
by 一只绝帆 @ 2024-04-25 18:56:45
@[一只绝帆](/user/401393) 哦，你说的对啊！
是我想当然了，我的错。
确实是你那样说明严谨 /bx/bx/bx
by CleinMirika @ 2024-04-25 19:05:48
神绝帆！！！
by WrongAnswer_90 @ 2024-04-25 22:27:34
神绝帆！！！
by syta @ 2024-04-26 08:54:39
@[CleinMirika](/user/1215521) 拜谢
by Masna_Kimoyo @ 2024-04-27 12:07:39