就情况来看，$T_2<T_1<T_4<T_3$，不符合预期。

T1

用桶存储数量。可以证明，如果元素 $x$ 是主导元素，我们不把 $x$ 分开最优。又不难发现一个桶 $tool_i$可以管理 $tool_i*2-1$ 个元素，直接贪心。

T2

对序列排序，然后枚举 $A$，那么 $B=A-C$。排序后二分第一个 $A-C$ 出现位置 $x$ 和最后一个 $A-C$ 出现位置 $y$，那么 $A$ 所对应的满足条件的 $B$ 就有 $y-x+1$ 个。

T3

这个题有多种做法，给出最简单一种。

对前缀和 $s$ 做归并排序，每次归并的时候有排序好的 $a_l$ -> $a_{mid}$ 和 $a_{mid+1}$ -> $a_{r}$。对于每一个 $mid+1 \le i \le r$，二分去找 $l$ -> $mid$ 中不超过 $k-s_{i}$ 的个数，并加入进答案。可以证明这样会统计每一个答案且不重复。

T4

很明显如果我们要从 $A$ 里面取数的话一定先取最大的，$B$ 也同理。

所以对 $A$ 和 $B$ 降序排序，每次考虑前缀和 $sA_i$ 和 $sB_i$，如果我们有选择方案 $A_1$ -> $A_x$ 与 $B_1$ -> $B_y$（记作 $<x,y>$），且 $sA_x \le sB_y$，那么 $<x,y+1>$ 的答案不如 $<x,y>$。反之同理。所以维护双指针，每次根据前缀和大小更新。