Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f

Complete-output bounds for general finite programs

Stage F: bounded segments and excluded prescription changes › Complete-output bounds for general finite programs · lines 1367–1381

Set

Δ_{Φ} (a, b) = \frac{1}{2} ∥ Rec_{Φ} (τ (a)) - Rec_{Φ} (τ (b)) ∥_{1} .

For $J = [a_{0} - d, a_{0} + d]$ , define

L_{Φ} (J) = a \in J sup \frac{1}{2 σ} y \sum B_{y} s (a)^{2} - C_{y} s (a) t (a)_{1} .

Displayed formulas in this passage

unlabeled · line 1370
$Δ_{Φ} (a, b) = \frac{1}{2} ∥ Rec_{Φ} (τ (a)) - Rec_{Φ} (τ (b)) ∥_{1} .$
unlabeled · line 1376
$L_{Φ} (J) = a \in J sup \frac{1}{2 σ} y \sum B_{y} s (a)^{2} - C_{y} s (a) t (a)_{1} .$