[EM] Notes on a few Later-no-harm methods

[Kristofer Munsterhjelm]

On 21.05.2022 21:29, Kevin Venzke wrote:
> I read Richard as saying that BSTV is not defined for scenarios with partial rankings.
> That suggests Kristopher's scenarios actually don't have solutions, and scenarios
> relevant to Later-no-harm can't be constructed for BSTV.

That might be the case, but then we can't say that BSTV passes LNHarm,
as it's out of scope for methods that only handle complete rankings.

Perhaps Richard is saying that he's going to construct BSTV using a
framework and that, due to general properties of that framework, the
resulting method must pass LNHarm. That would let him say that BSTV
passes LNHarm without knowing just what the method is going to become.

But his terminology is indeed rather opaque to me and so I have no
chance of verifying such a general proof. About the only thing I can say
for sure is that BSTV can't pass both LNHarm and LNHelp.

I'll see if I can infer anything from the clarification that BSTV elects
C in my example elections. The keep and exclude values would've been
very useful.

-km