Generic-case complexity, decision problems in group theory and random walks
Abstract
We give a precise definition of ``generic-case complexity'' and show that for a very large class of finitely generated groups the classical decision problems of group theory - the word, conjugacy and membership problems - all have linear-time generic-case complexity. We prove such theorems by using the theory of random walks on regular graphs.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- March 2002
- DOI:
- 10.48550/arXiv.math/0203239
- arXiv:
- arXiv:math/0203239
- Bibcode:
- 2002math......3239K
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Computational Complexity;
- 20F
- E-Print:
- Revised version