Arrow Research search
Back to TCS

TCS 2001

A nonadaptive NC checker for permutation group intersection

Journal Article journal-article Computer Science · Theoretical Computer Science

Abstract

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 nonadaptive NC checkers for some related group-theoretic problems.

Authors

Keywords

  • Program checking
  • Parallel algorithms
  • Interactive proofs
  • Permutation groups

Context

Venue
Theoretical Computer Science
Archive span
1975-2026
Indexed papers
16261
Paper id
9297985204572460
v2026.09.13