[EM] Schulze STV question

[Ross Hyman]

Let’s say that I want to define the winning sets of an election for n seats in the manner of sequential STV but using the beat paths as defined by Schulze STV, that is I want to define a winning set of n candidates as a set that has a beat path to every other set of n candidates that differ from it by one candidate (instead of to every other set of n candidates with no restriction).  Can this be efficiently done?