RAIRE:面向 IRV 选举的风险限制审计
数据结构与算法
2019-10-30 v2
摘要
风险限制选举后审计以高概率保证纠正错误的选举结果,且独立于结果错误的原因。选票抽样审计随机选取选票,并将这些选票解释为支持或反对所报告结果的证据,持续该过程直至其支持记录结果,或退而进行全面的手动重新计票。对于具有选票数字化扫描与计数的选举,比对审计将随机选择的数字选票与其纸质版本进行比对。差异被称为错误,并用于构建反对或支持记录结果的证据。针对领先者当选(first-past-the-post)选举的风险限制审计已被充分理解,并在美国部分选举中使用。我们定义了多种针对即时 runoff 投票(IRV)选举的选票抽样与比对风险限制审计方法。我们表明,对于我们找到的几乎所有真实选举,通过仅检视总选票的很小一部分(假设选票统计与分发中未出错),即可执行风险限制审计。
引用
@article{arxiv.1903.08804,
title = {RAIRE: Risk-Limiting Audits for IRV Elections},
author = {Michelle Blom and Peter J. Stuckey and Vanessa Teague},
journal= {arXiv preprint arXiv:1903.08804},
year = {2019}
}