约束拆解

显式约束

• 1 <= n, m <= 2 * 10^5。
• 1 <= start <= end <= m。
• 区间按闭区间处理，差分时要注意 end + 1。
• 若峰值出现多次，取最早时段。

建模拆解

• 先明确输入的实体和字段，再把它们翻译成 差分数组 + 前缀和恢复 需要的数据结构。
• 把输出中每一项指标都和中间变量对应起来，避免最后临时拼装。
• 先用样例手推一次，再确认边界条件是否都能走到正确分支。

易错边界

• 活动区间恰好覆盖到最后一个时段时，要避免数组越界。
• 多个时段并列达到峰值时，只能保留最早时段。
• 当某些时段完全没有活动时，要正确计入 idle_slots。