Problemadvanced
Visibility graph of a polygon
Also called polygon visibility graph.
Graph whose vertices are polygon vertices and whose edges join pairs that see each other inside the polygon.
Graph whose vertices are polygon vertices and whose edges join pairs that see each other inside the polygon.
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 GZ08RJ Edit this page History Report an error