Abstract
In this paper, we introduce and develop the field of algebraic communication complexity, the theory dealing with the least number of messages to be exchanged between two players in order to compute the value of a polynomial or rational function depending on an input distributed between the two players. We define a general algebraic model, where the involved functions can be computed with the natural operations additions, multiplications and divisions and possibly with comparisons. We provide various lower bound techniques, mainly for fields of characteristic 0.
We then apply this general theory to problems from distributed mechanism design, in particular to the multicast cost sharing problem, and study the number of messages that need to be exchanged to compute the outcome of the mechanism. This addresses a question raised by Feigenbaum, Papadimitriou, and Shenker [9].
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
Abelson, H.: Towards a theory of local and global in computation. Theoret. Comput. Sci. 6(1), 41–67 (1978)
Abelson, H.: Lower bounds on information transfer in distributed computations. J. Assoc. Comput. Mach. 27(2), 384–392 (1980)
Bosch, S.: Algebra, 3rd edn. Springer, Heidelberg (1999)
Briest, P., Krysta, P., Vöcking, B.: Approximation techniques for utilitarian mechanism design. In: Proc. ACM Symp. on Theory of Computing (2005)
Bürgisser, P., Clausen, M., Amin Shokrollahi, M.: Algebraic Complexity Theory. Springer, Heidelberg (1997)
Bürgisser, P., Lickteig, T.: Test complexity of generic polynomials. J. Complexity 8, 203–215 (1992)
Chen, P.: The communication complexity of computing differentiable functions in a multicomputer network. Theoret. Comput. Sci. 125(2), 373–383 (1994)
Feigenbaum, J., Krishnamurthy, A., Sami, R., Shenker, S.: Hardness results for Multicast Cost Sharing. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol. 2556, pp. 133–144. Springer, Heidelberg (2002)
Feigenbaum, J., Papadimitriou, C.H., Shenker, S.: Sharing the cost of a multicast transmission. J. Comput. Sys. Sci. 63, 21–41 (2001)
Feigenbaum, J., Shenker, S.: Distributed algorithmic mechanism design: Recent results and future directions. In: Proc. 6th Int. Workshop on Discr. Alg. and Methods for Mobile Comput. and Communic., pp. 1–13 (2002)
Grigoriev, D.: Probabilistic communication complexity over the reals (preprint, 2007)
Hromkovic̆, J.: Communication Complexity and Parallel Computation. Springer, Heidelberg (1998)
Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)
Lehmann, D., O’Callaghan, L., Shoham, Y.: Truth revelation in approximately efficient combinatorial auctions. In: Proc. ACM Conference on Electronic Commerce (2003)
Luo, Z.-Q., Tsitsiklis, J.N.: Communication complexity of convex optimization. J. Complexity 3, 231–243 (1987)
Luo, Z.-Q., Tsitsiklis, J.N.: On the communication complexity of distributed algebraic computation. J. Assoc. Comput. Mach. 40(5), 1019–1047 (1993)
Shafarevich, I.R.: Basic algebraic geometry 1 – Varieties in projective space, 2nd edn. Springer, Heidelberg (1994)
Yao, A.C.: Some complexity questions related to distributed computing. In: Proc. of 11th ACM Symp. on Theory of Comput., pp. 209–213 (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bläser, M., Vicari, E. (2008). Distributed Algorithmic Mechanism Design and Algebraic Communication Complexity. In: Monien, B., Schroeder, UP. (eds) Algorithmic Game Theory. SAGT 2008. Lecture Notes in Computer Science, vol 4997. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79309-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-79309-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79308-3
Online ISBN: 978-3-540-79309-0
eBook Packages: Computer ScienceComputer Science (R0)