1: \begin{abstract}

2: In an earlier paper of \v{C}adek, Vok\v{r}\'{\i}nek, Wagner,

3: and the present authors, we investigated an algorithmic problem

4: in computational algebraic topology, namely, the

5: computation of all possible homotopy classes of maps between

6: two topological spaces, under suitable restriction on the spaces.

7: 

8: We aim at showing that, if the dimensions of the considered spaces

9: are bounded by a constant, then the computations can be done in

10: polynomial time. In this paper we make a significant technical

11: step towards this goal: we show that the Eilenberg--MacLane

12: space $K(\Z,1)$, represented as a simplicial group, can be

13: equipped with \emph{polynomial-time homology} (this is a polynomial-time

14: version of \emph{effective homology} considered in previous

15: works of the third author and co-workers).

16: 

17: To this end, we construct a suitable \emph{discrete vector field},

18: in the sense of Forman's \emph{discrete Morse theory}, on $K(\Z,1)$.

19: The construction is purely combinatorial and it can be understood

20: as a certain procedure for reducing finite sequences of integers,

21: without any reference to topology.

22: 

23: The Eilenberg--MacLane spaces

24: are the basic building blocks in a \emph{Postnikov system},

25: which is a ``layered'' representation of a topological space

26: suitable for homotopy-theoretic computations.

27: Employing the result of this paper

28: together with other results on polynomial-time homology,

29: in another paper we obtain, for every fixed $\thedim $,  a polynomial-time

30: algorithm for computing the $\thedim $th homotopy group $\pi_\thedim(X)$

31: of a given simply connected space $X$, as well as the first $\thedim $

32: stages of a Postnikov system for~$X$, and also

33: a polynomial-time version  of the algorithm

34: of \v{C}adek et~al.\ mentioned above.

35: \end{abstract}

36: