易混 2023 年福建预赛 · P006667
先辨清禁止的三元相对次序,再证明围绕最大元的合法操作。一个记录插入最大元前的最初下降段,另一个在最大元处切开并强制左右值域分离。
后一题还要求交替条件在标准化的子问题中保留;前一题没有交替条件。两种禁序与递推状态不同,不能直接互换计数公式。
是数字 的排列。若不存在 使 ,则所有这样的排列有种。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
从短排列插入新最大数,记录最初连续下降段的长度,确保不会新增递增三元组。
称不含递增三元组的排列为合格排列。设一个长度为 的合格排列最初连续下降段长为 。把新最大数 插入其中,只有插在最前面或最初 个元素之后才合法:插入位置以前若出现上升的一对,它与新最大数便构成禁止三元组;反之不会新增其他类型的递增三元组。 若插在最前面,新下降段长为 ;若插在前 个元素之后(),新下降段长为 。删除最大数可唯一恢复,故计数不重不漏。按下降段长从一开始,长度 的合格排列数量分布依次为
每个长度为四、首下降段长为 的排列有 个合法插入位置,故所求为
由插入规则,下一层第 类接收所有旧下降段长至少为 的排列各一次,此外 时还接收旧第 类的最前插入。因此长度四的分布为 ,与逐个枚举全部 个排列检验三指标所得 一致。
禁止三元模式的排列,可通过插入最大元将全局约束转为一个短状态;须证明插入范围及删除恢复的唯一性。
实际任务是在五元排列中识别并排除三项递增模式,可用有限分类完成。
核心工具:状态转移与递推
易混 2023 年福建预赛 · P006667
先辨清禁止的三元相对次序,再证明围绕最大元的合法操作。一个记录插入最大元前的最初下降段,另一个在最大元处切开并强制左右值域分离。
后一题还要求交替条件在标准化的子问题中保留;前一题没有交替条件。两种禁序与递推状态不同,不能直接互换计数公式。
已记下,谢谢!