Problemadvanced
Selection in sorted matrices
Also called k-th smallest in a row- and column-sorted matrix.
Find the k-th smallest entry of a matrix whose rows and columns are sorted.
Find the k-th smallest entry of a matrix whose rows and columns are sorted.
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 P408WF Edit this page History Report an error