Independent Sets in Direct Products of Vertex-transitive Graphs
arXiv:1007.0797
Abstract
The direct product of graphs and is defined by: \[V(G\times H)=V(G)\times V(H)\] and \[E(G\times H)=\left\{[(u_1,v_1),(u_2,v_2)]: (u_1,u_2)\in E(G) \mbox{\ and\ } (v_1,v_2)\in E(H)\right\}.\] In this paper, we will prove that the equality holds for all vertex-transitive graphs and , which provides an affirmative answer to a problem posed by Tardif (Discrete Math. 185 (1998) 193-200). Furthermore, the structure of all maximum independent sets of are determined.
11 pages