Conceptcore
Monotone window property
Also called monotonicity of two pointers.
Pointers only move forward, so the total number of moves is O(n) and each element enters and leaves the window once.
Pointers only move forward, so the total number of moves is O(n) and each element enters and leaves the window once.
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 JARTCJ Edit this page History Report an error