Skip to content

一阶矩方法

First moment method

用坏事件计数的期望小于一或 Markov 型界证明好对象存在。

条目类型
原则

形式陈述

一阶矩方法只使用随机变量的期望。若 X0Markov 不等式给出

Pr(Xt)EXt(t>0).

特别地,若 X 是非负整数值坏结构计数且 EX<1,则

Pr(X1)EX<1,

Pr(X=0)>0,存在完全没有坏结构的对象。另一方面,任意可积实随机变量都存在某个结果使 XEX,也存在某个结果使 XEX;否则期望定义会矛盾。线性期望不要求各指标变量独立。

直觉

非负随机变量的期望是所有结果大小的加权平均,因此若平均值小于某阈值,不可能每个结果都达到该阈值。另一常用形式把 X 记为坏对象数:若 EX<1,由于 X 取非负整数,必有某个结果满足 X=0。方法只使用一阶平均,不关心坏事件彼此怎样相关。

例子与边界

随机排列中固定点数 X=iIi,每个 EIi=1/n,故 EX=1,无需固定事件独立。随机二染色图顶点时,单边成为跨边的概率为一半,所以期望割边数为 m/2,存在至少含 m/2 条边的割。条件 EX<1 必须严格;若等于一,可能每个样本恰有一个坏对象。期望小只能给存在性和粗尾界,不能自动给高概率集中;后者通常需二阶矩方法Chernoff 界等额外结构。若坏结构带权且最小正权不为一,应使用相应阈值。

随机给 n 个顶点独立二染色,令 X 为某超图中单色边数。若第 e 条边大小为 ke,则

EX=e21ke.

只要该和小于 1,就存在没有单色边的染色。边事件可以高度依赖,线性期望仍成立;但当期望远大于一时,方法本身不能据此断言不存在零坏事件结果。

推论与应用

概率方法用随机实验证明确定性对象存在,期望的线性性让一阶矩可拆成指标变量之和。Erdős–Rényi 模型中的边数、孤立点和固定子图计数都能直接使用这套分解;当仅有均值不足以证明 X>0 或接近均值时,需要二阶矩方法、局部引理或浓缩不等式补充相关性信息。

随机坏目标计数也可解释有限类中的 Occam 直觉:给每个候选规则定义“它在样本上看似完美但总体很差”的指标,坏规则数 X 满足 EX=hPr(h 坏且幸存),若该和小于 1,便存在没有坏幸存者的样本结果。反方向的No-Free-Lunch证明会对随机目标求学习器平均错误,再抽出一个确定坏目标。后一论证只给存在性或期望下界;仅凭一阶矩,不能自动得到定量的高概率失败或完整 minimax 风险下界。

参考资料
  • Noga Alon and Joel H. Spencer, The Probabilistic Method, 4th ed., Wiley, 2016,Ch. 1, first moment and expectation arguments。
  • Béla Bollobás, Modern Graph Theory, Springer, 1998,Ch. I, expectation and random graph counts。
关系图谱10 个相邻概念 · 4 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系

使用的工具

被这些条目使用

并列辨析