具体数学-第1课(递归求解实际问题)

简介: 这学期提前选修了研究生的课程:具体数学、人工智能前沿、NLP讨论班,就随便记记具体数学每一节课所学的东西吧。第一节课讲的都是一些很简单的东西,这里就一带而过了。

汉诺塔问题


这是个老生常谈的问题了,n个盘子,3个柱子的汉诺塔问题,最少移动次数记为 image.png

那么 image.png

边界条件为 image.png

解出 image.png

验证可以采用数学归纳法,这里就不多说了。

直线分割平面问题


这也是个高中问题了,n条直线最多分割平面为几部分,记为 image.png

那么 image.png

边界条件为 image.png

解出 image.png

这题有个扩展,n个V型最多分割平面为几部分?

解决思路如下:

c164d797cdcad6098f2ca092fe01df7c.jpg

如上图所示,将V型补全(红色虚线部分),那么就转化为了 2n 条直线划分平面数,那么n个V型划分数只要减去 2n 就行了,所以答案为:

image.png

约瑟夫环问题


这个问题暴力求解的话模拟就行了,复杂度是 image.png 的,这里探索一种直接求解的方法。

分两种情况讨论:

当有 2n 个人时,踢掉 n 个人之后,情况如下图所示

0bf9031ece39dbd68500fbb5851e7367.jpg

观察对应关系可以得出

image.png

同理,当有 2n+1 个人时,踢掉 n+1 个人之后,情况如下图所示

66dcb3964a28fd1474cd838c53265c22.jpg

观察对应关系可以得出

image.png

边界条件为

image.png

这个递推式很难求解,但是枚举出前面几项可以发现,如果令 image.png ,其中 image.png 是小于等于 n 的最大2的幂,那么

image.png

正确性可以通过数学归纳法求证。

第一节课就讲了这么多,约瑟夫环还有很多问题值得探讨,下节课继续。。。


相关文章
|
算法
梯度下降算法详解(从下山比喻、数学推导到代码实现)
梯度下降算法详解(从下山比喻、数学推导到代码实现)
1517 0
具体数学-第3课(递归式转化为求和求解二)
今天讲了一种将递归式转化为求和的方法。
127 0
具体数学-第3课(递归式转化为求和求解二)
具体数学-第3课(递归式转化为求和求解一)
今天讲了一种将递归式转化为求和的方法。
103 0
具体数学-第3课(递归式转化为求和求解一)
具体数学-第13课(组合数各种性质一)
首先这节课讲的基本都是组合数的相关性质,而且特别多,所以我就不在这里详细证明了,如果你们对某一个性质感兴趣,可以自己证明去。
246 0
具体数学-第13课(组合数各种性质一)
|
机器学习/深度学习 资源调度
[再寄小读者之数学篇](2014-11-21 关于积和式的一个不等式)
在 Rajendra Bhatia 的 Matrix Analysis 中, Exercise I.5.8 说: Prove that for any matrices $A,B$ we have $$\bex |\per (AB)|^2\leq \per (AA^*)\cdot \per (B^*B).
664 0
|
Perl
[再寄小读者之数学篇](2014-11-19 等差数列的部分和)
设 $\sed{a_k}_{k=1}^n$ 为等差数列, 则 $$\bex a_1+\cdots+a_n=\frac{n(a_1+a_n)}{2}. \eex$$ Ref. [Proof Without Words: Partial Sums of an Arithmetic Sequence, The College Mathematics Journal].
594 0
[再寄小读者之数学篇](2014-11-19 一个代数不等式)
$$\bex \sqrt{x^2+x+1}+ \sqrt{y^2+y+1} +\sqrt{x^2-x+1}+ \sqrt{y^2-y+1}\geq 2(x+y). \eex$$ Ref. [Proof Without Words: An Algebraic Inequality, The College Mathematics Journal].
653 0