English(EN) Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement

无限域上的新型投票方法合成定理

作者 PulseAugur 编辑部 · [1 个来源] · 2026-08-09 20:16

研究人员开发了一种使用SMT和Lean合成和验证无限域上投票方法的新颖方法，这是对传统有限域SAT求解器的重大改进。该方法解决了寻找满足特定标准的社会选择程序所面临的挑战，特别是针对具有任意数量选民但固定候选人集合的场景。该研究提出了一个关于四个关键投票理论公理的可能性定理：孔多塞获胜者和失败者标准、正向参与和可解性，证明了对于四名候选人存在这样的方法，这与之前对更多候选人的发现相反。 AI

影响引入了合成和验证复杂理论结果的新颖计算方法，可能适用于AI对齐和决策系统。

排序理由学术论文，详细介绍了投票理论中的新理论结果和计算方法。[lever_c_demoted from research: ic=1 ai=0.4]

在 arXiv cs.MA (Multiagent) 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 学术论文，详细介绍了投票理论中的新理论结果和计算方法。[lever_c_demoted from research: ic=1 ai=0.4]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: Standard; On-topic for AI-industry coverage; kept in the public index.
Story freshness: 51 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.MA (Multiagent) TIER_1 English(EN) · Wesley H. Holliday · 2026-08-09 20:16

无限域上的投票方法合成：一种正向参与的可能性定理

A common problem in social choice is to determine whether there is a social choice procedure, such as a voting method, satisfying some desired criteria. Computer-aided methods such as SAT solving can sometimes answer these questions. However, under typical encodings, a SAT solver…

本文如何被排名

报道来源 [1]

无限域上的投票方法合成：一种正向参与的可能性定理

相关实体

相关话题