集体决策算法博士：投票规则与联盟形成

项目概览

布里斯托大学工程数学与技术学院招收博士生，研究集体决策算法，重点包括投票与联盟形成。项目联系人为Dr Martin Bullinger，截止日期为2026年12月1日。介绍标为面向全球学生的竞争性资助，但没有公布具体奖学金名称、金额、覆盖年限或国际学费安排。

项目详情

项目关注几个相互关联的问题：怎样设计能公平代表不同偏好的投票规则；个人何时能够形成稳定且互利的联盟；在利益相互竞争的社会中，算法怎样帮助人们合作。研究位于理论计算机科学与经济学交叉处，采用计算社会选择与算法博弈论的观点，理解个体偏好怎样影响集体结果。

投票和联盟形成是本项目的两类核心问题。潜在方向包括寻找稳定联盟的算法、研究激励如何影响合作，以及设计能应对极化的投票制度。一个研究动机是，集体决策机制是否能够鼓励跨越社会分歧的合作；介绍没有承诺具体国家、公共政策试点或已落实的政府合作，因此不能把这一动机当作政策实施任务。

研究将以理论为主，依赖算法设计、计算复杂性与数学分析。关键不只是提出一个看起来合理的规则，而是证明希望获得的结果是否能高效计算，识别何处存在复杂性障碍，并研究近似算法或结构假设能否帮助克服这些障碍。近似结果与精确求解、一般情形与附加结构条件，应分别说明，不能混为算法已经解决所有输入。

另一条研究路径是公理化分析投票规则，检验哪些理想性质可以同时满足，哪些目标之间可能存在限制或冲突。这需要清晰定义性质并开展严谨推理，而不是只比较某个实验数据集上的排名。根据最终方向，理论结果也可能辅以计算实验；实验属于可选的补充，不代表项目转为以应用机器学习为主。

精确研究议程将由导师与获选者共同制定，结合申请者兴趣和长处。总体目标是推进集体决策的理论基础，不是预先承诺一种万能投票制度或一种适用于所有社会场景的合作机制。

申请要点

• 理想背景为扎实的理论计算机科学，尤其是算法设计、计算复杂性与离散数学。

• 对严格数学推理及证明工作的热情是必要条件，不能仅用一般编程兴趣替代。

• 已有计算社会选择或博弈论知识受到欢迎，但原文明确不要求必须具备。

• 联系人为Dr Martin Bullinger，介绍未列邮箱；申请截止标为2026年12月1日，具体时刻与时区未说明。

• 资助需竞争，面向全球申请者不等于保证获奖。

需要进一步确认

介绍未列正式学位等级、最低成绩、英语分数、申请文件、入学日期、培养年限或具体资助金额。应确认学校正式资格与提交流程，以及项目初始研究问题、采用何种稳定性和公平性概念、近似或结构限制的范围、计算实验是否必要、日常指导和理论研究训练安排。

布里斯托博士研究报告：投票与联盟形成中的算法问题

项目判断

这是一个以理论为主的博士课题，研究偏好、激励与计算限制如何影响集体决策。博士工作的核心是证明理想的投票或联盟结果何时存在、能否被高效算出。对喜欢离散数学、算法设计和证明的申请者，项目与导师研究十分契合；具体论文方向和经费条款仍需商定。

2026年10月28日，等待加载后实际读取的理工学部官方项目列表列出了确切标题、Martin Bullinger、2026年12月1日截止、竞争性资助及全球申请资格。展开后可读完整任务并见申请链接。这确认了当前招生信息，但没有确认津贴金额、资助年限或个人录取。

研究问题与博士工作

项目通过计算社会选择和算法博弈论连接理论计算机科学与经济学。投票把不同人的偏好汇成集体结果；联盟形成则问，个体何时能组成稳定、互利的群体。跨社会分歧开展合作是研究动机，现有项目并未宣布政治实地实验，也未证明能够降低真实社会的极化。

