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