カウンター間の移送が到達可能性問題を難しくする条件
Integer reachability in VASS with transfers: a refined complexity analysis
この論文をやさしく読む
ひとことで言うと
カウンターの値を別のカウンターへ移す操作がある計算モデルで、どんな移送のつながりが問題を難しくするかを調べています。
何に役立つ？
VASSによる到達可能性解析で、移送操作があるというだけで一律に難しいとみなさず、構造から計算量を見積もるために役立ちます。
この研究の面白いところ
分岐や閉路から定義する「悪い」カウンターの数で、証明書の大きさを表しています。数が有界ならNPにとどまり、十分な数があれば空間制限付き計算を表せるという両方向の結果です。
どこまで分かった？
対象は単一移送VASSの整数到達可能性です。時間評価は非決定性時間であり、そのまま通常の決定的な実装の実行時間を表すものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
状態付きベクトル加算系（VASS）の整数到達可能性問題はNP完全だが、移送操作があるとPSPACE完全になる。本研究では、複雑さの増大を引き起こす移送の構造的特徴を特定することで、単一移送VASSにおけるこの計算量の隔たりを詳しく分析する。各システムから、カウンターを頂点、可能な移送を辺とする移送グラフが定まる。各頂点を、その頂点から到達できる部分グラフの分岐と閉路の構造に従い、良い頂点と悪い頂点に分類する。 悪い頂点の数をbとする。入力サイズを|I|とすると、すべての肯定的な事例が、サイズ|I|^O(b+1)の多項式時間で検証可能な証明書を持つことを示す。したがって、単一移送VASSの整数到達可能性は、非決定性時間|I|^O(b+1)で判定できる。特に、悪いカウンターの個数が有界な任意のクラスでは、NPに属する。 逆に、悪いカウンターは、空間制限付き計算を符号化するのに十分な構造的能力を与えることを示す。悪い頂点をb個持つ任意の移送グラフに対し、b^O(1)個のテープセルを使うTuring機械の受理を符号化する単一移送VASSを構成する。これにより、線形個数の悪い頂点を含み、多項式時間で構成できる任意の移送グラフ族について、PSPACE困難性が得られる。以上の結果は、整数到達可能性の計算量を左右する移送パターンを特定するものである。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Integer reachability is NP-complete for vector addition systems with states (VASS), but becomes PSPACE-complete in the presence of transfer operations. We refine this complexity gap for single-transfer VASS by identifying structural features of transfers responsible for the increase in complexity. Each system induces a transfer graph whose vertices are counters and whose edges represent possible transfers. We classify its vertices as good or bad, according to the branching and cyclic structure of their reachable subgraphs. Let $b$ be the number of bad vertices. We show that every positive instance admits a polynomially verifiable certificate of size $|I|^{O(b+1)}$, where $|I|$ is the input size. Consequently, integer reachability for single-transfer VASS can be decided in nondeterministic time $|I|^{O(b+1)}$; in particular, it belongs to NP for every class with a bounded number of bad counters. Conversely, we show that bad counters provide sufficient structural power to encode space-bounded computation. For every transfer graph with $b$ bad vertices, we construct a single-transfer VASS that encodes the acceptance of a Turing machine using $b^{O(1)}$ tape cells. This yields PSPACE-hardness for every polynomial-time constructible family of transfer graphs containing linearly many bad vertices. Our results isolate the transfer patterns responsible for the complexity of integer reachability.
著者のコメント
Full version of the paper accepted at FSTTCS 2026
arXiv ID: 2610.01440 ／ 要約の誤りについて