/* -*- C++ -*-

  *

  * This file is a part of LEMON, a generic C++ optimization library

  *

  * Copyright (C) 2003-2007

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  *

  * Permission to use, modify and distribute this software is granted

  * provided that this copyright notice appears in all copies. For

  * precise terms see the accompanying LICENSE file.

  *

  * This software is provided "AS IS" with no warranty of any kind,

  * express or implied, and with no claim as to its suitability for any

  * purpose.

  *

  */

 ///\ingroup demos

 ///\file

 ///\brief Demonstrating the Dfs class with topological ordering

 ///

 ///\include topological_ordering.cc

 #include <iostream>

 #include <string>

 #include <list>

 #include <lemon/list_graph.h>

 #include <lemon/maps.h>

 #include <lemon/dfs.h>

 using namespace lemon;

 template< typename GR >

 class SerializingWriteMap

 {

 public:

   typedef typename GR::Node  Key;

   typedef bool  Value;

   typedef std::list<Key>  OrderedList;

   OrderedList  order;

   SerializingWriteMap( const GR& ) {}

   void  set( const Key& k, const Value& v ) {

     if( v ) order.push_front(k);

   }

   Value  operator[] ( const Key& ) {

     return false;

   }

 };

 int main()

 {

   std::cout << "Topological Ordering demo" << std::endl;

   // Create and build the graph

   ListGraph  gr;

   ListGraph::NodeMap<std::string>  label(gr);

   typedef ListGraph::Node  Node;

   // This DAG example for topological ordering is from the book New Algorithms

   // (Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein)

   {

     Node  belt = gr.addNode();

     Node  trousers = gr.addNode();

     Node  necktie = gr.addNode();

     Node  coat = gr.addNode();

     Node  socks = gr.addNode();

     Node  shirt = gr.addNode();

     Node  shoe = gr.addNode();

     Node  watch = gr.addNode();

     Node  pants = gr.addNode();

     label[belt] = "Belt";

     label[trousers] = "Trousers";

     label[necktie] = "Necktie";

     label[coat] = "Coat";

     label[socks] = "Socks";

     label[shirt] = "Shirt";

     label[shoe] = "Shoe";

     label[watch] = "Watch";

     label[pants] = "Pants";

     // Here we use a directed edge to indicate precedenc.

     // The source must precede the target.

     gr.addEdge( socks, shoe );

     gr.addEdge( pants, shoe );

     gr.addEdge( pants, trousers );

     gr.addEdge( trousers, shoe );

     gr.addEdge( trousers, belt );

     gr.addEdge( belt, coat );

     gr.addEdge( shirt, belt );

     gr.addEdge( shirt, necktie );

     gr.addEdge( necktie, coat );

   }

   // Calculate topological order

   Dfs<ListGraph, Dfs<ListGraph>::DefProcessedMapTraits<SerializingWriteMap<ListGraph> > >  dfs(gr);

   SerializingWriteMap<ListGraph>  list(gr);

   dfs.processedMap(list);

   dfs.run();

   // Write out the result

   std::cout << "One possible order to dress up:";

   for( SerializingWriteMap<ListGraph>::OrderedList::iterator  it = list.order.begin(); it != list.order.end(); ++it )

     std::cout << "  " << label[*it];

   std::cout << std::endl;

   return 0;

 }