Techniquecore
Lower bounds by reduction
Also called lower bound by reduction, reduction-based lower bound, transfer of lower bounds.
If a known hard problem reduces to a new problem cheaply, the new problem inherits the known lower bound.
If a known hard problem reduces to a new problem cheaply, the new problem inherits the known lower bound.
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 51HZBR Edit this page History Report an error