Problemresearch
Dynamic graph coloring
Also called dynamic vertex coloring.
Maintain a proper vertex coloring with few colors under edge updates.
Maintain a proper vertex coloring with few colors under edge updates.
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 MSB69K Edit this page History Report an error