1: \begin{abstract}

2: Given a genus two Heegaard splitting for a non-prime 3-manifold,

3: we define a special subcomplex of the disk complex for one of the handlebodies of the splitting,

4: and then show that it is contractible.

5: As applications, first we show that the complex of Haken spheres for the splitting is contractible,

6: which refines the results of Lei and Lei-Zhang.

7: Secondly, we classify all the genus two Heegaard splittings for non-prime 3-manifolds,

8: which is a generalization of the result of Montesinos-Safont.

9: Finally, we show that the mapping class group of the splitting, called the Goeritz group,

10: is finitely presented by giving its explicit presentation.

11: \end{abstract}