Manuscript En02-B@1 · En02-B-v1.tex · section · ca28dee4

Cost functions

Programme soundness and elementary monotonicities › Cost functions · lines 507–521

For a fixed task, access interface, and implementation library, define

Q_{L}^{*} (A, a, ε) = π in f Q_{peak} (π),

over legal programmes satisfying the subsystem recovery requirement within $ε$ . The value is $+ \infty$ if none exists. Because finite peaks are integers, a finite infimum is attained as a minimum of the achievable peak values.

Displayed formulas in this passage

unlabeled · line 511
$Q_{L}^{*} (A, a, ε) = π in f Q_{peak} (π),$

Nearby in this section

proposition: Proposition: B2: cost and feasibility monotonicities
section: Cost functions