二分图相关定理 最小顶点覆盖数 \(n\) = 最大匹配数 \(m\) 对于每组匹配点 \((u, v)\), 发现其中只有一个点会连向非匹配点. 证明: 如果 \(u\) 连向非匹配点 \(x\), \(v\) 连向非匹配点 \(y\), 那么可以找到增广路 \(x->u->v->y\). 与匹配 ...
分类：
其他好文 时间：
2020-10-26 11:28:18
阅读次数：
17
Hello，World 我不是修电脑的 php是世界上最好的语言，不服来辩！！！ 我毕业3年，5年工作经验。 一切皆对象，没有对象，自己new一个就好。 昨天写了封邮件骂产品经理，幸好发送前都及时注释掉了...... 1 + 2 == 3 问：如何生成一个随机的字符串?答：让新手退出vim。 用IE ...
分类：
其他好文 时间：
2020-10-26 10:51:13
阅读次数：
21
虽然不是什么有应用价值的定理，但是每次看到实对称矩阵时总会有疑惑，现在记录下来。 证明 设有实对称矩阵$A$，它的特征值与对应的特征向量分别为$\lambda,x$，另外记$\overline{A},\overline{\lambda},\overline{x}$分别为它们对应的共轭复数（矩阵和向量 ...
分类：
其他好文 时间：
2020-10-24 09:58:38
阅读次数：
31
恢复内容开始 jdk安装 1. 查看是否已经安装了java yum list installed |grep java 如有有jdk版本输出证明已经安装过了。 2. yum查看可用版本，并安装 yum -y list java* yum -y install java-1.8.0-openjdk* ...
分类：
其他好文 时间：
2020-10-19 22:44:29
阅读次数：
20
“共识”算法主要解决分布式系统的一致性的问题，目前相关的算法有：Paxos、Raft、ZAB，由斯坦福大学的Diego Ongaro和John Ousterhout在2014年提出，在证明了算法的正确性之外，还提供了相关实现及参考代码，所以媒体一直宣传这个算法比Paxos要更容易理解 ...
分类：
编程语言 时间：
2020-10-19 22:18:23
阅读次数：
20
题目链接：https://codeforces.com/problemset/problem/868/C 如果有方案，那么肯定可以用两道题目完成 这是证明 #include<cstdio> #include<cstring> #include<algorithm> #include<iostream ...
分类：
其他好文 时间：
2020-10-18 10:20:12
阅读次数：
30
题目 题目 做法 啊，这道题目一点思路都没有啊。 这么神奇的吗。 就是死命的推式子，这里用一下这位大佬的证明。 当然，写这个博客主要是想讲一下维护平方和和区间加减。 首先，区间的$lazy$标记具有可加性：\((x+k+k)^2=(x+2k)^2\)，因此，$lazy$标记可以叠加，只要计算每一个$ ...
分类：
其他好文 时间：
2020-10-16 10:28:22
阅读次数：
19
我2017年7月入职航宇公司，那时正值云HIS门诊系统设计完成，全面进入开发的阶段。我主要负责基础功能，其中大部分是基础字典的管理功能开发。字典简单地说就是类似“1代表男，0代表女”这样的数据。性别就是一张字典表，云HIS中的字典表有100多张。这些字典表有共性，也有个性。许多都是有名称、编码、拼音 ...
分类：
其他好文 时间：
2020-10-12 20:19:30
阅读次数：
17
关注微信公众号【往事娱乐】获取，国庆档电影你们去看了哪一个呢？成龙主演的《急先锋》，以及本来春节应该上映的《姜子牙》、还有和上年《我和我的祖国》类似的献礼片《我和我的家乡》，巩俐主演的电影《夺冠》，从目前的票房来看，《姜子牙》上映三天票房7.41亿，遥遥领先位于第一，而《我和我的祖国》同样上映三天，票房6.27亿，和姜子牙差了一亿多。在去年的国庆档中，即使有着《中国机长》《攀登者》一众强敌，《我和
分类：
其他好文 时间：
2020-10-08 18:52:32
阅读次数：
191
将要求解的较大规模的问题分割成k个更小规模的子问题。对这k个子问题分别求解。如果子问题的规模仍然不够小，则再划分为k个子问题，如此递归的进行下去，直到问题规模足够小，很容易求出其解为止。 分治法的设计思想是，将一个难以直接解决的大问题，分割成一些规模较小的相同问题，以便各个击破，分而治之。 优点：结 ...
分类：
编程语言 时间：
2020-10-07 20:33:56
阅读次数：
23
