Definition:Significant Value

From ProofWiki
Jump to navigation Jump to search



Definition

Let $V \in \R$, $\map {V_i} R: \closedint 0 1 \to \R$ be an evaluation function.

Let $\map f B: \R \to \R$ be a bound function.

The value $V_i$ is said to be a significant value with respect to the residue $R$ and the bound $B$ whenever $V \ge \map {V_i} R \map f B$.