Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes