Modeladvanced
Red-blue pebble game
Also called Hong-Kung pebble game, pebble game.
Pebbling game on a computation DAG that models I/O and gives lower bounds on data movement.
Pebbling game on a computation DAG that models I/O and gives lower bounds on data movement.
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 G6X9X7 Edit this page History Report an error