Results 1  10
of
12
An Algorithm for Large Scale 01 Integer Programming With Application to Airline Crew Scheduling
, 1995
"... We present an approximation algorithm for solving large 01 integer programming problems where A is 01 and where b is integer. The method can be viewed as a dual coordinate search for solving the LPrelaxation, reformulated as an unconstrained nonlinear problem, and an approximation scheme working t ..."
Abstract

Cited by 33 (5 self)
 Add to MetaCart
We present an approximation algorithm for solving large 01 integer programming problems where A is 01 and where b is integer. The method can be viewed as a dual coordinate search for solving the LPrelaxation, reformulated as an unconstrained nonlinear problem, and an approximation scheme working together with this method. The approximation scheme works by adjusting the costs as little as possible so that the new problem has an integer solution. The degree of approximation is determined by a parameter, and for different levels of approximation the resulting algorithm can be interpreted in terms of linear programming, dynamic programming, and as a greedy algorithm. The algorithm is used in the CARMEN system for airline crew scheduling used by several major airlines, and we show that the algorithm performs well for large set covering problems, in comparison to the CPLEX system, in terms of both time and quality. We also present results on some well known difficult set covering problems ...
An Interior Point Algorithm to Solve Computationally Difficult Set Covering Problems
, 1990
"... ..."
Exploiting orbits in symmetric ilp
 Mathematical Programming
"... This Article is brought to you for free and open access by Research Showcase. It has been accepted for inclusion in Tepper School of Business by an authorized administrator of Research Showcase. For more information, please contact kbehrman@andrew.cmu.edu. Mathematical Programming manuscript No. (wi ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
This Article is brought to you for free and open access by Research Showcase. It has been accepted for inclusion in Tepper School of Business by an authorized administrator of Research Showcase. For more information, please contact kbehrman@andrew.cmu.edu. Mathematical Programming manuscript No. (will be inserted by the editor)
Solving Hard Set Covering Problems
 Operations Research Letters
, 1995
"... We propose a new branchandbound algorithm to solve hard instances of set covering problems arising from Steiner triple systems. 1 Introduction. The set covering probem (SC) is the problem of finding the minimum number of elements of a ground set E intersecting each member of a given family of s ..."
Abstract

Cited by 21 (1 self)
 Add to MetaCart
We propose a new branchandbound algorithm to solve hard instances of set covering problems arising from Steiner triple systems. 1 Introduction. The set covering probem (SC) is the problem of finding the minimum number of elements of a ground set E intersecting each member of a given family of subsets of E. (SC) is known to be NPhard ([14]). Several algorithms have been studied and implemented in order to solve (SC), exactly or approximately, see [3, 4, 7, 8, 10, 11, 12, 13, 16]. In 1974 Fulkerson, Nemhauser and Trotter [13] described a class of computationally difficult set covering problems arising from a class of set systems known as Steiner triple systems (STS), and they suggested that these problems could be used as benchmarks to test the quality of different algorithms for the set covering problem. In particular, they introduced four special instances of (STS) with 9, 15, 27 and 45 elements; we denote them by STS 9 , STS 15 , STS 27 and STS 45 . They were able to solve STS 9...
Orbital branching
 in Proceedings of IPCO XII
, 2007
"... Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branchandbound procedure. In this work, the orbital branching methodology is extended so that the branching disjunction can be based on an ar ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branchandbound procedure. In this work, the orbital branching methodology is extended so that the branching disjunction can be based on an arbitrary constraint. Many important families of integer programs are structured such that small instances from the family are embedded in larger instances. This structural information can be exploited to define a group of strong constraints on which to base the orbital branching disjunction. The symmetric nature of the problems is further exploited by enumerating nonisomorphic solutions to instances of the small family and using these solutions to create a collection of typically easytosolve integer programs. The solution of each integer program in the collection is equivalent to solving the original large instance. The effectiveness of this methodology is demonstrated by computing the optimal incidence width of Steiner Triple Systems and minimum cardinality covering designs.
An Exact Algorithm For The Maximum Stable Set Problem
 Computational Optimization and Application
