Conceptadvanced
Output-sensitive enumeration
Also called output-sensitive algorithm, output-sensitive generation, polynomial-delay enumeration.
Enumeration whose running time is measured in terms of the number of outputs as well as the input size.
Enumeration whose running time is measured in terms of the number of outputs as well as the input size.
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 NZT4MF Edit this page History Report an error