En los algoritmos de optimización, en general, la prueba de optimalidad refiere a la condición que se debe comprobar al término de cada iteración para determinar si se ha encontrado la solución óptima buscada. En caso de verificarse dicha prueba, el algoritmo debe terminarse e informar el resultado encontrado. Obviamente, en caso contrario, se debe proceder a ejecutar otra de las iteraciones previstas en el algoritmo. En el caso particular del algoritmo símplex, si se usan las tablas símplex y el método bifásico, por ejemplo, la prueba de optimalidad puede expresarse de la siguiente manera: si, y solo si, cada coeficiente en la fila 0 (o en la fila 0' de la Fase I del método bifásico) es no-negativo, la solución óptima (o el final de la primera fase) ha sido encontrada.
