Un solucionador es una pieza de software matemático , posiblemente en forma de un programa de computadora independiente o como una biblioteca de software , que "resuelve" un problema matemático. Un solucionador toma descripciones de problemas en algún tipo de forma genérica y calcula su solución. En un solucionador, el énfasis está en crear un programa o biblioteca que se pueda aplicar fácilmente a otros problemas de tipo similar.
Tipos de solucionadores
Los tipos de problemas con los solucionadores dedicados existentes incluyen:
- Ecuaciones lineales y no lineales . En el caso de una sola ecuación, el "solucionador" se denomina más apropiadamente algoritmo de búsqueda de raíces .
- Sistemas de ecuaciones lineales .
- Sistemas no lineales .
- Sistemas de ecuaciones polinomiales , que son un caso especial de sistemas no lineales, mejor resueltos por solucionadores específicos.
- Problemas de optimización lineal y no lineal
- Sistemas de ecuaciones diferenciales ordinarias
- Sistemas de ecuaciones algebraicas diferenciales
- Problemas de satisfacibilidad booleanos , incluidos los solucionadores de SAT
- Cuantificados fórmula booleanos solucionadores de [1]
- Problemas de satisfacción de restricciones
- Problemas del camino más corto
- Problemas mínimos del árbol de expansión
- Algoritmos de búsqueda
- Solucionadores de juegos para problemas de teoría de juegos [2]
- Problema de tres cuerpos [3]
El solucionador de problemas generales ( GPS ) es un programa informático en particular creado en 1957 por Herbert Simon , JC Shaw y Allen Newell destinado a funcionar como un solucionador de problemas universal, que teóricamente se puede utilizar para resolver todos los problemas posibles que se pueden formalizar en un formato. sistema simbólico, dada la configuración de entrada correcta. Fue el primer programa informático que separó su conocimiento de los problemas (en forma de reglas de dominio ) de su estrategia de cómo resolver problemas (como motor de búsqueda general ).
Los solucionadores generales suelen utilizar una arquitectura similar al GPS para desacoplar la definición de un problema de la estrategia utilizada para resolverlo. La ventaja de este desacoplamiento es que el solucionador no depende de los detalles de ninguna instancia de problema en particular. La estrategia utilizada por los solucionadores generales se basó en un algoritmo general (generalmente basado en el retroceso ) con el único objetivo de completar. Esto induce un tiempo computacional exponencial que limita drásticamente su usabilidad. Los solucionadores modernos utilizan un enfoque más especializado que aprovecha la estructura de los problemas para que el solucionador pase el menor tiempo posible retrocediendo.
Para problemas de una clase particular (p. Ej., Sistemas de ecuaciones no lineales ), generalmente se encuentran disponibles múltiples algoritmos. Algunos solucionadores implementan múltiples algoritmos.
Ver también
- TK Solver : un solucionador de problemas basado en reglas con capacidades de resolución inversa.
- Software matemático para otros tipos de software matemático.
- Entorno de resolución de problemas : un software especializado que combina métodos automatizados de resolución de problemas con herramientas orientadas a las personas para guiar la resolución de problemas.
- Teorías de módulo de satisfacción para solucionadores de fórmulas lógicas con respecto a combinaciones de teorías de fondo expresadas en lógica clásica de primer orden con igualdad.
- Razonador semántico
Listas de solucionadores
Referencias
- ^ Uso de QBF Solvers para resolver juegos y acertijos - Boston College
- ^ Bowling, Michael y Manuela Veloso. Un análisis de la teoría de juegos estocásticos para el aprendizaje por refuerzo de múltiples agentes . No. CMU-CS-00-165. Carnegie-Mellon Univ Pittsburgh Pa School of Computer Science, 2000.
- ^ "Una red neuronal resuelve el problema de los tres cuerpos 100 millones de veces más rápido" . Revisión de tecnología del MIT . 26 de octubre de 2019 . Consultado el 16 de mayo de 2021 .