A subset W of the vertices of a graph G is a resolving set for G when for each pair of distinct vertices u,v in V (G) there exists w in W such that d(u,w)≠d(v,w). The cardinality of a minimum resolving set for G is the metric dimension of G. This concept has applications in many diverse areas including network discovery, robot navigation, image processing, combinatorial search and optimization....

keywords: Cayley graphs, groups, visualizations, proofs.

These notes are to help with the Homework. Not everything is as mathematically precise as one would find in a textbook. 1. Groups The information in this section is well know and can be found in most introductory books on group theory. See for example [4], [6], or [3]. 1.1. Basic Examples of Groups. Definition 1. A group is a nonempty set G with a binary operation ∗ which satisfies the followin...

The adjacency spectrum Spec(Γ) of a graph Γ is the multiset of eigenvalues of its adjacency matrix. Two graphs with the same spectrum are called cospectral. A graph Γ is “determined by its spectrum” (DS for short) if every graph cospectral to it is in fact isomorphic to it. A group is DS if all of its Cayley graphs are DS. A group G is Cay-DS if every two cospectral Cayley graphs of G are isomo...

Despite numerous interconnection schemes proposed for distributed multicomputing, systematic studies of classes of interprocessor networks, that offer speed-cost tradeoffs over a wide range, have been few and far in between. A notable exception is the study of Cayley graphs that model a wide array of symmetric networks of theoretical and practical interest. Properties established for all, or fo...

In a mixed (Δ, d)-regular graph, every vertex is incident with Δ ≥ 1 undirected edges and there are d ≥ 1 directed edges entering and leaving each vertex. If such a mixed graph has diameter 2, then its order cannot exceed (Δ+ d) + d+1. This quantity generalizes the Moore bounds for diameter 2 in the case of undirected graphs (when d = 0) and digraphs (when Δ = 0). For every d such that d − 1 is...

A number of Cayley-graph interconnection structures, such as cube-connected cycles, butterfly and biswapped networks, are known to be derivable by unified group semidirect product construction. In this paper, we extend these known group semidirect product constructions via a general algebraic construction based on group semidirect product. We show that under certain conditions, graphs based on ...