¿Por qué necesitamos las condiciones necesarias en la optimización a pesar de que tenemos la condición suficiente?

Me estoy yendo por completo aquí matemáticamente, pero en principio
Creo que podría aplicarse el siguiente ejemplo:

Ejemplo 2 : un número divisible por 4 es suficiente (pero no necesario) para ser par, pero ser divisible por 2 es suficiente y necesario.

de: Necesidad y suficiencia

Entonces, si está buscando óptimos, es posible que no lo encuentre a través de condiciones meramente suficientes. Necesita condiciones suficientes y necesarias, es decir, se debe explorar todo el espacio del problema, no solo el subconjunto.

Para comprar una casa tienes que:

  • tener el dinero (condición suficiente)
  • realmente quiero comprar una casa (necesaria, pero, como todos sabemos, no es suficiente)

No obtendrás una casa si no tienes ambos.

Ok, intentaré el aspecto matemático:

Digamos que desea encontrar el máximo de una función.

La condición suficiente sería que el delta es 0 en el punto del máximo, es decir, la función de los picos en el máximo no es más alta que en ese punto.

Sin embargo, eso solo funciona si la función es cóncava para empezar (la condición necesaria). No funcionará con una función no cóncava, aunque pueda tener una silla de montar donde se cumpla la condición suficiente, es decir, el delta = 0.

Entonces la necesidad enmarca la suficiencia.