[EM] Teams

[Kristofer Munsterhjelm]

On 7/10/21 9:23 AM, Susan Simmons wrote:
> The separate groups, teams, river basins exist to keep the snake from 
> eating its tail ... that's why we consider only contests between the 
> head of one group and the members of another (different) group. If the 
> head is defeated by a member of its own group, then we essentially lock 
> in a cycle.
> 
> This doesn't need to be mentioned in the definition, but definitely 
> included in the faq's, etc.
> 
> The most natural place it comes up is in the recursive proof that every 
> head (including the final one) has a beat path to each member of its group.
> 
> BTW the fact that the final head has a beat path to every member of its 
> group (i.e. to all of the other candidates) shows that the winner is in 
> the Smith set.

Is there a way of extending River to producing a full social order in a 
way that passes LIIA? If so, it'd seem to be strictly better than Ranked 
Pairs because River also passes IPDA.

Well, perhaps River fails MAM's immunity to complaints criterion, but 
that's rather specific.

-km