首页> 中文学位 >基于d-approval规则的社会学难解问题参数算法研究
【6h】

基于d-approval规则的社会学难解问题参数算法研究

代理获取

目录

声明

摘要

1 绪论

1.1 课题研究背景

1.2 课题研究内容

1.3 课题研究意义

1.4 论文组织

2 社会学概述

2.1 确定赢家类问题

2.1.1 Kemeny投票系统

2.1.2 Dodgson和Young投票系统

2.2 确定可能的赢家

2.3 Control,Manipulation和Bribery

2.3.1 Copelanda规则下Candidate Control问题的复杂性

2.3.2 d-approval规则下Candidate Control问题的复杂性

2.4 本章小结

3 cc-dv-d-approval问题及其对偶问题的参数复杂性

3.1 引言

3.2 问题的定义及研究现状

3.3 参数复杂性研究

3.3.1 NP完全证明

3.3.2 问题的核

3.3.3 基于动态规划的固定参数算法

3.4 对偶问题的参数复杂性

3.4.1 对偶问题的NP完全证明

3.4.2 问题的结构分析

3.4.3 基于局部贪婪的固定参数算法

3.5 本章小结

4 cc-av-d-approval问题的参数算法研究

4.1 问题的定义及研究现状

4.2 NP完全证明

4.3 问题的结构分析

4.4 固定参数算法研究

4.5 本章小结

5 Bribery问题的参数复杂性

5.1 问题的定义及研究现状

5.2 NP完全证明

5.3 Bribery by voters问题的参数复杂性

5.4 本章小结

6 总结和展望

6.1 总结

6.2 工作展望

参考文献

攻读硕士期间主要研究成果

致谢

展开▼

摘要

社会学中投票问题的研究由来已久,现在它已经广泛地应用于计算理论领域,在人工智能、生物信息学以及图编辑问题中扮演了重要角色。参数计算理论是精确求解NP难问题的新方法,受到人们的普遍关注。本文主要研究参数计算理论在社会学投票问题中的应用,讨论d-approval规则下Control和Bribery对投票问题的影响。主要研究工作和创新点如下:
  本文研究了cc-dv-d-approval问题及其对偶问题,探讨删除投票对选举的影响。通过构造二分图,剖析了问题的结构和性质,给出了能降低规模的核心化规则。在cc-dv-d-approval问题中,去掉了与给定的候选人c相关的投票以及得分低于S(c)的候选人,得到了O(kd+3)的核。在此基础上提出了基于动态规划的时间复杂度为O*(2k2)的固定参数算法。在对偶问题中,通过分析发现该问题与经典的Set Packing问题存在一定的联系。当d=3时,本文提出了基于局部贪婪的时间复杂度为O*((3k)4k)的固定参数算法。
  cc-av-d-approval问题以增加的投票个数作为参数,通过分析,新增加的投票必须支持给定的候选人c。为了使得c成为赢家,其它候选人增加的得分必须小于常数b。该问题可以看作是Set Packing问题的扩展。当d=4时,本文提出了基于局部贪婪的时间复杂度为O*((3k)4k)的固定参数算法。
  Bribery主要通过贿赂投票使得给定的候选人成为赢家。本文研究Bribery by voters问题和Bribery by exchange问题,分别以贿赂的投票个数、投票的更改次数作为参数。在Bribery by voters问题中,通过分析问题的结构,得出结论,解集中的投票一定不支持候选人c。给出了核心化规则,得到了O(kd+3)的多项式核,从而证明了该问题在d>2时是固定参数可解的。最后证明了Bribery by exchange问题是多项式时间可解的。
  综上所述,本文主要研究Control问题和Bribery问题的参数复杂性。通过对这两个问题的剖析,简化了问题实例的规模,设计了固定参数算法,拓展了参数计算的应用范畴,丰富了投票问题的研究思路。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号