追踪坏家伙：复位与置位使触发器网衍生物的可用性判定为 NP 完全

布尔 Petri 网根据其所应用或省略的交互 nop、inp、out、set、res、swap、used 和 free 的类型 $\tau$ 加以区分。相对于特定类型网 $\tau$ 的合成问题是找到一个布尔 $\tau$-网 $N$，其可达图同构于给定的迁移系统 $A$。该搜索问题对应的判定版本称为可用性（feasibility）。已知对于所有包含至少交互 nop、swap 以及 inp、out、used、free 任意选择的触发器衍生物类型，可用性是多项式的。在本文中，我们分别用 res 和 set 替换 inp 和 out，并证明对于那些包含 nop、swap 以及 res、set 的非空选择和 used、free 的非空选择的类型，可用性变为 NP 完全。该归约保证了 $A$ 的状态具有低度数，从而即使在相当大的输入限制下也保持可用性的难解性。