A nonadaptive NC checker for permutation group intersection

被引：3
|
作者：
Arvind, V
Torán, J
机构：
[1] Inst Math Sci, Dept Comp Sci, Chennai 600113, India
[2] Univ Ulm, D-89069 Ulm, Germany
来源：
THEORETICAL COMPUTER SCIENCE | 2001年 / 259卷 / 1-2期
关键词：
program checking; parallel algorithms; interactive proofs; permutation groups;
D O I：
10.1016/S0304-3975(00)00159-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：597 / 611
页数：15
相关论文
共 50 条
12345