Open Problems
Considering a 0/1 input matrix, the minimum number of bits exchanged to compute deterministically in the worst case, is known to be bounded from below by the logarithm of the rank of the matrix . The log rank conjecture proposes that the communication complexity, of is bounded from above by a constant power of the logarithm of the rank of . Since D(f) is bounded from above and below by polynomials of log rank, we can say D(f) is polynomially related to log rank. Since the rank of a matrix is polynomial time computable in the size of the matrix, such an upper bound would allow the matrix's communication complexity to be approximated in polynomial time. Note, however, that the size of the matrix itself is exponential in the size of the input.
For a randomized protocol, the number of bits exchanged in the worst case, R(f), is conjectured to be polynomially related to the following formula:
Such log rank conjectures are valuable because they reduce the question of a matrix's communication complexity to a question of linearly independent rows (columns) of the matrix. This reveals that the essence of the communication complexity problem, for example in the EQ case above, is figuring out where in the matrix the inputs are, in order to find out if they're equivalent.
Read more about this topic: Communication Complexity
Famous quotes containing the words open and/or problems:
“The open frontier, the hardships of homesteading from scratch, the wealth of natural resources, the whole vast challenge of a continent waiting to be exploited, combined to produce a prevailing materialism and an American drive bent as much, if not more, on money, property, and power than was true of the Old World from which we had fled.”
—Barbara Tuchman (1912–1989)
“The truth of the thoughts that are here set forth seems to me unassailable and definitive. I therefore believe myself to have found, on all essential points, the final solution of the problems. And if I am not mistaken in this belief, then the second thing in which the value of this work consists is that it shows how little is achieved when these problems are solved.”
—Ludwig Wittgenstein (1889–1951)