Daniel@0: /*
Daniel@0:  * The transitive 5-net, also known as Petersen's graph,
Daniel@0:  * can be used to test the "stability points" of the layout
Daniel@0:  * algorithm.
Daniel@0:  * 
Daniel@0:  * The "ideal" layout is achieved for certain random seed
Daniel@0:  * values when len=1.5.  For len=2.5 or above, the layout
Daniel@0:  * is stable. Sometimes, the graph is rendered "inside-out".
Daniel@0:  */ 
Daniel@0: graph "Petersen" {
Daniel@0: 	node [
Daniel@0: 		fontname = "Arial"
Daniel@0: 		label = "\N"
Daniel@0: 		shape = "circle"
Daniel@0: 		width = "0.400000"
Daniel@0: 		height = "0.400000"
Daniel@0: 		color = "black"
Daniel@0: 	]
Daniel@0: 	edge [
Daniel@0: 		color = "black"
Daniel@0: 	]
Daniel@0: 	/* Outer wheel. The len= is what makes it outer */
Daniel@0: 	"0" -- "1" -- "2" -- "3" -- "4" -- "0" [
Daniel@0: 		color = "blue"
Daniel@0: 		len = 2.6
Daniel@0: 	]
Daniel@0: 	"0" -- "5" [
Daniel@0: 		color = "red"
Daniel@0: 		weight = "5"
Daniel@0: 	]
Daniel@0: 	"1" -- "6" [
Daniel@0: 		color = "red"
Daniel@0: 		weight = "5"
Daniel@0: 	]
Daniel@0: 	"2" -- "7" [
Daniel@0: 		color = "red"
Daniel@0: 		weight = "5"
Daniel@0: 	]
Daniel@0: 	"3" -- "8" [
Daniel@0: 		color = "red"
Daniel@0: 		weight = "5"
Daniel@0: 	]
Daniel@0: 	"4" -- "9" [
Daniel@0: 		color = "red"
Daniel@0: 		weight = "5"
Daniel@0: 	]
Daniel@0: 	"5" -- "7" -- "9" -- "6" -- "8" -- "5";
Daniel@0: }