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