12345678910111213141516171819202122232425262728293031323334 |
- graph "graph.dot" {
- size="6.0,7.0";
- node [shape=circle,fixedsize=true,style=filled,
- color="khaki",fontcolor="black",fontsize=18];
- 1 [label="1", pos="0.498735,0.528898"];
- 2 [label="2", pos="0.693346,0.551875"];
- 3 [label="3", pos="0.722926,0.668932"];
- 4 [label="4", pos="0.875901,0.517481"];
- 5 [label="5", pos="1.000000,0.569536"];
- 6 [label="6", pos="0.973200,0.427030"];
- 7 [label="7", pos="0.303735,0.511125"];
- 8 [label="8", pos="0.132131,0.439673"];
- 9 [label="9", pos="0.250494,0.619520"];
- 10 [label="10", pos="0.000000,0.464937"];
- 11 [label="11", pos="0.055705,0.331068"];
- edge [color="blue"];
- 1 -- 2;
- 1 -- 7;
- 2 -- 3;
- 2 -- 4;
- 4 -- 5;
- 4 -- 6;
- 7 -- 8;
- 7 -- 9;
- 8 -- 10;
- 8 -- 11;
- }
|