Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR98-077 | 29th January 1999 00:00

Determinism versus Non-Determinism for Linear Time RAMs with Memory Restrictions Revision of: TR98-077

RSS-Feed




Revision #1
Authors: Miklos Ajtai
Accepted on: 29th January 1999 00:00
Downloads: 2087
Keywords: 


Abstract:

Our computational model is a random access machine with $n$
read only input registers each containing $ c \log n$ bits of
information and a read and write memory. We measure the time by the
number of accesses to the input registers. We show that for all $k$
there is an $\epsilon> 0$ so that if $n$ is sufficiently large then the
elements distinctness problem cannot be solved in time $kn$ with
$\epsilon n$ bits of read and write memory, that is, there is no machine
with this values of the parameters which decides whether there are two
different input registers whose contents are identical. We also show
that there is a simple decision problem that can be solved in constant
time (actually in two steps) using non-deterministic computation, while
there is no deterministic linear time algorithm with $\epsilon n\log n$
bits read and write memory which solves the problem. More precisely if
we allow $kn$ time for some fixed constant $k$, then there is an
$\epsilon>0$ so that the problem cannot be solved with $\epsilon n\log
n$ bits of read and write memory if $n$ is sufficiently large. The
decision problem is the following: ``Find two different input registers,
so that the Hamming distance of their contents is at most $(1/4)c\log
n$". $1/4$ can be replaced by any fixed $0<\gamma <1/2$ if $c$ is
sufficiently large with respect to $\gamma$. We actually show that the
promise problem : ``decide whether all occurring Hamming distances are
greater than $((1\over 2) -\gamma)c\log n$ or there is at least one
which is smaller than $\gamma c\log n$" where $\gamma>0$ is an
arbitrarily small constant, cannot be solved by a nonlinear algorithm
with the described limitations even if we know that we only get inputs
where one of these conditions hold. (In this case $\epsilon$ may depend
on $\gamma$ too).


Paper:

TR98-077 | 19th December 1998 00:00

Determinism versus Non-Determinism for Linear Time RAMs with Memory Restrictions





TR98-077
Authors: Miklos Ajtai
Publication: 21st December 1998 09:35
Downloads: 1948
Keywords: 


Abstract:

Our computational model is a random access machine with $n$
read only input registers each containing $ c \log n$ bits of
information and a read and write memory. We measure the time by the
number of accesses to the input registers. We show that for all $k$
there is an $\epsilon> 0$ so that if $n$ is sufficiently large then the
elements distinctness problem cannot be solved in time $kn$ with
$\epsilon n$ bits of read and write memory, that is, there is no machine
with this values of the parameters which decides whether there are two
different input registers whose contents are identical. We also show
that there is a simple decision problem that can be solved in constant
time (actually in two steps) using non-deterministic computation, while
there is no deterministic linear time algorithm with $\epsilon n\log n$
bits read and write memory which solves the problem. More precisely if
we allow $kn$ time for some fixed constant $k$, then there is an
$\epsilon>0$ so that the problem cannot be solved with $\epsilon n\log
n$ bits of read and write memory if $n$ is sufficiently large. The
decision problem is the following: ``Find two different input registers,
so that the Hamming distance of their contents is at most $(1/4)c\log
n$". $1/4$ can be replaced by any fixed $0<\gamma <1/2$ if $c$ is
sufficiently large with respect to $\gamma$. We actually show that the
promise problem : ``decide whether all occurring Hamming distances are
greater than $((1\over 2) -\gamma)c\log n$ or there is at least one
which is smaller than $\gamma c\log n$" where $\gamma>0$ is an
arbitrarily small constant, cannot be solved by a nonlinear algorithm
with the described limitations even if we know that we only get inputs
where one of these conditions hold. (In this case $\epsilon$ may depend
on $\gamma$ too).



ISSN 1433-8092 | Imprint