Preprocessing techniques for Integer Linear Programming
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/339357
Tipus de documentTreball Final de Grau
Data2020-03-26
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
P vs NP ha sido (y sigue siendo) uno de los problemas más importantes (si no el más importante) en el campo de las ciencias de la computación. Los problemas NP-Completos son infames por lo difíciles que son de solucionar, y además son muy prevalentes en casi todo campo dentro de la investigación en ciencias de la computación. Por este motivo, encontrar métodos eficientes para solucionar problemas NP-Completos es muy importante. En este proyecto nos centramos en un par de métodos para mejorar la eficiencia de Programación Lineal Entera (particularmente, el subconjunto de problemas en Programación Lineal Entera donde las variables son binarias, llamado Programación Lineal Binaria o Pseudobooleana) y comparamos su eficiencia usando el solver de "Intsat" desarrollado por Barcelogic, un spinoff de la UPC. El objetivo de este proyecto es implementar y estudiar la eficiencia de estos métodos, e integrarlos en Intsat si parece que mejoran el tiempo y/o la calidad de las soluciones. P vs NP has been (and still is) one of the most, if not the most important problem in computer science. NP-Complete problems are infamously difficult to solve, and not only that, but they are also very prevalent in almost every field inside computer science research. Because of that, finding efficient methods for solving NP-Complete problems is very important. In this project, we focus on a couple methods for improving the efficiency of Integer Linear Programing (particularly, the subset of problems in ILP where variables are binary, called Binary or Pseudoboolean Linear Programming) and compare their performance using the solver "Intsat" developed by Barcelogic, a spinoff of UPC. The final goal for this project is to implement and study the efficiency of these methods, and to integrate them into Intsat if they appear to make an improvement on the running time and/or the quality of the solutions.
TitulacióGRAU EN ENGINYERIA INFORMÀTICA (Pla 2010)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
151791.pdf | 475,5Kb | Visualitza/Obre |