On graph equivalences preserved under extensions

Zbigniew Lonc, Mirosław Truszczyński

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


Let G be the set of finite graphs whose vertices belong to some fixed countable set, and let ≡ be an equivalence relation on G. By the strengthening of ≡ we mean an equivalence relation ≡s such that G≡sH, where G,H∈G, if for every F∈G, G∪F≡H∪F. The most important case that we study in this paper concerns equivalence relations defined by graph properties. We write G≡ΦH, where Φ is a graph property and G,H∈G, if either both G and H have the property Φ, or both do not have it. We characterize the strengthening of the relations ≡Φ for several graph properties Φ. For example, if Φ is the property of being a k-connected graph, we find a polynomially verifiable (for k fixed) condition that characterizes the pairs of graphs equivalent with respect to ≡sΦ. We obtain similar results when Φ is the property of being k-colorable, edge 2-colorable, Hamiltonian, or planar, and when Φ is the property of containing a subgraph isomorphic to a fixed graph H. We also prove several general theorems that provide conditions for ≡s to be of some specific form. For example, we find a necessary and sufficient condition for the relation ≡s to be the identity. Finally, we make a few observations on the strengthening in a more general case when G is the set of finite subsets of some countable set.

Original languageEnglish
Pages (from-to)966-977
Number of pages12
JournalDiscrete Mathematics
Issue number12
StatePublished - Jun 28 2011


  • Computational complexity
  • Connectivity
  • General graph properties
  • Strong equivalence of graphs

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Discrete Mathematics and Combinatorics


Dive into the research topics of 'On graph equivalences preserved under extensions'. Together they form a unique fingerprint.

Cite this