前言
RMQ： 数组 a0, a1, a2,..., an-1, 中求任意区间 a[i+1], a[i+2], ..., a[i+k] 的最小值
LCA： 求二叉树中两个节点的最低公共祖先
本文将证明这两个问题可以相互归约为另一个问题。
证明
先通过一个简单的例子来说明问题。见下图：
求 [7 2 8 6] 的最小值...
分类：
其他好文 时间：
2014-07-22 23:01:35
阅读次数：
271
多面体的一个显著特性是可以由有限个向量和标量来描述。在这一节，我们研究多面体的其他有限表示方法，首先是多面体锥和它的极锥。我们将给从两个不同的多面体锥的表示方法，并从极锥的角度证明它们是等价的。
若多面体$C \subseteq \mathbb{R}^n$可表示成如下形式：\begin{ali...
分类：
其他好文 时间：
2014-05-06 00:08:29
阅读次数：
402
[问题2014S11] 设 \(A,B\) 为 \(n\) 阶实对称阵,
\(p(A),p(B),p(A+B)\) 分别为 \(A,B,A+B\) 的正惯性指数, 证明: \[p(A+B)\leq p(A)+p(B).\]
分类：
其他好文 时间：
2014-05-03 23:22:18
阅读次数：
256
证明
\[\sum_{n=0}^{\infty}\frac{(n!)^{2}2^{n+1}}{(2n+1)!}=\pi\]分析：这道题初看具有难度运用幂级数恐难解决，由分子分母的特性易想到
$\Gamma$函数然后利用$\Gamma$函数与$\beta$函数的关系即可。Proof:\begin{al...
分类：
其他好文 时间：
2014-05-03 22:29:12
阅读次数：
296
Noip2008前三题是基础题，仔细一些都是可以AC的，第四题的证明很巧妙，但是看懂后代码其实很简单，感觉在这些大家都不屑去做的简单题中又学到了不少，四道题代码基本都是十几二十行就够了，渐渐感觉到，比代码和算法更重要的是思想与建模，觉得下阶段应该多注意培养自己的建模能力。T1：火柴棒等式
最简...
分类：
其他好文 时间：
2014-05-03 22:22:19
阅读次数：
315
给定一个单链表，只给出头指针h：
1、 如何判断是否存在环？
证明：
slow首次在A点进入环路时，fast一定在环中的B点某处。设此时slow距head长为x，B点距A点长度为y，环周长为s。因为fast和slow的步差为1，所以slow前行距离为y的时候，恰好会被fast在M点追上。因为y
//判断单链表是否有环
public static boolean hasCyc...
分类：
其他好文 时间：
2014-05-03 16:38:30
阅读次数：
325
从Linux2.5开始Linux实现了0（1）调度算法， 算法的思想要点在于设定动态的nice值确定优先级， 在优先级数组调度（数组最大长度是固定常数） 简而言之，不管系统中有多少进程需要调度都可以在o(1)的时间复杂度内完成调度，是不是很吊啊？但是实践证明（我没证明，文献说的） o(1)对i/o交互型的调度体验上表现很差 轮转周期很不灵活，主要原因在于调度出发点采用粒度很大时间片进行轮换，诚然整体负载会比较好，但是对于i/o交互型的，我们理想的调度策略是采用处理器使用比而不是时间片来分配， ...
分类：
系统相关 时间：
2014-05-02 21:18:41
阅读次数：
460
游戏语音软件iSpeak，是雷军与周鸿祎“友爱过”的一桩证明2014-04-02
07:36:00 来源:虎嗅网(北京) 有2人参与分享到根据4月1日酷6提交的SEC文件，游戏语音软件iSpeak运营方创始人许旭东从盛大网络手里收购41%股份，成为酷6第一大股东。有意思的是，资料显示，雷军、周鸿祎这...
分类：
其他好文 时间：
2014-05-02 16:28:23
阅读次数：
368
主定理
主定理最早出现在《算法导论》中，提供了分治方法带来的递归表达式的渐近复杂度分析。
规模为n的问题通过分治，得到a个规模为n/b的问题，每次递归带来的额外计算为c(n^d)
T(n) <= aT(n/b)+c(n^d)
那么就可以得到问题的复杂度为：...
分类：
其他好文 时间：
2014-04-30 22:44:38
阅读次数：
435
