【读书笔记】格子路径计数LatticePathEnumeration 学一半的笔记
流水账流水账这篇什么都不是
- 方法
- 10.2 Lattice paths without restrictions 无限制格子路径
- 10.3 Linear boundaries of slope 1
- 10.4 Simple paths with linear boundaries of rational slope,部分一
- 10.5 Simple paths with linear boundaries with rational slope,部分二
- 10.6 Simple paths with a piecewise linear boundary
- 10.7 Simple paths with general boundaries
- 10.8 Elementary results on Motzkin and Schröder paths
- 10.9 A continued fraction for the weighted counting of Motzkin paths
- 10.10 Lattice paths and orthogonal polynomials
- 10.11 Motzkin paths in a strip
- 10.12 Further results for lattice paths in the plane
- 10.13 Non-intersecting lattice paths
- 10.14 Lattice paths and their turns
- 10.15 Multidimensional lattice paths
- 10.16 Multidimensional lattice paths bounded by a hyperplane
- 10.17 Multidimensional paths with a general boundary
- 10.18 The reflection principle in full generality
- 10.19 q-Counting of lattice paths and Rogers–Ramanujan identities
- 10.20 Self-avoiding walks
吐个槽,以为逛组合学就不要看到大段复杂的公式了,结果。。。后面的哪些公式\(\omega\varpi\)都出来了,还一堆上下标。。。\(\sum\)下面求和范围都密密麻麻写两行。。。
方法
如果某人尝试去列出格子路径计数问题中的一些重要方法,那么会包括下面这些:
- 生成函数;拉格朗日反演公式 ;residue calcus
- 一一映射
- reflection principle
- cycle lemma
- 转移函数方法
- 核方法
- the path switching involution for non-intersecting lattice paths
- manipulation of two-rowed arrays for turn enumeration
- 正交多项式;连分数
10.2 Lattice paths without restrictions 无限制格子路径
2维的例子,从(a,b)到(c,d),允许(0,1)和(1,0)
c+d-a-b \\
c-a
\end{array}\right)
\]
n维的例子,从\(\mathbf{a}\)到\(\mathbf{e}\),每次允许一个维度+1
\sum_{i=1}^{d}\left(e_{i}-a_{i}\right) \\
e_{1}-a_{1}, e_{2}-a_{2}, \ldots, e_{d}-a_{d}
\end{array}\right):=\frac{\left(\sum_{i=1}^{d}\left(e_{i}-a_{i}\right)\right) !}{\left(e_{1}-a_{1}\right) !\left(e_{2}-a_{2}\right) ! \cdots\left(e_{d}-a_{d}\right) !}
\]
2维的例子,从(a,b)到(c,d),允许\((0,\pm1)\)和\((\pm1,0)\),走n个steps
n \\
\frac{n+c+d-a-b}{2}
\end{array}\right)\left(\begin{array}{c}
n \\
\frac{n+c-d-a+b}{2}
\end{array}\right)
\]
2维的例子,从(a,b)到(c,d),允许(0,1)和(1,0)和(1,1)
c+d-a-b-k \\
k, c-a-k, d-b-k
\end{array}\right)
\]
一个带权重计数,联系了格子路径计数和整数分拆
记号\(a(P)\)表示path \(P\)的水平step和x轴夹的面积的代数和
一个q-模拟
c+d-a-b \\
c-a
\end{array}\right]_{q}
\]
举例:从(0,0)到(2,2)有6种
是UURR,URUR,RURU,RRUU,URRU,RUUR
4 \\
2
\end{array}\right]_{q}=\frac{\left(1-q^{4}\right)\left(1-q^{3}\right)}{(1-q)\left(1-q^{2}\right)}=\left(1+q^{2}\right)\left(1+q+q^{2}\right)=1+q+2 q^{2}+q^{3}+q^{4}
\]
10.3 Linear boundaries of slope 1
Theorem 10.3.1 在y=x对角线下
c+d-a-b \\
c-a
\end{array}\right)-\left(\begin{array}{c}
c+d-a-b \\
c-b+1
\end{array}\right)
\]
其中\(a \geq b,c\geq d\)
特例有:
ballot problem
c+d+1 \\
d
\end{array}\right) \ where \ c\geq d
\]
卡特兰数
2 n \\
n
\end{array}\right)
\]
Theorem 10.3.3 在两条斜率1的对角线之间
|L((a, b) \rightarrow(c, d) \mid x+t \geq y \geq x+s)| \\
\quad=\sum_{k \in \mathbb{Z}}\left(\left(\begin{array}{c}
c+d-a-b \\
c-a-k(t-s+2)
\end{array}\right)-\left(\begin{array}{c}
c+d-a-b \\
c-b-k(t-s+2)+t+1
\end{array}\right)\right)
\end{array}
\]
其中\(a+t\geq b\geq a+s\) and \(c+t\geq d\geq c+s\)
如果利用一些余数微积分的知识,我们可以改写成有sine和cosine的formula,这样容易分析渐进性质:
|L((a, b) \rightarrow(c, d) \mid x+t \geq y \geq x+s)| \\
=\sum\limits_{k=1}^{\lfloor(t-s+1) / 2\rfloor}\frac{4}{t-s+2}\left(2 \cos \frac{\pi k}{t-s+2}\right)^{c+d-a-b}
\cdot \sin \left(\frac{\pi k(a-b+t+1)}{t-s+2}\right) \cdot \sin \left(\frac{\pi k(c-d+t+1)}{t-s+2}\right)
\end{array}
\]
10.4 Simple paths with linear boundaries of rational slope,部分一
Theorem 10.4.1 rational Catalan number
r+s \\
r,s
\end{array}\right)
\]
这里没错。。。我找了个pdf
这个数如今被称为有理卡特兰数,
如果让\(r=n,s=n+1\),那么成为卡特兰数\(\frac{1}{n+1}\left(\begin{array}{c}
2n \\
n
\end{array}\right)\)
Theorem 10.4.5
c+d+1 \\
d
\end{array}\right)
\]
其中,\(\mu\)是一个非负整数,\(c\geq \bold{\mu} d\)
Lemma 10.4.6 Cycle Lemma
Theorem 10.4.7
10.5 Simple paths with linear boundaries with rational slope,部分二
10.6 Simple paths with a piecewise linear boundary
picewise 分段的,逐段的
像下面这样
Theorem 10.6.1
10.7 Simple paths with general boundaries
Theorem 10.7.1
a_{i}-b_{j}+1 \\
j-i+1
\end{array}\right)\right)
\]
10.8 Elementary results on Motzkin and Schröder paths
一些著名paths
常见的就这么几种
Motzkin paths 允许(1,1),(1,-1),(1,0) 不会到x轴下方
Schröder paths 允许(1,1),(1,-1),(2,0) 不会到x轴下方
Catalan paths 允许(1,1),(1,-1) 不会到x轴下方
Dyck paths 上面的3种只要出发点和终点都在x轴上,就叫做Dyck paths
Theorem 10.8.1
Motzkin paths enumeration
L((a, b) \rightarrow(c, d) ; M \mid y \geq 0) \mid \\
\quad=\sum_{k=0}^{c-a}\left(\begin{array}{c}
c-a \\
k
\end{array}\right)\left(\left(\begin{array}{c}
c-a-k \\
(c+d-k-a-b) / 2
\end{array}\right)-\left(\begin{array}{c}
c-a-k \\
(c+d-k-a+b+2) / 2
\end{array}\right)\right)
\end{array}
\]
Schröder paths enumeration
|L((a, b) \rightarrow(c, d) ; S \mid y \geq 0)|=\sum_{k=0}^{(c-a) / 2}\left(\begin{array}{c}
c-a-k \\
k
\end{array}\right) \\
\cdot\left(\left(\begin{array}{c}
c-a-2 k \\
(c+d-2 k-a-b) / 2
\end{array}\right)-\left(\begin{array}{c}
c-a-2 k \\
(c+d-2 k-a+b+2) / 2
\end{array}\right)\right)
\end{array}
\]
Corollary 10.8.2
出发点和结束点都在x轴上的Motzkin paths计数
n \\
2 k
\end{array}\right) \frac{1}{k+1}\left(\begin{array}{c}
2 k \\
k
\end{array}\right)
\]
出发点和结束点都在x轴上的Schröder paths计数
n / 2+k \\
2 k
\end{array}\right) \frac{1}{k+1}\left(\begin{array}{c}
2 k \\
k
\end{array}\right)
\]
10.9 A continued fraction for the weighted counting of Motzkin paths
给每个Motzkin path定义一个weight,定义为:
是所有step权重的乘积,
up-step的权重是\(1\),level step at height \(h\)的权重是\(b_h\),down step from height \(h\) to height \(h-1\)的权重是\(\lambda_h\)
Theorem 10.9.1 Motzkin path带权重
Theorem 10.9.2 Motzkin和Schröder number的GF
Theorem 10.9.3 Dyck path带权重
10.10 Lattice paths and orthogonal polynomials
10.11 Motzkin paths in a strip
10.12 Further results for lattice paths in the plane
10.13 Non-intersecting lattice paths
一些定义
有点像以前写过的routing,non-intersecting但是可以cross
Theorem 10.13.1
其实还是这个:以前写过的routing
剩下的看不懂看不懂看不懂
10.14 Lattice paths and their turns
10.15 Multidimensional lattice paths
10.16 Multidimensional lattice paths bounded by a hyperplane
10.17 Multidimensional paths with a general boundary
10.18 The reflection principle in full generality
10.19 q-Counting of lattice paths and Rogers–Ramanujan identities
10.20 Self-avoiding walks
说这个求精确解是复杂的,求渐进的情况是很多的。给你列出了参考文献
其中推荐的standard book(标准教科书)N.MadrasandG.Slade. The self-avoiding walk. Probability and its Applications, Birkh¨auser Boston, Inc., Boston, MA, 1993.
资料来自网络
书用的是Handbook of Enumerative Combinatorics by Miklos Bona
许多组合大牛写的组合计数综述合集,几乎覆盖组合计数学的各个方面
【读书笔记】格子路径计数LatticePathEnumeration 学一半的笔记的更多相关文章
- 牛客网 暑期ACM多校训练营(第一场)A.Monotonic Matrix-矩阵转化为格子路径的非降路径计数,Lindström-Gessel-Viennot引理-组合数学
牛客网暑期ACM多校训练营(第一场) A.Monotonic Matrix 这个题就是给你一个n*m的矩阵,往里面填{0,1,2}这三种数,要求是Ai,j⩽Ai+1,j,Ai,j⩽Ai,j+1 ,问你 ...
- 跟着鸟哥学Linux系列笔记3-第11章BASH学习
跟着鸟哥学Linux系列笔记0-扫盲之概念 跟着鸟哥学Linux系列笔记0-如何解决问题 跟着鸟哥学Linux系列笔记1 跟着鸟哥学Linux系列笔记2-第10章VIM学习 认识与学习bash 1. ...
- 【DG】[三思笔记]一步一步学DataGuard
[DG][三思笔记]一步一步学DataGuard 它有无数个名字,有人叫它dg,有人叫它数据卫士,有人叫它data guard,在oracle的各项特性中它有着举足轻理的地位,它就是(掌声)..... ...
- 堆优化Dijkstra计算最短路+路径计数
今天考试的时候遇到了一道题需要路径计数,然而蒟蒻从来没有做过,所以在考场上真的一脸懵逼.然后出题人NaVi_Awson说明天考试还会卡SPFA,吓得我赶紧又来学一波堆优化的Dijkstra(之前只会S ...
- 【洛谷】P1176: 路径计数2【递推】
P1176 路径计数2 题目描述 一个N×N的网格,你一开始在(1,1),即左上角.每次只能移动到下方相邻的格子或者右方相邻的格子,问到达(N,N),即右下角有多少种方法. 但是这个问题太简单了,所以 ...
- 洛谷——P1176 路径计数2
P1176 路径计数2 题目描述 一个N \times NN×N的网格,你一开始在(1,1)(1,1),即左上角.每次只能移动到下方相邻的格子或者右方相邻的格子,问到达(N,N)(N,N),即右下角有 ...
- 洛谷 P1176 路径计数2
P1176 路径计数2 题目描述 一个N×N的网格,你一开始在(1, 1),即左上角.每次只能移动到下方相邻的格子或者右方相邻的格子,问到达(N, N),即右下角有多少种方法. 但是这个问题太简单了, ...
- 《Linux就该这么学》培训笔记_ch02_一些必须掌握的Linux命令
本文在原来作者的基础上做一些符合自己的修改.原文参考: <Linux就该这么学>培训笔记_ch02_一些必须掌握的Linux命令. 本章的内容虽然多,基本都是书本原话,但是笔记能精 ...
- 《Linux就该这么学》培训笔记_ch03_管道符、重定向与环境变量
<Linux就该这么学>培训笔记_ch03_管道符.重定向与环境变量 文章最后会post上书本的笔记照片. 文章主要内容: 输入输出重定向 管道命令符 命令行的通配符 常用的转义字符 重要 ...
- 《Linux就该这么学》培训笔记_ch04_Vim编辑器与Shell命令脚本
<Linux就该这么学>培训笔记_ch04_Vim编辑器与Shell命令脚本 文章最后会post上书本的笔记照片. 文章主要内容: Vim编辑器 Shell脚本 流程控制语句 if语句 f ...
随机推荐
- ubuntu64运行32位程序安装过程
Ubuntu运行32位程序可以使用如下方法: 第一步: 确认你有一个64位架构的内核 你可以打开终端然后输入: dpkg --print-architecture 你将会看到像下面这样的内容: amd ...
- Coursera Programming Languages, Part B 华盛顿大学 Homework 5
这次 Week 2 的作业比较难,任务目标是使用 \(racket\) 给一个虚拟语言 \(MUPL\) (made-up programming language) 写一个解释器 所以单独开个贴来好 ...
- 【电脑】电脑windows10添加开机启动项
1.添加开机启动项,首先按组合键"win+R"唤出运行窗口,输入"shell:startup"点击确认,打开启动项文件夹. 2.将需要设置为开机启动的软件快捷方 ...
- 自动化测试工具selenium的常用定位方法
定位方法不仅限于这些,我也会随时补充,大家有其他补充或建议可以在评论区一起讨论哦!!! [打开链接]drive.get("https://www.baidu.com") ...
- wpf 使用了 template 了的 combobox 中,displaymemberpath 有 bug,仅在 popup 中生效
需求是:仅想改变combobox的默认样式,所以 template 是直接在属性窗口点击转化为本地值的. using System.Collections.Generic; using System. ...
- AutoCAD2018_64bit
「AutoCAD_2018_Simplified_...hinese_Win_64bit」https://www.aliyundrive.com/s/eiLscbxkMui 点击链接保存,或者复制本段 ...
- 基础篇二:Linux常用系统命令
Linux常用系统命令 pwd 打印当前目录 cd /目录 切换目录 cd .. 切换上一级目录 ls 显示目录 ls -a 包括隐藏文件 ls -l 以长格式列出 alias 当前系统所有别名 ...
- idea创建maven + tomcat项目
移动文件夹: 找到tomcat文件目录 配置完成,添加测试html文件: 运行 修改默认路径:
- md文件使用说明
md文件简单使用介绍 二级标题 三级标题 斜体文本 粗体文本 粗斜体文本 分隔线 删除号 带下划线 创建脚注格式类似这样 [1]. #include <iostream> using na ...
- Centos8 中安装GitLab
Centos8 中安装GitLab 1,安装依赖 yum install -y curl policycoreutils-python openssh-server centos8没有policyco ...