Given a graph property formula_31, a parameter formula_32 describing a graph, and a set of graphs formula_33, we wish to find the minimal possible value formula_34 such that every graph formula_35 with formula_36 has property formula_31.