工作流可满足性(≠,=)计数及其#P完全性

• 作者: 余法红 卢亚辉 向坚 吴茗蔚 周武杰 翟治年
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 工作流 访问控制 授权 约束 资源分配 可满足性
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 605-611
• 页数: 7页
• 分类号: TP309
• 字数: 7725字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.03.015

摘要

工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢亚辉	深圳大学计算机学院	12	24	3.0	3.0
2	翟治年	浙江科技学院信息与电子工程学院	10	19	2.0	3.0
3	周武杰	浙江科技学院信息与电子工程学院	19	46	3.0	6.0
4	吴茗蔚	浙江科技学院信息与电子工程学院	8	5	1.0	1.0
5	余法红	嘉兴学院数理与信息学院	9	17	2.0	3.0
6	向坚	浙江科技学院信息与电子工程学院	14	70	5.0	8.0