Techniqueresearch
Aliens trick
Also called Alien's DP, Lagrangian penalty binary search, Lagrangian relaxation for DP, Lagrangian relaxation of DP, WQS binary search.
Remove a count constraint with a penalty term and binary search on the penalty, relying on concavity.
Remove a count constraint with a penalty term and binary search on the penalty, relying on concavity.
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 J6F5JB Edit this page History Report an error