原文研究方向	博士要回答的问题与可能产出
寻找稳定联盟的算法	明确稳定概念和偏好范围，证明解存在、给出算法，或证明计算困难
激励与合作	分析个体转组等行为如何影响结果的可行性及形成过程
对抗极化的投票机制	形式化代表性或互联性目标，检验它与其他目标是否兼容
高效计算及障碍	证明运行时间界或复杂度归约，找出改变难度的条件
近似与结构假设	用可证明的近似保证替代精确最优，或利用受限偏好寻找可解情形
投票规则的公理分析	判断哪些理想性质可同时满足，包括不可能性结果
可选计算实验	视具体方向补充理论，既非强制任务，也不能代替证明

具体议程将与录取者共同形成。准备时可以选一个小型联盟模型，区分个体稳定与纳什稳定，构造反例，再证明一个受限算法正确；也可以比较投票目标并找出不兼容性。这些是准备建议，不是额外的招生条件或已承诺的论文任务。

该领域的评价涉及定义是否严谨、定理假设、复杂度归约、近似比与反例。若使用实验，偏好分布及选择哪次转组的规则都会影响结果。模拟中很快收敛，不能推翻最坏情况下指数步数的结论。博士研究须区分：稳定结果是否存在、能否高效找到，以及分散的动态过程是否会到达它。

学校、学科与培养

学位机构是布里斯托大学，承办单位为工程数学与技术学院。2027年工程数学博士项目页说明为Clifton校区线下培养，全日制最长四年、非全日制最长八年；这是培养期限，不能当成已确认的奖学金年限。通常须有相关专业硕士merit或国际同等水平；无硕士者只有具备一等本科及研究准备度等条件，才可能获例外考虑。申请前须与潜在导师完成Supervisor Suitability Form。页面链接的详细招生声明仍标为2026版，当前支持文件应向招生部门确认。

英语为Profile E，包括雅思总分6.5、单项6.0，并受认可考试和有效期规则约束。中国学历指引说，持知名大学良好硕士学位者可获考虑，不代表中国本科普遍直博或每个学位自动认可。一般2027年9月入学截止，不能延长本项目已经确认的12月1日竞争截止。

学校官方排名介绍列出 2027年QS综合第57，不能写成计算社会选择、学院或导师排名。更直接的学术信号，是课题与导师近期SODA、AAAI、SAGT和AAMAS研究的对应关系。导师过去在牛津及慕尼黑工大的经历，也不意味着联合学位或对方学校的培养资源已经向本项目开放。

导师、研究环境与近期论文

Martin Bullinger为本学院讲师，官方邮箱 martin.bullinger@bristol.ac.uk。其个人学术介绍说明，他于2025年10月加入布里斯托，此前在牛津做博士后，在慕尼黑工大跟随Felix Brandt取得博士，并有数学硕士背景。其研究重点是联盟形成和计算边界，也涉及投票与极化，和本项目高度对应。

指导记录列出其过去指导的硕士论文和研究项目，包括联盟大小限制、偏离动态等；教学记录列出博弈论、离散结构等助教及客座讲课经历。这些是可核实的经验信号，但不能证明已有布里斯托博士毕业去向、当前组员人数、保证开设的课程或指导频率。联系时应询问共同指导、会议节奏和本地理论研究交流。

本次通过一手摘要读取四项近期成果，并与作者论文目录核对发表信息；没有独立核验全文证明：

1. 在线分数型偏好联盟博弈中的匹配方法，SODA 2026研究个体到达后须立即、不可撤回分组的问题。修订摘要给出随机到达下渐近最优的1/3−1/n竞争比；任意到达但允许整体解散联盟时，得到另一最优常数。启发是到达顺序和允许修改的范围决定福利保证，不能声称匹配解决所有联盟模型。
2. 联盟大小受限时的单个体偏离稳定性，SAGT 2026区分四类稳定性，以及转组后原联盟是否必须继续满足大小限制。稳定解存在性与计算难度依赖具体界限及定义。它示范了博士如何绘制可解情形，而非承诺一般情形都能高效解决。机构目录题名用“Single-Agent”，所引预印本和作者目录用“Single-Deviation”，报告保留这一版本差异。
3. 基数型偏好联盟博弈的偏离动态，AAAI 2026把不存在稳定解的情形与判断动态是否收敛的计算困难联系起来。从单人联盟出发，满足契约个体稳定性的动态可以沿某些路径在线性步数内收敛，但最坏情况可能需要指数步数。这提醒研究者区分存在性、可计算性及过程行为。出版商网页直接读取返回503，本次实际读取的是arXiv摘要与一手发表记录。
4. 交织委员会选择，AAMAS 2025提出两个形式化的选民互联性指标。一般优化问题为NP完全，区间偏好范围可有高效算法，还分析与代表性目标的近似权衡。它直接对应投票分支；数学上的反极化目标，不能写成已经产生真实社会效果。

