Genom att anpassa den iterativa meystick konstruktionen av Stockmeyer, visar vi att tillgänglighetsproblem för vektor tilläggssystem med en stack inte har grundläggande komplexitet. Som en följd av detta har samma nedre gräns för tillfredsställande problem för en tvåvariabel första ordningen logik på träd där obundna data kan märka endast blad noder. Om de två problemen kan lösas är fortfarande en öppen fråga.
En lägre gräns finns REF, men beslutbarheten är fortfarande öppen.
The reachability problem for vector addition systems with a stack is not elementary
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}