其他分享
首页 > 其他分享> > 【读书笔记】排列研究-线性顺序

【读书笔记】排列研究-线性顺序

作者:互联网

upd 2020-08-09 19:53 完成最初稿




目录

吐个槽,

一个排列的reverse是说\(p^r=p_np_{n-1}...p_1\)

一个排列的inverse是说圆分解,每个圆都反向

descent和ascent定义

在一个排列\(p\)中,

我们说下标\(i\)是一个descent如果\(p_i>p_{i+1}\)

我们说下标\(i\)是一个ascent如果\(p_i<p_{i+1}\)

我们说排列在下标\(i\) changes direction 如果\(p_{i-1}<p_i>p_{i+1}\)(\(p_i\)是peak)或者\(p_{i-1}>p_i<p_{i+1}\)(\(p_i\)是valley)

下标\(i\)是一个excedance如果\(p_i>i\)

descent构成的位置集叫做 the descent set of \(p\), 记作\(D(p)\)

\(D(p)\)的大小记作\(d(p)\)或者\(des(p)\)


欧拉数\(A(n,k)\)表示the number of n-permutations with k-1 descents

欧拉数\(A(n,k)\)也表示the number of n-permutations with k-1 excedance

\(G(n,k)\)表示【\(k\)个alternating runs的n-permutaiton】的数量


排列被\(k-1\)个下降位分隔为\(k\)个ascending runs,举例,The three ascending runs of p=2415367 are 24, 15, and 367.

排列有\(k\)个alternating runs,在\(k-1\)个位置changes direciton ,散点图上看就是,\(k\)段折线,举例,Permutation 3561247 has three alternating runs,6是peak,1是valley

开胃菜

image-20200809185133525

排旗公式,不解释

image-20200809185307416

这种求和形式让人想到容斥原理

欧拉数\(A(n,k)\)的递归方程

upd 2021-04-04 今天检查发现好像写错了,可以看oeis给的递推方程

对所有满足\(k\leq n\)的正整数\(k\)和\(n\)

\[A(n, k+1)=(k+2) A(n-1, k+1)+(n-k-1) A(n-1, k) \]

给个证明

考虑从(n-1)-排列到k+1个descent的n-排列的转移,考虑\(n\)插入的位置

如果\(n\)插在最后或者插在【descent和descent后一位之间】,那么descent数目不变,那么要求转移前的(n-1)-排列有\(k+1\)个descent。
有\(k+1+(1)=k+2\)个选择,解释了右手边第一项

如果\(n\)插在其他位置,那么descent数目+1,那么要求转移前的(n-1)-排列有\(k\)个descent。
有\((n)-(k+1)=n-k-1\)个选择,解释了右手边第二项

吐个槽,这里书里给的方程错了,证明思路是对的

欧拉数相关的其他方程

image-20200809190627482

image-20200809190654541

欧拉数的显式方程Explicit formula

插曲

斯特林数和欧拉数

嗯其实挺像的

欧拉数是把\([n]\)分成\(k\)个排列,每个排列都是上升的

第二类斯特林数\(S(n,r)\)是把\([n]\)分成\(r\)个集合

第一类斯特林数是把\([n]\)分成\(k\)个圆排列

它们之间联系的方程不要太多,没记错的话《具体数学》里有,这里不放了

(无符号)第二类斯特林数的显式方程

\[S(n, r)=\frac{1}{r !} \sum_{i=0}^{r}(-1)^{i}\left(\begin{array}{c} r \\ i \end{array}\right)(r-i)^{n} \]

欧拉数和生成函数

欧拉多项式的定义

对所有的非负整数\(n\),多项式

\[A_{n}(x)=\sum_{k=1}^{n} A(n, k) x^{k} \]

is called the nth Eulerian polynomial.

欧拉多项式的显式方程

44

举例

\[A_{1}(x)=(1-x)^{2} \sum_{i>0} i x^{i}=(1-x)^{2} \cdot \frac{x}{(1-x)^{2}}=x \]

\[A_{2}(x)=(1-x)^{3} \sum_{i>0} i^{2} x^{i}=(1-x)^{3} \cdot\left(\frac{2 x^{2}}{(1-x)^{3}}+\frac{x}{(1-x)^{2}}\right)=x+x^{2} \]

研究欧拉数-a master GF

\[\begin{array}{c} \text {Let } r(x, u)=\sum_{n \geq 0} \sum_{k \geq 0} A(n, k) x^{k} \frac{u^{n}}{n !} . \text { Then we have} \\ r(x, u)=\frac{1-t}{1-t e^{u(1-t)}} \end{array} \]

。。。二重求和的时候把\(x\)和\(u\)当成形式变量

观察欧拉数金字塔研究性质

欧拉数金字塔长这样

image-20200809193212000

给出一些实序列的property的定义

unimodal是说the sequence of positive real numbers \(a_{1}, a_{2}, \cdots, a_{n}\) is unimodal if there exists an index \(k\) such that \(1 \leq k \leq n,\) and \(a_{1} \leq a_{2} \cdots \leq a_{k} \geq a_{k+1} \geq a_{n}\)

log-concave是说the sequence of positive real numbers \(a_{1}, a_{2}, \cdots, a_{n}\) is \(\log\) concave if $ a_{k-1} a_{k+1} \leq a_{k}^{2}$ holds for all indices \(k\).

log-concave==>unimodal

一个正实数序列has real roots only (real zeros only) <==> \(\sum\limits_{i=1}^{n}a_ix^i\)只有实根

牛顿的定理:has real roots only=>log-concave

has real roots only=>序列要么有1个要么有2个最大值

欧拉多项式的所有根都是实的

\(A_{n}(x)=\sum\limits_{k=1}^{n} A(n, k) x^{k}\)的所有根都是实的

暂时写到这




资料来自网络

书用的是Combinatorics of permutations by Miklos Bona

标签:方程,顺序,descent,读书笔记,sum,排列,显式,线性,欧拉
来源: https://blog.51cto.com/u_15247503/2871587