Abstract
In this paper we study the problem of designing algorithms in situations where there is some information concerning the typical conditions that are encountered when the respective problem is solved. The basic goal is to assure efficient performance in the typical case, while satisfying the correctness requirements in every case. We introduce adaptability, a new measure for the quality of an algorithm, which generalizes competitive analysis and related frameworks. This new notion applies to sequential, parallel and distributed algorithms alike.
In a nutshell, a “hint” function conveys certain information about the environment in which the algorithm operates. Adaptability compares the performance of the algorithm against the “specialist”—an algorithm specifically tuned to the particular hint value. From this perspective, finding that no single algorithm can adapt to all possible hint values is not necessarily a negative result, provided that a family of specialists can be constructed.
Our case studies provide examples of both kinds. We first consider the “ancient” problem of on-line scheduling of jobs in m identical processors, and show that no algorithm can fully adapt to the natural hint of largest job size. In particular, for the cases m = 2, 3, we present specialists that beat the general lower bound for on-line makespan.
In the domain of distributed computing, we analyze the Distributed Consensus problem under several hint functions. To fulfill the requirements of one of the cases we consider, we present the first consensus algorithm that is simultaneously optimal in number of processors, early-stopping property (that is, it runs in time proportional to the actual number of faults), and total number of communicated bits. In our new parlance, the algorithm adapts to the number of faults hint with both running time and communication.
Work partly done while the author was visiting the Centrum voor Wiskunde en Informatica (CWI), Amsterdam, NL, and at the IBM T.J. Watson Research Center, Yorktown Heights.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Albers, Better bounds for online scheduling. Proc. 29th Annual ACM Symp. on the Theory of Computing, pp. 130–139, El Paso, TX, May 1997.
M. Ajtai, J. Aspnes, C. Dwork, and O. Waarts. A Theory of Competitive Analysis for Distributed Algorithms. Proc. 33rd IEEE Symp. on the Foundations of Computer Science, pp. 401–411, November 1994.
Y. Azar, A. Broder and M. Manasse. On-line choice of on-line algorithms. Proc. 4th Annual ACM/SIAM Symp. on Discrete Algorithms, pp. 432–440, 1993.
J. Aspnes and O. Waarts. Modular Competitiveness for Distributed Algorithms. Proc. 28th Annual ACM Symp. on the Theory of Computing, pp. 237–246, Philadelphia, PA, May 1996.
A. Bar-Noy, D. Dolev, C. Dwork and H.R. Strong. Shifting gears: changing algorithms on the fly to expedite Byzantine Agreement. Proc. 6th ACM Symposium on the Principles of Distributed Computing, pp. 42–51, 1987.
Y. Bartal, A. Fiat, H. Karloff and Y. Rabani, New algorithms for the ancient scheduling problem. Journal of Computer and System Sciences, 51:359–366, 1995.
P. Berman, J. Garay, and K. Perry. Bit Optimal Distributed Consensus. In Computer Science Research (ed. R. Yaeza-Bates and U. Manber), Plenum Publishing Corporation, NY, NY, pp. 313–322, 1992.
P. Berman, J. Garay, and K. Perry. Optimal Early Stopping in Distributed Consensus. Proc. 6th International Workshop on Distributed Algorithms, LNCS (647), Springer-Verlag, pp. 221–237, Haifa, Israel, November 1992.
A. Borodin, S. Irani, P. Raghavan, and B. Schieber. Competitive Paging with Locality of Reference. Proc. 23rd Annual ACM Symp. on the Theory of Computing, pp. 249–259, New Orleans, Louisiana, May 1991.
B. Coan and J. Welch, Modular Construction of an Efficient 1-Bit Byzantine Agreement Protocol. Mathematical Systems Theory, special issue on Fault-Tolerant Distributed Algorithms (ed. H.R. Strong), Vol. 26, No. 1 (1993).
D. Dolev and R. Reischuk, Bounds of Information Exchange for Byzantine Agreement. JACM, Vol. 32, No. 1, pp. 191–204, 1985.
D. Dolev, R. Reischuk and H.R. Strong. Early Stopping in Byzantine Agreement. JACM, Vol. 37, No. 4 (1990), pp. 720–741.
U. Faigle, W. Kern and G. Turan, On the performance of online algorithms for particular problems. Acta Cybernetica, 9:107–119, 1989.
M. J. Fischer and N. A. Lynch. A lower bound for the time to assure interactive consistency. Inf. Proc. Letters, 14 (1982), pp. 183–186.
R.L. Graham. Bounds on multiprocessing anomalies. SIAM Journal of Applied Mathematics, 17:263–269, 1969.
V. Hadzilacos and J. Halpern. Message-Optimal Protocols for Byzantine Agreement. Proc. 10th Annual ACM Symp. on the Principles of Distributed Computing, pp. 309–324, Montreal, Canada, August 1991.
D.R. Karger, S.J. Phillips and E. Torng, A better algorithm for an ancient scheduling problem, Journal of ALgorithms, 20:400–430, 1996.
A. Karlin, M. Manasse, L. Rudolph, and D. Sleator. Competitive Snoopy Caching. Algorithmica, 3(1):70–119, 1988.
A. Karlin, S. Phillips, and P. Raghavan. Markov Paging. Proc. 33rd Annual IEEE Symp. on Foundations of Computer Science, pp. 208–217, 1992.
L. Lamport, R.E. Shostak and M. Pease. The Byzantine generals problem. ACM Trans. Prog. Lang. and Systems, 4:3 (1982), pp. 382–401.
D. Sleator and R. Tarjan. Amortized efficiency of list update and paging rules. Communications of the ACM, 32:652–686, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berman, P., Garay, J.A. (1998). Adaptability and the Usefulness of Hints (Extended Abstract). In: Bilardi, G., Italiano, G.F., Pietracaprina, A., Pucci, G. (eds) Algorithms — ESA’ 98. ESA 1998. Lecture Notes in Computer Science, vol 1461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-68530-8_23
Download citation
DOI: https://doi.org/10.1007/3-540-68530-8_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64848-2
Online ISBN: 978-3-540-68530-2
eBook Packages: Springer Book Archive