排序选举有点像按多轮导航换乘:这一轮谁先出局,会改变选票下一轮流向,早期几票之差,可能把后续路线整个改写。Edouard Heitzmann 提出的 STV Audit Graphs,正是把这种不稳定性画出来。STV(单记可让渡投票)让选民按偏好排列候选人;有人当选或淘汰后,选票会转给下一选择,直到席位填满。
图中的节点代表某一轮可能出现的计票状态,连线代表接下来让谁当选或淘汰。工具从实际公布的计票路径出发,再寻找“只需小幅改动票数就可能发生”的分支。一个很关键的保守设计是:它假定对手每轮都重新获得一笔改票预算,因此会纳入一些现实中未必能连续实现的路径,但换来每个分支都能单独检验。
如果预算范围内的所有路径最终都选出同一组赢家,这张图就被称为“coherent”,意味着结果在该范围内稳定;若出现不同赢家,脆弱点也会直接暴露。作者进一步提出,可据此设计风险限制审计(RLA)——抽查纸质选票,并限制错误结果未被纠正的概率。不过,所给原文片段未披露具体选举案例或审计样本量。