Skip to main content

The Multi-flow Necessary Condition for Membership in the Pedigree Polytope Is Not Sufficient- A Counterexample

  • Conference paper
Intelligent Information and Database Systems (ACIIDS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7803))

Included in the following conference series:

  • 2125 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Applegate, D., Bixby, R.E., Chvatal, V., Cook, W.J.: The traveling salesman problem: a computational study. Princton University Press (2006)

    Google Scholar 

  2. Arthanari, T.S.: On the traveling salesman problem. In: Mathematical Programming - The State of the Art. Springer (1983)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Arthanari, T.S.: On pedigree polytopes and hamiltonian cycles. Descrete Mathematics 306(14), 1474–1492 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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)

    Article  MathSciNet  MATH  Google Scholar 

  8. Dantzig, G.B., Fulkerson, D.R., Johnson, S.M.: Solution of a large-scale traveling-salesman problem. Operations Research 2(4), 393–410 (1954)

    Article  MathSciNet  Google Scholar 

  9. Ford Jr., L.R., Fulkerson, D.R.: A suggested computation for maximal multi-commodity network flows. Management Science 50(12), 1778–1780 (2004)

    Article  Google Scholar 

  10. Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combinatorial Optimization. Springer (1988)

    Google Scholar 

  11. Gusfield, D.: A graph theoretic approach to statistical data security. SIAM J. Comput. 17(3), 552–571 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  12. 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)

    Google Scholar 

  13. Langevin, A., Soumis, F., Desrosiers, J.: Classification of travelling salesman formulations. OR Letters 9(2), 127–132 (1990)

    MathSciNet  MATH  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Padberg, M., Sung, T.: An analytical comparison of different formulations of the traveling salesman problem. Mathematical Programming 52(1-3), 315–357 (1991)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics