Un fenómeno en especificación formal y lógica donde el número, tamaño o complejidad estructural de los modelos que satisfacen una teoría crece muy rápidamente (a menudo combinatoria o exponencialmente) cuando el tamaño de entrada, el vocabulario o las restricciones cambian ligeramente.

Principio

Pequeñas expansiones en la firma (predicados, constantes o relaciones adicionales), la relajación de restricciones o el aumento del tamaño del dominio pueden multiplicar el espacio de interpretaciones que satisfacen una teoría, provocando una explosión en el recuento de modelos o en el tamaño de representación que abruma métodos enumerativos o constructivos.

Demostración

En lógica proposicional, añadir unas pocas variables a una fórmula satisfacible puede duplicar o aumentar exponencialmente el número de asignaciones que la satisfacen. En diseño de ontologías, eliminar un axioma restrictivo puede permitir una familia exponencial de modelos que difieren por relaciones opcionales; un escenario concreto es una plantilla con muchos puntos de elección independientes que produce 2^n modelos distintos.

Aplicación incorrecta

Atribuir todo coste combinatorio observado en sistemas de razonamiento a la explosión de modelos sin comprobar si las restricciones o técnicas de ruptura de simetría ya podan la búsqueda; o confundir la explosión de modelos con mera ineficiencia de implementación.

Consecuencia

La explosión de modelos obliga al uso de representantes simbólicos, paramétricos o canónicos, reducción de simetrías, abstracción o muestreo probabilístico en lugar de enumeración completa; influye en el diseño de herramientas y en la elección de lenguajes o fragmentos empleados en la práctica.

Inversión

La inversión —que los modelos permanezcan siempre escasos y en número polinómico ante pequeños cambios— permitiría la enumeración exhaustiva de modelos y verificaciones de completitud sencillas para muchas tareas que hoy requieren aproximaciones u heurísticas.

Límite

Ocurre en función de las características del lenguaje, las cardinalidades permitidas y la interacción de restricciones; no afecta universalmente a todos los lenguajes formales y se mitiga mediante restricciones como fragmentos guardados, aridad limitada o la asunción de nombres únicos.

Tensión semántica

Compite con nociones de complejidad en el peor caso y comportamiento medio: la explosión de modelos describe un crecimiento combinatorio del espacio de soluciones, que puede no coincidir con la dureza algorítmica si los solucionadores explotan la estructura; surge tensión al decidir si tratar la explosión como inherente o evitable.

Síntesis

La Explosión de Modelos es el aumento combinatorio en el número o complejidad de estructuras satisfactibles desencadenado por pequeños cambios sintácticos o del dominio; comprender sus causas orienta a los diseñadores hacia restricciones representacionales y técnicas algorítmicas que eviten la enumeración por fuerza bruta.