证明书
个人博客详细设计说明书
     个顶点，\(f\) 个面和 \(e\) 条棱，那么满足以下关系： $$f+v-e=2$$ 定理证明 基本思路 用两种不同的方法计算并用 \(f,v,e\) 表示出这个凸面体所有面上的内角和，再列出等式化简得到最终结果。（角度上标均省略） 方法一：直 ......
概要设计说明书
    \)，时间复杂度为 \(O(nk)\)。 参考实现： dfs(u) { sz[u] = 1; init(f[u]); for (v : son[u]) { dfs(v); for (i = 0; i <= k and i <= sz[u]) for ( ......
有上限的树上背包问题的时间复杂度证明
结论：若树上背包的上限为 \(k(k\le n)\)，时间复杂度为 \(O(nk)\)。 参考实现： dfs(u) { sz[u] = 1; init(f[u]); for (v : son[u]) { dfs(v); for (i = 0; i <= k and i <= sz[u]) for ( ......
【算法设计与分析】(一)序言：最大子数组、归纳法正确性证明、渐进记号。苏大计科院研一期末复习笔记
写在前面 首先，本人很菜。 其次，本文只也许够应付考试，个人使用。而且其实就是ppt内容只是我自己喜欢这样整理。虽然全力理解内容且认真书写但也可能存在错误，如有发现麻烦指正，谢谢🌹 最后，因为不知道考试怎么考，本人的复习方式是照着目录讲一遍自己的理解+写伪代码（如果来的及会再做一个综合纯享版），再 ......
Channel Coding Theorem 证明
防盗 https://www.cnblogs.com/setdong/p/17948414 对应于教材 Elements of Information Theory 的 8.7 章节. 在证明定理之前, 先复习一些背景知识, 包括 entropy, WLLN, AEP, joint AEP 和 DM ......
有关统计分析方法的一道题——证明矩估计的方差（即样本方差）是总体方差的无偏估计
今天上午考试考了这道题，但是好巧不巧自己没看具体的证明过程（可能因为自己忽略了这个部分吧）...（有关这道题当时的证明过程，我就记得了\(E(\overline{X})=\mu, D(\overline{X}) = \frac{\sigma^2}{n}\)，别的都不记得了...）考场直接破大防了.. ......
闵可夫斯基和（内含证明）
定义 两个点集的闵可夫斯基和 \(A+B=\{a+b|a\in A,b\in B\}\)。 性质 交换律：显然，易证。 对于两个凸包 \(A,B\)，则 \(A+B\) 为凸包。 性质二证明 引理 1：对于一个凸图形，图形内任意两点之间的连线都在图形内部，反之亦然（即为充要条件）。 引理 2：（等和 ......
等腰三角形两底角相等证明
已知：\(\triangle ABC\) 为等腰三角形，且 \(AB=BC\) 。 求证：\(\angle ABC=\angle ACB\) 。 证明： 如图，延长 \(CA\) 和 \(CB\) 分别至 点 \(E\) 与 点 \(F\) ，从 \(CE\) 与 \(CF\) 上分别截取 \(CD ......
记一次由于所换证明书不当，导致apahce启动不起来
背景提要 由于要做APP审查，网站证明书过期，请同事更新下证明书， 更新完证明书，apache 不能重启了 重启所报错误 [root@xxx ~]# systemctl start httpd.service Job for httpd.service failed because the cont ......
网络流部分结论性质及证明
最近做到了很多网络流的题，一眼都挺不一眼的，凭自己也只有几道可以想到性质，但知道网络流相关知识之后就都是简单题了。 以下所有的证明都偏口胡，但有一定程度上的严谨性。 设情景下的最大流流量为 \(|F|\)。 称某个最大流方案中这条边流量所构成的流网络为使用流网络。 称流网络中每条边的容量减去某个最大 ......
寒假工，单招生，暑假工，实习生（可以开实习证明）
寒假工，单招生，暑假工，实习生（可以开实习证明） 假期即将到来，你是否想体验一下打工者的生活？看着那两双逐渐老去的双手，你更加应该去体验一下父母的生活，挣钱的不容易，劳动的果实最甜美。幸福不会从天而降你想要换新手机想买电脑，应该用自己的双手去创造，而不是向父母一味的索取，红糖甜，白糖甜，不如劳动果实 ......
药品说明书，使我变得严谨
药品说明书，使我变得严谨 一个药品的说明书是对该药的药学信息进行归纳、整理而写出的，其内容是对一级药学信息的总结，说明书上的有关结论和数据并不是作者原创，因此属于三级信息。 药品说明书应该属于说明文体裁，但应该算比较特殊的形式吧 药品说明书通常包括以下内容：警示语、药品名称、成分、性状、适应症或功能 ......
容斥原理 证明
Intro 容斥原理是表示集合元素个数之间的关系 公式如下： \[|\bigcup_{i=1}^{n}(A_i)|=\sum_{i=1}^n |A_i|-\sum_{i<j} |A_iA_j|+\sum_{i<j<k} |A_iA_jA_k|-...+(-1)^{n-1} |A_1A_2...A_n ......
Floyd良序集法证明程序终止性
1.设断点并建断言 (1)开始处A： (2)循环主干处B,C等： 2.取良序集并定义函数 (1)良序集：一般为<N,<>（与证良函数有关） (2)函数：为存在循环的断点定义函数f(x)（注意：f(x)需要随着循环递减） 找随循环递减的f(x)的技巧： 看变化量和跳出循环的判断条件中的变量 尝试单个变 ......
Jensen 不等式证明
Jensen 不等式定义 若 \(f(x)\) 为区间 \(I\) 上的下凸函数，则对于任意 \(x_{i} \in I\) 和满足 \(\displaystyle\sum_{i=1}^{n} \lambda_{i} = 1\) 的 \(\lambda_{i} \gt 0 \left( i = 1, ......
erp——绩效考核系统——软件需求规格说明书
绩效考核系统——软件需求规格说明书 引言 1.1编写目的：此文件需求说明书主要是为了开发人员能了解系统之间的关系，使用者能明白系统的使用方法，另外，可以供一些学习的小白进行参考，提供需要的人参考软件需求规格说明书的框架。 1.2背景说明： 1.2.1：产品名称：趣多多产品有限公司绩效考核系统 1.2 ......
erp——绩效考核系统——数据需求说明书
绩效考核——数据需求说明书 1.引言 1.1编写目的 数据要求说明书详细的提供了系统中各个数据的流向，是设计数据库的关键所在，为以后的编码以及测试提供一份可靠的依据。 1.2 对象 本《数据要求说明书》的预期读者是:系统开发人员、系统测试人员、系统维护人员 1.3 项目背景 项目名称：绩效考核系统 ......
哈夫曼树构造过程的证明
设我们已经构造出来了最优树\(T_n\)，他的叶子节点分别是\(w_1≤w_2...≤w_n\) 假设\(T_n\)的最长的一条路的倒数第二个节点（即这条路叶子节点的父亲）\(x\)只有一个儿子，那么我们删掉这个节点\(x\)，让他的儿子代替他，答案会变得更优，矛盾，所以\(x\)一定有两个儿子。我 ......
SG定理证明
前置知识 有向图游戏概念。 单个有向图游戏中 \(\textrm{SG}\) 函数的求值（\(\textrm{mex}\) 运算）。 以上内容请自行查阅，这里不会多说。 前言 本文受启发于 OI Wiki，采用相同的数学归纳法进行证明，但对计算的原理进行了补充，也补足了一些细节。 网上许多 \(\t ......
Dirichlet积分的三种证明方法
 ![](https://img2023.cnblogs.com/blog/2702872/202312/2702... ......