若 或缺少一种类型,则无解。二分答案宽度 ,分别对两种类型排序。设某种类型的最小值和最大值为 。 若 ,可将该类型全部留在外侧组。否则有两种方向:若外侧保留 ,则所有小于 的题必须进入 Div.2;若外侧保留 ,则所有大于 的题必须进入 Div.2。 这两个方向已经完备。外侧不能同时保留两端,Div.2 也不能同时包含两端,否则宽度超过 。因此 Div.2 包含一端,并包含相应的强制集合。 枚举 E、H 的四种方向组合。若强制集合并集的宽度不超过 ,将其放入 Div.2,其余分别放入两个外侧组。每个强制集合都不包含相反端点,因此外侧组非空。若两个强制集合都为空,由 且两种类型都存在,可向 Div.2 移动一题而不清空外侧组。 子任务 1 枚举每题两个合法去向,时间 。完整解排序并二分强制集合边界,时间 ,空间 ,其中 为难度范围。所有值和差均不超过 ,有符号 64 位整数足够。 Solution written by GPT6.1