离散化是排序在「线性降维」上的典型应用：值域很大而只需保留大小关系时，把元素映射为其排序后的名次，将值域压缩到与数组长度同阶，配代码模板与实现要点。

提供离散化的数组与 vector 两种代码模板，包含排序去重、lower_bound 查询映射关系，适用于值域压缩场景。

CSP-S 反悔贪心题：按「当前选择收益」排序后贪心选取，若后续出现更优解则用堆回退之前的决策，修正为全局最优，时间复杂度 O(n log n)。