知识点整理--组合数学

定义

  组合:C(n,m)表示从n个元素中,取任意的m个元素的方案数。

  定义式:       递推式:C(n,m)=C(n-1,m-1)+C(n-1,m)

  排列:A(n,m)表示从n个元素中,取任意的m个元素并排列好的方案数

常用公式

1. C(n,m)=C(n,n-m)

2. ∑C(n,i)=2^n

  证明:从n个元素中任意取i个(0<=i<=n)的所有不同方案。

     首先,∑C(n,i)表示从n个元素中任意取0个的所有不同取法+从n个元素中任意取1个的所有不同取法+从n个元素中任意取2个的所有不同取法+……+从n个元素中任意取n个的所有不同取法的总和。

     其次考虑对于n个元素中的任意一个,记作A,则在每次取时,A都有取或不取两种选择,并对于A的选择是独立的,与其他元素无关。所以∑C(n,i)=2^n。

3. ∑i*C(n,i)=n*2^(n-1)

  意义:i*C(n,i) 表示先从n个元素里取出i个元素,再从这i个元素中取出一个元素。

  证明:参考公式2

4. ∑(i<=n)C(i,m)=C(n+1,m+1)

  放到杨辉三角上就是紫色部分的和等于其右下角的值(粉色圈里)

5. ∑(i<=k)C(n,i)*C(m,k-i)=C(n+m,k)

卡特兰数

  括号匹配:包含2n个括号的合法括号序列有多少个

    将左括号看作0,右括号看作1,本问题就变成了:求序列任意前缀0的个数大于或等于1的个数

    那么对于一个非法序列,一定存在某个最短前缀中,1的个数比0的个数多1。此时我们将此前缀01取反,剩下的不变,最后得到序列中有n+1个0和n-1个1。

    得到的方案数C(2n,n-1)

    另外,此过程是可逆的,也就意味着对于合法序列,我们可以将其01取反变成非法序列。

  通过网格:从坐标(0,0)到(n,n),求不跨过对角线的方案数。

    将向右走记作0,向上走记作1,同上。

  三角划分:给定一个凸N边形,求将其三角形化的方案数(划分成N-2个三角形)

    f 是方案数,h是卡特兰数。

    f(n)=h(n-2) (n=2,3,4,……)

(待更新补充……)

时间: 2024-11-05 18:25:46

知识点整理--组合数学的相关文章

数据库设计教程系列——相关知识点整理

一.教程概述 此数据库设计教程是笔者参考网上资料.相关书籍,以及加上自己多年做数据库设计相关工作的经验积累写就. 数据库设计教程在网上已经有大量类似的资料,并且该领域有不少专业书籍,珠玉在前,心有戚戚. 但这作为唯心六艺之一,我还是希望能够在整理知识的同时,写出自己的一些内容,如果能够对读者 有所帮助,那就最好不过了,谢谢. 本教程主要基于关系型数据库进行讲解,对于维度数据库也会视情况有所涉猎. 下面是整个教程涉及的知识点整理,在撰写教程的过程中,如果有改动,也会调整更新此图. 二.知识点整理

asp.net mvc 3.0 知识点整理 ----- (2).Controller中几种Action返回类型对比

