The dynamic complexity of formal languages
ACM Transactions on Computational Logic (TOCL)
Connectivity games over dynamic networks
Theoretical Computer Science
Hi-index | 0.00 |
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of dynamic problems which takes the initial structure into account. It develops the basic structural complexity notions accordingly. It also shows that the dynamic version of the LOGCFL-complete problem D2LREACH(acyclic) can be maintained with first-order updates.