An Algorithm for Finding Homogeneous Pairs

A homogeneous pair in a graph G = (V, E) is a pair Q1, Q2 of disjoint sets of vertices in this graph such that every vertex of V (Q1 ∪ Q2) is adjacent either to all vertices of Q1 or to none of the vertices of Q1 and is adjacent either to all vertices of Q2 or to none of the vertices of Q2. Also ¦Q1¦ ⩾ 2 or ¦Q2¦⩾ 2 and ¦V (Q1 ∪ Q2)¦ ⩾ 2. In this paper we present an O(mn3)-time algorithm which determines whether a graph contains a homogeneous pair, and if possible finds one.