[論文レビュー] 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が各状態の入出力アーキ数を制限するg-有界遷移系からnop搭載ブール型ペトリネットを合成する計算量的複雑性を特定すること。
• 自由、使用、セット、スワップなどの特定の相互作用が、低g有界のもとでも合成をNP完全に保つ理由を同定すること。
• 複雑性がNP完全から多項式時間へと遷移するgの厳密な閾値を特定し、ネットタイプの構造的洞察を明らかにすること。
• 複数のネットタイプにおけるNP完全性の証明に用いる、立方体単調one-in-three 3SATに基づく一般化された還元フレームワークの構築

提案手法

• さまざまなネットタイプにおけるNP完全性の証明のため、立方体単調one-in-three 3SAT問題への還元。
• 遷移系における節を表すためにラベル付き有向パスの使用により、制約の均一な符号化が可能になった。
• 領域に基づく合成によるτ-可解性の定義。ここで領域は場所-遷移相互作用に対応する。
• イベント発生パターン（例：単一発生対繰り返し発生）の分析により、g-有界制約下での可解性を特定。
• 特定の相互作用（例：{nop, inp, free}、{nop, set, res}）の包含に基づくネットタイプの分類と、それらが複雑性に与える影響の評価。
• 低gケースにおけるブルートフォースおよび多項式時間チェックの適用。これは、状態数とイベント数の有界性を活用している。

実験結果

リサーチクエスチョン

• RQ1 nop搭載ブール型ペトリネットのどのタイプτについて、入力が小さなgで有界であっても合成問題がNP完全のままであるか？
• RQ2 各ネットタイプτについて、合成の複雑性が多項式からNP完全に遷移する最小のgは何か？
• RQ3 自由、使用、セット、スワップといった特定の相互作用が、g-有界制約下でのτ-合成の複雑性にどのように影響を与えるか？
• RQ4 one-in-three 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をパrameter化したτ-合成がXPに属することを確立した。