<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Homework on LunaTide's Blog</title><link>https://lunatide.tech/tags/homework/</link><description>Recent content in Homework on LunaTide's Blog</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>LunaTide's Blog</copyright><lastBuildDate>Fri, 20 Feb 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://lunatide.tech/tags/homework/index.xml" rel="self" type="application/rss+xml"/><item><title>concrete mathematics hw1</title><link>https://lunatide.tech/p/concrete-mathematics-hw1/</link><pubDate>Fri, 20 Feb 2026 00:00:00 +0000</pubDate><guid>https://lunatide.tech/p/concrete-mathematics-hw1/</guid><description>&lt;img src="https://lunatide.tech/p/concrete-mathematics-hw1/pic1.jpg" alt="Featured image of post concrete mathematics hw1" /&gt;&lt;p&gt;过年几天没怎么看公开课，这两天补一下&lt;/p&gt;
&lt;h2 id="1"&gt;1.
&lt;/h2&gt;&lt;p&gt;当 $n=2$ 时，两个集合为 ${1}, {2}$，交集为空，所以从 1 推到 2 的时候有问题。&lt;/p&gt;
&lt;h2 id="2"&gt;2.
&lt;/h2&gt;&lt;p&gt;设 $T(n)$ 是把 $n$ 个盘子从 A 移动到目标 B 的最少次数，初步可以得到递推式
&lt;/p&gt;
$$
T(n)\le 3T(n - 1) + 2
$$&lt;p&gt;模拟一下盘子的移动过程。&lt;/p&gt;
&lt;p&gt;首先我们要让 $n-1$ 个较小的盘子从 A 移动到 B，然后让之前 A 上最大的盘子移动到 C，这一步要至少 $T(n-1)+1$ 步（+1 意思是最大的盘子移动）。&lt;/p&gt;
&lt;p&gt;我们希望最大的盘子在 B 的最下方，所以还得先让 B 上较小的那些盘子回到 A，因此又需要 $T(n-1)+1$ 步。&lt;/p&gt;
&lt;p&gt;最后最大盘到 B 后我们还需要把 $n-1$ 个盘子移动到 B，所以加起来至少需要&lt;/p&gt;
$$
3T(n-1)+2
$$&lt;p&gt;因此&lt;/p&gt;
$$
T(n)=3T(n-1)+2=3^n-1
$$&lt;h2 id="3"&gt;3.
&lt;/h2&gt;&lt;p&gt;设 $T(n)$ 是 $n$ 个盘子所有合法的状态集合，$T(1)=3, T(2)=9$，我们 guess
&lt;/p&gt;
$$
T(n)=3^n
$$&lt;p&gt;假设 $n-1$ 时结论成立，下证 $n$ 时结论也成立。&lt;/p&gt;
&lt;p&gt;回忆上一道题的过程，其实虽然一共有 5 步，但是这是一个类似周期的过程。总有一个时刻是最大的盘子在 A、B 或者 C 的柱子上，然后剩下的 $n-1$ 个盘子在做移动。&lt;/p&gt;
&lt;p&gt;因此总共就是&lt;/p&gt;
$$
3 \times 3^{n-1}=3^n
$$&lt;p&gt;得证。&lt;/p&gt;
&lt;h2 id="4"&gt;4.
&lt;/h2&gt;&lt;p&gt;设 $T(n)$ 是在合法状态下，存在 $n$ 个圆盘需要最多的移动次数$\le 2^n-1$&lt;/p&gt;
&lt;p&gt;当 $n=1$ 时，需要一次移动，显然成立。&lt;/p&gt;
&lt;p&gt;假设 $n-1$ 时结论成立，也就是说最多移动次数$\le 2^{n-1}-1$&lt;/p&gt;
&lt;p&gt;$n$ 个盘子时候的第一个合法状态，如果最大的盘子已经在目标 B 柱上，那么只需要 $T(n-1)$ 次操作就可以，显然成立。&lt;/p&gt;
&lt;p&gt;若最大盘子不在 B 柱上，我们首先需要将 $n-1$ 个盘子移动到中间柱 C，然后把大盘移动到 B，最后递归剩下的盘子，最多 $2^{n-1}-1$。&lt;/p&gt;
&lt;p&gt;因此总步数就是&lt;/p&gt;
$$
2^n-1
$$&lt;p&gt;得证。&lt;/p&gt;
&lt;h2 id="5"&gt;5.
&lt;/h2&gt;&lt;p&gt;不能，一个新的圆和原来的圆最多增加两个交点，最多增加六块区域，6+8=14&lt;/p&gt;
&lt;h2 id="6"&gt;6.
&lt;/h2&gt;&lt;p&gt;每多一条直线，和原有的每条直线增加一个交点，也就是增加n-1个交点，最多增加n-2个新区域&lt;/p&gt;
&lt;p&gt;设有界区域的最大个数是$a_n$个，那么$a_n=a_{n-1}+n-2$
&lt;/p&gt;
$$
a_1=a_2=0,a_n=\sum_{i=0}^{n-2}i
$$&lt;h2 id="7"&gt;7.
&lt;/h2&gt;&lt;p&gt;$H(1)=J(2)-J(1)=0 \neq 2$&lt;/p&gt;
&lt;h2 id="8"&gt;8.
&lt;/h2&gt;&lt;p&gt;从$Q_2$写到$Q_6$，容易发现，$Q_k=Q_{k-5},k \ge 5$&lt;/p&gt;
&lt;h2 id="9"&gt;9.
&lt;/h2&gt;&lt;h3 id="a"&gt;(a)
&lt;/h3&gt;&lt;p&gt;令
&lt;/p&gt;
$$
x_n=\frac{x_1+\cdots+x_{n-1}}{n-1},
$$&lt;p&gt;
证明 $P(n)\Rightarrow P(n-1)$&lt;/p&gt;
&lt;p&gt;取任意 $x_1,\dots,x_{n-1}\ge0$，记&lt;/p&gt;
$$
S=x_1+\cdots+x_{n-1},\qquad
x_n=\frac{S}{n-1}.
$$$$
x_1\cdots x_{n-1}\cdot\frac{S}{n-1}
\le
\left(
\frac{S+\frac{S}{n-1}}{n}
\right)^n.
$$$$
x_1\cdots x_{n-1}\cdot\frac{S}{n-1}
\le
\left(\frac{S}{n-1}\right)^n.
$$&lt;ul&gt;
&lt;li&gt;
&lt;p&gt;若 $S=0$，则 $x_1=\cdots=x_{n-1}=0$，显然 $P(n-1)$ 成立；&lt;/p&gt;
&lt;/li&gt;
&lt;li&gt;
&lt;p&gt;若 $S&amp;gt;0$，两边同除以 $\dfrac{S}{n-1}&amp;gt;0$，得&lt;/p&gt;
&lt;/li&gt;
&lt;/ul&gt;
$$
x_1\cdots x_{n-1}
\le
\left(\frac{S}{n-1}\right)^{n-1}=
\left(
\frac{x_1+\cdots+x_{n-1}}{n-1}
\right)^{n-1}.
$$&lt;p&gt;因此&lt;/p&gt;
$$
P(n)\Rightarrow P(n-1)\quad (n&gt;1).
$$&lt;h3 id="b"&gt;(b)
&lt;/h3&gt;&lt;p&gt;设 $x_1,\dots,x_{2n}\ge 0$，记&lt;/p&gt;
$$
A=\frac{x_1+\dots+x_n}{n},\qquad
B=\frac{x_{n+1}+\dots+x_{2n}}{n}.
$$&lt;p&gt;由 $P(n)$ 得&lt;/p&gt;
$$
x_1\cdots x_n \le A^n,
\qquad
x_{n+1}\cdots x_{2n} \le B^n.
$$&lt;p&gt;因此&lt;/p&gt;
$$
\prod_{i=1}^{2n} x_i=
(x_1\cdots x_n)(x_{n+1}\cdots x_{2n})
\le
A^n B^n=
(AB)^n.
$$&lt;p&gt;由 $P(2)$&lt;/p&gt;
$$
(AB)^n
\le
\left(\frac{A+B}{2}\right)^{2n}.
$$&lt;p&gt;于是&lt;/p&gt;
$$
\prod_{i=1}^{2n} x_i
\le
(AB)^n
\le
\left(\frac{A+B}{2}\right)^{2n}.
$$&lt;p&gt;而&lt;/p&gt;
$$
\frac{A+B}{2}=
\frac{
\frac{x_1+\dots+x_n}{n}+
\frac{x_{n+1}+\dots+x_{2n}}{n}
}{2}=
\frac{x_1+\dots+x_{2n}}{2n}.
$$&lt;p&gt;因此&lt;/p&gt;
$$
\prod_{i=1}^{2n} x_i
\le
\left(
\frac{x_1+\dots+x_{2n}}{2n}
\right)^{2n}.
$$&lt;p&gt;得证&lt;/p&gt;</description></item><item><title>CS229作业0</title><link>https://lunatide.tech/p/cs229%E4%BD%9C%E4%B8%9A0/</link><pubDate>Sat, 06 Dec 2025 00:00:00 +0000</pubDate><guid>https://lunatide.tech/p/cs229%E4%BD%9C%E4%B8%9A0/</guid><description>&lt;img src="https://lunatide.tech/p/cs229%E4%BD%9C%E4%B8%9A0/pic1.jpg" alt="Featured image of post CS229作业0" /&gt;&lt;h2 id="1-gradients-and-hessians"&gt;1. Gradients and Hessians
&lt;/h2&gt;&lt;h3 id="a"&gt;a.
&lt;/h3&gt;&lt;p&gt;由第一项，我们可以得到：&lt;/p&gt;
$$
f_1(x) = \frac{1}{2} x^T A x + b^T x
$$&lt;p&gt;因为：&lt;/p&gt;
$$
\nabla_x(x^T A x) = (A + A^T)x
$$&lt;p&gt;因此：&lt;/p&gt;
$$
\nabla_x\left( \frac{1}{2} x^T A x \right)
= \frac{1}{2}(A + A^T)x
$$&lt;p&gt;因为 \(A\) 是对称矩阵（\(A^T = A\)），所以：&lt;/p&gt;
$$
\frac{1}{2}(A + A)x = Ax
$$&lt;p&gt;第二项：&lt;/p&gt;
$$
f_2(x) = b^T x = \sum_i b_i x_i
$$&lt;p&gt;梯度为：&lt;/p&gt;
$$
\nabla_x(b^T x) = b
$$&lt;p&gt;因此：&lt;/p&gt;
$$
\nabla f(x) = Ax + b
$$&lt;h3 id="b"&gt;b.
&lt;/h3&gt;&lt;p&gt;令 \(z = h(x)\)，则：&lt;/p&gt;
$$
f(x) = g(z) = g(h(x))
$$&lt;p&gt;对每个分量有：&lt;/p&gt;
$$
\frac{\partial f}{\partial x_i}
= g'(h(x)) \frac{\partial h(x)}{\partial x_i}
$$&lt;p&gt;因此：&lt;/p&gt;
&lt;div&gt;
$$
\nabla f(x)
=
\begin{pmatrix}
g'(h(x)) \frac{\partial h}{\partial x_1} \\
g'(h(x)) \frac{\partial h}{\partial x_2} \\
\vdots \\
g'(h(x)) \frac{\partial h}{\partial x_n}
\end{pmatrix}
=
g'(h(x)) \nabla h(x)
$$
&lt;/div&gt;
&lt;h3 id="c"&gt;c.
&lt;/h3&gt;&lt;p&gt;由 a 得：&lt;/p&gt;
$$
(\nabla f(x))_i
= \sum_{j=1}^n a_{ij} x_j + b_i
$$&lt;p&gt;Hessian 的第 \(i, j\) 项为：&lt;/p&gt;
&lt;div&gt;
$$
(\nabla^2 f(x))_{ij}
=
\frac{\partial}{\partial x_j}
\left(
\sum_{k=1}^n a_{ik} x_k + b_i
\right)
$$
&lt;/div&gt;
&lt;p&gt;利用：&lt;/p&gt;
$$
\frac{\partial}{\partial x_j}(a_{ik} x_k)
= a_{ik}\delta_{kj}
$$&lt;p&gt;所以：&lt;/p&gt;
$$
(\nabla^2 f(x))_{ij}
= \sum_{k=1}^n a_{ik}\delta_{kj}
= a_{ij}
$$&lt;p&gt;因此：&lt;/p&gt;
$$
\nabla^2 f(x) = A
$$</description></item></channel></rss>