基于抽象论辩理论的稳定匹配问题研究

第1章 引言
1.1 匹配问题
1.2 已有研究存在的问题
1.3 主要内容
第2章 论辩理论
2.1 基于扩展的定义
2.2 基于加标的定义
2.3 论辩语义的计算
2.3.1 基于RL的方法
2.3.2 基于ASP的算
2.3.3 基于SCC的算
2.3.4 基于MSR算
2.4 论辩框架的动态性
第3章 稳定匹配问题的论辩框架
3.1 稳定婚姻问题的论辩框架
3.1.1 sm的论辩框架
3.1.2 smt的论辩框架
3.1.3 smi的论辩框架
3.1.4 smti的论辩框架
3.2 稳定室友问题的论辩框架
3.2.1 sr的论辩框架
3.2.2 srt的论辩框架
3.2.3 sri的论辩框架
3.2.4 srti的论辩框架
第4章 稳定匹配问题的论辩语义计算
4.1 单个配对的稳定性判断
4.1.1 稳定配对
4.1.2 固定配对
4.2 稳定匹配的求解
4.2.1 基于矩阵旋转的方法
4.2.2 基于MSR的计算方法
4.2.3 基于无冲突集合扩展的方法
第5章 稳定婚姻问题的论辩动态性
5.1 sm问题：增加或删书每配对
5.2 sm问题：改变偏好列表
5.3 匹配问题的动态计算
5.3.1 基于划分的方法
5.3.2 基于论证状态的方法
第6章 结语