ula_8会有多个，而且这些半必经点一定是搜索树中点 formula_8的祖先。 对于每个点，只需要保存其半必经点中最小的一个，下文中用表示点的半必经点中值最小的点的编号。 可以更书面一点的描述这个定理：
历史.计算机科学中支配的概念第一次被提出是在Reese T. Prosser在1959年一篇关于流网络的论文中提出的 而在此论文中，Prosser并未提出一种有效算法以计算支配关系,解决这一问题的有效算法直到十年后才被 Edward S. Lowry and C. W