Minimal extending sets in tournaments

Tournament solutions play an important role within social choice theory and the mathematical social sciences at large. In 2011, Brandt proposed a new tournament solution called the minimal extending set (ME) and an associated graph-theoretic conjecture. If the conjecture had been true, ME would have satisfied a number of desirable properties that are usually considered in the literature on tournament solutions. However, in 2013, the existence of an enormous counter-example to the conjecture was shown using a non-constructive proof. This left open which of the properties are actually satisfied by ME. It turns out that ME satisfies idempotency, irregularity, and inclusion in the iterated Banks set (and hence the Banks set, the uncovered set, and the top cycle). Most of the other standard properties (including monotonicity, stability, and computational tractability) are violated, but have been shown to hold for all tournaments on up to 12 alternatives and all random tournaments encountered in computer experiments.