# What do you call a set of graphs that are isomorphic but have different contents?

I know that two graphs that have the same shape are isomorphic. Such as these two:

Graph1:

Graph2:

But how do I say that the contents are different?

Furthermore, how does mathematic notation even refer to the contents of graphs? From the introductory lectures I've seen so far on graph theory I see no place in E(G) and V(G) for edge labels and vertex values/contents.

I'm looking for a sentence like: Graph1 and Graph2 are isomorphic but hetro-contental. But obviously using real technical terms...

Edit:

For my use-case I need some real words and not phrases. I'm writing about the difference between an analog computer, which you re-wire, and a digital computer which you don't. So, for example, the graph of the traces on all Raspberri-pi's are all isomorphic, but the Pi is re-programmed to create a large number of different behaviors, wher-as this modular synth is programmed by changing the morphism(morphology) of the signal graph.

Do I need to come up with my own vocabulary to discuss this, or does vocabulary already exist? I'm going to be using these words alot in the document that I'm writing. If these words don't yet exist, can you give me any tips on what I should use as my neologism? I'm thinking of talking about systems with:

• Static morphology vs dynamic morphology

and systems with

• Static node state vs dynamic node state

Or something like that.

That the modular synth has both dynamic morphology and node state (it is programmed both by re-wiring and turning the knobs on the modules). Where-as the raspberry pi has static morphology and dynamic node state. The animal nervous system is yet another case, it has static node-state(the individual neurons don't store information) but has dynamic morphology (memories and skills are stored by changing how the neurons are connected together.

• I would call them isomorphic "up to content". Dec 12 '16 at 14:52
• You may just say that graphs $G$ and $H$ are isomorphic while different. Equality between graphs is achieved if $V(G) = V(H)$ and $E(G)=E(H)$. Isomorphism relates different graphs that have the same "shape". No new vocabulary needed. Dec 12 '16 at 14:53
• You could say that they are "graph theoretically isomorphic". Dec 12 '16 at 14:53
• I would usually refer to the contents as 'labels'. Then they are "isomorphic when considered as simple graphs" but they have different labellings. Dec 12 '16 at 15:00
• @gilleain thank you for the note about 'labels'. It does seem that you are right, that the word 'labels' is used. But, as per my edit, I don' believe that the word 'labels' is very easy to understand/appropriate in my use-case. Dec 13 '16 at 11:42

Graphs, as mathematical objects, do not have any content by themselves. They are just vertices and edges, and there is nothing more to it. What people do, is they apply weights (weighted graph) or labels (labeled graph). In general they are just functions from edges or vertices, say \begin{align*} \operatorname{weight} &: E(G) \to \mathbb{N},\\ \operatorname{label} &: V(G) \to \{a, b, c\},\\ \end{align*} and of course you can have your own function, for example $\operatorname{content}: V(G) \to \mathbb{N}\times\mathbb{N}$. In that context, isomorphism usually means isomorphism of weigted graphs (or labeled graphs), that is, it has to be weigth-preserving (or label-preserving, or content-preserving, etc.).
We label the nodes of the graph with pairs of natural numbers that represent their content. Furthermore, for any node $v \in V$ we will refer to the first and second coordinate of the corresponding pair by $\operatorname{foo}(v)$ and $\operatorname{bar}(v)$ respectively.
To use to non-labeled-graph isomorphism you have to explicitly mention it, or make a special note at the beginning that defines a non-standard convention. A third way would to use of non-labeled version of the graph, i.e., a structure with their labels stripped off. For example, if $G_i = (V_i, E_i, \operatorname{label}_i)$ are your labeled graphs, then you can say that simple graphs $(V_i, E_i)$ are isomorphic and there are no labels there to preserve or not preserve. If you would like to use language that is a bit less technical, you could say that the shapes of these devices are the same, or isomorphic, from graph-theoretic perspective.
I hope this helps $\ddot\smile$