通过学习,我们可以发现,在Controller中提供了很多不同的Action返回类型.那么具体他们是有什么作用呢?它们的用法和区别是什么呢?通过资料书上的介绍和网上资料的查询,这里就来给大家列举和大致的概括下. (1). ActionResult(base):最基本的Action类型,返回其他类型都可以写ActionResult. (2). ContentResult:返回ContentResult用户定义的内容类型. public ActionResult Content() { return

【知识点整理】Oracle中NOLOGGING、APPEND、ARCHIVE和PARALLEL下,REDO、UNDO和执行速度的比较

[知识点整理]Oracle中NOLOGGING.APPEND.ARCHIVE和PARALLEL下,REDO.UNDO和执行速度的比较 1  BLOG文档结构图 2  前言部分 2.1  导读和注意事项 各位技术爱好者,看完本文后,你可以掌握如下的技能,也可以学到一些其它你所不知道的知识,~O(∩_∩)O~: ① 系统和会话级别的REDO和UNDO量的查询 ② NOLOGGING.APPEND.ARCHIVE和PARALLEL下,REDO.UNDO和执行速度的比较(重点)   Tips: ① 本文

【Android 面试基础知识点整理】

针对Android面试中常见的一些知识点整理,Max 只是个搬运工,感谢本文中引用文章的各位作者,给大家分享了这么多优秀文章,对于其中的解析,是原作者个人见解,有错误和不准确的地方,也请大家积极指正. 本文将持续更新,同时我也将其放在Github上:Point-of-Android 同时可以看Max的个人博客:海上钢琴师 Android中的异步任务机制 Android中AsyncTak的使用与源码分析 http://blog.csdn.net/bboyfeiyu/article/details/

·DP」知识点整理

一.最长公共子序列(LCS Longest Common  Subsequence) 第一,先说区别,最长公共子串和最长公共子序列是不一样的. 最长公共子串不许是连续的,而最长公共子序列可以是不联系的. 网络上解释的子序列: 一个字符串S,去掉零个或者多个元素所剩下的子串称为S的子序列.最长公共子序列就是寻找两个给定序列的子序列,该子序列在两个序列中以相同的顺序出现,但是不必要是连续的. 例如 X=ABCBDAB Y=BDCABA BCA是X和Y的一个公共子序列,但是不是X和Y的最长公共子序列,

Python--matplotlib绘图可视化知识点整理

Python--matplotlib绘图可视化知识点整理 强烈推荐ipython 原文:http://michaelxiang.me/2016/05/14/python-matplotlib-basic/ 无论你工作在什么项目上,IPython都是值得推荐的.利用ipython --pylab,可以进入PyLab模式,已经导入了matplotlib库与相关软件包(例如Numpy和Scipy),额可以直接使用相关库的功能. 本文作为学习过程中对matplotlib一些常用知识点的整理,方便查找.

asp.net mvc 3.0 知识点整理 ----- (4).HtmlHelper(Html 辅助方法)介绍

在View视图中,Html的类型是System.Web.Mvc.HtmlHelper<T>, 所有的辅助方法都需要和ModelState交互.那么,ModelState是什么呢?它是模型绑定的附属品,并且存有模型绑定期间检测到的所有验证错误.以及用户提交用到来更新模型的原始值.本篇博文,我们主要来介绍下一些常用的html辅助方法的主要作用和使用方法. 1. Html.BeginForm()和Ajax.BeginForm().   Html.BeginForm(): 同于传统的表单提交,主要是生

asp.net mvc 3.0 知识点整理 ----- (3).asp.net mvc 3 和asp.net mvc 4 对比

asp.net mvc的版本更新很快,每个版本都在前一个版本的基础上,进行性能的优化和功能的完善和提升. 以下,便是我对比了下两个版本,发现最基本的差异.(更新补充中..) 一.关于配置类Global.asax的不同 为了较少配置类的杂乱代码,asp.net mvc 4 中 将Global.asax文件中的内容单独到 App_Start 下的几个配置文件中去. 在asp.net mvc 3 中: public static void RegisterGlobalFilters(GlobalFil

第一次提交《软件测试》第1、2章知识点整理

<软件测试>第1.2章知识点整理 第1章 软件测试的背景 1.1 臭名昭著的软件错误用例研究 1.1.1 迪斯尼的狮子王 1994-1995(兼容性) 1.1.2 英特尔奔腾浮点除法缺陷 1994(缺陷处理) 1.1.3 美国航天局火星极地登陆者号探测器 1999(集成测试) 1.1.4 爱国者导弹防御系统 1991 (长时间测试的压力) 1.1.5 千年虫问题 1974 (算法设计) 1.1.6 危险的预见 2004 (难保证软件的正确性) 1.2 软件的缺陷是什么 1.2.1 软件失败的术