hasApproximationRatio
P145841
predicate
Indicates that there exists a quantitative bound describing how closely an algorithm’s solution approximates the optimal solution for a given problem.