Resolver programas de enteros de restricción Solución de programas de enteros de restricción es un marco para la programación de enteros de restricción.
Descargar ahora

Resolver programas de enteros de restricción Clasificación y resumen

Resolver programas de enteros de restricción Etiquetas

constante marco de programación entero Programación de enteros entero constante Escupo

Resolver programas de enteros de restricción Descripción

Resolución de programas de enteros de restricción es un marco para la programación de enteros de restricción. Resolución de programas de enteros de restricción es un marco para la programación de enteros de restricción. Para resolver programas de enteros y programas de restricción, se utiliza una técnica muy similar: el problema se divide sucesivamente en subproblemas más pequeños (ramificación) que se resuelve recursivamente. En la otra mano, la programación de enteros y la programación de restricciones tienen fortalezas diferentes: la programación de enteros utiliza las relajaciones de LP y los planos de corte para proporcionar fuertes límites duales, mientras que la programación de restricciones puede manejar restricciones arbitrarias (no lineales) y utiliza la propagación para apretar los dominios de la variable. SCIP es un marco para la programación de enteros de restricción orientada hacia las necesidades de los expertos de programación matemática que desean tener un control total del proceso de solución y acceder a la información detallada a las agallas del solver. SCIP también se puede utilizar como solucionador MIP puro o como marco para el precio de la sucursal y el precio. Aquí hay algunas características clave de "Solución de programas de enteros de restricción": · Es un marco para la ramificación, corte, precios y propagación. Es altamente flexible a través de muchos complementos de usuario posibles: · Manipuladores de restricción para implementar restricciones arbitrarias, · Pricers variables para crear dinámicamente variables de problemas, · Propagadores de dominio para aplicar las propagaciones independientes de restricción en los dominios de las variables, · Cortar los separadores para aplicar aviones de corte en la relajación de LP, · Relajadores para proporcionar relajaciones y límites duales además de la relajación de LP, · Heurísticas primas para buscar soluciones factibles con soporte específico para sondeo y buceo, · Selectores de nodos para guiar la búsqueda, · Reglas de ramificación para dividir el problema en los subproblemas, · Presentadores para simplificar el problema resuelto, · Lectores de archivos para analizar diferentes formatos de archivos de entrada, · Los manipuladores de eventos deben ser informados sobre eventos específicos, por ejemplo, cuando se resolvió un nodo, se encontró una variable específica, o se encontró una nueva solución primordial, · Mostrar manipuladores para crear columnas adicionales en la salida del Solver. · Manipuladores de diálogo para extender el shell de comandos incluido. · Cada unidad existente se implementa como un complemento, lo que lleva a una interfaz lo suficientemente flexible para satisfacer las necesidades de la mayoría de las extensiones de usuario adicionales. · Se incluye una gestión de la piscina de corte dinámico. · El usuario puede mezclar variables de problema preprocesados ​​y activos en expresiones: se transforman automáticamente a las variables de problemas activos correspondientes. · Se pueden crear arbitrariamente muchos niños por nodo, y los diferentes niños pueden definirse arbitrariamente. · Tiene un soporte abierto de solvente LP (que actualmente es compatible con ILOG CPLEX, Dash Xpress-MP, Soplex y CLP. · La relajación de LP no necesita resolverse en cada nodo individual (incluso puede apagarse completamente, imitando un solucionador de restricción pura). · Se pueden incluir relajaciones adicionales (por ejemplo, relajaciones semidefinitas o relajaciones lagrangianas), trabajando en paralelo o intercalado. · El análisis de conflictos se puede aplicar para aprender de subproblemes inviables. · La gestión de la memoria dinámica reduce el número de llamadas del sistema de operación con la detección automática de fugas de la memoria en modo de depuración. ¿Qué hay de nuevo en este lanzamiento: · Nuevos controladores de restricción para restricciones de SOS. · Mejor apoyo para la recopilación de proyectos usando SCIP. · SCIP ahora puede contar soluciones enteras. · Se ha agregado un ejemplo de generación de columnas para coloración de gráficos. · Capacidades de salida extendidas. · Soporte para problemas pseudo-booleanos. · Nuevos dines heurísticos. Nuevo separador de planos de corte MCF. · Funciones de clasificación mejoradas. Preprocesamiento revisado. · Llamadas de tiempo reelaboradas. · Interfaces LP adaptadas a CLP y Soplex. · Muchas mejoras de rendimiento interno y correcciones de errores.

Resolver programas de enteros de restricción Software relacionado