Before revision:  For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental group \pi_1(X) of a given finite simplicial complex X is trivial.
After revision:  For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental group \pi_1(X) of a given finite simplicial complex X is trivial.