Máximos y Mínimos Lógicos
Los problemas de máximos y mínimos en razonamiento lógico matemático buscan determinar el mejor o el peor caso posible ante situaciones de incertidumbre, sin calcular valores exactos. El mínimo para garantizar es la menor cantidad de intentos que asegura al 100% un resultado deseado, mientras que el máximo para evitar es la mayor cantidad que puede ocurrir sin que se cumpla aún la condición. La relación clave es: mínimo para garantizar = máximo para evitar + 1.
La estrategia central es el Principio del Peor Caso: suponer mala suerte total en lugar de suerte. Se identifica el objetivo, se construye la mayor cantidad posible de elementos sin lograrlo y se suma 1 para forzar el éxito. Para garantizar k objetos de un mismo tipo entre m tipos, se usa la fórmula N = m·(k-1) + 1.
Los casos típicos preuniversitarios incluyen bolas en urnas, cortes máximos (n(n+1)/2 + 1 partes con n cortes rectos) y pesadas con balanza (con k pesadas se resuelven hasta 3^k monedas). Los errores frecuentes son confundir lo probable con lo garantizado, olvidar sumar 1, no considerar todos los tipos y suponer un orden favorable.