Roundings Respecting Hard Constraints

  • Benjamin Doerr
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3404)

Abstract

A problem arising in integer linear programming is to transform a solution of a linear system to an integer one which is “close”. The customary model to investigate such problems is, given a matrix A and a [0,1] valued vector x, to find a binary vector y such that ||A(x − y)|| ∞ (the violation of the constraints) is small. Randomized rounding and the algorithm of Beck and Fiala are ways to compute such solutions y, whereas linear discrepancy is a lower bound measure.

In many applications one is looking for roundings that, in addition to being close to the original solution, satisfy some constraints without violation. The objective of this paper is to investigate such problems in a unified way. To this aim, we extend the notion of linear discrepancy, the theorem of Beck and Fiala and the method of randomized rounding to this setting.

Whereas some of our examples show that additional hard constraints may seriously increase the linear discrepancy, the latter two sets of results demonstrate that a reasonably broad notion of hard constraints may be added to the rounding problem without worsening the obtained solution significantly.

Of particular interest might be our results on randomized rounding. We provide a simpler way to randomly round fixed weight vectors (cf. Srinivasan, FOCS 2001). It has the additional advantage that it can be derandomized with standard methods.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AFK02]
    Arora, S., Frieze, A., Kaplan, H.: A new rounding procedure for the assignment problem with applications to dense graph arrangement problems. Math. Program. 92, 1–36 (2002)CrossRefMathSciNetMATHGoogle Scholar
  2. [AS]
    Ageev, A., Sviridenko, M.: Pipage rounding: a new method of constructing algorithms with proven performance guarantee. Journal of Combinatorial Optimization (to appear); Also available from the authors’ homepagesGoogle Scholar
  3. [BF81]
    Beck, J., Fiala, T.: “Integer making” theorems. Discrete Applied Mathematics 3, 1–8 (1981)CrossRefMathSciNetMATHGoogle Scholar
  4. [Doe01]
    Doerr, B.: Lattice approximation and linear discrepancy of totally unimodular matrices. In: Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 119–125 (2001)Google Scholar
  5. [DS03]
    Doerr, B., Srivastav, A.: Multicolour discrepancies. Combinatorics, Probability and Computing 12, 365–399 (2003)CrossRefMathSciNetMATHGoogle Scholar
  6. [dW71]
    de Werra, D.: Equitable colorations of graphs. Rev. Française Informat. Recherche Opérationnelle 5(Ser. R-3), 3–8 (1971)Google Scholar
  7. [GH62]
    Ghouila-Houri, A.: Caractérisation des matrices totalement unimodulaires. C. R. Acad. Sci. Paris 254, 1192–1194 (1962)MathSciNetMATHGoogle Scholar
  8. [GKPS02]
    Gandhi, R., Khuller, S., Parthasarathy, S., Srinivasan, A.: Dependent rounding in bipartite graphs. In: Proc. IEEE Symposium on Foundations of Computer Science (FOCS), pp. 323–332 (2002)Google Scholar
  9. [GKR+99]
    Guruswami, V., Khanna, S., Rajaraman, R., Shepherd, B., Yannakakis, M.: Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems. In: Annual ACM Symposium on Theory of Computing (STOC), pp. 19–28. ACM, New York (1999)Google Scholar
  10. [HK56]
    Hoffman, A.J., Kruskal, J.B.: Integral boundary points of convex polyhedra. In: Kuhn, H.W., Tucker, A.W. (eds.) Linear Inequalities and Related Systems, pp. 223–246 (1956)Google Scholar
  11. [KLR+87]
    Karp, R.M., Leighton, F.T., Rivest, R.L., Thompson, C.D., Vazirani, U.V., Vazirani, V.V.: Global wire routing in two-dimensional arrays. Algorithmica 2, 113–129 (1987)CrossRefMathSciNetMATHGoogle Scholar
  12. [PS97]
    Panconesi, A., Srinivasan, A.: Randomized distributed edge coloring via an extension of the Chernoff-Hoeffding bounds. SIAM J. Comput. 26, 350–368 (1997)CrossRefMathSciNetMATHGoogle Scholar
  13. [Rag88]
    Raghavan, P.: Probabilistic construction of deterministic algorithms: Approximating packing integer programs. J. Comput. Syst. Sci. 37, 130–143 (1988)CrossRefMathSciNetMATHGoogle Scholar
  14. [RT87]
    Raghavan, P., Thompson, C.D.: Randomized rounding: A technique for provably good algorithms and algorithmic proofs. Combinatorica 7, 365–374 (1987)CrossRefMathSciNetMATHGoogle Scholar
  15. [RT91]
    Raghavan, P., Thompson, C.D.: Multiterminal global routing: a deterministic approximation scheme. Algorithmica 6, 73–82 (1991)CrossRefMathSciNetMATHGoogle Scholar
  16. [Spe87]
    Spencer, J.: Ten Lectures on the Probabilistic Method. SIAM, Philadelphia (1987)MATHGoogle Scholar
  17. [Sri01]
    Srinivasan, A.: Distributions on level-sets with applications to approximations algorithms. In: Proc. 41th Ann. IEEE Symp. on Foundations of Computer Science (FOCS), pp. 588–597 (2001)Google Scholar
  18. [SS96]
    Srivastav, A., Stangier, P.: Algorithmic Chernoff-Hoeffding inequalities in integer programming. Random Structures & Algorithms 8, 27–58 (1996)CrossRefMathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Benjamin Doerr
    • 1
  1. 1.Mathematisches Seminar IIChristian–Albrechts–Universität zu KielKielGermany

Personalised recommendations