工作流可满足性(≠,=)计数及其#P完全性 |
| |
作者姓名: | 翟治年 卢亚辉 余法红 周武杰 向坚 吴茗蔚 |
| |
作者单位: | 1. 浙江科技学院信息与电子工程学院, 浙江杭州 310023;2. 深圳大学计算机学院, 广东深圳 518060;3. 嘉兴学院数理与信息学院, 浙江嘉兴 314001 |
| |
基金项目: | 国家自然科学基金,浙江省自然科学基金,浙江省教育厅科研项目,钱江人才计划 |
| |
摘 要: | 工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础.
|
关 键 词: | 工作流 访问控制 授权 约束 资源分配 可满足性 |
收稿时间: | 2015-04-20 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载免费的PDF全文 |
|