equal
deleted
inserted
replaced
18 |
18 |
19 ///\ingroup demos |
19 ///\ingroup demos |
20 ///\file |
20 ///\file |
21 ///\brief Coloring of a graph. |
21 ///\brief Coloring of a graph. |
22 /// |
22 /// |
23 /// This example shows how can we color the nodes of a plan graph efficiently |
23 /// This example shows how can we color the nodes of a planar graph efficiently |
24 /// with six colors. |
24 /// with six colors. |
25 /// |
25 /// |
26 /// \include coloring.cc |
26 /// \include coloring.cc |
27 |
27 |
28 #include <vector> |
28 #include <vector> |
46 typedef Graph::Node Node; |
46 typedef Graph::Node Node; |
47 typedef Graph::NodeIt NodeIt; |
47 typedef Graph::NodeIt NodeIt; |
48 typedef Graph::UEdge UEdge; |
48 typedef Graph::UEdge UEdge; |
49 typedef Graph::IncEdgeIt IncEdgeIt; |
49 typedef Graph::IncEdgeIt IncEdgeIt; |
50 |
50 |
51 std::cout << "Six coloring of a plan graph" << std::endl; |
51 std::cout << "Six coloring of a planar graph" << std::endl; |
52 std::cout << "Input file: coloring.lgf" << std::endl; |
52 std::cout << "Input file: coloring.lgf" << std::endl; |
53 std::cout << "Output file: coloring.eps" << std::endl; |
53 std::cout << "Output file: coloring.eps" << std::endl; |
54 |
54 |
55 Graph graph; |
55 Graph graph; |
56 |
56 |