# Novikov

## Is there an algorithm to determine if a triangulated 4-manifold is combinatorially equivalent to the 4-sphere? โ โ โ

Author(s): Novikov

\begin{problem} Is there an algorithm which takes as input a triangulated 4-manifold, and determines whether or not this manifold is combinatorially equivalent to the 4-sphere? \end{problem}