AI 中文总结
研究STV选举边际计算问题，改进现有算法计算其下限，可用于风险限制审计，让基于不匹配的风险限制审计更具可行性，有助于洞察选票错误对选举结果的影响。
AI 中文摘要
单可转移投票（STV）是一种多胜者优先比例选举系统。边际是改变获胜者集合所需操纵的最少票数。若能计算STV选举的边际或合理下限，就能利用审计研究进展对选举获胜者进行风险限制审计。了解边际还能洞察未发现的错误或已知的选票解释错误率是否会影响结果。本文对计算STV选举边际下限的现有算法有重大改进，能为实际STV选举计算更高下限，使基于不匹配的风险限制审计更实用。
英文摘要
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the set of winners. If we can compute the margin of an STV election, or a reasonable lower bound on the margin, we can use recent advances in auditing research to conduct a risk-limiting audit of the election's winners. Knowledge of the margin also provides insight into whether uncovered mistakes, or a known error rate in ballot interpretation, could have influenced the outcome. This paper presents substantial improvements on an existing algorithm for computing lower bounds on the margin of an STV election. These improvements allow us to compute higher lower bounds for real STV elections, making mismatch-based risk-limiting audits more practical.
Comments19 pages, accepted for E-Vote-ID 2026
Journal refElectronic Voting, E-Vote-ID 2026, Lecture Notes in Computer Science 17083 (2027) 1-17
DOI：10.1007/978-3-032-39512-2_1