, 1994
"... We describe a new branchandbound algorithm for the exact solution of the maximum cardinality stable set problem. The bounding phase is based on a variation of the standard greedy algorithm for finding a colouring of a graph. Two different nodefixing heuristics are also described. Computational te ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
We describe a new branchandbound algorithm for the exact solution of the maximum cardinality stable set problem. The bounding phase is based on a variation of the standard greedy algorithm for finding a colouring of a graph. Two different nodefixing heuristics are also described. Computational tests on random and structured graphs and very large graphs corresponding to `reallife' problems show that the algorithm is competitive with the fastest algorithms known so far. 1 Introduction We denote by G = (V; E) an undirected graph. V is the set of nodes and E the set of edges. A stable set is a subset of V such that no two nodes of the subset are pairwise adjacent. The cardinality of a maximum stable set of G will be denoted by ff(G). A clique is a subset of V with the property that all the nodes are pairwise adjacent. A clique covering is a set of disjoint cliques whose union is equal to V ; the cardinality of a minimum clique covering is denoted by `(G), and since at most one nod...
Edge Projection and the Maximum Cardinality Stable Set Problem
, 1996
"... . Edge projection is a specialization of Lov'asz and Plummer's clique projection when restricted to edges. We discuss some properties of the edge projection which are then exploited to develop a new upper bound procedure for the Maximum Cardinality Stable Set Problem (MSS Problem). The upper bound c ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
. Edge projection is a specialization of Lov'asz and Plummer's clique projection when restricted to edges. We discuss some properties of the edge projection which are then exploited to develop a new upper bound procedure for the Maximum Cardinality Stable Set Problem (MSS Problem). The upper bound computed by our heuristic, incorporated in a branchandbound scheme in conjunction with Balas and Yu branching rule, seems to be very effective for sparse graphs, which are typically hard instances of the MSS Problem. 1. Introduction We denote by G = (V; E) an undirected graph. V is the set of nodes and E the set of edges. A stable set is a subset of V such that no two nodes of the subset are pairwise adjacent. The cardinality of a maximum stable set of G will be denoted by ff(G). When G is the empty graph, ff(G) = 0. A clique is a subset of V with the property that all the nodes are pairwise adjacent. A clique partitioning of G is a family of cliques such that each node of G is contained ...
A biased randomkey genetic algorithm for the steiner triple covering problem
 Optimization Letters
"... Abstract. We present a biased randomkey genetic algorithm (BRKGA) for finding small covers of computationally difficult set covering problems that arise in computing the 1width of incidence matrices of Steiner triple systems. Using a parallel implementation of the BRKGA, we compute improved covers ..."
Abstract

Cited by 8 (8 self)
 Add to MetaCart
Abstract. We present a biased randomkey genetic algorithm (BRKGA) for finding small covers of computationally difficult set covering problems that arise in computing the 1width of incidence matrices of Steiner triple systems. Using a parallel implementation of the BRKGA, we compute improved covers for the two largest instances in a standard set of test problems used to evaluate solution procedures for this problem. The new covers for instances A405 and A729 have sizes 335 and 617, respectively. On all other smaller instances our algorithm consistently produces covers of optimal size. 1.
Parallel Integer Optimization for Crew Scheduling
 ANNALS OF OPERATIONS RESEARCH
, 2000
"... Performance aspects of a Lagrangian relaxation based heuristic for solving large 01 integer linear programs are discussed. In particular, we look at its application to airline and railway crew scheduling problems. We present a scalable parallelization of the original algorithm used in production at ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Performance aspects of a Lagrangian relaxation based heuristic for solving large 01 integer linear programs are discussed. In particular, we look at its application to airline and railway crew scheduling problems. We present a scalable parallelization of the original algorithm used in production at Carmen Systems AB, GĂ¶teborg, Sweden, based on distributing the variables. A lazy variant of this approach which decouples communication and computation is even useful on networks of workstations. Furthermore,
An Iterated Heuristic Algorithm for the Set Covering Problem
 WAE'98
, 1998
"... The set covering problem is a wellknown NPhard combinatorial optimization problem with wide practical applications. This paper introduces a novel heuristic for the unicost set covering problem. An iterated approximation algorithm (ITEG) based on this heuristic is developed: in the first iterat ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The set covering problem is a wellknown NPhard combinatorial optimization problem with wide practical applications. This paper introduces a novel heuristic for the unicost set covering problem. An iterated approximation algorithm (ITEG) based on this heuristic is developed: in the first iteration a cover is constructed, and in the next iterations a new cover is built by starting with part of the best solution so far obtained. The final output of the algorithm is the best solution obtained in all the iterations. ITEG is empirically evaluated on a set of randomly generated problem instances, on instances originated from the Steiner triple systems, and on instances derived from two challenging combinatorial questions by Erdos. The performance of ITEG on these benchmark problems is very satisfactory, both in terms of solution quality (i.e., small covers) as well as in terms of running time.