科恩，D。;J·克兰普顿。;Gutin，G。;瓦尔斯特伦，m。 工作流可满足性问题的参数化复杂性。 （英语） Zbl 1397.90206号 Fukunaga，Takuro（编辑）等人，组合优化和图算法。NII Shonan会议沟通。新加坡：Springer（ISBN 978-981-10-6146-2/hbk；978-981-10-6147-9/电子书）。101-120 (2017). 摘要：近年来，人们广泛研究了以满足所有业务规则的方式为工作流中的任务分配授权用户的问题。众所周知，所谓的工作流可满足性问题很难解决，但找到尽可能高效地解决该问题的算法很重要，因为对于同一工作流实例，可能需要多次解决该问题。因此，该领域的最新工作集中在寻找最佳固定参数算法来解决该问题。在本章中，我们总结了我们最近的结果。关于整个系列，请参见[Zbl 1394.90011号]. 理学硕士： 90B50型 管理决策，包括多个目标 软件：周六4j PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人，in：组合优化和图形算法。NII Shonan会议沟通。新加坡：斯普林格。101-120（2017；Zbl 1397.90206） 全文： 内政部 参考文献： [1] 1.美国国家标准协会。in（ANSI INCITS 359-2004，用于基于角色的访问控制）（2004） [2] 2.A.Armando，S.Ponta，《安全敏感业务流程的模型检查》，P.Degano，J.D.Guttman编辑，《安全与信任的形式方面》。计算机科学讲义，第5983卷（Springer，2009），第66-80页 [3] 3.L.Barto，M.Kozik，局部一致性方法可解的约束满足问题。J.ACM 61（1），3（2014）·Zbl 1295.68126号 ·doi:10.1145/2556646 [4] 4.D.A.Basin，S.J.Burri，G.Karjoth，《无障碍授权实施：将安全与业务目标相结合》，in（CSF）（IEEE计算机学会，2011年），第99-113页 [5] 5.N.Beldiceanu，M.Carlsson，J.-X.Rampon，《全球约束目录》，第2版。（修订版a）。技术报告T2012:03，瑞典计算机科学研究所（2012） [6] 6.E.Bertino、E.Ferrari、V.Atluri，工作流管理系统中授权约束的规范和实施。ACM事务处理。信息系统。安全。2(1), 65-104 (1999) ·数字对象标识代码：10.1145/300830.300837 [7] 7.C.Bessière，J.-C.Régin，R.H.C.Yap，Y.Zhang，最优粗粒度弧一致性算法。Artif公司。智力。165(2), 165-185 (2005) ·Zbl 1132.68691号 ·doi:10.1016/j.artint.2005.02.004 [8] 8.A.Björklund，T.Husfeldt，M.Koivisto，《通过包含-排除进行集划分》。SIAM J.计算。39(2), 546-563 (2009) ·Zbl 1215.05056号 ·数字对象标识代码：10.1137/070683933 [9] 9.M.Bodirsky，J.Nešetřil，可数同质模板的约束满足。J.逻辑计算。16, 359-373 (2006) ·Zbl 1113.03026号 ·doi:10.1093/log.com/exi083 [10] 10.D.F.C.Brewer，M.J.Nash，《中国墙安全政策》，收录于（IEEE安全与隐私研讨会）（IEEE计算机学会，1989年），第206-214页 [11] 11.A.Bulatov，三元集上约束的二分法定理，（第43届IEEE计算机科学基础研讨会论文集，FOCS’02）（IEEE计算机学会，2002年），第649-658页 [12] 12.A.Bulatov，可追踪保守约束满足问题，收录于《第18届IEEE计算机科学逻辑研讨会论文集》，LICS’03（加拿大渥太华，2003），第321-330页 [13] 13.A.Bulatov，P.Jeavons，A.Krokhin，使用有限代数对约束的复杂性进行分类。SIAM J.计算。34(3), 720-742 (2005) ·Zbl 1071.08002号 ·doi:10.1137/S0097539700376670076676 [14] 14.A.A.Bulatov，《关于CSP二分法猜想》，编辑：A.S.Kulikov，N.K.Vereshchagin，（《计算机科学论文集——理论与应用——俄罗斯第六届国际计算机科学研讨会》，CSR 2011，俄罗斯圣彼得堡，2011年6月14-18日）。计算机科学讲义，第6651卷（Springer，2011），第331-344页·Zbl 1332.68065号 [15] 15.A.A.Bulatov，V.Dalmau，Mal'tsev约束的简单算法。SIAM J.计算。36(1), 16-27 (2006) ·Zbl 1112.08002号 ·数字对象标识代码：10.1137/050628957 [16] 16.A.A.Bulatov，D.Marx，《全球基数约束的复杂性》。（2009年8月11日至14日在美国加利福尼亚州洛杉矶举行的第24届IEEE计算机科学逻辑年会论文集，LICS 2009）（IEEE计算机学会，2009），第419-428页 [17] 17.D.Cohen、J.Crampton、A.Gagarin、G.Gutin、M.Jones，《用户依赖约束下工作流可满足性问题的工程算法》，J.Chen，J.Hopcroft，J.Wang编辑，（算法前沿，一汽2014）。计算机科学课堂讲稿，第8497卷（Springer，2014），第48-59页·Zbl 1407.68448号 [18] 18.D.Cohen，J.Crampton，A.Gagarin，G.Gutin，M.Jones，工作流可满足性问题的迭代计划构建。J.阿蒂夫。智力。决议（JAIR）51555-577（2014）·Zbl 1315.68145号 [19] 19.D.Cohen、P.Jeavons、P.Jonsson、M.Koubarakis，《构建可处理的析取约束》。J.ACM 47，826-853（2000年）·兹比尔1320.68169 ·doi:10.1145/355483.355485 [20] 20.M.C.Cooper、D.A.Cohen、P.Jeavons，《可控约束的特征描述》。Artif公司。智力。65(2), 347-361 (1994) ·Zbl 0803.68053号 ·doi:10.1016/0004-3702（94）90021-3 [21] 21.J.Crampton，《任务执行受限的工作流系统参考监控器》，编辑：E.Ferrari，G.-J.Ahn，（SACMAT）（ACM，2005），第38-47页 [22] 22.J.Crampton，R.Crowston，G.Gutin，M.Jones，M.S.Ramanujan，《资历约束下工作流可满足性的固定参数可处理性》，M.R.Fellows，X.Tan，B.Zhu编辑，（FAW-AAIM）。计算机科学讲义，第7924卷（Springer，2013），第198-209页·Zbl 1303.68067号 [23] 23.J.Crampton，A.V.Gagarin，G.Gutin，M.Jones，关于具有类依赖约束的工作流可满足性问题，（第十届参数化和精确计算国际研讨会，IPEC 2015）。LIPIcs，第43卷（2015年），第66-77页·Zbl 1378.68069号 [24] 24.J.Crampton，A.V.Gagarin，G.Gutin，M.Jones，M.M.WahlströM，关于分层组织中具有类相关约束的工作流可满足性问题。ACM事务处理。私人安全。19(3), 8:1-8:29 (2016) [25] 25.J.Crampton，G.Gutin，D.Karapetyan，有价值的工作流可满足性问题，载于《第20届ACM访问控制模型和技术研讨会论文集》（SACMAT 2015）（2015），第3-13页 [26] 26.J.Crampton，G.Gutin，D.Karapetyan，R.Watrigant，双目标工作流可满足性问题和工作流弹性。J.计算。安全。25(1), 83-115 (2017) ·doi:10.3233/JCS-16849 [27] 27.J.Crampton，G.Gutin，A.Yeo，关于工作流可满足性问题的参数化复杂性和核化。ACM事务处理。信息系统。安全。16(1), 4 (2013) ·doi:10.1145/2487222.2487226 [28] 28.M.Cygan、F.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.pilipczuck、S.Saurabh，（参数化算法）（Springer，2015）·Zbl 1334.90001号 [29] 29.V.Dalmau，一类新的可处理约束满足问题，载于《第六届人工智能与数学国际研讨会论文集》（2000）·Zbl 1075.68082号 [30] 30.R.G.Downey，M.R.Fellows，《参数化复杂性的基础》（参数化复杂性基础）（Springer，纽约，2013）·Zbl 1358.68006号 [31] 31.R.G.Downey，M.R.Fellows，（参数化复杂性基础，计算机科学文本）（Springer，2013）·Zbl 1358.68006号 [32] 32.P.Erdõs，P.Turán，关于加性数论中的sidon问题，以及一些相关问题。J.隆德。数学。《社会学杂志》第1-16（4）、212-215（1941）页·Zbl 0061.07301号 [33] 33.G.Gutin，S.Kratsch，M.WahlströM，工作流可满足性问题的多项式核和用户约简。Algorithmica算法75，383-402（2016）·Zbl 1350.68143号 ·doi:10.1007/s00453-015-9986-9 [34] 34.G.Gutin，M.WahlströM，基于强指数时间假设的工作流可满足性问题的紧下界。信息处理。莱特。116(3), 223-226 (2016) ·Zbl 1347.68168号 ·doi:10.1016/j.ipl.2015.11.008 [35] 35.C.Han，C.H.Lee，关于Mohr和Henderson路径一致性算法的评论。Artif公司。智力。36, 125-130 (1988) ·Zbl 0709.68534号 ·doi:10.1016/0004-3702（88）90081-1 [36] 36.R.Impagliazzo，R.Paturi，《关于·Zbl 0990.68079号 ·doi:10.1006/jcss.2000.1727 [37] 37.R.Impagliazzo，R.Paturi，F.Zane，哪些问题具有强指数复杂性？J.计算。系统。科学。63(4), 512-530 (2001) ·Zbl 1006.68052号 ·doi:10.1006/jcss.2001.1774 [38] 38.P.G.Jeavons，M.C.Cooper，有序域上的可追踪约束。Artif公司。智力。79(2), 327-339 (1995) ·兹比尔1013.68503 ·doi:10.1016/0004-3702（95）00107-7 [39] 39.J.Joshi，E.Bertino，U.Latif，A.Ghafoor，一种基于时间角色的广义访问控制模型。IEEE传输。知识。数据工程17（1），4-23（2005）·doi:10.1109/TKDE.2005.1 [40] 40.D.Karapetyan，A.V.Gagarin，G.Gutin，用户依赖约束下工作流可满足性问题的模式回溯算法·Zbl 1407.68227号 [41] 41.D.Karapetyan，A.J.Parkes，G.Gutin，A.Gagarin，基于模式的方法解决用户依赖约束的工作流可满足性问题，in（CoRR）（2016）， [42] 42.A.Krokhin，P.Jeavons，P.Jonsson，《关于时间关系的推理：艾伦区间代数的易处理子代数》。《美国医学会杂志》第50卷，第591-640页（2003年）·兹比尔1325.68220 ·doi:10.1145/876638.876639 [43] 43.D.Le Berre，A.Parrain，SAT4J库，2.2版。J.满意。布尔。模型。计算。7, 59-64 (2010) [44] 44.F.Rossi，P.V.Beek，T.Walsh，《约束编程手册（人工智能基础）》（Elsevier Science Inc.，纽约州纽约市，美国）·Zbl 1175.90011号 [45] 45.R.S.Sandhu，E.J.Coyne，H.L.Feinstein，C.E.Youman，基于角色的访问控制模型。IEEE计算。29(2), 38-47 (1996) ·数字对象标识代码：10.1109/2.485845 [46] 46.T.J.Schaefer，可满足性问题的复杂性，收录于《第十届ACM计算理论研讨会论文集》，STOC’78（1978），第16-226页·Zbl 1282.68143号 [47] 47.Q.Wang，N.Li，可满足性和弹性·数字对象标识代码：10.1145/1880022.1880034 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。