Abstract
The multistage insertion formulation (MI) for the symmetric traveling salesman problem (STSP), gives rise to a combinatorial object called pedigree. Pedigrees are in one-to-one correspondence with Hamiltonian cycles. The convex hull of all the pedigrees of a problem instance is called the pedigree polytope. The MI polytope is as tight as the subtour elimination polytope when projected into its two-subscripted variable space. It is known that the complexity of solving a linear optimization problem over a polytope is polynomial if the membership problem of the polytope can be solved in polynomial time. Hence the study of membership problem of the pedigree polytope is important. A polynomially checkable necessary condition is given by Arthanari in [5]. This paper provides a counter example that shows the necessary condition is not sufficient.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Applegate, D., Bixby, R.E., Chvatal, V., Cook, W.J.: The traveling salesman problem: a computational study. Princton University Press (2006)
Arthanari, T.S.: On the traveling salesman problem. In: Mathematical Programming - The State of the Art. Springer (1983)
Arthanari, T.S.: Pedigree polytope is a combinatorial polytope. In: Mohan, S.R., Neogy, S.K. (eds.) Operations Research with Economic and Industrial Applications: Emerging Trends. Anamaya Publishers (2005)
Arthanari, T.S.: On pedigree polytopes and hamiltonian cycles. Descrete Mathematics 306(14), 1474–1492 (2006)
Arthanari, T.S.: On the membership problem of pedigree polytope. In: Neogy, S.K., Bapat, R.B., Das, A.K., Parthasarathy, T. (eds.) Mathematical Programming and Game Theory for Decision Making. World Scientific (2008)
Arthanari, T.S., Usha, M.: An alternate formulation of the symmetric traveling salesman problem and its properties. Discrete Applied Mathematics 98(3), 173–190 (2000)
Arthanari, T.S., Usha, M.: On the equivalence of the multistage-insertion and cycle shrink formulations of the symmetric traveling salesman problem. Operations Research Letters 29(3), 129–139 (2001)
Dantzig, G.B., Fulkerson, D.R., Johnson, S.M.: Solution of a large-scale traveling-salesman problem. Operations Research 2(4), 393–410 (1954)
Ford Jr., L.R., Fulkerson, D.R.: A suggested computation for maximal multi-commodity network flows. Management Science 50(12), 1778–1780 (2004)
Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combinatorial Optimization. Springer (1988)
Gusfield, D.: A graph theoretic approach to statistical data security. SIAM J. Comput. 17(3), 552–571 (1988)
Haerian Ardekani, L., Arthanari, T.S.: Traveling Salesman Problem and Membership in Pedigree Polytope - a Numerical Illustration. In: Le Thi, H.A., Bouvry, P., Dinh, T.P. (eds.) MCO 2008. CCIS, vol. 14, pp. 145–154. Springer, Heidelberg (2008)
Langevin, A., Soumis, F., Desrosiers, J.: Classification of travelling salesman formulations. OR Letters 9(2), 127–132 (1990)
Lawler, E.L., Lenstra, J.K., Rinooy Kan, A.H.G., Shmoys, D.B.: The traveling salesman problem: A guided tour of combinatorial optimization. Wiley (1985)
Orman, A.J., Williams, H.P.: A survey of different integer programming formulations of the travelling salesman problem. In: Optimization, Econometrics and Financial Analysis, pp. 91–104. Springer (2007)
Padberg, M., Sung, T.: An analytical comparison of different formulations of the traveling salesman problem. Mathematical Programming 52(1-3), 315–357 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ardekani, L.H., Arthanari, T.S. (2013). The Multi-flow Necessary Condition for Membership in the Pedigree Polytope Is Not Sufficient- A Counterexample. In: Selamat, A., Nguyen, N.T., Haron, H. (eds) Intelligent Information and Database Systems. ACIIDS 2013. Lecture Notes in Computer Science(), vol 7803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36543-0_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-36543-0_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36542-3
Online ISBN: 978-3-642-36543-0
eBook Packages: Computer ScienceComputer Science (R0)