Groups
Category
P vs NP asks whether every problem whose solutions can be verified quickly can also be solved quickly.
Plug DP (DP on broken profile with plugs) sweeps a grid cell by cell while remembering how partial path segments cross the frontier as labeled “plugs.”