  We characterize the smallest finite spaces with the same homotopy groups of
the spheres. Similarly, we describe the minimal finite models of any finite
graph. We also develop new combinatorial techniques based on finite spaces to
study classical invariants of general topological spaces.
