12345678910111213141516171819202122232425262728 |
- 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.786298,0.018507"];
- 2 [label="2", pos="1.000000,0.598903"];
- 3 [label="3", pos="0.514045,0.981493"];
- 4 [label="4", pos="0.168252,0.042391"];
- 5 [label="5", pos="0.000000,0.637553"];
- edge [color="blue"];
- 1 -- 2;
- 1 -- 3;
- 1 -- 4;
- 1 -- 5;
- 2 -- 3;
- 2 -- 4;
- 2 -- 5;
- 3 -- 4;
- 3 -- 5;
- 4 -- 5;
- }
|