The orbit problem is in the GapL hierarchy

  • Authors:
  • V. Arvind;T. C. Vijayaraghavan

  • Affiliations:
  • Institute of Mathematical Sciences, Chennai, India 600 113;Chennai Mathematical Institute, Siruseri, India 603103

  • Venue:
  • Journal of Combinatorial Optimization
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Orbit problem is defined as follows: Given a matrix A驴驴 n脳n and vectors x,y驴驴 n , does there exist a non-negative integer i such that A i x=y. This problem was shown to be in deterministic polynomial time by Kannan and Lipton (J. ACM 33(4):808---821, 1986). In this paper we place the problem in the logspace counting hierarchy GapLH. We also show that the problem is hard for C=L with respect to logspace many-one reductions.