1 / 16

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings.

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings. Introduction: Yao’s Problem (1979). What is the number of bits that two processors, A and B, have to communicate to each other in order to compute a function f(x,y) of their respective private inputs: x and y.

ebony
Télécharger la présentation

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings.

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings.

  2. Introduction: Yao’s Problem (1979) • What is the number of bits that two processors, A and B, have to communicate to each other in order to compute a function f(x,y) of their respective private inputs: x and y.

  3. Yao’s Problem in the Distributed Computing Model • Two identical, unnamed processor, each one provided with a value – its identity; the two processors have to find the larger identity.

  4. The Distributed Computing Model • Network of processors. • Asynchronous communication. • Failure free. • Links are FIFO. • Number of links denoted by .

  5. The Distributed Computing Model (Continued) • Processors have distinct idsfrom the set • Distributed algorithm. • Scheduler.

  6. The Tasks Ahead • Consensus: all processors must output the same bit. • Leader: one processor outputs 1, the rest output 0. • MaxF: the same as Leader, except that the processor to output 1 must be the one with the maximal id.

  7. Bit and Message Complexity • Message Complexity: the number of messages needed to send, in order to solve a task. Denoted MsgC(task). • Bit Complexity: the number of bits needed to send, in order to solve a task. Denoted BitC(task).

  8. Achieving symmetry with two processors Theorem In chain of two processorswith , . Proof Each processor sends the parity of its id to the other processor, and both decide on the (say) OR of these bit.

  9. Achieving symmetry with two processors (continued) Proof Lets partition the set of ids into 3 groups: according to the first bit: 0, 1 or nothing. Assume that We get that every decision is 0, which is a contradiction to our assumption.

  10. Breaking symmetry with two processors Theorem In chain of two processors, Proof The two processors exchange their identities without the last bit; the larger abridged identity wins, and if they are equal, the identity with the unsent bit 1 wins.

  11. Breaking symmetry with two processors (continued) Proof (lower bound)

  12. Chains • n + 1 processors are linked with n links. • Easy case: Every processor in the chain has an id.

  13. Consensus in a Chain • A 2n algorithm is easy. • Theorem (no proof) For a chain with n links the message complexity of Consensus is at least 2n.

  14. Leader in a chain: General Case

  15. Leader in a chain: Even Length Chain, a better result • The idea: some of the messages can be discarded. • The result:

  16. Leader in a Chain: Hard Case • In the easy case, every processor had an id. Here, only the two processors in the edge have ids. • The idea: the edges sends their id in the network. • The result:

More Related