ランダムグラフ G(n, p)

定義 2.3（「極値グラフ理論と Ramsey 理論」§2）

$n\ge1$ 、 $0\le p\le1$ とする。頂点集合 $[n]$ の上のグラフの全体（ $2^{\binom n2}$ 個）を $\Omega$ とし、グラフ $G$ の重みを

w(G)=p^{|E(G)|}(1-p)^{\binom n2-|E(G)|}

と定めた有限確率空間を $G(n,p)$ と書く。 $p=1/2$ のときは一様である。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。