0
$\begingroup$

Description of the problem:

Alice and Bob are both given as input the same graph and vertex $x$ and $y$ respectively. In the graph there are no self-loops and the given vertex can be the same.

Prove that communication complexity between Alice and Bob for deciding whether $x$ and $y$ are neighbours is at least $log \chi (G)$.

Current Idea:

The idea I had was the following: represent the protocol for communication between Alice and Bob as a Communication Matrix and partition it with monochromatic rectangles. From there I want to use the theorem/fact: $D^{CC}(f) \geq log (part(f))$ where $part(f)$ is the least number of monochromatic rectangles in any partition.

Problem:

I am not sure how this problem can be translated into a Communication Matrix. Would the inputs be vertices and then 1 would indicate presence of an edge and 0 otherwise?

$\endgroup$
3
  • 2
    $\begingroup$ The communication matrix has rows indexed by Alice's inputs, columns indexed by Bob's input, and value f(x, y) at the cell in the row corresponding to Alice's input x and Bob's input y. In this case, when x and y are any vertices of a graph G, this should give rise to a very familiar matrix. $\endgroup$
    – jschnei
    Commented Dec 10, 2023 at 22:59
  • $\begingroup$ Hi @jschnei, that sounds like an answer to the question. Can I encourage you to write that in the 'Your Answer' box, so that this question is treated as answered? No need to expand on it or say anything more, I think that has everything needed. $\endgroup$
    – D.W.
    Commented Dec 11, 2023 at 0:08
  • $\begingroup$ @jschnei thank you for the answer :) $\endgroup$
    – Meki21
    Commented Dec 11, 2023 at 10:16

1 Answer 1

1
$\begingroup$

As @jschnei has mentioned in the comment, the answer is:

The communication matrix has rows indexed by Alice's inputs, columns indexed by Bob's input, and value f(x, y) at the cell in the row corresponding to Alice's input x and Bob's input y. In this case, when x and y are any vertices of a graph G, this should give rise to a very familiar matrix.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.