Abstract
Two-variable linear programming is a fundamental problem in computational geometry. Sequentially, this problem was solved optimally in linear time by Megiddo and Dyer using the elegant prune-and-search technique. In parallel, the previously best known deterministic algorithm on the EREW PRAM for this problem takes O(log n log log n) time and O(n) work. In this paper, we present a faster parallel deterministic two-variable linear programming algorithm, which takes O(log n log* n) time and O(n) work on the EREW PRAM. Our algorithm is based on an interesting parallel prune-and-search technique, and makes use of new geometric observations which can be viewed as generalizations of those used by Megiddo and Dyer's sequential algorithms. Our parallel prune-and-search technique also leads to efficient EREW PRAM algorithms for other problems, and is likely to be useful in solving more problems.
This research was supported in part by the National Science Foundation under Grant CCR-9623585.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajtai and N. Megiddo, “A deterministic poly(log log N)-time N-processor algorithm for linear programming in fixed dimension,” SIAM J. Comput., 25 (6) (1996), pp. 1171–1195.
N. Alon and N. Megiddo, “Parallel linear programming in fixed dimension almost surely in constant time,” Proc. 31st Annual IEEE Symp. on Foundation of Computer Science, 1990, pp. 574–582.
M. Blum, R.W. Floyd, V.R. Pratt, R.L. Rivest, and R.E. Tarjan, “Time bounds for selection,” Journal of Computer and System Sciences, 7 (1973), pp. 448–461.
R.P. Brent, “The parallel evaluation of general arithmetic expressions,” Journal of the ACM, 21 (1974), pp. 201–206.
B. Chazelle and J. Matoušek, “On linear-time deterministic algorithms for optimization problems in fixed dimension,” Proc. 4th Annual ACM-SIAM Symp. on Discrete Algorithms, 1993, pp. 281–290.
D.Z. Chen, “Efficient geometric algorithms on the EREW PRAM,” IEEE Trans. on Parallel and Distributed Systems, 6 (1) (1995), pp. 41–47.
D.Z. Chen, W. Chen, K. Wada, and K. Kawaguchi, “Parallel algorithms for partitioning sorted sets and related problems,” Proc. of 4th Annual European Symp. on Algorithms, 1996, pp. 234–245.
K.L. Clarkson, “Linear programming in \(O(n3^{d^2 } )\)time,” Information Processing Letters, 22 (1986), pp. 21–24.
K.L. Clarkson, “A Las Vegas algorithm for linear programming when the dimension is small,” J. of the ACM, 42 (1995), pp. 488–499.
R. J. Cole, “An optimally efficient selection algorithm,” Information Processing Letters, 26 (1987/1988), pp. 295–299.
R.J. Cole, “Parallel merge sort,” SIAM J. Computing, 17 (1988), pp. 770–785.
T.H. Cormen, C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms, McGraw-Hill, 1990.
X. Deng, “An optimal parallel algorithm for linear programming in the plane,” Information Processing Letters, 35 (1990), pp. 213–217.
M.E. Dyer, “Linear time algorithms for two-and three-variable linear programs,” SIAM J. Computing, 13 (1984), pp. 31–45.
M.E. Dyer, “On a multidimensional search technique and its applications to the Euclidean one-center problem,” SIAM J. Computing, 15 (1986), pp. 725–738.
M.E. Dyer, “A parallel algorithm for linear programming in fixed dimension,” Proc. 11th Annual Symp. on Computational Geometry, 1995, pp. 345–349.
H. Edelsbrunner, Algorithms in Combinatorial Geometry, Springer-Verlag, New York, 1987.
M.T. Goodrich, “Geometric partitioning made easier, even in parallel,” Proc. 9th Annual ACM Symp. on Computational Geometry., 1993, pp. 73–82.
M.T. Goodrich, “Fixed-dimensional parallel linear programming via relative epsilon-approximations,” Proc. 7th Annual ACM-SIAM Symp. on Discrete Algorithms, 1996, pp. 132–141.
M.T. Goodrich and E.A. Ramos, “Bounded-independence derandomization of geometric partitioning with applications to parallel fixed-dimensional linear programming,” to appear in Discrete & Computational Geometry.
T. Hayashi, K. Nakano, and S. Olariu, “Weighted and unweighted selection algorithms for k sorted sequences,” Proc. 8th International Symp. on Algorithms and Computation, 1997, pp. 52–61.
J. JáJá, An Introduction to Parallel Algorithms, Addison-Wesley, Reading, Massachusetts, 1992.
G. Kalai, “A subexponential randomized simplex algorithm,” Proc. 24th Annual ACM Symp. on Theory of Computing, 1992, pp. 475–482.
J. Matoušek, M. Sharir, and E. Welzl, “A subexponential bound for linear programming,” Algorithmica, 16 (1996), pp. 498–516.
N. Megiddo, “Linear time algorithms for linear programming in R3 and related problems,” SIAM J. Computing, 12 (4) (1983), pp. 759–776.
N. Megiddo, “Linear programming in linear time when the dimension is fixed,” Journal of ACM, 31 (1) (1984), pp. 114–127.
C.H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Prentice-Hall, 1982.
F.P. Preparata and M.I. Shamos, Computational Geometry: An Introduction, Springer-Verlag, Berlin, 1985.
R. Seidel, “Small-dimensional linear programming and convex hulls made easy,” Discrete & Computational Geometry, 6 (1991), pp. 423–434.
S. Sen, “A deterministic poly(log log n) time optimal CRCW PRAM algorithm for linear programming in fixed dimension,” Technical Report 95-08, Dept. of Computer Science, University of Newcastle, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, D.Z., Xu, J. (1998). Two-variable linear programming in parallel. In: Arnborg, S., Ivansson, L. (eds) Algorithm Theory — SWAT'98. SWAT 1998. Lecture Notes in Computer Science, vol 1432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054365
Download citation
DOI: https://doi.org/10.1007/BFb0054365
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64682-2
Online ISBN: 978-3-540-69106-8
eBook Packages: Springer Book Archive