The Parallel Complexity of Abelian Permutation Group Problems

  title={The Parallel Complexity of Abelian Permutation Group Problems},
  author={P. McKenzie and S. Cook},
  journal={SIAM J. Comput.},
We classify Abelian permutation group problems with respect to their parallel complexity. For such groups specified by generating permutations we show that testing membership, computing order and testing isomorphism are $NC^1 $-equivalent to (and therefore have essentially the same parallel complexity as) determining solvability of a system of linear equations modulo a product of small prime powers; we show that intersecting two such groups is $NC^1 $-equivalent to computing setwise stabilizers… Expand
The Parallel Complexity of Graph Canonization Under Abelian Group Action
It is shown that the problem of computing canonical labelings for hypergraphs of color class size 2 is logspace Turing equivalent to solving a system of linear equations over the field $\mathbb {F} _{2}$. Expand
Abelian permutation group problems and logspace counting classes
  • V. Arvind, T. Vijayaraghavan
  • Mathematics, Computer Science
  • Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.
  • 2004
It is shown that all abelian permutation group problems are essentially captured by the generalized logspace mod-class ModL, where ModL is the logspace analogue of ModP (defined by Kobler and Toda (KT96). Expand
Abelian permutation group problems and logspace counting classes
The goal of this paper is to classify abelian permutation group problems using logspace counting classes. Building on McKenzie and Cook's [MC87] classification of permutation group problems into fourExpand
An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem
  • F. Gall
  • Mathematics, Computer Science
  • 2010
This paper presents a quantum algorithm solving instances of the nonabelian group isomorphism problem exponentially faster than the best known classical algorithms. Expand
Classifying Problems on Linear Congruences and Abelian Permutation Groups Using Logspace Counting Classes
A number of Abelian permutation group problems studied in McKenzie & Cook (1987) turn out to be logspace Turing equivalent to these linear-algebraic problems, and the upper and lower bounds also carry over to these problems. Expand
Parallel Algorithms for Solvable Permutation Groups
A useful tool is the observation that the problem of finding the smallest subspace containing a given set of vectors and closed under agiven set of linear transformations (all over a small field) belongs to NC. Expand
On the complexity of solving linear congruences and computing nullspaces modulo a constant
We consider the problems of determining the feasibility of a linear congruence, producing a solution to a linear congruence, and finding a spanning set for the nullspace of an integer matrix, whereExpand
The Complexity of Solving Linear Equations over a Finite Ring
It is shown that LCON is in the nonuniform class LGapL/poly, and a fairly tight characterization of the complexity of LCON in terms of logspace counting classes. Expand
Sylow Subgroups in Parallel
Efficient parallel (NC) algorithms for finding and conjugating Sylow subgroups of permutation groups, as well as for related problems, are presented. Expand
On circuit complexity classes and iterated matrix multiplication
In this thesis, we study small, yet important, circuit complexity classes within NC^1, such as ACC^0 and TC^0. We also investigate the power of a closelyrelated problem called Iterated MatrixExpand


Introduction to Automata Theory, Languages and Computation
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments. Expand
On simultaneous resource bounds
  • N. Pippenger
  • Mathematics, Computer Science
  • 20th Annual Symposium on Foundations of Computer Science (sfcs 1979)
  • 1979
It is shown here that simultaneous time and "reversal" bounds correspond to simultaneous size and depth bounds, and that simultaneousTime and space bounds Correspond to simultaneousSize and "width" bounds. Expand