Element distinctness and sorting on one-tape off-line turing machines

  • Authors:
  • Holger Petersen

  • Affiliations:
  • Univ. Stuttgart, FMI, Stuttgart

  • Venue:
  • SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate off-line Turing machines equipped with a two-way input-tape and one work-tape. It is shown that the Element Distinctness Problem (EDP) for m binary strings of length l = O(m/log2m) can be solved in time O(m3/2l1/2) and space O(m1/2l1/2) on a nondeterministic machine. This is faster than the best sorting algorithm on the computational model and optimal if time and space are considered simultaneously. For deterministic machines we give an optimal algorithm that can sort m binary strings consisting of l bits each in O(m3/2l) steps, provided that l = O(m1/4). By modifying the solution we obtain the time bound O(m3/2l) and the space bound O(m1/2l2) for the EDP.