关于使过渡系统具有可实现性的技术复杂性

摘要:在本文中,我们展示了如果$au$对应于触发器网或某些触发器网衍生物的情况下,大多数相关问题都是NP完全的。

作者:Raymond Devillers, Ronny Tredup

论文ID:2203.09233

分类:Computational Complexity

分类简称:cs.CC

提交时间:2022-09-07

PDF 下载: 英文版 中文版pdf翻译中