Computing higher homotopy groups is W[1]-hard

Jiri Matousek

Recently it was shown that, for every fixed k>1, given a finite simply connected simplicial complex X, the kth homotopy group π_k(X) can be computed in time polynomial in the numbe…