存在资历约束时工作流可满足性的固定参数易处理性
密码学与安全
2012-10-16 v1 计算复杂性
数据结构与算法
摘要
工作流可满足性问题关注的是能否找到一种将授权用户分配给工作流中各步骤的方案，使得所有约束均得到满足。该问题在一般情况下是 NP 难的，但对于某些类别的约束，已知其具有固定参数易处理性。关于固定参数易处理性的已知结果依赖于约束的某种对称性。在本文中，我们提供了首批确立当约束不对称时可满足性问题具有固定参数易处理性的结果。具体而言，我们引入了资历约束的概念，其中步骤的执行部分由执行用户的相对资历决定。我们的结果需要新技术，即利用定义约束的二元关系图的树分解。最后，我们确立了工作流可满足性问题硬度的下界。
引用
@article{arxiv.1210.3978,
title = {Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints},
author = {J. Crampton and R. Crowston and G. Gutin and M. Jones and M. S. Ramanujan},
journal= {arXiv preprint arXiv:1210.3978},
year = {2012}
}