Library / Computational Thinking DPF
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:20:20 UTC

Part B - Control error and computational cost

§ID & TitleStatusKeywords & Search QueriesDependencies
1CMP.8 - Construct an Approximate Computation with Controlled ErrorUsable, evolvingapproximation; scaling; discretization; finite stopping; rounding; conditioning. How can a permitted error reduce computation while retaining the answer quality needed next?MATH.20/.21 for bounds and convergence; CMP.3/.10 for shared computation and representation.
2CMP.9 - Construct a Randomized Estimator or Sampling ProcedureUsable, evolvingrandomized algorithm; sampling; estimator; proposal; dependence; stopping time. Which random procedure supplies the required law or finite-run estimate?A supplied probability target, with MMP.7 where modeled; CMP.10 for access and storage.
3CMP.10 - Choose a Computational Representation for Its Access and Update OperationsUsable, evolvingdata structures; representation; queries; updates; conversion; arithmetic; memory. Which representation makes the required operations affordable?CMP.2/.3 for compositional summaries and shared work; MATH for preserved structure.
4CMP.11 - Derive a Computational Lower Bound from Indistinguishable InputsUsable, evolvinglower bound; adversary; indistinguishable inputs; decision tree; communication; error. What must every algorithm in this model observe or communicate?MATH.19/.20 for argument and bound; CMP.1 for reduction; C.29.2 for the cost model.