1 条题解
-
0
题解
思路
条件说明每个同色连续块长度恰为 。因此一次涂色可以看成在相邻格子 上放置一块颜色为 的骨牌。颜色 可放在这里当且仅当
两块骨牌不能重叠。如果两块骨牌首尾相接,它们还不能使用同一种颜色,否则会形成长度为 的同色连续块。隔着至少一个空格时,同一种颜色可以再次使用。
做法
令 表示只考虑前 个格子的合法方案数,空方案计入其中;令 表示最右侧骨牌结束于 且颜色为 的方案数。
设
要在 放颜色 的骨牌,可以从前 个格子的任意方案接上,但要排除恰好在 结束、颜色也是 的方案。因此
$$dp_{k,c}=\begin{cases} S_{k-2}-dp_{k-2,c},&c\in C_k,\\ 0,&c\notin C_k. \end{cases}$$不在 结束骨牌的方案有 种,所以
初值为 。直接枚举颜色的复杂度为 。
3. 各部分分做法
子任务 1:状态搜索
当 时,从左到右搜索。每一步可以把当前格留空,或选择一个能覆盖当前两个格子的颜色放骨牌;若上一块骨牌与当前骨牌相邻,则禁止使用相同颜色。复杂度上界为 ,在本档范围内足够。
子任务 2 与 3:显式维护每种颜色
使用上面的基础 DP,对每个 枚举全部 种颜色,复杂度 ,空间复杂度 。它既能通过 ,也能通过 的大 分支。
子任务 4:短区间转化为加权匹配
若 ,每种颜色至多能放在一个位置,不会出现相邻骨牌重复使用同色的问题。令 ,则
用差分或直接统计每个长度为 的颜色区间即可做到 。
子任务 5:两类结构分支
程序先判断属于哪一类结构。若区间两两不交,每个骨牌结束位置至多有一种可用颜色;记录当前位置的颜色,并分别维护奇数、偶数结束位置上一次的 值,即可线性计算。
若所有区间相同,所有颜色在同一时刻进入或离开 ,并且它们的 值始终相同。只需为奇偶位置各维护一个公共值 ,用 代替对颜色求和。
两类结构均为 ,组合后可完整通过该档。
4. 满分做法:奇偶链上的整体仿射变换
只依赖 ,所以奇数 与偶数 可以分成两条独立链处理。
对固定奇偶性,从上一个结束位置移动到当前 时,仍然活跃的每个颜色值都执行同一个变换
这是形如 的仿射变换,其中 。为每条奇偶链维护:
- 当前全局系数
sign与常数add,使颜色 的真实值为sign * base[c] + add; - 活跃颜色数量
count; - 所有活跃颜色真实值之和
sum。
整体执行 时,更新为
$$\begin{aligned} sign&\leftarrow-sign,\\ add&\leftarrow S_{k-2}-add,\\ sum&\leftarrow count\cdot S_{k-2}-sum. \end{aligned}$$颜色 对结束位置 的有效区间是 。把这个区间按奇偶性拆成至多两条连续事件链,预先记录进入和离开事件。每种颜色在每条链上只进入、离开各一次。
处理位置 时依次:
- 对该奇偶链的全部旧活跃值执行仿射变换;
- 删除已经离开的颜色;
- 加入新进入的颜色,其当前值为 ;
- 令 。
加入颜色时,通过仿射变换的逆式求出它的
base;因为sign只可能是 或 ,其逆仍是自身。正确性证明
由同色块长度必须为 ,任意合法方案都唯一对应若干互不重叠的带色骨牌,并且相邻骨牌颜色不同;反之这样的骨牌集合显然满足题目条件。
对结束于 、颜色为 的骨牌,删除最后一块骨牌后得到前 个格子的方案。唯一不合法的前驱是其最右骨牌结束于 且同为颜色 ,因此基础转移 完全且不重不漏。再按最后一个格子是否结束骨牌划分,即得 的转移。
满分算法只把同一奇偶链上所有颜色共同执行的转移合并为一次仿射更新,并用进入、离开事件精确维护集合 ;每个颜色的值与基础 DP 始终一致。因此每一步得到的 与基础 DP 相同,最终输出 正确。
复杂度
每个位置处理一次,每种颜色在两条奇偶链上至多各产生一次进入和离开事件,故时间复杂度为 ,空间复杂度为 。
- 当前全局系数
- 1
信息
- ID
- 1143
- 时间
- 2000ms
- 内存
- 512MiB
- 难度
- 10
- 标签
- 递交数
- 3
- 已通过
- 1
- 上传者