Labeled graph
From Wikipedia, the free encyclopedia
In graph theory (which is an area in mathematics and computer science) a labeled graph is a graph with labels assigned to its nodes and edges. These assignments do not have to be unique, i.e. different nodes or edges can have the same label. Mathematically a labeled graph can be defined as follows:
Given two alphabets ΣV and ΣE a labeled graph is a triple where
- V is a finite set of nodes,
- is a ternary relation describing the edges (including the labeling of the edges) and
- is a function describing the labeling of the nodes.
If E is symmetric, i.e. for all edges it is also , then the Graph G is called undirected and directed otherwise.
Note that this notion of a labeled graph is different from the notion given in the article graph labeling.