Questions tagged [tape-complexity]
7 questions
5
votes
1 answer
Multitape Turing machines against single tape Turing machines
Introduction: I recently learned that a multi-tape Turing Machine $\text{TM}_k$ is no more "powerful" than a single tape Turing machine $\text{TM}$. The proof that $\text{TM}_k \equiv \text{TM}$ is based on the idea that a $\text{TM}$ can simulate…
URL87
- 765
- 2
- 8
- 14
4
votes
1 answer
Why does it take $O(f(n)^2)$ to simulate a 3-tape $O(f(n))$-time TM on a 1-tape TM?
This looks like a fundamental result but I can't find a resource online that gives an intuitive interpretation of this complexity. Any basic explanation is appreciated.
sdfasdgasg
- 533
- 2
- 5
- 10
3
votes
1 answer
Multitape Turing machine with multiple non-blank tapes
A multitape Turing machine is defined to have input only appear on one tape, with the rest of the tapes blank.
Are there any formulations of a Turing machine that allow other tapes to be not blank? Why does the condition that the input only appears…
jaynp
- 143
- 3
1
vote
1 answer
Why the universal Turing machine simulation in O(TlogT) cannot be applied to transform multi-taped Turing machine into single-taped?
Recently, I've read Hennie's Paper. I understood the construction of buffer zones, but why can't it be applied to yield a single-taped Turing machine?
user93928
1
vote
0 answers
K -> 2 tape reduction for nondeterministic Turing machines
How to I show that any language in NTIME(T(n)) can be accepted by a non-deterministic 2-tape O(T(n)) time-bounded Turing machine, with modifiable input tape?
I've seen the k to 2 tape reduction for deterministic Turing machines, which increase the…
Thomas
- 51
- 1
1
vote
1 answer
Limited tapes-version TM for pair sum
In the problem of pair-sum we are given a multiset $A$ and a number $\alpha$. We are asked to find whether there is a pair ($2$ numbers) of $A$ s.t. their sum is $\alpha$. Here all numbers are small/constant, $O(1)$, sum of $2$ small numbers…
Benicio Agüero
- 142
- 10
0
votes
0 answers
Multitape Turing Machine to accept power of 2 length 0's string?
I have been trying to find a multitape Turing Machine in order to accept a input string which consists on 0's and whose length is a power of 2:
However, Im getting troubble finding it, because I dont really know how to take the procedure with, for…
Javier
- 1