Abstrakt. Begreppet bisimulation har använts inom olika områden, inklusive Modal Logic, Set-teori, Formell Verifiering och XML-indexering. I detta papper presenterar vi den första algoritmen för inkrementellt underhåll av maximal bisimulation relation av en graf med avseende på förändringar i grafen. Med tanke på en graf, dess maximala bisimulationsförhållande, och förändringarna i grafen, bestämmer vi det maximala bisimuleringsförhållandet med avseende på den ändrade grafen genom att beräkna förändringarna i det givna bisimuleringsförhållandet. När förändringen i grafen inducerar små förändringar i den maximala bisimulationsförhållandet, vår inkrementella algoritm kan uppdatera bisimulationsförhållandet i genomsnitt en storleksordning snabbare än den snabbaste tillgängliga icke-inkrementella algoritmen. Preliminära experiment visar hur effektiv vår algoritm är. Vår algoritm har stor användning för verifiering där specifikationen ändras över tid, och XML-indexering i databas där indexstrukturen, som erhålls genom bisimulering på XML-grafstrukturen, måste bibehållas med avseende på ändringar i XML-dokumenten.
I REF presenteras en inkrementell algoritm för uppdatering av bisimulationsrelationer baserat på ändringar som tillämpas på en graf.
An incremental bisimulation algorithm
{'venue': 'FSTTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}