基于抽象论辩理论的稳定匹配问题研究
| 致谢 | 第5-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 第1章 引言 | 第16-28页 |
| 1.1 匹配问题 | 第19-21页 |
| 1.2 已有研究存在的问题 | 第21-26页 |
| 1.3 主要内容 | 第26-28页 |
| 第2章 论辩理论 | 第28-43页 |
| 2.1 基于扩展的定义 | 第29-31页 |
| 2.2 基于加标的定义 | 第31-35页 |
| 2.3 论辩语义的计算 | 第35-41页 |
| 2.3.1 基于加标的方法 | 第35-38页 |
| 2.3.2 基于ASP的算法 | 第38-40页 |
| 2.3.3 基于SCC的算法 | 第40页 |
| 2.3.4 基于MSR的算法 | 第40-41页 |
| 2.4 论辩框架的动态性 | 第41-43页 |
| 第3章 稳定匹配问题的论辩框架 | 第43-67页 |
| 3.1 稳定婚姻问题的论辩框架 | 第43-57页 |
| 3.1.1 sm的论辩框架 | 第44-50页 |
| 3.1.2 smt的论辩框架 | 第50-52页 |
| 3.1.3 smi的论辩框架 | 第52-55页 |
| 3.1.4 smti的论辩框架 | 第55-57页 |
| 3.2 稳定室友问题的论辩框架 | 第57-67页 |
| 3.2.1 sr的论辩框架 | 第57-62页 |
| 3.2.2 srt的论辩框架 | 第62-63页 |
| 3.2.3 sri的论辩框架 | 第63-64页 |
| 3.2.4 srti的论辩框架 | 第64-67页 |
| 第4章 稳定匹配问题的论辩语义计算 | 第67-95页 |
| 4.1 单个配对的稳定性判断 | 第67-77页 |
| 4.1.1 稳定配对 | 第69-73页 |
| 4.1.2 固定配对 | 第73-77页 |
| 4.2 稳定匹配的求解 | 第77-95页 |
| 4.2.1 基于矩阵旋转的方法 | 第77-79页 |
| 4.2.2 基于MSR的计算方法 | 第79-90页 |
| 4.2.3 基于无冲突集合扩展的方法 | 第90-95页 |
| 第5章 稳定婚姻问题的论辩动态性 | 第95-106页 |
| 5.1 sm问题：增加或删除配对 | 第95-98页 |
| 5.2 sm问题：改变偏好列表 | 第98-101页 |
| 5.3 匹配问题的动态计算 | 第101-106页 |
| 5.3.1 基于划分的方法 | 第101-102页 |
| 5.3.2 基于论证状态的方法 | 第102-106页 |
| 第6章 结语 | 第106-108页 |
| 6.1 内容回顾 | 第106页 |
| 6.2 创新点与不足 | 第106-108页 |
| 参考文献 | 第108-114页 |
| 作者简历 | 第114页 |
