- 博客(21)
- 资源 (1)
- 收藏
- 关注
RSS订阅
原创 主成分分析(Principal Components Analysis)的数学原理
已知：有 mmm 个点组成的集合 S={x(1),⋯,x(m)}⊆ℝnS={x(1),⋯,x(m)}⊆RnS = \left \{ \boldsymbol {x} ^{(1)}, \cdots, \boldsymbol {x} ^{(m)} \right \} \subseteq \mathbb {R} ^{n}n>ln>ln > l目标：寻找一个编码函数 f...
2018-08-31 10:51:47
471
原创 lintcode 762. 最长公共子序列 II
几个注意点：只需要考虑对结果有效的修改操作。对Q的修改可转化为对P的修改，因此可只考虑对P进行修改的情况。k = 0时，不能修改，因此按照一般的最长子列计算dp[0][i][j]。k > 0时dp[k][i][j] =：4.1 若 P[i] == Q[j]，则不需要对P[i]或Q[j]修改，因此取值为 dp[k][i - 1][j - 1]。4.2 否则 P[i] != Q[j...
2020-05-06 20:12:02
260
原创 EM算法与证明
这里写自定义目录标题EM算法的证明EM算法步骤EM算法的证明假设 YYY 是观察值，ZZZ 是隐变量，θ\thetaθ 是参数。L(θ)=lnP(Y∣θ)L (\theta) = \ln P(Y | \theta)L(θ)=lnP(Y∣θ)=ln(∑zP(Y,Z∣θ))= \ln \left ( \sum \limits _{z} P(Y, Z | \theta) \right )=l...
2020-02-03 19:20:12
252
原创 Eigenvectors from eigenvalues的证明
Eigenvectors from eigenvalues的推导论文: Eigenvectors from eigenvalues 提出并证明了一种根据矩阵特征值和子矩阵特征值计算Hermitian矩阵的normed特征向量的每个元素绝对值的方法。由于编写时间有限，本文给出部分详细证明过程：命题对于任意一个 n×nn \times nn×n 的Hermitian矩阵 AAA， 假设特征值为...
2019-11-17 18:45:42
633
原创 Active learning
Active learningMotivationIf a learning algorithm can choose data it wants to learn from, then it can perform better.StepsGether data: Representative of true distribution.Split into seed and unla...
2019-11-12 10:28:22
153
原创 任何一个关系都是某一个集合上的关系
定理任何一个关系 RRR 都是某一个集合上的关系。∀R,∃A(R⊆A)\forall R, \exists A (R \subseteq A)∀R,∃A(R⊆A)证明∀r∈R(∃x,∃y(r=<x,y>))\forall r \in R (\exists x, \exists y (r = < x, y>))∀r∈R(∃x,∃y(r=<x,y>))于是...
2019-10-11 13:52:58
307
原创 笛卡尔积的存在性
引理x∈A,y∈B ⟹ <x,y>∈P(P(A∪B))x \in A, y \in B \implies < x, y > \in \mathcal {P} ( \mathcal {P} (A \cup B))x∈A,y∈B⟹<x,y>∈P(P(A∪B))证明由 x∈A,y∈Bx \in A, y \in Bx∈A,y∈B，得x∈A∪B,y∈A∪Bx...
2019-10-10 22:44:57
412
原创 有序对的唯一性
有序对的定义<A,B>={{A},{A,B}}<A, B> = \{ \{ A \}, \{ A, B \} \}<A,B>={{A},{A,B}}有序对的唯一性定理<A,B>=<C,D> ⟺ A=C∧B=D<A, B> = <C, D> \iff A = C \land B = D<A,B>...
2019-10-10 09:44:19
312
原创 子集关于交集的分布性定理
定理A⊆(B∩C) ⟺ A⊆B∧A⊆CA \subseteq ( B \cap C ) \iff A \subseteq B \land A \subseteq CA⊆(B∩C)⟺A⊆B∧A⊆C证明A⊆(B∩C)A \subseteq ( B \cap C )A⊆(B∩C) ⟺ ∀x∈A(x∈(B∩C))\iff \forall x \in A ( x \in ( B \cap...
2019-10-09 23:00:38
320
原创 两个补集的并集与交集的相关定理
定理一x∈∪{A−C:C∈F} ⟺ ∃C∈F(x∈A−C)x \in \cup \{ A - C : C \in F \} \iff \exists C \in F ( x \in A - C)x∈∪{A−C:C∈F}⟺∃C∈F(x∈A−C)证明x∈∪{A−C:C∈F}x \in \cup \{ A - C : C \in F \}x∈∪{A−C:C∈F} ⟺ ∃B(B∈{A−C:...
2019-10-09 22:45:36
1750
原创 不存在万有集定理的证明
定理：不存在万有集，即不存在包含一切集合的集合。证明：对应的集合公式为：¬∃A(∀B(B∈A))\lnot \exists {A} (\forall B (B \in A))¬∃A(∀B(B∈A))它等价于命题：∀A(∃B(B∉A))\forall {A} ( \exists B (B \not\in A))∀A(∃B(B∈A))我们接下来证明该等价命题：∀A,∃B={x∈A...
2019-10-09 13:21:59
728
1
原创 softmax，CrossEntropyLoss 与梯度计算公式
函数 softmax\operatorname {softmax}softmax 的 定义对于任意一个 nnn 维向量 X=(⋮xi⋮)X = \begin {pmatrix} \vdots \\ {x}_{i} \\ \vdots \end {pmatrix}X=⎝⎜⎜⎛⋮xi⋮⎠⎟⎟⎞ ，定义softmax(X)=(⋮exi∑jexj⋮)\operatorname {softm...
2019-03-07 23:30:06
2620
1
原创 在Mac上禁止Google Chrome自动更新
尝试了多种方法都失败了，直到找到了下面这两个方法：方法一：cd /Library/Google/sudo chown nobody:nogroup GoogleSoftwareUpdatesudo chmod 000 GoogleSoftwareUpdatecd ~/Library/Google/sudo chown nobody:nogroup GoogleSoftwareUpdat...
2019-02-14 10:57:10
2152
原创 使用bash命令查看 killed process的历史记录
dmesg -T| grep -E -i -B100 'killed process'Where -B100 signifies the number of lines before the kill happened.Omit -T on Mac OS.
2019-02-13 10:37:23
357
原创 Recurrent Neural Networks
Examples of Sequence DataSpeech RecognitionMusic GenerationSentiment ClassificationDNA Sequence AnalysisMachine TranslationVideo Activity RecognitionName Entity RecognitionNotationSymbo...
2018-12-06 20:04:54
195
原创 差分求导数近似值的比较
设f(x)f(x)f(x) 在点xxx 二阶可导，则：若取点 x,x+Δxx, x + \Delta xx,x+Δx 的值的差分作为导数的近似值，则：f(x+Δx)=f(x)+f′(x)Δx+o(Δx)f(x + \Delta x) = f(x) + f&amp;amp;#x27;(x) {\Delta x} + o \left ({\Delta x} \right )f(x+Δx)=f(x)+f′...
2018-11-22 22:42:27
3239
原创 基础集合论 6 并集
@TOC(并集)对于任意一个集组 M,M,M, 把 MMM 包含的一切集合合并起来，就是说，把这些集合的元素汇集起来，其结果能否形成一个集合？并集公理给出了肯定的答案：公理五 并集公理对于任意一个集组 M,M,M, 存在一个集合 A,A,A, 恰好包含属于 MMM 中至少一个集合的一切元素，即：∀x(x∈A&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp
2018-10-21 18:10:08
799
原创 集合论第一章 5 偶集
偶集公理现在看以下问题：对于任意一个集合 a,a,a, 是否存在集合 A,A,A, 恰好以 aaa 为元素？就是说，是否存在集合 A,A,A, 使得：∀x(x∈A&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;ThickSpace;⟺&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;ThickSpace;x=a)\forall x (x \in A \iff x = a)∀x
2018-10-21 17:15:47
514
原创 集合论第一章 3 集合论的公式和条件
集合论的公式和条件集合论的公式新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入集合论的公式除了 === 和 ...
2018-09-18 05:16:43
2056
1
原创 基础集合论 第一章 集合与集合的运算
序最近看了北京师范大学1998年出版的 《基础集合论》，感觉还是很受益的，但是由于书籍排版不清晰，有一些词汇已经过时，目前也没有新版，因此我准备把本书的主要内容整理出来，分享给大家一起学习。 编写本文的动力主要还是来自我很久以来的一个愿景：我一直觉得所有的数学知识是相互联系的，我们可以通过从基础到复杂的推导一步一步建立起数学王国的整体框架。虽然根据哥德尔不完全性定理，这一愿景是不可能的。但是...
2018-09-16 16:40:16
1718
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人