基于平均逻辑相似度的α-反向三I算法的鲁棒性

摘要：

鲁棒性是评价算法优劣的一个重要标准.以平均逻辑相似度为衡量扰动的指标,分别讨论了α-反向三I支持算法和α-反向三I约束算法的鲁棒性,结论表明FMP(FMT)问题的α-反向三I支持算法和α-反向三I约束算法具有相同的鲁棒性.

关键词：鲁棒性、平均逻辑相似度、α-反向三I支持算法、α-反向三I约束算法

所属期刊栏目：54

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金11471007;延安大学研究生创新基金

在线出版日期：2018-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：34-37,111