分布式多副本的存储系统，通常依据PAXOS设计一致性协议。当副本数量变化时候，PAXOS的多数派的值也会发生变化，如何在不中断服务的情况下，实现安全一致的副本数量变化方案，raft中提出了joint consensus的概念，然而，这种方案并没有给出形式化的严格证明。本文从严格的PAXOS出发，提出了一种可形式化证明的成员变更方法。...
分类：
其他好文 时间：
2014-08-25 19:26:44
阅读次数：
224
问题1 接口可以继承接口。问题2 抽象类可以实现接口。问题3 抽象类可以继承具体类，前提是实体类必须有明确的构造函数。证明:所有的类都从Object类继承的。解释“实体类必须有明确的构造函数”的含义：-1.没写构造器的，那是拥有默认无参公有构造函数的，子类可以什么都不写，让默认构造器去调用它。这是最...
分类：
其他好文 时间：
2014-08-25 16:26:04
阅读次数：
230
第一章?我们应该承认，汉字是不适应网络时代的 只从两点来证明： 首先，从来没有过一个完整的汉字字体。 英语只包含26个字母，构成一篇文章、一个网页所需的全部字符都包含在ASCII码表内，每个字符在计算机中只需...
分类：
Web程序 时间：
2014-08-25 00:00:13
阅读次数：
312
D - Wow! Such String!: 这道字符串题居然正解是欧拉图，我也是看醉了...欧拉图虽然学过，但可能理解得还不是很深，所以对这种题不敏感。 这道题解法是把每四个字符组成的字符串看成是一个点，每个点有26个入边和26个出边，可以证明这是一个欧拉图。然后遍历找一下欧拉图就行了。 ...
分类：
其他好文 时间：
2014-08-24 22:14:23
阅读次数：
230
证明：$$\lim\limits_{n\to\infty}\frac{a^n}{n!}=0\qquad a>0$$证：方法一：构造级数$$\sum\limits_{n=1}^{\infty}\frac{a^n}{n!},$$再用比阶法证明级数收敛就可以了，此处不写详细过程.方法二：设有数列{${{a...
分类：
其他好文 时间：
2014-08-24 16:40:22
阅读次数：
247
问题 证明如下Cauchy矩阵正定$$A=\left(\frac{1}{a_{i}+a_{j}}\right)_{n\times n},a_{i}\neq a_{j}>0$$证明不难,由于他的各阶顺序主子式是可求的,容易验证均为正,从而$A$正定；另一方法是利用欧式空间一组基的度量矩阵必为正定的,....
分类：
其他好文 时间：
2014-08-24 16:38:32
阅读次数：
163
本题一看就知道是最长不减序列了，一想就以为是使用dp解决了。不过那是个错误的思路。
我就动了半天没动出来。然后看了看别人是可以使用dp的，不过那个比较难证明其正确性，而其速度也不快。故此并不是很好的解决方法。
所以我就直接硬算，硬模拟选择出非减子序列，选完就出答案了。
思路：
1 按照长度排序
2 按照不减原则选择重量，选一个，消灭一个。
最后消灭完了，就处理完毕，答案就自然出来了。
...
分类：
其他好文 时间：
2014-08-24 10:18:42
阅读次数：
245
反素数的定义：对于任何正整数，其约数个数记为，例如，如果某个正整数满足：对任意的正整
数，都有，那么称为反素数。
从反素数的定义中可以看出两个性质：
（1）一个反素数的所有质因子必然是从2开始的连续若干个质数，因为反素数是保证约数个数为的这个数尽量小
（2）同样的道理，如果，那么必有
个人理解性证明：
对（1）假设不是从2开始，那么假设n的最...
分类：
其他好文 时间：
2014-08-24 01:51:41
阅读次数：
294
题意模型：n个正数，每次可以做下面俩种操作之一：
1：取一个数减一。
2：取俩个数各减一。
都必需保证每次操作的数>0.
求使得所有数字为0的最少操作次数。
都说是简单题，网上还有不少错误解法（排序后扫一遍，每次取最大的俩个数减到0： 2 2 2 这样是4次，正解3次）。
应该是每次取最大的俩个数，各减1.
若maxi>sum/2,则ans=max,每次操作都用那个max,和其他一个...
分类：
其他好文 时间：
2014-08-23 17:44:51
阅读次数：
209
//刚开始乱搞。
//网络流求解，如果最大流=所有元素的和则有解；利用残留网络判断是否唯一，
//方法有两种，第一种是深搜看看是否存在正边权的环，见上一篇4888
//至少3个点构成的环，第二种是用矩阵dp，只需要满足某行的i列元素0,而另一行的i列元素>0,j列元素<9，
//可以满足互补就证明不唯一，这个画图不难看出
#include
#include
#include
using names...
分类：
其他好文 时间：
2014-08-23 16:49:11
阅读次数：
269
