A nonadaptive NC checker for permutation group intersection
We design a nonadaptive NC checker for permutation group intersection, sharpening a result of Blum and Kannan (J. ACM 43 (1995) 269-291). Additionally, we also get non-adaptive NC checkers for some related group-theoretic problems. (C) 2001 Elsevier Science B.V. All rights reserved.
permutation groups program checking parallel algorithms interactive proofs