AbstractFor graphs G and H, a homomorphism from G to H, or H‐coloring of G, is a map from the vertices of G to the vertices of H that preserves adjacency. When H is composed of an edge with one looped endvertex, an H‐coloring of G corresponds to an independent set in G. Galvin showed that, for sufficiently large n, the complete bipartite graph is the n‐vertex graph with minimum degree δ that has the largest number of independent sets. In this article, we begin the project of generalizing this result to arbitrary H. Writing for the number of H‐colorings of G, we show that for fixed H and or , urn:x-wiley:03649024:media:jgt21820:jgt21820-math-0005for any n‐vertex G with minimum degree δ (for sufficiently large n). We also provide examples of H for which the maximum is achieved by and other H for which the maximum is achieved by . For (and sufficiently large n), we provide an infinite family of H for which for any n‐vertex G with minimum degree δ. The results generalize to weighted H‐colorings.