1: \begin{abstract}

2: We present an algorithm for computing $[X,Y]$, i.e.,

3: all homotopy classes of continuous maps $X\to Y$, where $X,Y$ are topological

4: spaces given as finite simplicial complexes, $Y$ is $(d-1)$-connected

5: for some $d\ge 2$ (for example, $Y$ can be the $d$-dimensional

6: sphere $S^d$), and $\dim X\le 2d-2$. These conditions

7: on $X,Y$ guarantee that $[X,Y]$ has a natural structure

8: of a finitely generated Abelian group, and the algorithm finds

9: generators and relations for it.

10: We combine several tools and ideas

11: from homotopy theory (such as \emph{Postnikov

12: systems, simplicial sets, and obstruction theory}) with algorithmic

13: tools from effective algebraic topology (\emph{objects with effective

14: homology}).

15: 

16: We hope that a further extension of the methods developed here

17: will yield an algorithm for computing,

18: in some cases of interest, the \emph{$\Z_2$-index},

19: which is a quantity playing a prominent role in Borsuk--Ulam style

20: applications of topology in combinatorics and geometry, e.g.,

21: in topological lower bounds for the chromatic number of a graph.

22: In a certain range of dimensions, deciding the embeddability

23: of a simplicial complex into $\R^d$ also amounts

24: to a {$\Z_2$-index} computation. This is the main motivation of our work.

25: 

26: We believe that investigating the computational complexity

27: of questions in homotopy theory and similar areas presents

28: a fascinating research area, and we hope that our work may

29: help bridge the cultural gap between algebraic topology

30: and theoretical computer science.

31: \end{abstract}

32: