Basics of Communication Complexity || @ CMU || Lecture 23a of CS Theory Toolkit

Basics of Communication Complexity || @ CMU || Lecture 23a of CS Theory Toolkit

🎙 Ryan O'Donnell 👥 14K 📅 June 29, 2020 ⏱ 19 min 👁 2K 📄 lecture 🧭 2026-08-17
Available in: English (current) Français

Keywords

communication complexitydeterministic protocolsrandomized protocolsequality functiondisjointnessinner product

Summary

This lecture introduces the fundamental concepts of two-party communication complexity. The model involves two parties, Alice and Bob, who each hold an n-bit string and must jointly compute a Boolean function of their inputs. The cost is the number of bits communicated. The lecture covers basic definitions, examples, and key results. It begins with the trivial upper bound of n+1 bits for any function, then discusses specific functions: Equality, which requires n+1 bits deterministically but only O(log n) bits with randomization; Parity, which requires only 2 bits; and Median, which can be solved with O(log^2 n) bits using binary search. The lecture then introduces the canonical hard problem of Disjointness, which requires linear communication even with randomness, a result proved by Kalyanasundaram and Schnitger in 1992. Finally, it mentions the Inner Product mod 2 function, another important hard function. The lecture emphasizes the importance of communication complexity in theoretical computer science, with applications in data structures, linear programming relaxations, and streaming algorithms.

162 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides valuable insights into communication complexity, a fundamental area of theoretical computer science. It clearly explains the model and illustrates key concepts with well-chosen examples. The argumentation is solid, presenting both upper and lower bounds for various functions. The discussion of the Equality function highlights the power of randomization, while the Disjointness result demonstrates the limits of communication even with randomness. The lecture also connects communication complexity to other areas, such as Fourier analysis and circuit complexity, enriching the content.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is scientifically rigorous, based on established textbooks and research. The presenter cites two authoritative books: ‘Communication Complexity’ by Kushilevitz and Nisan, and ‘Communication Complexity and Applications’ by Rao and Yehudayoff. The title accurately reflects the content, as it is a lecture on the basics of communication complexity. The lecture is part of a graduate course at Carnegie Mellon, ensuring high academic standards.

161 words

Title / Content Match

The title accurately reflects the content: a lecture on the basics of communication complexity, part of a CS theory course.

Quality & Reliability

9/10

Lecture by a renowned professor at Carnegie Mellon, part of a graduate course. Content is rigorous, well-structured, and based on established textbooks. The presentation is clear and includes examples and proofs.

Key Moments

Cited Sources

  • Communication Complexity — Classic textbook by Kushilevitz and Nisan, recommended for further study.
  • Communication Complexity and Applications — Recent textbook by Rao and Yehudayoff, recommended for further study.
  • Ryan O'Donnell's homepage — Instructor's academic page.
  • Course homepage on Diderot — Course materials and resources.
  • Rebecca Kiger Photography — Photographer of the thumbnail.

Concurring Sources

  • Communication Complexity (book) — Recommended by the lecturer as a classic reference.
  • Communication Complexity and Applications (book) — Recommended by the lecturer as a recent reference.

Contribution & Novelties

This lecture provides a clear and accessible introduction to communication complexity, a topic often considered advanced. It stands out for its pedagogical approach, using concrete examples to illustrate abstract concepts. The lecture also highlights the importance of communication complexity in various areas of computer science, making it relevant for researchers and students alike.

Pour aller plus loin :

90 words

Radar Profile

The radar profile shows high scores in quality, technical level, and reliability, with slightly lower but still strong scores in quantity. This indicates a dense, rigorous lecture that may require prior knowledge but is highly informative and trustworthy.

Reliability 9/10