Loose Graph Simulations

Alessio Mansutti, Marino Miculan, Marco Peressotti

Publikation: Working paperForskning

Abstrakt

We introduce loose graph simulations (LGS), a new notion about labelled graphs which subsumes in an intuitive and natural way subgraph isomorphism (SGI), regular language pattern matching (RLPM) and graph simulation (GS). Being a unification of all these notions, LGS allows us to express directly also problems which are "mixed" instances of previous ones, and hence which would not fit easily in any of them. After the definition and some examples, we show that the problem of finding loose graph simulations is NP-complete, we provide a formal translation of SGI, RLPM, and GS into LGSs, and we give the representation of a problem which extends both SGI and RLPM. Finally, we identify a subclass of the LGS problem that is polynomial.
OriginalsprogEngelsk
StatusUdgivet - 23. maj 2017

Fingeraftryk

Dyk ned i forskningsemnerne om 'Loose Graph Simulations'. Sammen danner de et unikt fingeraftryk.
  • Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (red.). Springer, s. 109-126 (Lecture Notes in Computer Science, Bind 10748). (Programming and Software Engineering, Bind 10748).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Citationsformater