1: \begin{abstract}

2: For several computational

3: problems in homotopy theory,

4: we obtain algorithms  with running time  polynomial in

5: the input size.

6: In particular, for

7: every \emph{fixed} $\thedim\ge 2$, there is a polynomial-time algorithm that,

8: for a $1$-connected topological space $X$ given as a finite simplicial

9: complex, or more generally, as a simplicial set with polynomial-time

10: homology, computes the $\thedim$th homotopy group $\pi_\thedim(X)$,

11: as well as the first $\thedim$ stages of a Postnikov system of $X$.

12:  Combined with results of an earlier paper,

13: this yields a polynomial-time computation

14: of $[X,Y]$, i.e., all homotopy classes of continuous mappings $X\to Y$,

15: under the assumption that

16: $Y$ is $(\thedim{-}1)$-connected and $\dim X\le 2\thedim-2$.

17: We also obtain a polynomial-time solution of the

18: \emph{extension problem}, where the input consists

19: of finite simplicial complexes $X,Y$, where $Y$ is $(\thedim{-}1)$-connected

20: and $\dim X\le 2\thedim-1$,

21: plus a subspace $A\subseteq X$ and a (simplicial) map $f\:A\to Y$,

22: and the question is the extendability of $f$ to all of~$X$.

23: 

24: The algorithms are based on the notion of a

25: \emph{simplicial set with polynomial-time homology},

26: which is an enhancement of the notion of a simplicial set with

27: effective homology developed earlier by Sergeraert and his co-workers.

28: Our polynomial-time algorithms are obtained by showing that

29: simplicial sets with polynomial-time homology are closed under

30: various operations, most notably, Cartesian products, twisted

31: Cartesian products, and classifying space.

32: One of the key components is also polynomial-time homology for

33: the Eilenberg--MacLane  space $K(\Z,1)$, provided in another recent paper

34: by Kr\v{c}\'al, Matou\v{s}ek, and Sergeraert.

35: \end{abstract}