ECCC-Report TR12-153https://eccc.weizmann.ac.il/report/2012/153Comments and Revisions published for TR12-153en-usThu, 11 Apr 2013 21:16:08 +0300
Revision 1
| Certifying Equality With Limited Interaction |
Amit Chakrabarti,
Joshua Brody,
Ranganath Kondapally
https://eccc.weizmann.ac.il/report/2012/153#revision1The \textsc{equality} problem is usually one's first encounter with
communication complexity and is one of the most fundamental problems in
the field. Although its deterministic and randomized communication
complexity were settled decades ago, we find several new things to say
about the problem by focusing on two subtle aspects. The first is to
consider the {\em expected} communication cost (at a worst-case input)
for a protocol that uses limited interaction---i.e., a bounded number of
rounds of communication---and whose error probability is zero or close
to it. The second is to consider the {\em information cost} of such
protocols. We obtain asymptotically optimal rounds-versus-cost tradeoffs
for \textsc{equality}: both expected communication cost and information
cost scale as $\Theta(\log\log\cdots\log n)$, with $r-1$ logs, where $r$
is the number of rounds. For the case of zero-error communication cost,
we obtain essentially matching bounds, up to a tiny additive constant.
As an application of our information cost bounds, we obtain new
bounded-round randomized lower bounds for the \textsc{or-equality} problem
that have a direct-sum flavor. Such lower bounds were previously known only
for deterministic protocols or one-round randomized protocols. The
\textsc{or-equality} problem is in turn closely related to the
\textsc{disjointness} problem for small sets (sometimes called $k$-\textsc{disj}),
and we obtain tight lower bounds for that problem as well.
Thu, 11 Apr 2013 21:16:08 +0300https://eccc.weizmann.ac.il/report/2012/153#revision1
Paper TR12-153
| Certifying Equality With Limited Interaction |
Amit Chakrabarti,
Joshua Brody,
Ranganath Kondapally
https://eccc.weizmann.ac.il/report/2012/153The \textsc{equality} problem is usually one's first encounter with
communication complexity and is one of the most fundamental problems in the
field. Although its deterministic and randomized communication complexity
were settled decades ago, we find several new things to say about the
problem by focusing on two subtle aspects. The first is to consider the
{\em expected} communication cost (at a worst-case input) for a protocol that uses limited
interaction---i.e., a bounded number of rounds of communication---and whose
error probability is zero or close to it. The second is to consider the {\em
information cost} of such protocols. We obtain asymptotically optimal
rounds-versus-communication and rounds-versus-information tradeoffs for the
problem. For the case of zero-error communication cost, we obtain
essentially matching bounds, up to a tiny additive constant.
As an application of our information cost bounds, we obtain new
bounded-round randomized lower bounds for the \textsc{or-equality} problem
that have a direct-sum flavor. Such lower bounds were previously known only
for deterministic protocols or one-round randomized protocols. The
\textsc{or-equality} problem is in turn closely related to the
\textsc{disjointness} problem for small sets (sometimes called $k$-\textsc{disj}),
and we obtain tight lower bounds for that problem as well.
Fri, 09 Nov 2012 20:49:10 +0200https://eccc.weizmann.ac.il/report/2012/153