偏序集缺少偏序集。大小为`n`的偏序集由一组`n`元素和一个二进制关系组成。
有限偏序集可以用Hasse图(有向非循环图)表示。在哈斯图中,每个顶点代表一个不同的元素,每个箭头从较小的元素指向较大的元素。大小为`n`的偏序集的线性扩展是一种在垂直方向填充整数`\{1,2,\cdots,n\}`的方法,以便满足所有箭头。
例如,我们的标志表示偏序集,线性扩展数为`6`。
我们定义了偏序集族`\{P_n\}`。根据“P_1”、“P_2”、“P_3”和“P_4”可以很容易地得到“P_n”的样子。
`a(n)`是偏序集“P_n”的线性扩展数。例如,`a(1)=1`和`a(2)=10`。
查找“a(n)”。