[论文解读] The Complexity of Synthesizing nop-Equipped Boolean Nets from g-Bounded Inputs (Technical Report)

Ronny Tredup|arXiv (Cornell University)|Nov 1, 2019

DNA and Biological Computing参考文献 2被引用 6

一句话总结

本文全面刻画了从 g-有界转移系统合成带 nop 的布尔佩特里网的计算复杂度，表明对于许多网类型，即使在严格约束下（g < 2 或 g < 3），合成问题仍保持 NP-完全；而对于其他类型，当 g 较低时则出现多项式可解性。关键贡献在于精确刻画了在何种条件下有界输入会使合成问题变难或变易，揭示了诸如自由或使用等交互行为会因 g 的不同而显著改变复杂度。

ABSTRACT

Boolean Petri nets equipped with nop allow places and transitions to be independent by being related by nop. We characterize for any fixed natural number g the computational complexity of synthesizing nop-equipped Boolean Petri nets from labeled directed graphs whose states have at most g incoming and at most g outgoing arcs.

研究动机与目标

• 确定从 g-有界转移系统合成带 nop 的布尔佩特里网的计算复杂度，其中 g 限制每个状态的输入和输出弧数量。
• 识别哪些交互行为（如自由、使用、置位、交换）即使在低 g 约束下仍使合成保持 NP-完全。
• 建立 g 的紧致阈值，揭示复杂度从 NP-完全向多项式转变的临界点，从而揭示网类型的结构性洞见。
• 提供一个基于立方单调一选三 3SAT 的通用约化框架，用于证明多种网类型的 NP-完全性。

提出的方法

• 从立方单调一选三 3SAT 问题约化，以证明多种网类型的 NP-完全性。
• 使用带标签的有向路径表示转移系统中的子句，实现约束的统一编码。
• 通过基于区域的合成定义 τ-可解性，其中区域对应于位置-转移交互行为。
• 分析事件发生模式（如单次发生与重复发生）以确定在 g-有界约束下的可解性。
• 根据特定交互行为（如 {nop, inp, free}、{nop, set, res}）的包含情况对网类型进行分类，并分析其对复杂度的影响。
• 对低 g 情况应用暴力搜索与多项式时间检查，利用有界状态数和事件数的优势。

实验结果

研究问题

• RQ1 对于哪些带 nop 的布尔佩特里网类型 τ，即使在小 g 的输入约束下，合成问题仍为 NP-完全？
• RQ2 对于每种网类型 τ，合成复杂度从多项式转变为 NP-完全的最小 g 是多少？
• RQ3 特定交互行为（如自由、使用、置位或交换）在 g-有界约束下如何影响 τ-合成的复杂度？
• RQ4 能否将基于一选三 3SAT 的统一约化框架应用于证明多种网类型的 NP-完全性？
• RQ5 转移系统中的哪些结构性质（如事件频率、环结构）决定了在 g-有界条件下的 τ-可解性？

主要发现

• 对于包含 {nop, inp, free} 或 {nop, inp, used, free} 的网类型，当 g ≥ 2 时合成为 NP-完全，但当 g < 2 时变为多项式可解。
• 对于包含 {nop, set, res} ∪ ω（ω ⊆ {used, free}）的类型，当 g ≥ 3 时为 NP-完全，但当 g < 3 时为多项式可解。
• 包含 {nop, set, swap}、{nop, res, swap} 或 {nop, res, set, swap} 且 ω ⊆ {used, free} 的类型，在 g ≥ 2 时为 NP-完全，但在 g < 2 时变得可解。
• 对于 {nop, inp, out, set} ∪ ω 或 {nop, inp, out, res} ∪ ω（ω ⊆ {used, free}）等类型，即使 g = 1，合成仍为 NP-完全。
• 当 τ ∈ {{nop, inp}, {nop, inp, used}, {nop, out}, {nop, out, free}, {nop, set, swap}, {nop, res, swap}, {nop, set, res}, {nop, set, res, swap}} 时，对所有 g ≥ 0，合成均为多项式时间可解。
• 本文证明了网的依赖数 d 是 FPT 算法的有前途参数，当以 d 为参数时，τ-合成属于 XP 类。