这些成果说明导师近期持续研究相关理论问题，但不能替新博士确定完整题目，不能提供就业预测，也不能把某种偏好模型下的定理直接推广到其他模型。

资助、申请与生活成本

官方确认全球申请者可竞争资助，但项目未公开具体奖项、学费覆盖与资助年限。学校资助总页提供的£21,805是 2026/27年度 津贴参考。理工学部奖学金页仍介绍较早轮次，且不同奖项年限不同，旧条款不能套到本项目。项目课程页列出未获覆盖时海外年学费£28,300，应取得针对个人的学费及生活费书面条款。

2025/26年研究生开支调查给出月均£1,862，是历史调查而非2027年个人预算。应把实际住房、押金、交通、签证与医疗附加费等，与真实资助比较；现有信息不足以预测净收入或结余。

符合条件的中国申请者可以另查学校CSC联合项目，但不能假定导师已有提名名额。其现行申请指引要求 2026年11月30日英国时间中午前 提交博士申请，通常须已有有效英语证明，之后经历校内提名及单独CSC申请。联合奖学金条件包括最长48个月、学校承担学费、CSC生活费及回程机票，并有年龄、居住状态及回国服务两年等要求；学校不接受私人个人CSC渠道。国内已毕业硕士和海外申请者还须核对各自条件，并询问导师能否提名。不能用12月1日替代这一更早流程。

申请者匹配、前沿与职业价值

原文期待理论计算机科学基础，特别是算法、复杂度和离散数学；热爱严谨数学推理与发展证明是必要条件。计算社会选择或博弈论经历是欢迎条件，不是必需；计算实验也是可选。只有机器学习实现作品，可能不足以回应本项目的核心要求。

建议准备一份简洁数学写作样本，展示假设、引理、证明、反例及未解决问题。复现一个小结果并说明某条假设为什么重要，比罗列很多工具库更能支持匹配判断。还可讨论投票或联盟哪个分支更符合自己的长处、如何从首个可行问题扩展为论文。这些是申请证据建议，不是新增硬门槛。

近期论文显示，在线决策、稳定动态及代表性目标的兼容性仍有持续问题。可迁移训练包括严谨建模、算法分析、优化及激励推理，可能支持学术理论或算法决策系统研究；这是基于任务的职业分析。本次没有核实项目毕业去向、招聘数量、薪酬预测或签证权益。目标若是尽快从事生产环境机器学习工程，应先明确自己希望投入多少实现工作，这种理论训练是否符合长期方向。

下一步与待核实问题

申请前，可携简短证明样本联系Bullinger，确认接收项目并完成Supervisor Suitability Form。问清具体资助计划、截止时间及当前材料。官方项目日期为12月1日，CSC另有更早流程。

面谈时应询问最初研究哪类稳定性或投票公理、哪些限制能让首个问题可行、实验如何补充理论、本地有哪些合作者与研讨活动。同时确认共同指导、开会频率，以及导师给定起点和学生自主方向之间的安排。

接受前，取得学费、津贴、资助年限和进度要求的书面条款，并讨论初始猜想不成立时如何调整。严谨的否定结果可以是学术贡献，但双方应事先明确博士论文和发表策略的预期。

证据与来源

项目与研究环境

• Official Science and Engineering project
• Martin Bullinger institutional profile
• Martin Bullinger research biography
• Bullinger publications
• Bullinger supervision record
• Bullinger teaching record

近期研究

• The Power of Matching for Online Fractional Hedonic Games
• Single-Deviation Stability with Constrained Coalition Sizes
• Deviation Dynamics in Cardinal Hedonic Games
• Selecting Interlacing Committees

培养与资格

• Engineering Mathematics doctorate,2027
• English Profile E
• China qualification guidance
• Bristol ranking and reputation

资助与生活成本

• Bristol student living costs
• University-wide postgraduate scholarships
• Science and Engineering scholarship round
• CSC-UoB application guidance
• CSC-UoB scholarship conditions