Counting spanning trees in a complete bipartite graph which contain a given spanning forest

Abstract In this article, we extend Moon's classic formula for counting spanning trees in complete graphs containing a fixed spanning forest to complete bipartite graphs. Let be the bipartition of the complete bipartite graph with and . We prove that for any given spanning forest of with components , the number of spanning trees in which contain all edges in is equal to where and for .