/* -*- mode: C++; indent-tabs-mode: nil; -*-

  *

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

  *

  * Copyright (C) 2003-2009

  * 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.

  *

  */

 #include <iostream>

 #include <sstream>

 #include <lemon/smart_graph.h>

 #include <lemon/lgf_reader.h>

 #include <lemon/path.h>

 #include <lemon/concepts/digraph.h>

 #include <lemon/concept_check.h>

 #include <lemon/karp.h>

 #include <lemon/howard.h>

 #include "test_tools.h"

 using namespace lemon;

 char test_lgf[] =

   "@nodes\n"

   "label\n"

   "1\n"

   "2\n"

   "3\n"

   "4\n"

   "5\n"

   "6\n"

   "7\n"

   "@arcs\n"

   "    len1 len2 len3 len4  c1 c2 c3 c4\n"

   "1 2    1    1    1    1   0  0  0  0\n"

   "2 4    5    5    5    5   1  0  0  0\n"

   "2 3    8    8    8    8   0  0  0  0\n"

   "3 2   -2    0    0    0   1  0  0  0\n"

   "3 4    4    4    4    4   0  0  0  0\n"

   "3 7   -4   -4   -4   -4   0  0  0  0\n"

   "4 1    2    2    2    2   0  0  0  0\n"

   "4 3    3    3    3    3   1  0  0  0\n"

   "4 4    3    3    0    0   0  0  1  0\n"

   "5 2    4    4    4    4   0  0  0  0\n"

   "5 6    3    3    3    3   0  1  0  0\n"

   "6 5    2    2    2    2   0  1  0  0\n"

   "6 4   -1   -1   -1   -1   0  0  0  0\n"

   "6 7    1    1    1    1   0  0  0  0\n"

   "7 7    4    4    4   -1   0  0  0  1\n";

 // Check the interface of an MMC algorithm

 template <typename GR, typename Value>

 struct MmcClassConcept

 {

   template <typename MMC>

   struct Constraints {

     void constraints() {

       const Constraints& me = *this;

       typedef typename MMC

         ::template SetPath<ListPath<GR> >

         ::template SetLargeValue<Value>

         ::Create MmcAlg;

       MmcAlg mmc(me.g, me.length);

       const MmcAlg& const_mmc = mmc;

       b = mmc.cycle(p).run();

       b = mmc.findMinMean();

       b = mmc.findCycle();

       v = const_mmc.cycleLength();

       i = const_mmc.cycleArcNum();

       d = const_mmc.cycleMean();

       p = const_mmc.cycle();

     }

     typedef concepts::ReadMap<typename GR::Arc, Value> LM;

     GR g;

     LM length;

     ListPath<GR> p;

     Value v;

     int i;

     double d;

     bool b;

   };

 };

 // Perform a test with the given parameters

 template <typename MMC>

 void checkMmcAlg(const SmartDigraph& gr,

                  const SmartDigraph::ArcMap<int>& lm,

                  const SmartDigraph::ArcMap<int>& cm,

                  int length, int size) {

   MMC alg(gr, lm);

   alg.findMinMean();

   check(alg.cycleMean() == static_cast<double>(length) / size,

         "Wrong cycle mean");

   alg.findCycle();

   check(alg.cycleLength() == length && alg.cycleArcNum() == size,

         "Wrong path");

   SmartDigraph::ArcMap<int> cycle(gr, 0);

   for (typename MMC::Path::ArcIt a(alg.cycle()); a != INVALID; ++a) {

     ++cycle[a];

   }

   for (SmartDigraph::ArcIt a(gr); a != INVALID; ++a) {

     check(cm[a] == cycle[a], "Wrong path");

   }

 }

 // Class for comparing types

 template <typename T1, typename T2>

 struct IsSameType {

   static const int result = 0;

 };

 template <typename T>

 struct IsSameType<T,T> {

   static const int result = 1;

 };

 int main() {

   #ifdef LEMON_HAVE_LONG_LONG

     typedef long long long_int;

   #else

     typedef long long_int;

   #endif

   // Check the interface

   {

     typedef concepts::Digraph GR;

     // Karp

     checkConcept< MmcClassConcept<GR, int>,

                   Karp<GR, concepts::ReadMap<GR::Arc, int> > >();

     checkConcept< MmcClassConcept<GR, float>,

                   Karp<GR, concepts::ReadMap<GR::Arc, float> > >();

     // Howard

     checkConcept< MmcClassConcept<GR, int>,

                   Howard<GR, concepts::ReadMap<GR::Arc, int> > >();

     checkConcept< MmcClassConcept<GR, float>,

                   Howard<GR, concepts::ReadMap<GR::Arc, float> > >();

     if (IsSameType<Howard<GR, concepts::ReadMap<GR::Arc, int> >::LargeValue,

           long_int>::result == 0) check(false, "Wrong LargeValue type");

     if (IsSameType<Howard<GR, concepts::ReadMap<GR::Arc, float> >::LargeValue,

           double>::result == 0) check(false, "Wrong LargeValue type");

   }

   // Run various tests

   {

     typedef SmartDigraph GR;

     DIGRAPH_TYPEDEFS(GR);

     GR gr;

     IntArcMap l1(gr), l2(gr), l3(gr), l4(gr);

     IntArcMap c1(gr), c2(gr), c3(gr), c4(gr);

     std::istringstream input(test_lgf);

     digraphReader(gr, input).

       arcMap("len1", l1).

       arcMap("len2", l2).

       arcMap("len3", l3).

       arcMap("len4", l4).

       arcMap("c1", c1).

       arcMap("c2", c2).

       arcMap("c3", c3).

       arcMap("c4", c4).

       run();

     // Karp

     checkMmcAlg<Karp<GR, IntArcMap> >(gr, l1, c1,  6, 3);

     checkMmcAlg<Karp<GR, IntArcMap> >(gr, l2, c2,  5, 2);

     checkMmcAlg<Karp<GR, IntArcMap> >(gr, l3, c3,  0, 1);

     checkMmcAlg<Karp<GR, IntArcMap> >(gr, l4, c4, -1, 1);

     // Howard

     checkMmcAlg<Howard<GR, IntArcMap> >(gr, l1, c1,  6, 3);

     checkMmcAlg<Howard<GR, IntArcMap> >(gr, l2, c2,  5, 2);

     checkMmcAlg<Howard<GR, IntArcMap> >(gr, l3, c3,  0, 1);

     checkMmcAlg<Howard<GR, IntArcMap> >(gr, l4, c4, -1, 1);

   }

   return 0;

 }