The partition dimension of corona product graphs
Given a set of vertices S={v1,v2,...,vk} of a connected graph G, the metric representation of a vertex v of G with respect to S is the vector r(v∣S)=(d(v,v1),d(v,v2),...,d(v,vk)), where d(v,vi), i∈{1,...,k} denotes the distance between v and vi. S is a resolving set of G if for every pair of vertices u,v of G, r(u∣S)=r(v∣S). The metric dimension dim(G) of G is the minimum cardinality of any resolving set of G. Given an ordered partition Π={P1,P2,...,Pt} of vertices of a connected graph G, the partition representation of a vertex v of G, with respect to the partition Π is the vector r(v∣Π)=(d(v,P1),d(v,P2),...,d(v,Pt)), where d(v,Pi), 1≤i≤t, represents the distance between the vertex v and the set Pi, that is d(v,Pi)=minu∈Pi{d(v,u)}. Π is a resolving partition for G if for every pair of vertices u,v of G, r(u∣Π)=r(v∣Π). The partition dimension pd(G) of G is the minimum number of sets in any resolving partition for G. Let G and H be two graphs of order n1 and n2 respectively. The corona product G⊙H is defined as the graph obtained from G and H by taking one copy of G and n1 copies of H and then joining by an edge, all the vertices from the ith-copy of H with the ith-vertex of G. Here we study the relationship between pd(G⊙H) and several parameters of the graphs G⊙H, G and H, including dim(G⊙H), pd(G) and pd(H).