Abstract
We present a method to derandomize RNC algorithms, converting them to NC algorithms. Using it, we show how to approximate a class of NP-hard integer programming problems in NC, to within factors better than the current-best NC algorithms (of Berger & Rompel and Motwani, Naor & Naor); in some cases, the approximation factors are as good as the best-known sequential algorithms, due to Raghavan. This class includes problems such as global wire-routing in VLSI gate arrays. Also for a subfamily of the “packing” integer programs, we provide the first NC approximation algorithms; this includes problems such as maximum matchings in hypergraphs, and generalizations. The key to the utility of our method is that it involves sums of superpolynomially many terms, which can however be computed in NC; this superpolynomiality is the bottleneck for some earlier approaches.
Work was done in part while visiting the Institute for Advanced study, School of Mathematics, Princeton, NJ 08540, USA, supported in part by the Sloan Foundation, grant No. 93-6-6 and by the Fund for Basic Research administered by the Israel Academy of Sciences.
Work done in part at the National University of Singapore, at DIMACS (supported in part by NSF-STC91-19999 and by support from the N.J. Commission on Science and Technology), and at the Institute for Advanced Study, Princeton (supported in part by grant 93-6-6 of the Alfred P. Sloan Foundation).
Preview
Unable to display preview. Download preview PDF.
References
R. Aharoni, P. Erdös, and N. Linial. Optima of dual integer linear programs. Combinatorica, 8:13–20, 1988.
N. Alon, J. Bruck, J. Naor, M. Naor, and R. Roth. Construction of asymptotically good, low-rate error-correcting codes through pseudo-random graphs. IEEE Trans. Info. Theory, 38:509–516, 1992.
N. Alon, O. Goldreich, J. Håstad, and R. Peralta. Simple constructions of almost k-wise independent random variables. Random Structures and Algorithms, 3(3):289–303, 1992.
N. Alon and M. Naor. Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions. To appear in Algorithmica.
B. Berger and J. Rompel. Simulating (logc n)-wise independence in NC. Journal of the ACM, 38:1026–1046, 1991.
S. Chari, P. Rohatgi, and A. Srinivasan. Improved algorithms via approximations of probability distributions. In Proc. ACM Symposium on Theory of Computing, pages 584–592, 1994.
H. Chernoff. A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. Annals of Mathematical Statistics, 23:493–509, 1952.
A. M. Ferrenberg, D. P. Landau, and Y. J. Wong. Monte Carlo simulations: Hidden errors from “good” random number generators. Physical Review Letters, 69(23):3382–3384, 1992.
W. Hoeffding. Probability inequalities for sums of bounded random variables. American Statistical Association Journal, 58:13–30, 1963.
T.-s. Hsu. Graph augmentation and related problems: theory and practice. PhD thesis, Department of Computer Sciences, University of Texas at Austin, October 1993.
T.-s. Hsu, V. Ramachandran, and N. Dean. Parallel implementation of algorithms for finding connected components. In DIMACS International Algorithm Implementation Challenge, pages 1–14, 1994.
H. J. Karloff and P. Raghavan. Randomized algorithms and pseudorandom numbers. Journal of the ACM, 40(3):454–476, 1993.
L. Lovász. On the ratio of optimal integral and fractional covers. Discrete Mathematics, 13:383–390, 1975.
M. Luby. Removing randomness in parallel computation without a processor penalty. J. Comput. Syst. Sci., 47(2):250–286, 1993.
M. Luby and N. Nisan. A parallel approximation algorithm for positive linear programming. In Proc. ACM Symposium on Theory of Computing, pages 448–457, 1993.
R. Motwani, J. Naor, and M. Naor. The probabilistic method yields deterministic parallel algorithms. J. Comput. Syst. Sci., 49:478–516, 1994.
J. Naor and M. Naor. Small-bias probability spaces: efficient constructions and applications. SIAM J. Comput., 22(4):838–856, 1993.
S. A. Plotkin, D. B. Shmoys, and E. Tardos. Fast approximation algorithms for fractional packing and covering problems. In Proc. IEEE Symposium on Foundations of Computer Science, pages 495–504, 1991.
P. Raghavan. Randomized Rounding and Discrete Ham-Sandwich Theorems: Provably Good Algorithms for Routing and Packing Problems. PhD thesis, University of California at Berkeley, July 1986. Also available as Computer Science Department Report UCB/CSD 87/312.
P. Raghavan. Probabilistic construction of deterministic algorithms: approximating packing integer programs. J. Comput. Syst. Sci., 37:130–143, 1988.
P. Raghavan and C. D. Thompson. Randomized rounding: a technique for provably good algorithms and algorithmic proofs. Combinatorica, 7:365–374, 1987.
J. P. Schmidt, A. Siegel, and A. Srinivasan. Chernoff-Hoeffding bounds for applications with limited independence. SIAM Journal on Discrete Mathematics, 8:223–250, 1995.
A. Schrijver, P. Seymour, and P. Winkler. The ring loading problem. In preparation, 1994.
A. Srinivasan. An extension of the Lovász Local Lemma, and its applications to integer programming. In Proc. ACM/SIAM Symposium on Discrete Algorithms, pages 6–15, 1996.
A. Srinivasan. Improved approximations of packing and covering problems. In Proc. ACM Symposium on Theory of Computing, pages 268–276, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alon, N., Srinivasan, A. (1996). Improved parallel approximation of a class of integer programming problems. In: Meyer, F., Monien, B. (eds) Automata, Languages and Programming. ICALP 1996. Lecture Notes in Computer Science, vol 1099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61440-0_159
Download citation
DOI: https://doi.org/10.1007/3-540-61440-0_159
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61440-1
Online ISBN: 978-3-540-68580-7
eBook Packages: Springer Book Archive