[EM] Manual Construction of Smith Set

[Kristofer Munsterhjelm]

On 27.01.2022 12:05, Kristofer Munsterhjelm wrote:

> As for generally strategy resistant on-stage methods... I don't know,
> it's a very tough constraint. UncAAO, perhaps, or something else making
> use of implicit approval? I'm not sure. If it's not strategy resistant
> then Copeland-elimination is as good as any. But if you need
> monotonicity, perhaps minmax?

Possibly River. I vaguely remember Jobst saying it could be done
interactively (and manually) in a natural way, although I don't remember
the details. If so, that would be the best of the minmax class for
on-stage counting, since you'd automatically get ISDA and IPDA too.

-km