Problemcore
Strong orientation
Problem of orienting the edges of an undirected graph so it becomes strongly connected, possible exactly when the graph is bridgeless and connected.
Problem of orienting the edges of an undirected graph so it becomes strongly connected, possible exactly when the graph is bridgeless and connected.
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 5J950J Edit this page History Report an error