Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

An application of simultaneous diophantine approximation in combinatorial optimization

  • Published:
Combinatorica Aims and scope Submit manuscript

Abstract

We present a preprocessing algorithm to make certain polynomial time algorithms strongly polynomial time. The running time of some of the known combinatorial optimization algorithms depends on the size of the objective functionw. Our preprocessing algorithm replacesw by an integral valued-w whose size is polynomially bounded in the size of the combinatorial structure and which yields the same set of optimal solutions asw.

As applications we show how existing polynomial time algorithms for finding the maximum weight clique in a perfect graph and for the minimum cost submodular flow problem can be made strongly polynomial.

Further we apply the preprocessing technique to make H. W. Lenstra’s and R. Kannan’s Integer Linear Programming algorithms run in polynomial space. This also reduces the number of arithmetic operations used.

The method relies on simultaneous Diophantine approximation.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. E. Bixby, O. M.-C. Marcotte andL. E. Trotter, Jr., Packing and covering with integral flows in integral supply-demand networks,Report No. 84327—OR, Institut für Ökonometrie und Operations Research, University Bonn, Bonn, West Germany.

  2. J. W. S. Cassels,An Introduction to the Theory of Numbers, Berlin, Heidelberg, New York, Springer, 1971.

    Google Scholar 

  3. W. H. Cunningham, Testing membership in matroid polyhedra,Journal of Combinatorial Theory B,36 (1984), 161–188.

    Article  MATH  MathSciNet  Google Scholar 

  4. W. H. Cunningham andA. Frank, A primal dual algorithm for submodular flows,Mathematics of Operations Research.,10 (1985).

  5. E. A. Dinits, Algorithm for solution of a problem of maximum flow in a network with power estimation,Soviet Math. Dokl.,11 (1970), 1277–1280.

    MATH  Google Scholar 

  6. J. Edmonds, Minimum partition of a matroid into independent subsets,Research of the Nat. Bureau of Standards 69 B (1965), 67–72.

    MathSciNet  Google Scholar 

  7. J. Edmonds, System of distinct representatives and linear algebra,J. Res. Nat. Bur. Standards,71 B (1967), 241–245.

    MathSciNet  Google Scholar 

  8. J. Edmonds andR. Giles, A min-max relation for submodular functions on graphs,Annals of Discrete Mathematics,1 (1977), 185–204.

    Article  MathSciNet  Google Scholar 

  9. J. Edmonds andR. M. Karp, Theoretical improvements in the algorithmic efficiency for network flow problems,J. ACM,19 (1972), 248–264.

    Article  MATH  Google Scholar 

  10. S. Fujishige, A capacity rounding algorithm for the minimum-cost circulation problem: a dual framework of the Tardos algorithm,Mathematical Programming,35 (1986), 298–309.

    Article  MATH  MathSciNet  Google Scholar 

  11. Z. Galil andÉ. Tardos, AnO(n 2(m+n logn)·logn) minimum cost flow algorithm,in: Proc., 27th Annual Symposium on Foundations of Computer Science (1986), 1–9.

  12. M. Grötschel, L. Lovász andA. Schrijver, The ellipsoid method and its consequences in combinatorial optimization.Combinatorica,1 (1981), 169–197.

    MATH  MathSciNet  Google Scholar 

  13. M. Grötschel, L. Lovász andA. Schrijver,The ellipsoid method and combinatorial optimization, Springer Verlag,to appear.

  14. R. Kannan, Improved algorithms for integer programming and related lattice problems,in: Proc.,15 th Annual ACM Symposium on the Theory of Computing (1983), 193–206.Final version: Minkowski’s Convex Body Theorem and Integer Programming, Carnegie-Mellon University,Report No. 86–105.

  15. A. K. Lenstra, H. W. Lenstra, Jr. andL. Lovász, Factoring polynomials with rational coefficients,Math. Ann.,261 (1982), 515–534.

    Article  MATH  MathSciNet  Google Scholar 

  16. H. W. Lenstra, Jr., Integer programming with a fixed number of variables,Math. of Operations Research,8 (1983), 538–548.

    Article  MATH  MathSciNet  Google Scholar 

  17. É. Tardos, A strongly polynomial minimum cost circulation algorithm,Combinatorica,5 (1985), 247–255.

    MATH  MathSciNet  Google Scholar 

  18. É. Tardos, A strongly polynomial algorithm to solve combinatorial linear programs,Operations Research, (1986), No. 2

  19. U. Zimmermann, Minimization of submodular flows,Discrete Applied Math.,4 (1982), 303–323.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Eötvös University, P. O. B. 323, 1445, Budapest, Hungary

    András Frank

  2. Institute of Mathematics, Eötvös University, P. O. B. 323, 1445, Budapest, Hungary

    Éva Tardos

Authors
  1. András Frank
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Éva Tardos
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This research was done while the authors were visiting the Institute for Operations Research, University of Bonn, West Germany (1984–85), and while the second author was visiting MSRI, Berkeley. Her research was supported in part by NSF Grant 8120790.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Frank, A., Tardos, É. An application of simultaneous diophantine approximation in combinatorial optimization. Combinatorica 7, 49–65 (1987). https://doi.org/10.1007/BF02579200

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02579200

AMS subject classification (1980)

Search

Navigation