A Finitely presented group whose word problem has sampleable hard instances
Abstract
Hard instances of natural computational problems are often elusive. In this note we present an example of a natural decision problem, the word problem for a certain finitely presented group, whose hard instances are easy to find. More precisely the problem has a complexity core sampleable in linear time.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2016
- DOI:
- 10.48550/arXiv.1602.02432
- arXiv:
- arXiv:1602.02432
- Bibcode:
- 2016arXiv160202432G
- Keywords:
-
- Computer Science - Computational Complexity;
- Mathematics - Group Theory;
- 68A20
- E-Print:
- 3 pages