fpf.tools
Library / Computational Thinking DPF
Jump to passage
In this reading
Source · lines 2266–2274

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:10:13 UTC

CMP.11:12 - Relations

  • MATH.19 and MATH.20: supply argument construction and bounds.
  • CMP.1: transfers algorithms or impossibility through effective reductions; this method derives a limit directly from available information.
  • CMP.9: constructs random operations and their probability qualifications.
  • CMP.10: changes representation, access and preprocessing while retaining the required answers.
  • C.29.2: states the computational problem and cost model; C.29.3 and PHY.3 address physical realization and physical limits separately.
  • C.11.DUA and C.40: support choosing further argument, another resource or a changed problem when the bound changes the development direction.