Catalan Number
THEOREM: The th Catalan number is the number of solutions of the system
and is equal to .
- is the set of all solutions of the system
- : a bijection from to the ballot sequences of length //
- : the set of all T-routes from to above the x-axis//?
- A map Given a solution ,
- Let for all
- for
- ;
- is a T-route above the x-axis
- A map: Given a T-route to above the x-axis, say ,
- : ;
:
Combinations of Sets
DEFINITION: Let and let . An -combination of is simply an -subset of . // for simplicity, we may use
- with
THEOREM: For all and , the number of -combinations of an -element set is .
DEFINITION: Let and let . An -combination (with repetition) of is a multiset of of elements, where are integers and . // for simplicity, we may use
- with
THEOREM: For all and , the number of -combinations (with repetition) of an element set is .
- : the set of all -combinations of with repetition
- : the set of all -combinations of without repetition
- Let and .
- is a bijection. Hence,
THEOREM: The number of natural number solutions of the equation is .
- and
- : the set of all -combinations of with repetition
- is a bijection. Hence, .
Combinations of Multiset
DEFINITION: Let be an -multiset. Let . An -combination of is an -subset (multiset) of .
- , where for every and .
EXAMPLE:
- is a 3-combination of ; a 3-subset of
REMARK: understanding combinations of a set with those of a multiset
- For every , an -combination of without repetition is an -combination of .
- For every , an -combination of with repetition is an -combination of .
Inverse Binomial Transform
DEFINITION: The binomial transform of is a sequence s.t.
DEFINITION: The inverse binomial transform of is a sequence s.t.
QUESTION: Given (1), how to find the sequence ?
- Answer: is the inverse binomial transform of
- Application: determine via
Combinatorial Proofs
DEFINITION: A combinatorial proof of an identity is
- a double counting proof, showing that count the same set but in different ways:
- and count in different ways.
- a bijective proof, which shows a bijection between the sets counted by and :
- and there is a bijection .
EXAMPLE:
- contains 0’s contains 1’s
LEMMA: for any such that .
- Let be a finite set of elements
- Let
- choose then choose :
- choose then choose :
LEMMA: .
- as
LEMMA: Let . Then
| \ | | | | | | row sum |
|---|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| col sum | | | | | | |
THEOREM: Let be two sequences s.t. for all , . Then
.
Distribution Problems
The Problem Statement: distributing objects into boxes
- Objects may be distinguishable (labeled with) or indistinguishable (unlabeled)
- Boxes may be distinguishable (labeled with ) or indistinguishable (unlabeled)
- What is the number of methods of distributing objects into ?
| Problem Type | Objects | Boxes |
|---|
| 1 | labeled | labeled |
| 2 | unlabeled | labeled |
| 3 | labeled | unlabeled |
| 4 | unlabeled | unlabeled |
Problem Classification
Type 1
Problem: distributing labeled objects into labeled boxes
Classifications
THEOREM: The # of ways of distributing labeled objects into labeled boxes such that objects are placed into box for every is .
- : the set of the expected distributing schemes
REMARK: # of permutations of
Type 2
Problem: distributing unlabeled objects into labeled boxes
Classifications
THEOREM: The number of ways of distributing unlabeled objects into labeled boxes is .
- : the set of the expected distributing schemes
- a scheme where objects are put into box
- is a bijection. Hence,
REMARK: # of -combinations of
分配问题四种情况终于搞懂了
卡塔兰数在编程里还真用得上
之前学这个的时候差点放弃
有人能解释下双射是啥意思吗
组合数学也太抽象了🤯
这公式看得我头晕
分布问题四种情况,考试必考我感觉
nn和kk的标记,看久了像颜文字
逆二项变换这名字起得,听着像科幻技能
Type 2那个公式,本质就是隔板法嘛
有人用卡塔兰数算过括号匹配吗?
组合证明那块,双计数比代数推导好懂多了
这课PPT公式密度,比我期末复习还狠
我在做排班时用到分配模型,省了不少手动算的时间,真的实用得很
要是盒子不可区分,公式还能直接套用吗?
我尝试过,直接套会少点计数,得改用组合数公式 🤔
把分布问题那四种情况一列,瞬间通透了
我也觉得列出来更清晰
二项式逆变换这公式推得也太巧妙了
确实,推得让人眼前一亮
这映射关系看懂的瞬间爽到了
方程解转组合数绝了
我也看愣了
卡塔兰数这转换太烧脑了
真的很费脑,理解不易
这段双射真的让我眼前一亮
分配问题四种情况理清了
我也是刚搞明白
二项式逆变换那块看三遍了还是晕
双射那块的思路挺巧的
这公式推得我脑壳疼
同感,公式看得头疼
这双射构造看得我头皮发麻
卡塔兰映射挺有意思
我看了也觉得挺神奇的,尤其那条双射。
别说组合数学没用,我在做排班时用到分配模型,省了不少手动算的时间,真的实用得很
我上学时做过Catalan的计数题,卡在递推公式上好久
如果盒子不可区分,公式还能直接套用吗?
不可区分盒子要加斯特林数,直接套会错
公式排版太密,眼睛要炸 😂
组合数学纯属自虐,谁懂😭
看完分布表,感觉像在玩拼图
分布表那个四格分类,记了忘忘了记
这段双射真的挺直观的
Catalan数那个不等式条件太 tricky 了,第一次根本想不到
卡塔兰数在实际中有啥应用场景吗?
比如括号匹配、二叉树计数都离不开它
之前搞过这个,确实折腾了好久
也折腾到深夜,调试完才发现约束少了
卡塔兰数那个双射构造,当初学的时候卡了三天
这排列组合看得我头大
这分布问题的四种类型分类得挺清晰
分类确实很清楚
这公式排版看得我眼花
双射那部分理解起来有点绕
这组合数学内容有点烧脑
同感,组合数学确实难
Catalan数在路径计数中的应用挺巧妙
实际应用场景能举个例吗
组合恒等式推导过程挺清晰
映射关系这部分需要多看看
这组合恒等式推导过程挺严谨
同感,推导很清晰
双射证明这部分写得挺直观
我也觉得挺清晰
这分布问题的分类整理得挺清楚
分布类型表救我狗命,终于理清了
我刚学完分配模型,这表格帮我理清思路,真是省事儿。
卡塔兰数这映射关系还挺巧妙
这公式看着头大,组合数学真要命🤯
别慌,先算几个小例子,慢慢会顺的