Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Complexity of Reachability in Affine Vector Addition Systems with
  States   Vector addition systems with states (VASS) are widely used for the formal
verification of concurrent systems. Given their tremendous computational
complexity, practical approaches have relied on techniques such as reachability
relaxations, e.g., allowing for negative intermediate counter values. It is
natural to question their feasibility for VASS enriched with primitives that
typically translate into undecidability. Spurred by this concern, we pinpoint
the complexity of integer relaxations with respect to arbitrary classes of
affine operations.
  More specifically, we provide a trichotomy on the complexity of integer
reachability in VASS extended with affine operations (affine VASS). Namely, we
show that it is NP-complete for VASS with resets, PSPACE-complete for VASS with
(pseudo-)transfers and VASS with (pseudo-)copies, and undecidable for any other
class. We further present a dichotomy for standard reachability in affine VASS:
it is decidable for VASS with permutations, and undecidable for any other
class. This yields a complete and unified complexity landscape of reachability
in affine VASS. We also consider the reachability problem parameterized by a
fixed affine VASS, rather than a class, and we show that the complexity
landscape is arbitrary in this setting.

33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga