Techniqueadvanced
Dual approximation framework
Also called Dual approximation, Hochbaum-Shmoys dual approximation, dual approximation framework.
Guess a target value T and either find a solution within a factor of T or certify that none of value T exists, then binary search on T.
Guess a target value T and either find a solution within a factor of T or certify that none of value T exists, then binary search on T.
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 DPDS4B Edit this page History Report an error