Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Tschirbs, Felix"'
Which dynamic queries can be maintained efficiently? For constant-size changes, it is known that constant-depth circuits or, equivalently, first-order updates suffice for maintaining many important queries, among them reachability, tree isomorphism,
Externí odkaz:
http://arxiv.org/abs/2407.20031
Autor:
Geck, Gaetano, Quenkert, Christine, Schmellenkamp, Marko, Schmidt, Jonas, Tschirbs, Felix, Vehlken, Fabian, Zeume, Thomas
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises;
Externí odkaz:
http://arxiv.org/abs/2105.05763
Whether a changing string is member of a certain regular language can be maintained in the DynFO framework of Patnaik and Immerman: after changing the symbol at one position of the string, a first-order update formula can express - using additionally
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::311da56a5a81d62b675ce19a1abd6af2