Simple Graph/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Simple Graphs

Arbitrary Order $4$ Graph

Let $V = \set {v_1, v_2, v_3, v_4}$.

Let $\RR = \set {\tuple {v_1, v_2}, \tuple {v_1, v_3}, \tuple {v_2, v_1}, \tuple {v_2, v_3}, \tuple {v_3, v_1}, \tuple {v_3, v_2}, \tuple {v_3, v_4}, \tuple {v_4, v_3} }$.


Then:

$E = \set {\set {\tuple {v_1, v_2}, \tuple {v_2, v_1} }, \set {\tuple {v_1, v_3}, \tuple {v_3, v_1} }, \set {\tuple {v_2, v_3}, \tuple {v_3, v_2} }, \set {\tuple {v_3, v_4}, \tuple {v_4, v_3} } }$


Arbitrary Order $5$ Graph

Let $G = \struct {V, E}$ be a simple graph such that:

$V = \set {v_1, v_2, v_3, v_4, v_5}$
$E = \set {v_1 v_2, v_1 v_4, v_1 v_5, v_2 v_3, v_3 v_5, v_4 v_5}$


Then $G$ can be presented in diagram form as:

Chartrand-exercise-1-3-15.png

The underlying relation $\RR$ on $V$ which defines the edge set of $G$ is:

$\RR = \set {\tuple {v_1, v_2}, \tuple {v_2, v_1}, \tuple {v_1, v_4}, \tuple {v_4, v_1}, \tuple {v_1, v_5}, \tuple {v_5, v_1}, \tuple {v_2, v_3}, \tuple {v_3, v_2}, \tuple {v_3, v_5}, \tuple {v_5, v_3}, \tuple {v_4, v_5}, \tuple {v_5, v_4} }$


Arbitrary Order $6$ Graph

Simple Graph/Examples/Arbitrary Order 6