基于回溯树分解的互斥约束工作流可满足性计数

• 作 者: 翟治年 王巍橡 卢亚辉 吴茗蔚 郑志军 余法红
• 机 构: 浙江科技学院信息与电子工程学院,深圳大学计算机与软件学院,嘉兴学院数理与信息工程学院
• 出 处: 电信科学
• 发表日期: 2016年10期
• 关键词: 工作流 授权 约束 资源分配 可满足性 workflow authorization constraint resource allocation sa
• 基金项目: 浙江省教育厅科研基金资助项目（No.Y201533771）, 浙江省自然科学基金资助项目（No.LY16F020027）, 国家自然科学基金资助项目（No.61302112）

工作流可满足性（WS）研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性。本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS（≠）求解。实验表明,改进后的算法降低了执行时间,相对于现有#WS（≠）算法,提出的算法对低密度约束下的工作流具有一定的综合性能优势。