Conceptcore
Constant amortized time (CAT) generation
Also called CAT algorithm, CAT generation, Constant amortized time generation, constant amortized time enumeration.
Generate each object with O(1) average work over the whole run, even if single steps can be longer.
Generate each object with O(1) average work over the whole run, even if single steps can be longer.
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 TRSSMY Edit this page History Report an error