A multiparameter analysis of the boundedness problem for vector addition systems

Abstract

Let VASS(k,l,n) denote the class of k-dimensional n-state Vector Addition Systems with States, where the largest integer mentioned, in an instance, can be represented in l bits. Using a modification of the technique used by Rackoff, we show that the Boundedness Problem (BP), for VASS(k,l,n), can be solved in O((l+log n)*2^{c*k*log k}) nondeterministic space. By modifying Lipton's result, a lower bound is then shown of O((l+log n)*2^c*k) nondeterministic space. Thus, the upper bound is optimal with respect to parameters l and n, and is nearly optimal with respect to the parameter k. This yields an improvement over the result of Rackoff, especially when compared with the lower bound of Lipton. This is because the lower bound, of O(2^c*k) space, was essentially given for VASS(k,1,1). Now Rackoff's corresponding upper bound, just for the instances of VASS(k,1,1) constructed by Lipton, is no better than O(2^{c*k2*log k}) space. (In general, it can get much worse.) Our result, however, yields an upper bound of O(2^{c*k*log k}), over the entire class. We also investigate the complexity of this problem for small, but fixed, values of k. We show that the BP is PSPACE-complete for 4-dimensional VASS's, and NP-hard for 2-dimensional VASS's. The above results can then be extended for the case without states. In particular, we are able to show that the BP is NP-hard for VASS(3,l,1) and PSPACE-complete for VASS(4,l,1). Extensions to related problems (e.g. covering and reachability) are also discussed.