Sensitivity

Notion of the "sensitivity" of a query over lists.

noncomputable def sensitivity {T : Type} (q : List T → ℤ) (Δ : ℕ) : Prop

A query q has sensivity Δ.

Namely, |q(x) - q(x')| ≤ Δ for neighbouring lists x and x'.

Equations

• sensitivity q Δ = ∀ (l₁ l₂ : List T), Neighbour l₁ l₂ → (q l₁ - q l₂).natAbs ≤ Δ