Given an undirected graph and a positive integer k, the maximum k-colorable subgraph problem consists of selecting a k-colorable induced subgraph of maximum cardinality. the natural integerprogramming formulation for...
详细信息
ISBN:
(纸本)9783642213113
Given an undirected graph and a positive integer k, the maximum k-colorable subgraph problem consists of selecting a k-colorable induced subgraph of maximum cardinality. the natural integerprogramming formulation for this problem exhibits two kinds of symmetry: arbitrarily permuting the color classes and/or applying a non-trivial graph automorphism gives equivalent solutions. It is well known that such symmetries have negative effects on the performance of constraint/integerprogramming solvers. We investigate the integration of a branch-and-cut algorithm for solving the maximum k-colorable subgraph problem with constraint propagation techniques to handle the symmetry arising from the graph. the latter symmetry is handled by (non-linear) lexicographic ordering constraints and linearizations thereof. In experiments, we evaluate the influence of several components of our algorithm on the performance, including the different symmetry handling methods. We show that several components are crucial for an efficient algorithm;in particular, the handling of graph symmetries yields a significant performance speed-up.
We introduce a problem that is a common generalization of the uncapacitated facility location and minimum latency (ML) problems, where facilities need to be opened to serve clients and also need to be sequentially act...
详细信息
ISBN:
(纸本)9783642208072
We introduce a problem that is a common generalization of the uncapacitated facility location and minimum latency (ML) problems, where facilities need to be opened to serve clients and also need to be sequentially activated before they can provide service. Formally, we are given a set F of n facilities with facility-opening costs f(i), a set D of m clients, connection costs c(ij) specifying the cost of assigning a client j to a facility i, a root node r denoting the depot, and a time metric d on F.{r}. Our goal is to open a subset F of facilities, find a path P starting at r and spanning F to activate the open facilities, and connect each client j to a facility phi(j) epsilon F, so as to minimize Sigma(i epsilon F) f(i) + Sigma(j epsilon D)(c(phi(j)),(j) + t(j)), where t(j) is the time taken to reach phi(j) along path P. We call this the minimum latency uncapacitated facility location (MLUFL) problem. Our main result is an O(log n . max(log n, logm))-approximation for MLUFL. We also show that any improvement in this approximation guarantee, implies an improvement in the (current-best) approximation factor for group Steiner tree. We obtain constant approximations for two natural special cases of the problem: (a) related MLUFL (metric connection costs that are a scalar multiple of the time metric);(b) metric uniform MLUFL (metric connection costs, uniform time-metric). Our LP-based methods are versatile and easily adapted to yield approximation guarantees for MLUFL in various more general settings, such as (i) when the latency-cost of a client is a function of the delay faced by the facility to which it is connected;and (ii) the k-route version, where k vehicles are routed in parallel to activate the open facilities. Our LP-based understanding of MLUFL also offers some LP-based insights into ML, which we believe is a promising direction for obtaining improvements for ML.
We study in this paper the problem of finding in a graph a subset of k edges whose deletion causes the largest increase in the weight of a minimum spanning tree. We propose for this problem an explicit enumeration alg...
详细信息
ISBN:
(纸本)9783642226151
We study in this paper the problem of finding in a graph a subset of k edges whose deletion causes the largest increase in the weight of a minimum spanning tree. We propose for this problem an explicit enumeration algorithm whose complexity, when compared to the current best algorithm, is better for general k but very slightly worse for fixed k. More interestingly, unlike in the previous algorithms, we can easily adapt our algorithm so as to transform it into an implicit exploration algorithm based on a branch and bound scheme. We also propose a mixed integerprogramming formulation for this problem. Computational results show a clear superiority of the implicit enumeration algorithm both over the explicit enumeration algorithm and the mixed integer program.
We introduce the framework of branched polyhedral systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other polyhedra. the framework, for instance,...
详细信息
ISBN:
(纸本)9783642130359
We introduce the framework of branched polyhedral systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other polyhedra. the framework, for instance, simultaneously generalizes extended formulations like the well-known ones (see Balas [1]) for the convex hulls of unions of polyhedra (disjunctive programming) and like those obtained from dynamic programming algorithms for combinatorialoptimization problems (due to Martin, Rardin, and Campbell [11]). Using the framework, we construct extended formulations for full orbitopes (the convex hulls of all 0/1-matrices with lexicographically sorted columns), we show for two special matching problems, how branched polyhedral systems can be exploited in order to construct formulations for certain nested combinatorial problems, and we indicate how one can build extended formulations for stable set polytopes using the framework of branched polyhedral systems.
the proceedings contain 32 papers. the topics discussed include: perspective relaxation of mixed integer nonlinear programs with indicator variables;disjunctive cuts for non-convex mixed integer quadratically constrai...
详细信息
ISBN:
(纸本)3540688862
the proceedings contain 32 papers. the topics discussed include: perspective relaxation of mixed integer nonlinear programs with indicator variables;disjunctive cuts for non-convex mixed integer quadratically constrained programs;the air traffic flow management problem: an integeroptimization approach;the induced disjoint paths problem;a new algorithm for the maximum weighted stable set problem in claw-free graphs;a polynomial algorithm for weighted abstract flow;a comparative study of linear and semidefinite branch-and-cut methods for solving the minimum graph bisection problem;binary positive semidefinite matrices and associated integer polytopes;vertex cover resists SDPs tightened by local hypermetric inequalities;tight bounds for permutation flow shop scheduling;the stochastic machine replenishment problem;a polynomial time approximation scheme for the square packing problem;and constraint orbital branching.
the proceedings contain 36 papers. the topics discussed include: inequalities from two rows of a simplex tableau;cuts for conic mixed-integerprogramming;sequential-merge facets for two-dimensional group problems;tria...
详细信息
ISBN:
(纸本)9783540727910
the proceedings contain 36 papers. the topics discussed include: inequalities from two rows of a simplex tableau;cuts for conic mixed-integerprogramming;sequential-merge facets for two-dimensional group problems;triangle-free simple 2-matchings in subcubic graphs;the smoothed number of Pareto optimal solutions in bicriteria integeroptimization;finding a polytope from its graph in polynomial time;orbitopal fixing;orbital branching;distinct triangle areas in a planar point set;scheduling with precedence constraints of low fractional dimension;approximation algorithms for 2-stage stochastic scheduling problems;on integerprogramming and the branch-width of the constraint matrix;matching problems in polymatroids without double circuits;maximizing a submodular set function subject to a matroid constraint;on a generalization of the master cyclic group polyhedron;and a framework to derive multidimensional superadditive lifting functions and its applications.
We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show ...
详细信息
We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show that the new relaxation dominates the one in [D. Cvetkovic, M. Cangalovic, and V. Kovacevic-Vujcic, Semidefinite programming methods for the symmetric traveling salesman problem, in Proceedings of the 7thinternationalipcoconference on integerprogramming and combinatorialoptimization, Springer-Verlag, London, UK, 1999, pp. 126-136]. Unlike the bound of Cvetkovic et al., the new SDP bound is not dominated by the Held-Karp linear programming bound, or vice versa.
Recently, Andersen et al. [1] and Borozan and Cornuejols [3] characterized the minimal inequalities of a system of two rows with two free integer variables and nonnegative continuous variables. these inequalities are ...
详细信息
ISBN:
(纸本)9783540688860
Recently, Andersen et al. [1] and Borozan and Cornuejols [3] characterized the minimal inequalities of a system of two rows with two free integer variables and nonnegative continuous variables. these inequalities are either split cuts or intersection cuts derived using maximal lattice-free convex sets. In order to use these minimal inequalities to obtain cuts from two rows of a general simplex tableau, it is necessary to extend the system to include integer variables (giving the two-dimensional mixed integer infinite group problem), and to develop lifting functions giving the coefficients of the integer variables in the corresponding inequalities. In this paper, we analyze the lifting of minimal inequalities derived from lattice-free triangles. Maximal lattice-free triangles in R-2 can be classified into three categories: those with multiple integral points in the relative interior of one of its sides, those with integral vertices and one integral point in the relative interior of each side, and those with non integral vertices and one integral point in the relative interior of each side. We prove that the lifting functions are unique for each of the first two categories such that the resultant inequality is minimal for the mixed integer infinite group problem, and characterize them. We show that the lifting function is not necessarily unique in the third category. For this category we show that a fill-in inequality (Johnson [11]) yields minimal inequalities for mixed integer infinite group problem under certain sufficiency conditions. Finally, we present conditions for the fill-in inequality to be extreme.
In many signal processing and data mining applications, we need to approximate a given matrix Y of "sensor measurements" over several experiments by a low-rank product Y approximate to A (.) X, where X conta...
详细信息
ISBN:
(纸本)9783540697329
In many signal processing and data mining applications, we need to approximate a given matrix Y of "sensor measurements" over several experiments by a low-rank product Y approximate to A (.) X, where X contains source signals for each experiment, A contains source-sensor mixing coefficients, and both A and X are unknown. We assume that the only a-priori information available is that A must have zeros at certain positions;this constrains the source-sensor network connectivity pattern. In general, different AX factorizations approximate a given Y equally well, so a fundamental question is how the connectivity restricts the solution space. We present a combinatorial characterization of uniqueness up to diagonal scaling, called structural identifiability of the model, using the concept of structural rank from combinatorial matrix theory. Next, we define an optimization problem that arises in the need for efficient experimental design: to minimize the number of sensors while maintaining structural identifiability. We prove its NP-hardness and present a mixed integer linear programming framework with two cutting-plane approaches. Finally, we experimentally compare these approaches on simulated instances of various sizes.
the proceedings contain 34 papers from the integerprogramming and combinatorialoptimization: 11thinternationalipcoconference, Proceedings. the topics discussed include: mixed-integer cuts from cyclic groups;optim...
详细信息
the proceedings contain 34 papers from the integerprogramming and combinatorialoptimization: 11thinternationalipcoconference, Proceedings. the topics discussed include: mixed-integer cuts from cyclic groups;optimization over the first chvátal closure;a combinatorial algorithm to find a maximum even factor;improved approximation schemes for linear programming relaxations of combinatorialoptimization problems;on the approximability of the minimum congestion unsplittable shortest path routing problem;inventory and facility location models with market selection;and on approximation complex quadratic optimization problems via semidefinite programming relaxations.
暂无评论