线段树解决区间开关灯问题详解

1. 题目背景与需求分析

P3870 [TJOI2009] 开关这道题目出自TJOI2009（天津省队选拔赛），是信息学奥赛中典型的区间操作问题。题目描述一个由n个灯组成的初始全灭的序列，需要处理两种操作：

1. 区间开关灯（将[a,b]区间内所有灯的状态取反）
2. 查询区间亮灯数量（统计[a,b]区间内亮着的灯的数量）

这类问题在信奥赛中具有代表性，主要考察选手对线段树或树状数组等高级数据结构的掌握程度。实际比赛中，n的范围通常会达到1e5量级，这就要求算法的时间复杂度必须控制在O(nlogn)级别。

提示：虽然题目表面是开关灯问题，但本质考察的是区间修改与区间查询的高效实现，这正是线段树最典型的应用场景。

2. 数据结构选型与原理

2.1 线段树解决方案

线段树之所以成为本题的首选方案，源于其三个关键特性：

1. 区间操作效率：线段树的每个节点代表一个区间，区间修改和查询都可以在O(logn)时间内完成
2. 懒标记机制：通过延迟传播修改操作，避免不必要的递归
3. 空间优化：采用完全二叉树存储，空间复杂度为O(n)

对于开关灯问题，线段树节点需要维护：

cpp复制struct Node {
    int l, r;       // 节点代表的区间
    int sum;        // 区间内亮灯数量
    bool tag;       // 懒标记（是否被翻转）
} tr[N * 4];

2.2 树状数组的替代方案

虽然线段树是更直观的选择，但树状数组配合差分思想也能解决本题。需要维护两个树状数组：

1. 记录区间被翻转次数的奇偶性
2. 维护原始序列的前缀和

不过这种方法实现起来较为复杂，在比赛中除非对树状数组特别熟悉，否则建议优先选择线段树。

3. 核心代码实现详解

3.1 线段树建树

建树过程采用标准的递归分治策略：

cpp复制void build(int u, int l, int r) {
    tr[u] = {l, r, 0, false};
    if (l == r) return;
    int mid = (l + r) >> 1;
    build(u << 1, l, mid);
    build