RhodeCode

/* -*- 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 <fstream>

#include <limits>

#include <lemon/list_graph.h>

#include <lemon/lgf_reader.h>

#include <lemon/network_simplex.h>

#include <lemon/concepts/digraph.h>

#include <lemon/concept_check.h>

#include "test_tools.h"

using namespace lemon;

// Test networks

char test_lgf[] =

  "@nodes\n"

  "label  sup1 sup2 sup3 sup4 sup5 sup6\n"

  "    1    20   27    0   30   20   30\n"

  "    2    -4    0    0    0   -8   -3\n"

  "    3     0    0    0    0    0    0\n"

  "    4     0    0    0    0    0    0\n"

  "    5     9    0    0    0    6   11\n"

  "    6    -6    0    0    0   -5   -6\n"

  "    7     0    0    0    0    0    0\n"

  "    8     0    0    0    0    0    3\n"

  "    9     3    0    0    0    0    0\n"

  "   10    -2    0    0    0   -7   -2\n"

  "   11     0    0    0    0  -10    0\n"

  "   12   -20  -27    0  -30  -30  -20\n"

  "\n"                

  "@arcs\n"

  "       cost  cap low1 low2 low3\n"

  " 1  2    70   11    0    8    8\n"

  " 1  3   150    3    0    1    0\n"

  " 1  4    80   15    0    2    2\n"

  " 2  8    80   12    0    0    0\n"

  " 3  5   140    5    0    3    1\n"

  " 4  6    60   10    0    1    0\n"

  " 4  7    80    2    0    0    0\n"

  " 4  8   110    3    0    0    0\n"

  " 5  7    60   14    0    0    0\n"

  " 5 11   120   12    0    0    0\n"

  " 6  3     0    3    0    0    0\n"

  " 6  9   140    4    0    0    0\n"

  " 6 10    90    8    0    0    0\n"

  " 7  1    30    5    0    0   -5\n"

  " 8 12    60   16    0    4    3\n"

  " 9 12    50    6    0    0    0\n"

  "10 12    70   13    0    5    2\n"

  "10  2   100    7    0    0    0\n"

  "10  7    60   10    0    0   -3\n"

  "11 10    20   14    0    6  -20\n"

  "12 11    30   10    0    0  -10\n"

  "\n"

  "@attributes\n"

}

int main()

{

  // Read the test networks

  std::istringstream input(test_lgf);

  DigraphReader<Digraph>(gr, input)

    .arcMap("cost", c)

    .arcMap("cap", u)

    .arcMap("low1", l1)

    .arcMap("low2", l2)

    .arcMap("low3", l3)

    .nodeMap("sup1", s1)

    .nodeMap("sup2", s2)

    .nodeMap("sup3", s3)

    .nodeMap("sup4", s4)

    .nodeMap("sup5", s5)

    .nodeMap("sup6", s6)

    .node("source", v)

    .node("target", w)

    .run();

  std::istringstream neg_inp1(test_neg1_lgf);

  DigraphReader<Digraph>(neg1_gr, neg_inp1)

    .arcMap("cost", neg1_c)

    .arcMap("low1", neg1_l1)

    .arcMap("low2", neg1_l2)

    .nodeMap("sup", neg1_s)

    .run();

  std::istringstream neg_inp2(test_neg2_lgf);

  DigraphReader<Digraph>(neg2_gr, neg_inp2)

    .arcMap("cost", neg2_c)

    .nodeMap("sup", neg2_s)

    .run();

  // Check the interface of NetworkSimplex

  {

    typedef concepts::Digraph GR;

    checkConcept< McfClassConcept<GR, int, int>,

                  NetworkSimplex<GR> >();

    checkConcept< McfClassConcept<GR, double, double>,

                  NetworkSimplex<GR, double> >();

    checkConcept< McfClassConcept<GR, int, double>,

                  NetworkSimplex<GR, int, double> >();

  }

  // Test NetworkSimplex

  { 

    typedef NetworkSimplex<Digraph> MCF;

    runMcfGeqTests<MCF>(MCF::FIRST_ELIGIBLE, "NS-FE", true);

    runMcfLeqTests<MCF>(MCF::FIRST_ELIGIBLE, "NS-FE");

    runMcfGeqTests<MCF>(MCF::BEST_ELIGIBLE,  "NS-BE", true);

    runMcfLeqTests<MCF>(MCF::BEST_ELIGIBLE,  "NS-BE");

    runMcfGeqTests<MCF>(MCF::BLOCK_SEARCH,   "NS-BS", true);

    runMcfLeqTests<MCF>(MCF::BLOCK_SEARCH,   "NS-BS");

    runMcfGeqTests<MCF>(MCF::CANDIDATE_LIST, "NS-CL", true);

    runMcfLeqTests<MCF>(MCF::CANDIDATE_LIST, "NS-CL");

    runMcfGeqTests<MCF>(MCF::ALTERING_LIST,  "NS-AL", true);

    runMcfLeqTests<MCF>(MCF::ALTERING_LIST,  "NS-AL");

  }

  return 0;

}