Abstract
We give a worst-case Ω(n 2/log n )lower bound on the number of vertex evaluations a deterministic algorithm needs to perform in order to find the (unique)sink of a unique sink oriented n-dimensional cube. We consider the problem in the vertex-oracle model, introduced in [17]. In this model one can access the orientation implicitly, in each vertex evaluation an oracle discloses the orientation of the edges incident to the queried vertex.An important feature of the model is that the access is indeed arbitrary, the algorithm does not have to proceed on a directed path in a simplex-like fashion, but could “jump around”.Our result is the first super-linear lower bound on the problem. The strategy we describe works even for acyclic orientations.We also give improved lower bounds for small values of n and fast algorithms in a couple of important special classes of orientations to demonstrate the difficulty of the lower bound problem.
Supported by the joint Berlin/Zürich graduate program Combinatorics, Geometry, and Computation (CGC), financed by German Science Foundation (DFG)and ETH Zurich.
Supported by the joint Berlin/Zürich graduate program Combinatorics, Geometry, and Computation (CGC),financed by German Science Foundation (DFG)and ETH Zurich,and by NSF grant DMS 99-70270.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
David Aldous.Minimization algorithms and random walk on the d-cube.The Annals of Probability11:403–413,1983.
Richard W. Cottle, Jong-Shi Pang, and Richrad E. Stone. The Linear Complementary Problem Academic Press,1992.
Bernd Gärtner.A subexponential algorithm for abstract optimization problems. SIAM J. Comput.,24:1018–1035,1995.
Bernd Gärtner.Combinatorial linear rogramming:Geometry can help.In Proc. 2nd Int. Workshop on Randomization and Approximation Techniques in Computer Science volume 1518,pages 82–96,1998.Lecture Notes in Computer Science.
Bernd Gärtner.The random-facet simplex algorithm on combinatorial cubes. submitted, 2001.
Bernd Gärtner, Martin Henk, and G ünter M. Ziegler. Randomized simplex algorithms on Klee-Minty cubes.Combinatorica 18(3):349–372,1998.
Bernd Gärtner, Hiroyuki Miyazawa, Lutz Kettner, and Emo Welzl. From geometric optimization problems to unique sink orientations of cubes.manuscript in preparation,2001.
Bernd Gärtner and Emo Welzl.Linear programming — randomization and abstract frameworks.In Proc. 13th Ann. ACM Symp. Theoretical Aspects of Computer Science volume 1046 of Lecture Notes Comput. Sci.,pages 669–687.Springer-Verlag,1996.
Bernd Gärtner and Emo Welzl. Explicit and implicit enforcing — randomized optimization. In Lectures of the Graduate Program Computational Discrete Mathematicsvolume 2122 of Lecture Notes in Computer Science pages 26–49.Springer-Verlag,2001.
Gil Kalai.Linear programming, the simplex algorithm and simple polytopes. Math. Programming 79:217–233,1997.
Jiří. Matoušek. manuscript.
Jiří. Matoušek. Lower bounds for a subexponential optimization algorithm. RSA: Random Structures & Algorithms 5(4):591–607,1994.
Jiří. Matoušek, Micha Sharir, and Emo Welzl. A subexponential bound for linear programming.Algorithmica 16:498–516,1996.
Walter D. Morris. Randomized principal pivot algorithms for P-matrix linear complementarity problems.to appear,2001.
Günter Rote. personal communication.
Alan Stickney and Layne Watson. Digraph models of bard-type algorithms for the linear complementary problem. Mathematics of Operations Research 3:322–333, 1978.
Tibor Szabó and Emo Welzl.Unique sink orientations of cubes. In Proc. 42 nd IEEE Symp. on Foundations of Comput. Sci.,pages 547–555,2000.
Emo Welzl. personal communication.
Kathy Williamson Hoke.Completely unimodal numberings of a simple polytope.Discrete Appl. Math.,20:69–81,1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schurr, I., Szabó, T. (2002). Finding the Sink Takes Some Time. In: Möhring, R., Raman, R. (eds) Algorithms — ESA 2002. ESA 2002. Lecture Notes in Computer Science, vol 2461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45749-6_72
Download citation
DOI: https://doi.org/10.1007/3-540-45749-6_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44180-9
Online ISBN: 978-3-540-45749-7
eBook Packages: Springer Book Archive