1 条题解
-
0
题解
思路
按照右端点处理线段,把一个合法选择唯一拆成若干连续的同色块;用上一同色块末尾的异色线段右端点刻画转移边界。
做法
一、同色子任务
若一组数据中的所有线段颜色相同,任意两条被选线段都不会违反限制。每条线段均可独立选择或不选,答案为 。
二、枚举子集
当 时,可以枚举全部 个子集。预处理每条线段与哪些异色线段重合;若子集中包含任意一对冲突线段,则该子集不合法。复杂度为 。
三、按右端点建立状态
把线段按右端点从小到大排序。对每个已经处理的线段 维护一个状态,状态颜色为 ,关键字为 ,权值记为 。另外对两种颜色各建立一个关键字为 、初始权值为 的哨兵,表示此前没有选择异色线段。
处理线段 ,颜色为 时,只考虑颜色 的状态。所有满足 的状态都可以与线段 衔接,因为闭区间在且仅在严格不等式成立时才不重合。令这些状态的权值和为 ,则:
- 新增颜色 、关键字 、权值 的状态;
- 所有满足 的异色状态权值乘 ,表示今后的方案可自由决定是否选择线段 ;
- 把 加入总答案。
初始总答案为 ,对应空集。
状态含义与正确性
固定一个非空合法方案,观察它按右端点排序后最后一段连续同色的被选线段。设这个同色块之前最后一条被选异色线段为 ;若不存在,就使用对应哨兵。块中每条线段的左端点都必须严格大于 ,反之满足该条件的同色线段可独立选择而不会与更早的异色线段相交。
当块中最后处理的被选线段为 时,状态 的权值已恰好为此前方案数乘上所有可自由选择同色线段产生的 的幂,因此它对 贡献一次。每个非空合法方案的最后同色块和其最后处理线段唯一,所以不会重计;上述条件也保证每个计入方案合法。因此转移完整且无重复。
四、复杂度优化
直接扫描全部异色状态即可得到 算法,足以通过 的子任务。
满分算法对两种颜色分别按右端点离散化,并各维护一棵支持以下操作的线段树:
- 查询关键字小于 的前缀权值和;
- 将这个前缀全部乘 ;
- 在关键字 处加上新状态权值。
三种操作均为 。
注意区间是闭区间:应查询 ,不能误写成 。
复杂度
每个测试数据的总时间复杂度为 ,空间复杂度为 ;所有测试数据合计时间复杂度为 。
- 1
信息
- ID
- 986
- 时间
- 5000ms
- 内存
- 512MiB
- 难度
- 10
- 标签
- 递交数
- 1
- 已通过
- 0
- 上传者