Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
Abstract
Following a recently considered generalisation of linear equations to unordered-data vectors and to ordered-data vectors, we perform a further generalisation to data vectors that are functions from k-element subsets of the unordered-data set to vectors of integer numbers. These generalised equations naturally appear in the analysis of vector addition systems (or Petri nets) extended so that each token carries a set of unordered data. We show that nonnegative-integer solvability of linear equations is in nondeterministic exponential time while integer solvability is in polynomial time.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2021
- DOI:
- 10.48550/arXiv.2109.03025
- arXiv:
- arXiv:2109.03025
- Bibcode:
- 2021arXiv210903025H
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Symbolic Computation;
- 68Q85;
- F.4.2;
- G.2.2;
- F.3.1
- E-Print:
- Logical Methods in Computer Science, Volume 18, Issue 4 (December 12, 2022) lmcs:8459