算法：字符串消除问题的数学证明
问题： 给定一个字符串，仅由A、B、C3个字母组成。当出现连续两个不同的字母时，你可以用另外一个字母替换它，如有AB或BA连续出现，你把它们替换为字母C；有AC或CA连续出现时，你可以把它们替换为字母B；有BC或CB连续出现时，你可以把它们替换为字母A。可以不断反复按照这个规则进行替换，目标是使得最...
互联网IP路由的逐跳全局最优化原则-Dijkstra算法证明
把周末写了一半的东西继续补齐了，实现了完美的一天。 我们知道的一个事实就是IP地址实在太多了，根本就不可能统一的管理起来，无论从数据平面还 是从控制/管理平面上说都是这样。所以，IP协议被设计出来就是可扩展的。对于IP路由来讲，路由计算是逐跳进行的，当然也支持“源路由”选项，源路由就 是说数据在出发...
算法证明：女生遇到心动的男人一定要追！
我来讲恋爱中的博弈，不，我来讲恋爱中的算法，不，我来讲算法！！ 有个著名的问题，叫做 stable matching。早年是一个可爱的俄罗斯老头在图论课上教我的，印象非常深刻，拿出来娱乐下大家。因为这个算法应用太广泛了，这个算法的两位发明人 David Gale 和 Lloyd Shapley，在 ...
分布式一致性算法：由数学证明推导出Paxos
序 Basic-Paxos是分布式一致性算法的元祖算法之一，现代的分布式一致性算法基本都是Basic-Paxos算法的优化、改进或简化。由于过于晦涩难懂，Basic-Paxos也是最难理解的算法之一，然而有理由相信，直接从数学证明推导出Basic-Paxos算法是理解它最便捷的方法。 单提案表决：单...
本页面内关键词为智能算法引擎基于机器学习所生成，如有任何问题，可在页面下方点击"联系我们"与我们沟通。
