Definitionintro
Negative cycle
Also called negative-weight cycle.
A directed cycle whose total weight is negative; it makes shortest paths through it undefined.
A directed cycle whose total weight is negative; it makes shortest paths through it undefined.
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 Z4CS42 Edit this page History Report an error