Integration of Structural Constraints into TSP Models

International audienceSeveral models based on constraint programming have been proposed to solve the traveling salesman problem (TSP). The most efficient ones, such as the weighted circuit constraint (WCC), mainly rely on the Lagrangian relaxation of the TSP, based on the search for spanning tree or more precisely "1-tree". The weakness of these approaches is that they do not include enough structural constraints and are based almost exclusively on edge costs. The purpose of this paper is to correct this drawback by introducing the Hamiltonian cycle constraint associated with propagators. We propose some properties preventing the existence of a Hamiltonian cycle in a graph or, conversely, properties requiring that certain edges be in the TSP solution set. Notably, we design a propagator based on the research of k-cutsets. The combination of this constraint with the WCC constraint allows us to obtain, for the resolution of the TSP, gains of an order of magnitude for the number of backtracks as well as a strong reduction of the computation time

Doubling or Splitting: Strategies for Modeling and Analyzing Survivable Network Design Problems

Survivability is becoming an increasingly important criterion in network design. This paper studies formulations, heuristic worst-case performance, and linear programming relaxations for two classes of survivable network design problems: the low connectivity Steiner (LCS) problem for graphs containing nodes with connectivity requirement of 0, 1, or 2, and a more general multi-connected network with branches (MNB) that requires connectivities of two or more for certain (critical) nodes and single connectivity for other secondary nodes. We consider both unitary and nonunitary MNB problems that respectively require a connected design or permit multiple components. Using a doubling argument, we first show how to generalize heuristic bounds of the Steiner tree and traveling salesman problems to LCS problems. We then develop a disaggregate formulation for the MNB problem that uses fractional edge selection variables to split the total connectivity requirement across each critical cutset into two separate requirements. This model, which is tighter than the usual cutset formulation, has three special cases: a "secondary-peeling" version that peels off the lowest connectivity level, a "connectivity-dividing" version that divides the connectivity requirements for all the critical cutsets, and a "secondarycompletion" version that attempts to separate the design decisions for the multi-connected network from those for the branches. We examine the tightness of the linear programming relaxations for these extended formulations, and then use them to analyze heuristics for the LCS and MNB problems. Our analysis strengthens some previously known heuristic-to-IP worst-case performance ratios for LCS and MNB problems by showing that the same bounds apply to the heuristic-to-LP ratios using our stronger formulations

The Projected Faces Property and Polyhedral Relations

Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from "smaller" polytopes via some composition rule. He introduced the "projected faces property" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes. For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property. Affinely generated polyhedral relations were introduced by Kaibel and Pashkovich (2011) to construct extended formulations for the convex hull of the images of a point under the action of some finite group of reflections. In this paper we prove that the projected faces property and affinely generated polyhedral relation are equivalent conditions

Computing assortative mixing by degree with the s-metric in networks using linear programming

Calculation of assortative mixing by degree in networks indicates whether nodes with similar degree are connected to each other. In networks with scale-free distribution high values of assortative mixing by degree can be an indication of a hub-like core in networks. Degree correlation has generally been used to measure assortative mixing of a network. But it has been shown that degree correlation cannot always distinguish properly between different networks with nodes that have the same degrees. The so-called -metric has been shown to be a better choice to calculate assortative mixing. The -metric is normalized with respect to the class of networks without self-loops, multiple edges, and multiple components, while degree correlation is always normalized with respect to unrestricted networks, where self-loops, multiple edges, and multiple components are allowed. The challenge in computing the normalized -metric is in obtaining the minimum and maximum value within a specific class of networks. We show that this can be solved by using linear programming. We use Lagrangian relaxation and the subgradient algorithm to obtain a solution to the -metric problem. Several examples are given to illustrate the principles and some simulations indicate that the solutions are generally accurate

Finding Hamiltonian cycles in Delaunay triangulations is NP-complete

AbstractIt is shown that it is an NP-complete problem to determine whether a Delaunay triangulation or an inscribable polyhedron has a Hamiltonian cycle. It is also shown that there exist nondegenerate Delaunay triangulations and simplicial, inscribable polyhedra without 2-factors