Theoremadvanced
Erdős-Rényi giant component theorem
Also called phase transition in G(n,p).
For average degree above 1 a giant component emerges; below 1 all components are small.
For average degree above 1 a giant component emerges; below 1 all components are small.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 81EC6M Edit this page History Report an error