Network synchronizability analysis: the theory of subgraphs and complementary graphs