tags: Combinatorics

写在前面

这一部分主要是计数组合学中的第3.5和3.6节的内容.

分配格的简单性质

容易验证:

  • 组合学笔记(五)分配格中的链_偏序组合学笔记(五)分配格中的链_组合学_02元序理想的个数等于组合学笔记(五)分配格中的链_线性代数_03中秩为组合学笔记(五)分配格中的链_组合学_02的元素个数.
  • 组合学笔记(五)分配格中的链_偏序组合学笔记(五)分配格中的链_组合学_02元反链组合学笔记(五)分配格中的链_偏序_07的个数等于组合学笔记(五)分配格中的链_线性代数_03中恰好覆盖组合学笔记(五)分配格中的链_组合学_02

命题1

组合学笔记(五)分配格中的链_组合学_10 为有限偏序集并且 组合学笔记(五)分配格中的链_偏序_11, 则下面的数目相等:

  1. 保序映射组合学笔记(五)分配格中的链_偏序_12的个数,
  2. 组合学笔记(五)分配格中的链_线性代数_03中长为组合学笔记(五)分配格中的链_线性代数_14的可重链组合学笔记(五)分配格中的链_组合学_15
  3. 组合学笔记(五)分配格中的链_组合学_16中元素的个数.

证明: (构造双射)

组合学笔记(五)分配格中的链_偏序_12,(偏序集组合学笔记(五)分配格中的链_偏序组合学笔记(五)分配格中的链_线性代数_14元链的映射) 定义组合学笔记(五)分配格中的链_偏序_20, 给定组合学笔记(五)分配格中的链_组合学_15, 定义组合学笔记(五)分配格中的链_组合学_16的序理想为

组合学笔记(五)分配格中的链_组合学_23

定义上述的组合学笔记(五)分配格中的链_偏序_24为: 如果存在组合学笔记(五)分配格中的链_组合学_25使得组合学笔记(五)分配格中的链_线性代数_26, 则组合学笔记(五)分配格中的链_线性代数_27, 若不存在, 则组合学笔记(五)分配格中的链_线性代数_28. 这构成了满足上条件的双射. 或者直接由组合学笔记(五)分配格中的链_线性代数_29得到:

组合学笔记(五)分配格中的链_线性代数_30

命题2

组合学笔记(五)分配格中的链_组合学_10 为有限偏序集并且 组合学笔记(五)分配格中的链_偏序_11, 则下面的数目相等:

  1. 保序满射组合学笔记(五)分配格中的链_偏序_12的个数,
  2. 组合学笔记(五)分配格中的链_线性代数_03中长为组合学笔记(五)分配格中的链_线性代数_14的链组合学笔记(五)分配格中的链_偏序_36
  • 组合学笔记(五)分配格中的链_偏序到全序的扩张(组合学笔记(五)分配格中的链_偏序的线性扩张): 如果组合学笔记(五)分配格中的链_偏序_39,则保序双射组合学笔记(五)分配格中的链_线性代数_40.
  • 扩张个数记为组合学笔记(五)分配格中的链_线性代数_41,显然等于组合学笔记(五)分配格中的链_线性代数_03中极大链的条数.

分配格与格路计数

可以将组合学笔记(五)分配格中的链_组合学_10到全序的扩张组合学笔记(五)分配格中的链_组合学_44等同于组合学笔记(五)分配格中的链_组合学_10中元素的排列: 组合学笔记(五)分配格中的链_偏序_46, 或者将组合学笔记(五)分配格中的链_偏序_47的极大链等同于下面欧式空间中的"格路".

假设组合学笔记(五)分配格中的链_线性代数_48组合学笔记(五)分配格中的链_组合学_10的一个链划分, (Dilworth定理推论指出组合学笔记(五)分配格中的链_线性代数_50的最小可能值为组合学笔记(五)分配格中的链_组合学_10的反链的最大基数), 定义映射组合学笔记(五)分配格中的链_线性代数_52 ,组合学笔记(五)分配格中的链_线性代数_53.

赋予组合学笔记(五)分配格中的链_偏序_54乘积序, 则组合学笔记(五)分配格中的链_偏序_55为一个单的格同态, 且保持覆盖关系, (组合学笔记(五)分配格中的链_偏序_47同构于组合学笔记(五)分配格中的链_偏序_54)的一个子格, 如果选择每一个组合学笔记(五)分配格中的链_线性代数_58, 得到一个保秩的单的格同态组合学笔记(五)分配格中的链_线性代数_59, 区中组合学笔记(五)分配格中的链_线性代数_60.)

给定组合学笔记(五)分配格中的链_线性代数_52, 定义组合学笔记(五)分配格中的链_线性代数_62, 其中组合学笔记(五)分配格中的链_线性代数_63表示组合学笔记(五)分配格中的链_组合学_64中的凸包而组合学笔记(五)分配格中的链_线性代数_65取遍组合学笔记(五)分配格中的链_偏序_47中同构于布尔代数的区间. 组合学笔记(五)分配格中的链_组合学_67组合学笔记(五)分配格中的链_组合学_64的一个紧多面体子集.

组合学笔记(五)分配格中的链_偏序_47中最长链的数目等于在组合学笔记(五)分配格中的链_组合学_67中从原点组合学笔记(五)分配格中的链_线性代数_71组合学笔记(五)分配格中的链_偏序_72的格路的条数, 每步沿着坐标轴方向移动一个单位.

即, 扩张个数组合学笔记(五)分配格中的链_线性代数_41等于将组合学笔记(五)分配格中的链_线性代数_74表示为组合学笔记(五)分配格中的链_组合学_75的方法数, 其中每一个组合学笔记(五)分配格中的链_偏序_76是在组合学笔记(五)分配格中的链_偏序_77中的一个单位向量, 并且对所有的组合学笔记(五)分配格中的链_组合学_78, 有组合学笔记(五)分配格中的链_偏序_79.

例1:(不交并)具体问题

对于下面的偏序集, 取组合学笔记(五)分配格中的链_组合学_80.


利用前面一小节的方法, 可以容易的找出组合学笔记(五)分配格中的链_偏序_47, 如下图所示, 进行了元素的标记:


通过上面的坐标标记, 可以得到:


从图中的组合学笔记(五)分配格中的链_线性代数_82组合学笔记(五)分配格中的链_偏序_83, 即从组合学笔记(五)分配格中的链_偏序_84组合学笔记(五)分配格中的链_偏序_85,有组合学笔记(五)分配格中的链_组合学_86条可以选择的路, 所以组合学笔记(五)分配格中的链_线性代数_87.

例2:(不交并)一般的例子

组合学笔记(五)分配格中的链_偏序_88, 且组合学笔记(五)分配格中的链_偏序_89, 则组合学笔记(五)分配格中的链_组合学_67为一个组合学笔记(五)分配格中的链_线性代数_91长方形网格, 于是组合学笔记(五)分配格中的链_偏序_92, 从线性序扩张角度, 构造组合学笔记(五)分配格中的链_组合学_93, 完全由组合学笔记(五)分配格中的链_偏序_94确定, 为组合学笔记(五)分配格中的链_线性代数_95 的任意组合学笔记(五)分配格中的链_偏序_96元子集, 由此也可以得到组合学笔记(五)分配格中的链_组合学_97.

推广:

如果组合学笔记(五)分配格中的链_线性代数_98, 则

组合学笔记(五)分配格中的链_组合学_99

例3: (笛卡尔积)

组合学笔记(五)分配格中的链_组合学_100, 取组合学笔记(五)分配格中的链_组合学_101, 组合学笔记(五)分配格中的链_线性代数_102, 则组合学笔记(五)分配格中的链_线性代数_103. 当组合学笔记(五)分配格中的链_偏序_104, 即组合学笔记(五)分配格中的链_组合学_105, 偏序集组合学笔记(五)分配格中的链_组合学_10如下所示:


容易得到组合学笔记(五)分配格中的链_偏序_47如下图:


这等价于不穿过组合学笔记(五)分配格中的链_偏序_108且只往上和右走一个格的格路数, 显然图中为组合学笔记(五)分配格中的链_偏序_109. 一般地, 组合学笔记(五)分配格中的链_偏序_110.

递推关系

组合学笔记(五)分配格中的链_偏序_111看作组合学笔记(五)分配格中的链_偏序_47上的函数, 即如果组合学笔记(五)分配格中的链_组合学_113, 则组合学笔记(五)分配格中的链_组合学_114表示组合学笔记(五)分配格中的链_偏序_115作为组合学笔记(五)分配格中的链_组合学_10的偏序子集扩张到全序集的个数, 因此组合学笔记(五)分配格中的链_组合学_114等于在组合学笔记(五)分配格中的链_偏序_47中从组合学笔记(五)分配格中的链_偏序_119组合学笔记(五)分配格中的链_偏序_115

组合学笔记(五)分配格中的链_线性代数_121

其中组合学笔记(五)分配格中的链_线性代数_122取遍组合学笔记(五)分配格中的链_偏序_47组合学笔记(五)分配格中的链_偏序_115所覆盖的所有元素, 类似于杨辉三角, 组合学笔记(五)分配格中的链_组合学_114就是恰好在组合学笔记(五)分配格中的链_偏序_115下面的组合学笔记(五)分配格中的链_线性代数_127的和.

一个简单的例子就是组合学笔记(五)分配格中的链_偏序_128, 记组合学笔记(五)分配格中的链_组合学_129组合学笔记(五)分配格中的链_组合学_10的有限序理想构成的格, 则有组合学笔记(五)分配格中的链_组合学_131.