“最后核对互逆。顶点在剩余序列中的出现次数等于当前度数减一,因此解码选中的恰是编码刚刚删去的最小叶子。逐步恢复每条边,便同时证明不同树不会撞码、每个序列都有树对应。于是由乘法原理,$n 2$…”
形式陈述
笛卡尔积中的一个结果是“每个位置各取一个元素”得到的完整元组,坐标顺序属于结果。例如
更一般地,若第
这里要求的是各阶段的可选数量恒定,不要求可选对象相同,也不要求概率意义上的独立性。只要某阶段没有任何延伸,完整序列数就为零;零个阶段则只有一条空序列,对应空积
直觉
把选择过程画成树。第一层有
选择会相互限制并不自动破坏乘法。安排不同的人担任不同职位时,前面选了谁会改变下一步可选的人,但剩余人数仍固定。真正妨碍直接相乘的是同层不同前缀有不同的延伸数,或不同路径最终表示同一对象。
例子与边界
两位大写字母后接三位数字的编码,允许重复时有
三件上衣与四条裤子都可自由搭配时有
长度
另一个边界是从五人中依次选两人: