We generalize the polynomial-time solvability of $k$-\textsc{Diverse Minimum s-t Cuts} (De Berg et al., ISAAC'23) to a wider class of combinatorial problems whose solution sets have a distributive lattice structure. We identify three structural conditions that, when met by a problem, ensure that a $k$-sized multiset of maximally-diverse solutions -- measured by the sum of pairwise Hamming distances -- can be found in polynomial time. We apply this framework to obtain polynomial time algorithms for finding diverse minimum $s$-$t$ cuts and diverse stable matchings. Moreover, we show that the framework extends to two other natural measures of diversity. Lastly, we present a simpler algorithmic framework for finding a largest set of pairwise disjoint solutions in problems that meet these structural conditions.

Given a connected undirected graph G, a spanning tree is a subgraph T of G such that V(T) = V(G) and T is a tree. A collection of 𝓁 spanning trees T₁,…,T_{𝓁} is {{pairwise k-diverse}} if for every i ≠ j, |E(T_i) △ E(T_j)| ≥ k. Given a connected undirected graph G and integers p, q, k, 𝓁, {Leaf&Internal-Constrained Diverse Spanning Trees} asks whether there are 𝓁 distinct spanning trees T₁,…,T_{𝓁} of G that are {{pairwise k-diverse}} such that each tree has at least p leaves and at least q internal vertices. Similarly, {Leaf&Non-terminal-Constrained Diverse Spanning Trees} takes a connected undirected graph G, V_NT ⊆ V(G), and three integers p, k, 𝓁, and asks if G has 𝓁 spanning trees that are {{pairwise k-diverse}}, and each has at least p leaves and contains the vertices of V_NT as internal. We consider these two problems from the kernelization perspective and provide polynomial kernels for {Leaf&Internal-Constrained Diverse Spanning Trees} and {Leaf&Non-terminal-Constrained Diverse Spanning Trees}, when parameterized by p + q + k + 𝓁 and p + |V_NT| + k + 𝓁, respectively.