Integer Programming Formulation of Traveling Salesman Problems
Journal of the ACM (JACM)
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Proceedings of the 6th International Conference on Genetic Algorithms
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Mathematical Programming: Series A and B
Hi-index | 0.04 |
In this paper two new characterizations of acyclic graphs are introduced. Additionally, restricted versions of them are also proposed to address some important special cases. These restricted characterizations, in turn, were used to obtain new integer programming formulations for some associated relevant NP-hard problems. Resulting formulations are compact, in the sense that the number of variables and constraints they contain are polynomially bounded. One of them, in particular, that for the homogeneous version of the Probabilistic Minimum Spanning Tree Problem, under a MILP solver, is used here to obtain, for the first time, proven optimal solutions to that problem.