微分167
机器学习——自动微分
深度学习框架可以自动计算导数的原理主要如下: 1. 深度学习框架实现了自动微分机制,可以自动生成计算图,并记录运算过程。 2. 在计算图中,每个变量都是计算节点,变量之间通过计算操作连接。 3. 框架会跟踪整个计算图,记录每个变量的运算关系和数据流动。 4. 对于要求导数的变量,我们将其标记为要求导 ......
一元微分学
一元微分学 判断题/常识 导函数至多只有第二类间断点. \(\star\)[华四5.5定义1] 设函数 \(y=f(x)\) 定义在 \(x_0\) 的某领域 \(U(x_0)\) 上, 当给 \(x_0\) 一个增量 \(\Delta x, \ x+\Delta x\in U(x_0)\), 相应 ......
cv2 数学基础---矩阵微分
矩阵微分基础知识 定义 重要结论 应用 定义 (1) 向量对标量求导 矩阵对标量求导 我们可以看到上述求导过程实际上就是不同函数对变量求导，然后按照向量或者矩阵的形式排列，注意这里结果的结构应该与函数的结构保持一致 (2)标量对向量求导 标量对矩阵求导 这里的理解使同一个函数对不同的变量求导，然后注 ......
AtCoder Regular Contest 167——B - Product of Divisors
题目很明显，给定 所有因数的积不断除以最多能除几次。 首先，很容易发现，对于每一对因子，都可以对答案得出B的贡献，设A的因子数目为n。 将A进行质因数分解，PBa1,PBa2,PBa3……PBam，那么因数个数就是质因子加一的乘积。 那么因子对数也就是前者一半。答案就是B乘因子对数除以二注意此处除操 ......
AtCoder Regular Contest 167
Preface 补一下上周日的ARC，因为当天白天和队友一起VP了一场所以就没有精力再打一场了 这场经典C计数不会D这种贪心乱搞反而是一眼秒了，后面的EF过的太少就没看 A - Toasts for Breakfast Party 用一个类似于蛇形的放法就好了，比如对于\(n=9,m=5\)，放法为 ......
Atcoder Regular Contest 167
卡 B 下大分了，怎么回事呢。 A. Toasts for Breakfast Party 发现题意是让方差尽可能小，就是让 \(A\) 里的值尽可能接近。 所以从小到大排个序，把 \(A_{N,\dots,N-M+1}\) 依次放进 \(1,2,\dots,M\)，再把 \(A_{N-M,\dot ......
【题解】AtCoder-ARC167
AtCoder-ARC167A Toasts for Breakfast Party 一定不会有空盘，问题转化成 \(2m\) 个数，其中 \(2m-n\) 个是 \(0\)，这样一定是最大值和最小值一起，次大值和次小值一起，以此类推。 提交记录：Submission - AtCoder AtCod ......
[ARC167D] Good Permutation 题解
题意 对于一个长度为 \(N\) 的排列 \(Q\)，定义其为好的，当且仅当 对于任意整数 \(i \in \left[1, N\right]\)，在进行若干次操作 \(i \leftarrow Q_i\) 后可以得到 \(i = 1\)。 给定一个排列 \(P\)，定义一次操作为交换两个数。定义 ......
ARC167D Good Permutation 题解
题意 给定一个长度为 \(N\) 的排列 \((P_1,P_2,\cdots,P_N)\)。称一个排列 \(P\) 为“好排列”当且仅当对于所有 \(1\leq x\leq N\)，都能通过不停地使 \(x\leftarrow P_x\) 将 \(x\) 变成 \(1\)。 通过最小次数操作将 \( ......
常见偏微分方程的求解
\[\begin{cases} & \dfrac{\partial^2u}{\partial t^2}-a^2\dfrac{\partial^2u}{\partial x^2} = A_0\sin\omega t & 0\lt x\lt l,t\gt 0\\ & u\big\vert_{x=0}=u ......
微分有限函数（半搬自 whx）
齐次微分方程 \[\sum a_iy^{(i)}=0 \]\(a_i\) 不必是常数。 那么我们认为 \(y\) 函数微分有限。 在 OI 中，我们一般研究形式幂级数，生成函数，所以有必要考察形式幂级数的微分有限性。 P-递归数列 待读 wikipedia 我英文怎么这么差啊 此种数列存在 \(d+ ......
一次符号计算的尝试：基于Common Lisp的微分符号计算实现
绪论 背景 作为一门具有极强表达能力的语言，Common Lisp适合于编译器实现、符号计算等应用。符号计算对于自动做题机器等方面具有广泛的应用。由于Common Lisp代码本身即为定义良好的抽象语法树（AST），因此对于实现编译器、符号计算具有天然的优势。本文基于语义分析器（Sematic An ......
Go每日一库之167：emoji（emoji表情）
大家在使用微信或钉钉聊天时，一定使用过表情符号。今天就给大家介绍一个能够在终端上显示emoji表情符号的包：[emoji](https://github.com/kyokomi/emoji)。 **实现原理：**emoji表情符号实际上就是在unicode编码表中有定义的一个编码。通过将符号的文字表 ......
高数 - 极限, 微分, 积分
微分 把物体分成非常多的n份，这样每一份都无穷小。记做：dx 积分 把无穷小的n份累加起来。积分的符号为∫(sum的s拉长而来)。 函数f(x)的积分用表示，意思就是函数f(x)的微分的累加。 微积分 a) 微积分=微分+积分。 b) 他有有什么意义？ 微分，积分的过程中，我们会运用各种公式，然后在 ......
离散微分几何
解释1：离散微分几何的研究内容包括曲面离散化、曲面离散微分、曲面离散曲率、曲面离散流形等。其中,曲面离散化是将连续曲面转化为离散曲面的过程,离散微分是对离散曲面进行微分运算... 解释2：微分几何是研究光滑曲面上一个无穷小邻域的微分属性，例如导数、曲率等性质。那么如何研究三角网格曲面呢？三角网格是分 ......
§1. 关于实数集完备性的基本定理
掌握闭区间套定理、聚点定理和有限覆盖定理的内容及证明。会运用这些定理证明相关题目，如 例1、例2。注意定理成立的条件。 重点习题：第1、3、5、7。 博雷尔（Borel）（1871年1月7日 -1956年2月3日），是法国数学家。他的一生成就甚丰，对数学分析、函数论、数论、代数、几何、数学物理、概率 ......
Evans偏微分方程第六章部分习题参考答案
2.证明. 按定义, \(H_0^1\)上的双线性形式\(B[u,v]=\int_U(a^{ij}u_{x_i}v_{x_j}+cuv)dx\), 连续性(即\(|B[u,v]|\lesssim\|u\|_{H_0^1}\|v\|_{H_0^1}\))是显然的, 下面看强制性: \[B[u,u]=\ ......
§3. 泰勒公式
掌握带有不同余项的泰勒公式，并能运用泰勒公式求极限（例4）和进行近似计算（例6、7）。牢记几种常见函数的麦克劳林展开式（例1）。 重点习题：第2、3题。 布鲁克·泰勒（英语：Brook Taylor，1685年8月18日－1731年11月30日）出生于英格兰密德萨斯埃德蒙顿，逝世于伦敦，是一名英国数 ......
§4. 函数的极值与最大(小)值
可以利用极值的充分条件判断函数的极值和最值。 注意极值和最值的区别和联系。极值不一定是最值，最值也不一定是极值。如果在内点取得最值，最值一定是极值。极值可能有很多，但最值只能有一个。 重点习题：第1、4题。 ......
§2. 柯西中值定理和不定式极限
掌握柯西中值定理和洛必达法则，能够熟练运用洛必达法则求不定式的极限。 注意罗尔定理，拉格朗日定理和柯西中值定理之间的递进关系与几何意义。 重点习题：第3、4、5题。 纪尧姆·弗朗索瓦·安托万·洛必达侯爵（Guillaume François Antoine, Marquis de l'Hôpital ......
§5. 微分
掌握微分的定义以及可微和可导之间的关系。掌握微分的运算法则，特别是一阶微分形式的不变性。掌握高阶微分的定义，注意高阶微分没有形式的不变性。能够运用微分进行近似计算和误差估计。 重点习题：第2、3、4题，通过这些习题体会掌握微分的定义与求法。 ......
§4. 高阶导数
掌握二阶及二阶以上导数的定义，并能用定义求具体函数的高阶导数。记住例1、例2、例3中常见函数的高阶导函数。记住参数方程的二阶导数的公式（公式3）。掌握莱布尼兹公式。 重点习题：第3、4、5、6题，通过这些习题体会掌握高阶导数的定义与求导方法。 ......
§3. 参变量函数的导数
掌握参变量方程的求导法则。记住参变量函数的求导公式，和极坐标下向径与切线的夹角的正切公式. 等角螺线、对数螺线或生长螺线是在自然界常见的螺线，在极坐标系(r, θ)中，这个曲线可以写为或 因此叫做“对数”螺线。之所以叫等角螺线，是因为在极坐标中，螺线和射线的夹角始终是一个固定夹角，如下图所示，蓝线每 ......
§2. 求导法则
掌握导数的四则运算、反函数的导数和复合函数的导数的求导法则。能够运用对数求导法求全是乘法或除法的复杂函数的导数（例11）。 注意例12中的技巧，对于底数和指数都是函数的情况，通过取对数转化成可以计算的形式。牢记基本求导法则和基本初等函数导数公式。 重点习题：第2、3题，通过这些习题体会掌握求导法则。 ......
§2. 连续函数的性质
若函数在点连续，则在点有极限，且极限值等于函数值，从而可以得到：局部有界性，局部保号性，四则运算和复合函数连续性等性质。其中复合函数连续性可以理解为极限号和函数交换位置。 若连续函数严格单调，则有反函数，而且反函数也连续。 本节重点为闭区间上连续函数的性质：最大最小值定理，介值性定理（根的存在定理） ......