A nonadaptive NC checker for permutation group intersection (Q5941295)

From MaRDI portal
scientific article; zbMATH DE number 1635460
Language Label Description Also known as
English
A nonadaptive NC checker for permutation group intersection
scientific article; zbMATH DE number 1635460

    Statements

    A nonadaptive NC checker for permutation group intersection (English)
    0 references
    0 references
    0 references
    20 August 2001
    0 references
    We design a nonadaptive NC checker for permutation group intersection, sharpening a result of \textit{M. Blum} and \textit{S. Kannan} [J. Assoc. Comput. Mach. 43, 269-291 (1995; Zbl 0886.68046)]. Additionally, we also get nonadaptive NC checkers for some related group-theoretic problems.
    0 references
    0 references
    program checking
    0 references
    parallel algorithms
    0 references
    interactive proofs
    0 references
    permutation groups
    0 references
    0 references