On the subgraph Epimorphism Problem

Abstract : In this paper we study the problem of deciding the existence of a subgraph epimorphism between two graphs. Our interest in this variant of graph matching problem stems from the study of model reductions in systems biology, where large systems of biochemical reactions can be naturally represented by bipartite digraphs of species and reactions. In this setting, model reduction can be formalized as the existence of a sequence of vertex deletion and merge operations that transforms a first reaction graph into a second graph. This problem is in turn equivalent to the existence of a subgraph (corresponding to delete operations) epimorphism (i.e. surjective homomorphism, corresponding to merge operations) from the first graph to the second. In this paper, we study theoretical properties of subgraph epimorphisms in general directed graphs. We first characterize subgraph epimorphisms (SEPI), subgraph isomorphisms (SISO) and graph epimorphisms (EPI) in terms of graph transformation operations. Then we study the graph distance measures induced by these transformations. We show that they define metrics on graphs and compare them. On the algorithmic side, we show that the SEPI existence problem is NP-complete by reduction of SAT, and present a constraint satisfaction algorithm that has been successfully used to solve practical SEPI problems on a large benchmark of reaction graphs from systems biology.
Type de document :
Article dans une revue
Discrete Applied Mathematics, Elsevier, 2014, 162, pp.214--228. 〈10.1016/j.dam.2013.08.008〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

Contributeur : Sylvain Soliman <>
Soumis le : lundi 27 mars 2017 - 11:14:31
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : mercredi 28 juin 2017 - 12:50:47


Fichiers produits par l'(les) auteur(s)



Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon. On the subgraph Epimorphism Problem. Discrete Applied Mathematics, Elsevier, 2014, 162, pp.214--228. 〈10.1016/j.dam.2013.08.008〉. 〈hal-01098527〉



Consultations de la notice


Téléchargements de fichiers