基于SMT的局部无嫉妒资源分配问题求解

• 作者: 李炳坤 陈寅
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 资源分配问题 局部无嫉妒 可满足性模理论
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 算法
• 页码范围: 248-252,258
• 页数: 6页
• 分类号: TP3
• 字数: 4695字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2020.02.038

摘要

公平分配问题在经济学、政治学和计算机科学等多个领域都受到了关注.针对不可分物品的局部无嫉妒资源分配问题,通过把问题转化为SMT(Satisfiability Modulo Theories)问题进行求解.实验结果表明,SMT求解这类NP难问题是可能的,有关资源分配问题的相关研究主要集中于理论上的分析和有关复杂度的证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈寅	华南师范大学计算机科学与技术系	4	9	1.0	3.0
2	李炳坤	华南师范大学计算机科学与技术系	1	0	0.0	0.0