Dynamic Planar Graph Isomorphism is in DynFO

Samir Datta, Asif Khan, Felix Tschirbs +2

Consider two planar graphs which are subject to edge insertions and deletions. We show that whether the two graphs are isomorphic can be maintained with first-order logic formulas…