由 排列而成的 项数列 满足:每项都大于它之前的所有项或者小于它之前的所有项,则满足这样条件的数列 的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
逆向删除最后一项:它必须是全局最大或最小,删去后标准化得到同类型的短排列。
设所求为 。当 时 。对 ,最后一项大于或小于之前全部项,故必为 或一。删去它并将剩余数按大小标准化,得到一个长度 的合法排列。反之,任一这样的短排列都可在末尾添上新的最小值或最大值,唯一得到两种合法长排列。因此 ,所以
时两排列均合法; 时只有 四个,符合公式。首项的条件为空,不应预先限定首项只能为全局极值。
每个新项必须创造新纪录时,从末尾的全局极值逆向删除,常比从首项正向猜选法更清楚。
需发现末项必为全局极值的逆向结构,并证明删除及添加两种操作的双射,不能简单认为正向每步都任意二选。
核心工具:把对象唯一编码后分类计数
已记下,谢谢!