model-and-route-algorithms

Diagnose and repair a static algorithmic problem model, state, reduction, recurrence, invariant, or proof, then decide whether an exact, constructive, exact-hybrid, heuristic, or scored-hybrid route fits the real bounds. Use as an internal algorithmic-problem-solving recovery route when brute force or a proof premise contradicts the attempted solution, or w…

Independent GitHub snapshot · Automated classification · Original documentation governs