0
24
0
1
1
1
1
1
1
1
1
1
1
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
/** |
| 20 | 20 |
\dir demo |
| 21 | 21 |
\brief A collection of demo applications. |
| 22 | 22 |
|
| 23 | 23 |
This directory contains several simple demo applications, mainly |
| 24 | 24 |
for educational purposes. |
| 25 | 25 |
*/ |
| 26 | 26 |
|
| 27 | 27 |
/** |
| 28 | 28 |
\dir doc |
| 29 | 29 |
\brief Auxiliary (and the whole generated) documentation. |
| 30 | 30 |
|
| 31 | 31 |
This directory contains some auxiliary pages and the whole generated |
| 32 | 32 |
documentation. |
| 33 | 33 |
*/ |
| 34 | 34 |
|
| 35 | 35 |
/** |
| 36 | 36 |
\dir test |
| 37 | 37 |
\brief Test programs. |
| 38 | 38 |
|
| 39 | 39 |
This directory contains several test programs that check the consistency |
| 40 | 40 |
of the code. |
| 41 | 41 |
*/ |
| 42 | 42 |
|
| 43 | 43 |
/** |
| 44 | 44 |
\dir tools |
| 45 | 45 |
\brief Some useful executables. |
| 46 | 46 |
|
| 47 | 47 |
This directory contains the sources of some useful complete executables. |
| 48 | 48 |
*/ |
| 49 | 49 |
|
| 50 | 50 |
/** |
| 51 | 51 |
\dir lemon |
| 52 | 52 |
\brief Base include directory of LEMON. |
| 53 | 53 |
|
| 54 | 54 |
This is the base directory of LEMON includes, so each include file must be |
| 55 | 55 |
prefixed with this, e.g. |
| 56 | 56 |
\code |
| 57 | 57 |
#include<lemon/list_graph.h> |
| 58 | 58 |
#include<lemon/dijkstra.h> |
| 59 | 59 |
\endcode |
| 60 | 60 |
*/ |
| 61 | 61 |
|
| 62 | 62 |
/** |
| 63 | 63 |
\dir concepts |
| 64 | 64 |
\brief Concept descriptors and checking classes. |
| 65 | 65 |
|
| 66 | 66 |
This directory contains the concept descriptors and concept checking tools. |
| 67 | 67 |
For more information see the \ref concept "Concepts" module. |
| 68 | 68 |
*/ |
| 69 | 69 |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
/** |
| 20 | 20 |
@defgroup datas Data Structures |
| 21 | 21 |
This group describes the several data structures implemented in LEMON. |
| 22 | 22 |
*/ |
| 23 | 23 |
|
| 24 | 24 |
/** |
| 25 | 25 |
@defgroup graphs Graph Structures |
| 26 | 26 |
@ingroup datas |
| 27 | 27 |
\brief Graph structures implemented in LEMON. |
| 28 | 28 |
|
| 29 | 29 |
The implementation of combinatorial algorithms heavily relies on |
| 30 | 30 |
efficient graph implementations. LEMON offers data structures which are |
| 31 | 31 |
planned to be easily used in an experimental phase of implementation studies, |
| 32 | 32 |
and thereafter the program code can be made efficient by small modifications. |
| 33 | 33 |
|
| 34 | 34 |
The most efficient implementation of diverse applications require the |
| 35 | 35 |
usage of different physical graph implementations. These differences |
| 36 | 36 |
appear in the size of graph we require to handle, memory or time usage |
| 37 | 37 |
limitations or in the set of operations through which the graph can be |
| 38 | 38 |
accessed. LEMON provides several physical graph structures to meet |
| 39 | 39 |
the diverging requirements of the possible users. In order to save on |
| 40 | 40 |
running time or on memory usage, some structures may fail to provide |
| 41 | 41 |
some graph features like arc/edge or node deletion. |
| 42 | 42 |
|
| 43 | 43 |
You are free to use the graph structure that fit your requirements |
| 44 | 44 |
the best, most graph algorithms and auxiliary data structures can be used |
| 45 | 45 |
with any graph structure. |
| 46 | 46 |
|
| 47 | 47 |
<b>See also:</b> \ref graph_concepts "Graph Structure Concepts". |
| 48 | 48 |
*/ |
| 49 | 49 |
|
| 50 | 50 |
/** |
| 51 | 51 |
@defgroup maps Maps |
| 52 | 52 |
@ingroup datas |
| 53 | 53 |
\brief Map structures implemented in LEMON. |
| 54 | 54 |
|
| 55 | 55 |
This group describes the map structures implemented in LEMON. |
| 56 | 56 |
|
| 57 | 57 |
LEMON provides several special purpose maps and map adaptors that e.g. combine |
| 58 | 58 |
new maps from existing ones. |
| 59 | 59 |
|
| 60 | 60 |
<b>See also:</b> \ref map_concepts "Map Concepts". |
| 61 | 61 |
*/ |
| 62 | 62 |
|
| 63 | 63 |
/** |
| 64 | 64 |
@defgroup graph_maps Graph Maps |
| 65 | 65 |
@ingroup maps |
| 66 | 66 |
\brief Special graph-related maps. |
| 67 | 67 |
|
| 68 | 68 |
This group describes maps that are specifically designed to assign |
| 69 | 69 |
values to the nodes and arcs of graphs. |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
namespace lemon {
|
| 20 | 20 |
/*! |
| 21 | 21 |
|
| 22 | 22 |
|
| 23 | 23 |
|
| 24 | 24 |
\page lgf-format LEMON Graph Format (LGF) |
| 25 | 25 |
|
| 26 | 26 |
The \e LGF is a <em>column oriented</em> |
| 27 | 27 |
file format for storing graphs and associated data like |
| 28 | 28 |
node and edge maps. |
| 29 | 29 |
|
| 30 | 30 |
Each line with \c '#' first non-whitespace |
| 31 | 31 |
character is considered as a comment line. |
| 32 | 32 |
|
| 33 | 33 |
Otherwise the file consists of sections starting with |
| 34 | 34 |
a header line. The header lines starts with an \c '@' character followed by the |
| 35 | 35 |
type of section. The standard section types are \c \@nodes, \c |
| 36 | 36 |
\@arcs and \c \@edges |
| 37 | 37 |
and \@attributes. Each header line may also have an optional |
| 38 | 38 |
\e name, which can be use to distinguish the sections of the same |
| 39 | 39 |
type. |
| 40 | 40 |
|
| 41 | 41 |
The standard sections are column oriented, each line consists of |
| 42 | 42 |
<em>token</em>s separated by whitespaces. A token can be \e plain or |
| 43 | 43 |
\e quoted. A plain token is just a sequence of non-whitespace characters, |
| 44 | 44 |
while a quoted token is a |
| 45 | 45 |
character sequence surrounded by double quotes, and it can also |
| 46 | 46 |
contain whitespaces and escape sequences. |
| 47 | 47 |
|
| 48 | 48 |
The \c \@nodes section describes a set of nodes and associated |
| 49 | 49 |
maps. The first is a header line, its columns are the names of the |
| 50 | 50 |
maps appearing in the following lines. |
| 51 | 51 |
One of the maps must be called \c |
| 52 | 52 |
"label", which plays special role in the file. |
| 53 | 53 |
The following |
| 54 | 54 |
non-empty lines until the next section describes nodes of the |
| 55 | 55 |
graph. Each line contains the values of the node maps |
| 56 | 56 |
associated to the current node. |
| 57 | 57 |
|
| 58 | 58 |
\code |
| 59 | 59 |
@nodes |
| 60 | 60 |
label coordinates size title |
| 61 | 61 |
1 (10,20) 10 "First node" |
| 62 | 62 |
2 (80,80) 8 "Second node" |
| 63 | 63 |
3 (40,10) 10 "Third node" |
| 64 | 64 |
\endcode |
| 65 | 65 |
|
| 66 | 66 |
The \c \@arcs section is very similar to the \c \@nodes section, it |
| 67 | 67 |
again starts with a header line describing the names of the maps, but |
| 68 | 68 |
the \c "label" map is not obligatory here. The following lines |
| 69 | 69 |
describe the arcs. The first two tokens of each line are the source |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
///\file |
| 20 | 20 |
///\brief Some basic non-inline functions and static global data. |
| 21 | 21 |
|
| 22 | 22 |
#include<lemon/tolerance.h> |
| 23 | 23 |
#include<lemon/core.h> |
| 24 | 24 |
namespace lemon {
|
| 25 | 25 |
|
| 26 | 26 |
float Tolerance<float>::def_epsilon = static_cast<float>(1e-4); |
| 27 | 27 |
double Tolerance<double>::def_epsilon = 1e-10; |
| 28 | 28 |
long double Tolerance<long double>::def_epsilon = 1e-14; |
| 29 | 29 |
|
| 30 | 30 |
#ifndef LEMON_ONLY_TEMPLATES |
| 31 | 31 |
const Invalid INVALID = Invalid(); |
| 32 | 32 |
#endif |
| 33 | 33 |
|
| 34 | 34 |
} //namespace lemon |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_BITS_DEFAULT_MAP_H |
| 20 | 20 |
#define LEMON_BITS_DEFAULT_MAP_H |
| 21 | 21 |
|
| 22 | 22 |
#include <lemon/config.h> |
| 23 | 23 |
#include <lemon/bits/array_map.h> |
| 24 | 24 |
#include <lemon/bits/vector_map.h> |
| 25 | 25 |
//#include <lemon/bits/debug_map.h> |
| 26 | 26 |
|
| 27 | 27 |
//\ingroup graphbits |
| 28 | 28 |
//\file |
| 29 | 29 |
//\brief Graph maps that construct and destruct their elements dynamically. |
| 30 | 30 |
|
| 31 | 31 |
namespace lemon {
|
| 32 | 32 |
|
| 33 | 33 |
|
| 34 | 34 |
//#ifndef LEMON_USE_DEBUG_MAP |
| 35 | 35 |
|
| 36 | 36 |
template <typename _Graph, typename _Item, typename _Value> |
| 37 | 37 |
struct DefaultMapSelector {
|
| 38 | 38 |
typedef ArrayMap<_Graph, _Item, _Value> Map; |
| 39 | 39 |
}; |
| 40 | 40 |
|
| 41 | 41 |
// bool |
| 42 | 42 |
template <typename _Graph, typename _Item> |
| 43 | 43 |
struct DefaultMapSelector<_Graph, _Item, bool> {
|
| 44 | 44 |
typedef VectorMap<_Graph, _Item, bool> Map; |
| 45 | 45 |
}; |
| 46 | 46 |
|
| 47 | 47 |
// char |
| 48 | 48 |
template <typename _Graph, typename _Item> |
| 49 | 49 |
struct DefaultMapSelector<_Graph, _Item, char> {
|
| 50 | 50 |
typedef VectorMap<_Graph, _Item, char> Map; |
| 51 | 51 |
}; |
| 52 | 52 |
|
| 53 | 53 |
template <typename _Graph, typename _Item> |
| 54 | 54 |
struct DefaultMapSelector<_Graph, _Item, signed char> {
|
| 55 | 55 |
typedef VectorMap<_Graph, _Item, signed char> Map; |
| 56 | 56 |
}; |
| 57 | 57 |
|
| 58 | 58 |
template <typename _Graph, typename _Item> |
| 59 | 59 |
struct DefaultMapSelector<_Graph, _Item, unsigned char> {
|
| 60 | 60 |
typedef VectorMap<_Graph, _Item, unsigned char> Map; |
| 61 | 61 |
}; |
| 62 | 62 |
|
| 63 | 63 |
|
| 64 | 64 |
// int |
| 65 | 65 |
template <typename _Graph, typename _Item> |
| 66 | 66 |
struct DefaultMapSelector<_Graph, _Item, signed int> {
|
| 67 | 67 |
typedef VectorMap<_Graph, _Item, signed int> Map; |
| 68 | 68 |
}; |
| 69 | 69 |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_BITS_MAP_EXTENDER_H |
| 20 | 20 |
#define LEMON_BITS_MAP_EXTENDER_H |
| 21 | 21 |
|
| 22 | 22 |
#include <iterator> |
| 23 | 23 |
|
| 24 | 24 |
#include <lemon/bits/traits.h> |
| 25 | 25 |
|
| 26 | 26 |
#include <lemon/concept_check.h> |
| 27 | 27 |
#include <lemon/concepts/maps.h> |
| 28 | 28 |
|
| 29 | 29 |
//\file |
| 30 | 30 |
//\brief Extenders for iterable maps. |
| 31 | 31 |
|
| 32 | 32 |
namespace lemon {
|
| 33 | 33 |
|
| 34 | 34 |
// \ingroup graphbits |
| 35 | 35 |
// |
| 36 | 36 |
// \brief Extender for maps |
| 37 | 37 |
template <typename _Map> |
| 38 | 38 |
class MapExtender : public _Map {
|
| 39 | 39 |
public: |
| 40 | 40 |
|
| 41 | 41 |
typedef _Map Parent; |
| 42 | 42 |
typedef MapExtender Map; |
| 43 | 43 |
|
| 44 | 44 |
|
| 45 | 45 |
typedef typename Parent::Graph Graph; |
| 46 | 46 |
typedef typename Parent::Key Item; |
| 47 | 47 |
|
| 48 | 48 |
typedef typename Parent::Key Key; |
| 49 | 49 |
typedef typename Parent::Value Value; |
| 50 | 50 |
|
| 51 | 51 |
class MapIt; |
| 52 | 52 |
class ConstMapIt; |
| 53 | 53 |
|
| 54 | 54 |
friend class MapIt; |
| 55 | 55 |
friend class ConstMapIt; |
| 56 | 56 |
|
| 57 | 57 |
public: |
| 58 | 58 |
|
| 59 | 59 |
MapExtender(const Graph& graph) |
| 60 | 60 |
: Parent(graph) {}
|
| 61 | 61 |
|
| 62 | 62 |
MapExtender(const Graph& graph, const Value& value) |
| 63 | 63 |
: Parent(graph, value) {}
|
| 64 | 64 |
|
| 65 | 65 |
private: |
| 66 | 66 |
MapExtender& operator=(const MapExtender& cmap) {
|
| 67 | 67 |
return operator=<MapExtender>(cmap); |
| 68 | 68 |
} |
| 69 | 69 |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_BITS_PRED_MAP_PATH_H |
| 20 | 20 |
#define LEMON_BITS_PRED_MAP_PATH_H |
| 21 | 21 |
|
| 22 | 22 |
namespace lemon {
|
| 23 | 23 |
|
| 24 | 24 |
template <typename _Digraph, typename _PredMap> |
| 25 | 25 |
class PredMapPath {
|
| 26 | 26 |
public: |
| 27 | 27 |
typedef True RevPathTag; |
| 28 | 28 |
|
| 29 | 29 |
typedef _Digraph Digraph; |
| 30 | 30 |
typedef typename Digraph::Arc Arc; |
| 31 | 31 |
typedef _PredMap PredMap; |
| 32 | 32 |
|
| 33 | 33 |
PredMapPath(const Digraph& _digraph, const PredMap& _predMap, |
| 34 | 34 |
typename Digraph::Node _target) |
| 35 | 35 |
: digraph(_digraph), predMap(_predMap), target(_target) {}
|
| 36 | 36 |
|
| 37 | 37 |
int length() const {
|
| 38 | 38 |
int len = 0; |
| 39 | 39 |
typename Digraph::Node node = target; |
| 40 | 40 |
typename Digraph::Arc arc; |
| 41 | 41 |
while ((arc = predMap[node]) != INVALID) {
|
| 42 | 42 |
node = digraph.source(arc); |
| 43 | 43 |
++len; |
| 44 | 44 |
} |
| 45 | 45 |
return len; |
| 46 | 46 |
} |
| 47 | 47 |
|
| 48 | 48 |
bool empty() const {
|
| 49 | 49 |
return predMap[target] == INVALID; |
| 50 | 50 |
} |
| 51 | 51 |
|
| 52 | 52 |
class RevArcIt {
|
| 53 | 53 |
public: |
| 54 | 54 |
RevArcIt() {}
|
| 55 | 55 |
RevArcIt(Invalid) : path(0), current(INVALID) {}
|
| 56 | 56 |
RevArcIt(const PredMapPath& _path) |
| 57 | 57 |
: path(&_path), current(_path.target) {
|
| 58 | 58 |
if (path->predMap[current] == INVALID) current = INVALID; |
| 59 | 59 |
} |
| 60 | 60 |
|
| 61 | 61 |
operator const typename Digraph::Arc() const {
|
| 62 | 62 |
return path->predMap[current]; |
| 63 | 63 |
} |
| 64 | 64 |
|
| 65 | 65 |
RevArcIt& operator++() {
|
| 66 | 66 |
current = path->digraph.source(path->predMap[current]); |
| 67 | 67 |
if (path->predMap[current] == INVALID) current = INVALID; |
| 68 | 68 |
return *this; |
| 69 | 69 |
} |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
///\file |
| 20 | 20 |
///\brief Some basic non-inline functions and static global data. |
| 21 | 21 |
|
| 22 | 22 |
#include<lemon/bits/windows.h> |
| 23 | 23 |
|
| 24 | 24 |
#ifdef WIN32 |
| 25 | 25 |
#ifndef WIN32_LEAN_AND_MEAN |
| 26 | 26 |
#define WIN32_LEAN_AND_MEAN |
| 27 | 27 |
#endif |
| 28 | 28 |
#ifndef NOMINMAX |
| 29 | 29 |
#define NOMINMAX |
| 30 | 30 |
#endif |
| 31 | 31 |
#ifdef UNICODE |
| 32 | 32 |
#undef UNICODE |
| 33 | 33 |
#endif |
| 34 | 34 |
#include <windows.h> |
| 35 | 35 |
#ifdef LOCALE_INVARIANT |
| 36 | 36 |
#define MY_LOCALE LOCALE_INVARIANT |
| 37 | 37 |
#else |
| 38 | 38 |
#define MY_LOCALE LOCALE_NEUTRAL |
| 39 | 39 |
#endif |
| 40 | 40 |
#else |
| 41 | 41 |
#include <unistd.h> |
| 42 | 42 |
#include <ctime> |
| 43 | 43 |
#include <sys/times.h> |
| 44 | 44 |
#include <sys/time.h> |
| 45 | 45 |
#endif |
| 46 | 46 |
|
| 47 | 47 |
#include <cmath> |
| 48 | 48 |
#include <sstream> |
| 49 | 49 |
|
| 50 | 50 |
namespace lemon {
|
| 51 | 51 |
namespace bits {
|
| 52 | 52 |
void getWinProcTimes(double &rtime, |
| 53 | 53 |
double &utime, double &stime, |
| 54 | 54 |
double &cutime, double &cstime) |
| 55 | 55 |
{
|
| 56 | 56 |
#ifdef WIN32 |
| 57 | 57 |
static const double ch = 4294967296.0e-7; |
| 58 | 58 |
static const double cl = 1.0e-7; |
| 59 | 59 |
|
| 60 | 60 |
FILETIME system; |
| 61 | 61 |
GetSystemTimeAsFileTime(&system); |
| 62 | 62 |
rtime = ch * system.dwHighDateTime + cl * system.dwLowDateTime; |
| 63 | 63 |
|
| 64 | 64 |
FILETIME create, exit, kernel, user; |
| 65 | 65 |
if (GetProcessTimes(GetCurrentProcess(),&create, &exit, &kernel, &user)) {
|
| 66 | 66 |
utime = ch * user.dwHighDateTime + cl * user.dwLowDateTime; |
| 67 | 67 |
stime = ch * kernel.dwHighDateTime + cl * kernel.dwLowDateTime; |
| 68 | 68 |
cutime = 0; |
| 69 | 69 |
cstime = 0; |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_CORE_H |
| 20 | 20 |
#define LEMON_CORE_H |
| 21 | 21 |
|
| 22 | 22 |
#include <vector> |
| 23 | 23 |
#include <algorithm> |
| 24 | 24 |
|
| 25 | 25 |
#include <lemon/config.h> |
| 26 | 26 |
#include <lemon/bits/enable_if.h> |
| 27 | 27 |
#include <lemon/bits/traits.h> |
| 28 | 28 |
#include <lemon/assert.h> |
| 29 | 29 |
|
| 30 | 30 |
///\file |
| 31 | 31 |
///\brief LEMON core utilities. |
| 32 | 32 |
/// |
| 33 | 33 |
///This header file contains core utilities for LEMON. |
| 34 | 34 |
///It is automatically included by all graph types, therefore it usually |
| 35 | 35 |
///do not have to be included directly. |
| 36 | 36 |
|
| 37 | 37 |
namespace lemon {
|
| 38 | 38 |
|
| 39 | 39 |
/// \brief Dummy type to make it easier to create invalid iterators. |
| 40 | 40 |
/// |
| 41 | 41 |
/// Dummy type to make it easier to create invalid iterators. |
| 42 | 42 |
/// See \ref INVALID for the usage. |
| 43 | 43 |
struct Invalid {
|
| 44 | 44 |
public: |
| 45 | 45 |
bool operator==(Invalid) { return true; }
|
| 46 | 46 |
bool operator!=(Invalid) { return false; }
|
| 47 | 47 |
bool operator< (Invalid) { return false; }
|
| 48 | 48 |
}; |
| 49 | 49 |
|
| 50 | 50 |
/// \brief Invalid iterators. |
| 51 | 51 |
/// |
| 52 | 52 |
/// \ref Invalid is a global type that converts to each iterator |
| 53 | 53 |
/// in such a way that the value of the target iterator will be invalid. |
| 54 | 54 |
#ifdef LEMON_ONLY_TEMPLATES |
| 55 | 55 |
const Invalid INVALID = Invalid(); |
| 56 | 56 |
#else |
| 57 | 57 |
extern const Invalid INVALID; |
| 58 | 58 |
#endif |
| 59 | 59 |
|
| 60 | 60 |
/// \addtogroup gutils |
| 61 | 61 |
/// @{
|
| 62 | 62 |
|
| 63 | 63 |
///Create convenience typedefs for the digraph types and iterators |
| 64 | 64 |
|
| 65 | 65 |
///This \c \#define creates convenient type definitions for the following |
| 66 | 66 |
///types of \c Digraph: \c Node, \c NodeIt, \c Arc, \c ArcIt, \c InArcIt, |
| 67 | 67 |
///\c OutArcIt, \c BoolNodeMap, \c IntNodeMap, \c DoubleNodeMap, |
| 68 | 68 |
///\c BoolArcMap, \c IntArcMap, \c DoubleArcMap. |
| 69 | 69 |
/// |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_DFS_H |
| 20 | 20 |
#define LEMON_DFS_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup search |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief DFS algorithm. |
| 25 | 25 |
|
| 26 | 26 |
#include <lemon/list_graph.h> |
| 27 | 27 |
#include <lemon/bits/path_dump.h> |
| 28 | 28 |
#include <lemon/core.h> |
| 29 | 29 |
#include <lemon/error.h> |
| 30 | 30 |
#include <lemon/maps.h> |
| 31 | 31 |
#include <lemon/path.h> |
| 32 | 32 |
|
| 33 | 33 |
namespace lemon {
|
| 34 | 34 |
|
| 35 | 35 |
///Default traits class of Dfs class. |
| 36 | 36 |
|
| 37 | 37 |
///Default traits class of Dfs class. |
| 38 | 38 |
///\tparam GR Digraph type. |
| 39 | 39 |
template<class GR> |
| 40 | 40 |
struct DfsDefaultTraits |
| 41 | 41 |
{
|
| 42 | 42 |
///The type of the digraph the algorithm runs on. |
| 43 | 43 |
typedef GR Digraph; |
| 44 | 44 |
|
| 45 | 45 |
///\brief The type of the map that stores the predecessor |
| 46 | 46 |
///arcs of the %DFS paths. |
| 47 | 47 |
/// |
| 48 | 48 |
///The type of the map that stores the predecessor |
| 49 | 49 |
///arcs of the %DFS paths. |
| 50 | 50 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 51 | 51 |
typedef typename Digraph::template NodeMap<typename Digraph::Arc> PredMap; |
| 52 | 52 |
///Instantiates a PredMap. |
| 53 | 53 |
|
| 54 | 54 |
///This function instantiates a PredMap. |
| 55 | 55 |
///\param g is the digraph, to which we would like to define the |
| 56 | 56 |
///PredMap. |
| 57 | 57 |
static PredMap *createPredMap(const Digraph &g) |
| 58 | 58 |
{
|
| 59 | 59 |
return new PredMap(g); |
| 60 | 60 |
} |
| 61 | 61 |
|
| 62 | 62 |
///The type of the map that indicates which nodes are processed. |
| 63 | 63 |
|
| 64 | 64 |
///The type of the map that indicates which nodes are processed. |
| 65 | 65 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 66 | 66 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
| 67 | 67 |
///Instantiates a ProcessedMap. |
| 68 | 68 |
|
| 69 | 69 |
///This function instantiates a ProcessedMap. |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_GRAPH_TO_EPS_H |
| 20 | 20 |
#define LEMON_GRAPH_TO_EPS_H |
| 21 | 21 |
|
| 22 | 22 |
#include<iostream> |
| 23 | 23 |
#include<fstream> |
| 24 | 24 |
#include<sstream> |
| 25 | 25 |
#include<algorithm> |
| 26 | 26 |
#include<vector> |
| 27 | 27 |
|
| 28 | 28 |
#ifndef WIN32 |
| 29 | 29 |
#include<sys/time.h> |
| 30 | 30 |
#include<ctime> |
| 31 | 31 |
#else |
| 32 | 32 |
#include<lemon/bits/windows.h> |
| 33 | 33 |
#endif |
| 34 | 34 |
|
| 35 | 35 |
#include<lemon/math.h> |
| 36 | 36 |
#include<lemon/core.h> |
| 37 | 37 |
#include<lemon/dim2.h> |
| 38 | 38 |
#include<lemon/maps.h> |
| 39 | 39 |
#include<lemon/color.h> |
| 40 | 40 |
#include<lemon/bits/bezier.h> |
| 41 | 41 |
#include<lemon/error.h> |
| 42 | 42 |
|
| 43 | 43 |
|
| 44 | 44 |
///\ingroup eps_io |
| 45 | 45 |
///\file |
| 46 | 46 |
///\brief A well configurable tool for visualizing graphs |
| 47 | 47 |
|
| 48 | 48 |
namespace lemon {
|
| 49 | 49 |
|
| 50 | 50 |
namespace _graph_to_eps_bits {
|
| 51 | 51 |
template<class MT> |
| 52 | 52 |
class _NegY {
|
| 53 | 53 |
public: |
| 54 | 54 |
typedef typename MT::Key Key; |
| 55 | 55 |
typedef typename MT::Value Value; |
| 56 | 56 |
const MT ↦ |
| 57 | 57 |
int yscale; |
| 58 | 58 |
_NegY(const MT &m,bool b) : map(m), yscale(1-b*2) {}
|
| 59 | 59 |
Value operator[](Key n) { return Value(map[n].x,map[n].y*yscale);}
|
| 60 | 60 |
}; |
| 61 | 61 |
} |
| 62 | 62 |
|
| 63 | 63 |
///Default traits class of GraphToEps |
| 64 | 64 |
|
| 65 | 65 |
///Default traits class of \ref GraphToEps. |
| 66 | 66 |
/// |
| 67 | 67 |
///\c G is the type of the underlying graph. |
| 68 | 68 |
template<class G> |
| 69 | 69 |
struct DefaultGraphToEpsTraits |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
///\ingroup lemon_io |
| 20 | 20 |
///\file |
| 21 | 21 |
///\brief \ref lgf-format "LEMON Graph Format" writer. |
| 22 | 22 |
|
| 23 | 23 |
|
| 24 | 24 |
#ifndef LEMON_LGF_WRITER_H |
| 25 | 25 |
#define LEMON_LGF_WRITER_H |
| 26 | 26 |
|
| 27 | 27 |
#include <iostream> |
| 28 | 28 |
#include <fstream> |
| 29 | 29 |
#include <sstream> |
| 30 | 30 |
|
| 31 | 31 |
#include <algorithm> |
| 32 | 32 |
|
| 33 | 33 |
#include <vector> |
| 34 | 34 |
#include <functional> |
| 35 | 35 |
|
| 36 | 36 |
#include <lemon/core.h> |
| 37 | 37 |
#include <lemon/maps.h> |
| 38 | 38 |
|
| 39 | 39 |
#include <lemon/concept_check.h> |
| 40 | 40 |
#include <lemon/concepts/maps.h> |
| 41 | 41 |
|
| 42 | 42 |
namespace lemon {
|
| 43 | 43 |
|
| 44 | 44 |
namespace _writer_bits {
|
| 45 | 45 |
|
| 46 | 46 |
template <typename Value> |
| 47 | 47 |
struct DefaultConverter {
|
| 48 | 48 |
std::string operator()(const Value& value) {
|
| 49 | 49 |
std::ostringstream os; |
| 50 | 50 |
os << value; |
| 51 | 51 |
return os.str(); |
| 52 | 52 |
} |
| 53 | 53 |
}; |
| 54 | 54 |
|
| 55 | 55 |
template <typename T> |
| 56 | 56 |
bool operator<(const T&, const T&) {
|
| 57 | 57 |
throw FormatError("Label map is not comparable");
|
| 58 | 58 |
} |
| 59 | 59 |
|
| 60 | 60 |
template <typename _Map> |
| 61 | 61 |
class MapLess {
|
| 62 | 62 |
public: |
| 63 | 63 |
typedef _Map Map; |
| 64 | 64 |
typedef typename Map::Key Item; |
| 65 | 65 |
|
| 66 | 66 |
private: |
| 67 | 67 |
const Map& _map; |
| 68 | 68 |
|
| 69 | 69 |
public: |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_LIST_GRAPH_H |
| 20 | 20 |
#define LEMON_LIST_GRAPH_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup graphs |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief ListDigraph, ListGraph classes. |
| 25 | 25 |
|
| 26 | 26 |
#include <lemon/core.h> |
| 27 | 27 |
#include <lemon/error.h> |
| 28 | 28 |
#include <lemon/bits/graph_extender.h> |
| 29 | 29 |
|
| 30 | 30 |
#include <vector> |
| 31 | 31 |
#include <list> |
| 32 | 32 |
|
| 33 | 33 |
namespace lemon {
|
| 34 | 34 |
|
| 35 | 35 |
class ListDigraphBase {
|
| 36 | 36 |
|
| 37 | 37 |
protected: |
| 38 | 38 |
struct NodeT {
|
| 39 | 39 |
int first_in, first_out; |
| 40 | 40 |
int prev, next; |
| 41 | 41 |
}; |
| 42 | 42 |
|
| 43 | 43 |
struct ArcT {
|
| 44 | 44 |
int target, source; |
| 45 | 45 |
int prev_in, prev_out; |
| 46 | 46 |
int next_in, next_out; |
| 47 | 47 |
}; |
| 48 | 48 |
|
| 49 | 49 |
std::vector<NodeT> nodes; |
| 50 | 50 |
|
| 51 | 51 |
int first_node; |
| 52 | 52 |
|
| 53 | 53 |
int first_free_node; |
| 54 | 54 |
|
| 55 | 55 |
std::vector<ArcT> arcs; |
| 56 | 56 |
|
| 57 | 57 |
int first_free_arc; |
| 58 | 58 |
|
| 59 | 59 |
public: |
| 60 | 60 |
|
| 61 | 61 |
typedef ListDigraphBase Digraph; |
| 62 | 62 |
|
| 63 | 63 |
class Node {
|
| 64 | 64 |
friend class ListDigraphBase; |
| 65 | 65 |
protected: |
| 66 | 66 |
|
| 67 | 67 |
int id; |
| 68 | 68 |
explicit Node(int pid) { id = pid;}
|
| 69 | 69 |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
///\ingroup paths |
| 20 | 20 |
///\file |
| 21 | 21 |
///\brief Classes for representing paths in digraphs. |
| 22 | 22 |
/// |
| 23 | 23 |
|
| 24 | 24 |
#ifndef LEMON_PATH_H |
| 25 | 25 |
#define LEMON_PATH_H |
| 26 | 26 |
|
| 27 | 27 |
#include <vector> |
| 28 | 28 |
#include <algorithm> |
| 29 | 29 |
|
| 30 | 30 |
#include <lemon/error.h> |
| 31 | 31 |
#include <lemon/core.h> |
| 32 | 32 |
#include <lemon/concepts/path.h> |
| 33 | 33 |
|
| 34 | 34 |
namespace lemon {
|
| 35 | 35 |
|
| 36 | 36 |
/// \addtogroup paths |
| 37 | 37 |
/// @{
|
| 38 | 38 |
|
| 39 | 39 |
|
| 40 | 40 |
/// \brief A structure for representing directed paths in a digraph. |
| 41 | 41 |
/// |
| 42 | 42 |
/// A structure for representing directed path in a digraph. |
| 43 | 43 |
/// \tparam _Digraph The digraph type in which the path is. |
| 44 | 44 |
/// |
| 45 | 45 |
/// In a sense, the path can be treated as a list of arcs. The |
| 46 | 46 |
/// lemon path type stores just this list. As a consequence, it |
| 47 | 47 |
/// cannot enumerate the nodes of the path and the source node of |
| 48 | 48 |
/// a zero length path is undefined. |
| 49 | 49 |
/// |
| 50 | 50 |
/// This implementation is a back and front insertable and erasable |
| 51 | 51 |
/// path type. It can be indexed in O(1) time. The front and back |
| 52 | 52 |
/// insertion and erase is done in O(1) (amortized) time. The |
| 53 | 53 |
/// implementation uses two vectors for storing the front and back |
| 54 | 54 |
/// insertions. |
| 55 | 55 |
template <typename _Digraph> |
| 56 | 56 |
class Path {
|
| 57 | 57 |
public: |
| 58 | 58 |
|
| 59 | 59 |
typedef _Digraph Digraph; |
| 60 | 60 |
typedef typename Digraph::Arc Arc; |
| 61 | 61 |
|
| 62 | 62 |
/// \brief Default constructor |
| 63 | 63 |
/// |
| 64 | 64 |
/// Default constructor |
| 65 | 65 |
Path() {}
|
| 66 | 66 |
|
| 67 | 67 |
/// \brief Template copy constructor |
| 68 | 68 |
/// |
| 69 | 69 |
/// This constuctor initializes the path from any other path type. |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
/* |
| 20 | 20 |
* This file contains the reimplemented version of the Mersenne Twister |
| 21 | 21 |
* Generator of Matsumoto and Nishimura. |
| 22 | 22 |
* |
| 23 | 23 |
* See the appropriate copyright notice below. |
| 24 | 24 |
* |
| 25 | 25 |
* Copyright (C) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura, |
| 26 | 26 |
* All rights reserved. |
| 27 | 27 |
* |
| 28 | 28 |
* Redistribution and use in source and binary forms, with or without |
| 29 | 29 |
* modification, are permitted provided that the following conditions |
| 30 | 30 |
* are met: |
| 31 | 31 |
* |
| 32 | 32 |
* 1. Redistributions of source code must retain the above copyright |
| 33 | 33 |
* notice, this list of conditions and the following disclaimer. |
| 34 | 34 |
* |
| 35 | 35 |
* 2. Redistributions in binary form must reproduce the above copyright |
| 36 | 36 |
* notice, this list of conditions and the following disclaimer in the |
| 37 | 37 |
* documentation and/or other materials provided with the distribution. |
| 38 | 38 |
* |
| 39 | 39 |
* 3. The names of its contributors may not be used to endorse or promote |
| 40 | 40 |
* products derived from this software without specific prior written |
| 41 | 41 |
* permission. |
| 42 | 42 |
* |
| 43 | 43 |
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 44 | 44 |
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 45 | 45 |
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS |
| 46 | 46 |
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE |
| 47 | 47 |
* COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, |
| 48 | 48 |
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
| 49 | 49 |
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR |
| 50 | 50 |
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) |
| 51 | 51 |
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, |
| 52 | 52 |
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| 53 | 53 |
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED |
| 54 | 54 |
* OF THE POSSIBILITY OF SUCH DAMAGE. |
| 55 | 55 |
* |
| 56 | 56 |
* |
| 57 | 57 |
* Any feedback is very welcome. |
| 58 | 58 |
* http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html |
| 59 | 59 |
* email: m-mat @ math.sci.hiroshima-u.ac.jp (remove space) |
| 60 | 60 |
*/ |
| 61 | 61 |
|
| 62 | 62 |
#ifndef LEMON_RANDOM_H |
| 63 | 63 |
#define LEMON_RANDOM_H |
| 64 | 64 |
|
| 65 | 65 |
#include <algorithm> |
| 66 | 66 |
#include <iterator> |
| 67 | 67 |
#include <vector> |
| 68 | 68 |
#include <limits> |
| 69 | 69 |
#include <fstream> |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_SMART_GRAPH_H |
| 20 | 20 |
#define LEMON_SMART_GRAPH_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup graphs |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief SmartDigraph and SmartGraph classes. |
| 25 | 25 |
|
| 26 | 26 |
#include <vector> |
| 27 | 27 |
|
| 28 | 28 |
#include <lemon/core.h> |
| 29 | 29 |
#include <lemon/error.h> |
| 30 | 30 |
#include <lemon/bits/graph_extender.h> |
| 31 | 31 |
|
| 32 | 32 |
namespace lemon {
|
| 33 | 33 |
|
| 34 | 34 |
class SmartDigraph; |
| 35 | 35 |
///Base of SmartDigraph |
| 36 | 36 |
|
| 37 | 37 |
///Base of SmartDigraph |
| 38 | 38 |
/// |
| 39 | 39 |
class SmartDigraphBase {
|
| 40 | 40 |
protected: |
| 41 | 41 |
|
| 42 | 42 |
struct NodeT |
| 43 | 43 |
{
|
| 44 | 44 |
int first_in, first_out; |
| 45 | 45 |
NodeT() {}
|
| 46 | 46 |
}; |
| 47 | 47 |
struct ArcT |
| 48 | 48 |
{
|
| 49 | 49 |
int target, source, next_in, next_out; |
| 50 | 50 |
ArcT() {}
|
| 51 | 51 |
}; |
| 52 | 52 |
|
| 53 | 53 |
std::vector<NodeT> nodes; |
| 54 | 54 |
std::vector<ArcT> arcs; |
| 55 | 55 |
|
| 56 | 56 |
public: |
| 57 | 57 |
|
| 58 | 58 |
typedef SmartDigraphBase Graph; |
| 59 | 59 |
|
| 60 | 60 |
class Node; |
| 61 | 61 |
class Arc; |
| 62 | 62 |
|
| 63 | 63 |
public: |
| 64 | 64 |
|
| 65 | 65 |
SmartDigraphBase() : nodes(), arcs() { }
|
| 66 | 66 |
SmartDigraphBase(const SmartDigraphBase &_g) |
| 67 | 67 |
: nodes(_g.nodes), arcs(_g.arcs) { }
|
| 68 | 68 |
|
| 69 | 69 |
typedef True NodeNumTag; |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_TIME_MEASURE_H |
| 20 | 20 |
#define LEMON_TIME_MEASURE_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup timecount |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief Tools for measuring cpu usage |
| 25 | 25 |
|
| 26 | 26 |
#ifdef WIN32 |
| 27 | 27 |
#include <lemon/bits/windows.h> |
| 28 | 28 |
#else |
| 29 | 29 |
#include <unistd.h> |
| 30 | 30 |
#include <sys/times.h> |
| 31 | 31 |
#include <sys/time.h> |
| 32 | 32 |
#endif |
| 33 | 33 |
|
| 34 | 34 |
#include <string> |
| 35 | 35 |
#include <fstream> |
| 36 | 36 |
#include <iostream> |
| 37 | 37 |
|
| 38 | 38 |
namespace lemon {
|
| 39 | 39 |
|
| 40 | 40 |
/// \addtogroup timecount |
| 41 | 41 |
/// @{
|
| 42 | 42 |
|
| 43 | 43 |
/// A class to store (cpu)time instances. |
| 44 | 44 |
|
| 45 | 45 |
/// This class stores five time values. |
| 46 | 46 |
/// - a real time |
| 47 | 47 |
/// - a user cpu time |
| 48 | 48 |
/// - a system cpu time |
| 49 | 49 |
/// - a user cpu time of children |
| 50 | 50 |
/// - a system cpu time of children |
| 51 | 51 |
/// |
| 52 | 52 |
/// TimeStamp's can be added to or substracted from each other and |
| 53 | 53 |
/// they can be pushed to a stream. |
| 54 | 54 |
/// |
| 55 | 55 |
/// In most cases, perhaps the \ref Timer or the \ref TimeReport |
| 56 | 56 |
/// class is what you want to use instead. |
| 57 | 57 |
|
| 58 | 58 |
class TimeStamp |
| 59 | 59 |
{
|
| 60 | 60 |
double utime; |
| 61 | 61 |
double stime; |
| 62 | 62 |
double cutime; |
| 63 | 63 |
double cstime; |
| 64 | 64 |
double rtime; |
| 65 | 65 |
|
| 66 | 66 |
void _reset() {
|
| 67 | 67 |
utime = stime = cutime = cstime = rtime = 0; |
| 68 | 68 |
} |
| 69 | 69 |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_TOLERANCE_H |
| 20 | 20 |
#define LEMON_TOLERANCE_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup misc |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief A basic tool to handle the anomalies of calculation with |
| 25 | 25 |
///floating point numbers. |
| 26 | 26 |
/// |
| 27 | 27 |
|
| 28 | 28 |
namespace lemon {
|
| 29 | 29 |
|
| 30 | 30 |
/// \addtogroup misc |
| 31 | 31 |
/// @{
|
| 32 | 32 |
|
| 33 | 33 |
///\brief A class to provide a basic way to |
| 34 | 34 |
///handle the comparison of numbers that are obtained |
| 35 | 35 |
///as a result of a probably inexact computation. |
| 36 | 36 |
/// |
| 37 | 37 |
///\ref Tolerance is a class to provide a basic way to |
| 38 | 38 |
///handle the comparison of numbers that are obtained |
| 39 | 39 |
///as a result of a probably inexact computation. |
| 40 | 40 |
/// |
| 41 | 41 |
///The general implementation is suitable only if the data type is exact, |
| 42 | 42 |
///like the integer types, otherwise a specialized version must be |
| 43 | 43 |
///implemented. These specialized classes like |
| 44 | 44 |
///Tolerance<double> may offer additional tuning parameters. |
| 45 | 45 |
/// |
| 46 | 46 |
///\sa Tolerance<float> |
| 47 | 47 |
///\sa Tolerance<double> |
| 48 | 48 |
///\sa Tolerance<long double> |
| 49 | 49 |
|
| 50 | 50 |
template<class T> |
| 51 | 51 |
class Tolerance |
| 52 | 52 |
{
|
| 53 | 53 |
public: |
| 54 | 54 |
typedef T Value; |
| 55 | 55 |
|
| 56 | 56 |
///\name Comparisons |
| 57 | 57 |
///The concept is that these bool functions return \c true only if |
| 58 | 58 |
///the related comparisons hold even if some numerical error appeared |
| 59 | 59 |
///during the computations. |
| 60 | 60 |
|
| 61 | 61 |
///@{
|
| 62 | 62 |
|
| 63 | 63 |
///Returns \c true if \c a is \e surely strictly less than \c b |
| 64 | 64 |
static bool less(Value a,Value b) {return a<b;}
|
| 65 | 65 |
///Returns \c true if \c a is \e surely different from \c b |
| 66 | 66 |
static bool different(Value a,Value b) {return a!=b;}
|
| 67 | 67 |
///Returns \c true if \c a is \e surely positive |
| 68 | 68 |
static bool positive(Value a) {return static_cast<Value>(0) < a;}
|
| 69 | 69 |
///Returns \c true if \c a is \e surely negative |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#ifndef LEMON_UNION_FIND_H |
| 20 | 20 |
#define LEMON_UNION_FIND_H |
| 21 | 21 |
|
| 22 | 22 |
//!\ingroup auxdat |
| 23 | 23 |
//!\file |
| 24 | 24 |
//!\brief Union-Find data structures. |
| 25 | 25 |
//! |
| 26 | 26 |
|
| 27 | 27 |
#include <vector> |
| 28 | 28 |
#include <list> |
| 29 | 29 |
#include <utility> |
| 30 | 30 |
#include <algorithm> |
| 31 | 31 |
#include <functional> |
| 32 | 32 |
|
| 33 | 33 |
#include <lemon/core.h> |
| 34 | 34 |
|
| 35 | 35 |
namespace lemon {
|
| 36 | 36 |
|
| 37 | 37 |
/// \ingroup auxdat |
| 38 | 38 |
/// |
| 39 | 39 |
/// \brief A \e Union-Find data structure implementation |
| 40 | 40 |
/// |
| 41 | 41 |
/// The class implements the \e Union-Find data structure. |
| 42 | 42 |
/// The union operation uses rank heuristic, while |
| 43 | 43 |
/// the find operation uses path compression. |
| 44 | 44 |
/// This is a very simple but efficient implementation, providing |
| 45 | 45 |
/// only four methods: join (union), find, insert and size. |
| 46 | 46 |
/// For more features see the \ref UnionFindEnum class. |
| 47 | 47 |
/// |
| 48 | 48 |
/// It is primarily used in Kruskal algorithm for finding minimal |
| 49 | 49 |
/// cost spanning tree in a graph. |
| 50 | 50 |
/// \sa kruskal() |
| 51 | 51 |
/// |
| 52 | 52 |
/// \pre You need to add all the elements by the \ref insert() |
| 53 | 53 |
/// method. |
| 54 | 54 |
template <typename _ItemIntMap> |
| 55 | 55 |
class UnionFind {
|
| 56 | 56 |
public: |
| 57 | 57 |
|
| 58 | 58 |
typedef _ItemIntMap ItemIntMap; |
| 59 | 59 |
typedef typename ItemIntMap::Key Item; |
| 60 | 60 |
|
| 61 | 61 |
private: |
| 62 | 62 |
// If the items vector stores negative value for an item then |
| 63 | 63 |
// that item is root item and it has -items[it] component size. |
| 64 | 64 |
// Else the items[it] contains the index of the parent. |
| 65 | 65 |
std::vector<int> items; |
| 66 | 66 |
ItemIntMap& index; |
| 67 | 67 |
|
| 68 | 68 |
bool rep(int idx) const {
|
| 69 | 69 |
return items[idx] < 0; |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#include <lemon/concepts/digraph.h> |
| 20 | 20 |
#include <lemon/smart_graph.h> |
| 21 | 21 |
#include <lemon/list_graph.h> |
| 22 | 22 |
#include <lemon/lgf_reader.h> |
| 23 | 23 |
#include <lemon/dfs.h> |
| 24 | 24 |
#include <lemon/path.h> |
| 25 | 25 |
|
| 26 | 26 |
#include "graph_test.h" |
| 27 | 27 |
#include "test_tools.h" |
| 28 | 28 |
|
| 29 | 29 |
using namespace lemon; |
| 30 | 30 |
|
| 31 | 31 |
char test_lgf[] = |
| 32 | 32 |
"@nodes\n" |
| 33 | 33 |
"label\n" |
| 34 | 34 |
"0\n" |
| 35 | 35 |
"1\n" |
| 36 | 36 |
"2\n" |
| 37 | 37 |
"3\n" |
| 38 | 38 |
"4\n" |
| 39 | 39 |
"5\n" |
| 40 | 40 |
"6\n" |
| 41 | 41 |
"@arcs\n" |
| 42 | 42 |
" label\n" |
| 43 | 43 |
"0 1 0\n" |
| 44 | 44 |
"1 2 1\n" |
| 45 | 45 |
"2 3 2\n" |
| 46 | 46 |
"1 4 3\n" |
| 47 | 47 |
"4 2 4\n" |
| 48 | 48 |
"4 5 5\n" |
| 49 | 49 |
"5 0 6\n" |
| 50 | 50 |
"6 3 7\n" |
| 51 | 51 |
"@attributes\n" |
| 52 | 52 |
"source 0\n" |
| 53 | 53 |
"target 5\n" |
| 54 | 54 |
"source1 6\n" |
| 55 | 55 |
"target1 3\n"; |
| 56 | 56 |
|
| 57 | 57 |
|
| 58 | 58 |
void checkDfsCompile() |
| 59 | 59 |
{
|
| 60 | 60 |
typedef concepts::Digraph Digraph; |
| 61 | 61 |
typedef Dfs<Digraph> DType; |
| 62 | 62 |
typedef Digraph::Node Node; |
| 63 | 63 |
typedef Digraph::Arc Arc; |
| 64 | 64 |
|
| 65 | 65 |
Digraph G; |
| 66 | 66 |
Node s, t; |
| 67 | 67 |
Arc e; |
| 68 | 68 |
int l; |
| 69 | 69 |
bool b; |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#include <lemon/smart_graph.h> |
| 20 | 20 |
#include <lemon/list_graph.h> |
| 21 | 21 |
#include <lemon/lgf_reader.h> |
| 22 | 22 |
#include <lemon/error.h> |
| 23 | 23 |
|
| 24 | 24 |
#include "test_tools.h" |
| 25 | 25 |
|
| 26 | 26 |
using namespace std; |
| 27 | 27 |
using namespace lemon; |
| 28 | 28 |
|
| 29 | 29 |
void digraph_copy_test() {
|
| 30 | 30 |
const int nn = 10; |
| 31 | 31 |
|
| 32 | 32 |
// Build a digraph |
| 33 | 33 |
SmartDigraph from; |
| 34 | 34 |
SmartDigraph::NodeMap<int> fnm(from); |
| 35 | 35 |
SmartDigraph::ArcMap<int> fam(from); |
| 36 | 36 |
SmartDigraph::Node fn = INVALID; |
| 37 | 37 |
SmartDigraph::Arc fa = INVALID; |
| 38 | 38 |
|
| 39 | 39 |
std::vector<SmartDigraph::Node> fnv; |
| 40 | 40 |
for (int i = 0; i < nn; ++i) {
|
| 41 | 41 |
SmartDigraph::Node node = from.addNode(); |
| 42 | 42 |
fnv.push_back(node); |
| 43 | 43 |
fnm[node] = i * i; |
| 44 | 44 |
if (i == 0) fn = node; |
| 45 | 45 |
} |
| 46 | 46 |
|
| 47 | 47 |
for (int i = 0; i < nn; ++i) {
|
| 48 | 48 |
for (int j = 0; j < nn; ++j) {
|
| 49 | 49 |
SmartDigraph::Arc arc = from.addArc(fnv[i], fnv[j]); |
| 50 | 50 |
fam[arc] = i + j * j; |
| 51 | 51 |
if (i == 0 && j == 0) fa = arc; |
| 52 | 52 |
} |
| 53 | 53 |
} |
| 54 | 54 |
|
| 55 | 55 |
// Test digraph copy |
| 56 | 56 |
ListDigraph to; |
| 57 | 57 |
ListDigraph::NodeMap<int> tnm(to); |
| 58 | 58 |
ListDigraph::ArcMap<int> tam(to); |
| 59 | 59 |
ListDigraph::Node tn; |
| 60 | 60 |
ListDigraph::Arc ta; |
| 61 | 61 |
|
| 62 | 62 |
SmartDigraph::NodeMap<ListDigraph::Node> nr(from); |
| 63 | 63 |
SmartDigraph::ArcMap<ListDigraph::Arc> er(from); |
| 64 | 64 |
|
| 65 | 65 |
ListDigraph::NodeMap<SmartDigraph::Node> ncr(to); |
| 66 | 66 |
ListDigraph::ArcMap<SmartDigraph::Arc> ecr(to); |
| 67 | 67 |
|
| 68 | 68 |
digraphCopy(from, to). |
| 69 | 69 |
nodeMap(fnm, tnm).arcMap(fam, tam). |
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| 12 | 12 |
* |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#include <deque> |
| 20 | 20 |
#include <set> |
| 21 | 21 |
|
| 22 | 22 |
#include <lemon/concept_check.h> |
| 23 | 23 |
#include <lemon/concepts/maps.h> |
| 24 | 24 |
#include <lemon/maps.h> |
| 25 | 25 |
|
| 26 | 26 |
#include "test_tools.h" |
| 27 | 27 |
|
| 28 | 28 |
using namespace lemon; |
| 29 | 29 |
using namespace lemon::concepts; |
| 30 | 30 |
|
| 31 | 31 |
struct A {};
|
| 32 | 32 |
inline bool operator<(A, A) { return true; }
|
| 33 | 33 |
struct B {};
|
| 34 | 34 |
|
| 35 | 35 |
class C {
|
| 36 | 36 |
int x; |
| 37 | 37 |
public: |
| 38 | 38 |
C(int _x) : x(_x) {}
|
| 39 | 39 |
}; |
| 40 | 40 |
|
| 41 | 41 |
class F {
|
| 42 | 42 |
public: |
| 43 | 43 |
typedef A argument_type; |
| 44 | 44 |
typedef B result_type; |
| 45 | 45 |
|
| 46 | 46 |
B operator()(const A&) const { return B(); }
|
| 47 | 47 |
private: |
| 48 | 48 |
F& operator=(const F&); |
| 49 | 49 |
}; |
| 50 | 50 |
|
| 51 | 51 |
int func(A) { return 3; }
|
| 52 | 52 |
|
| 53 | 53 |
int binc(int a, B) { return a+1; }
|
| 54 | 54 |
|
| 55 | 55 |
typedef ReadMap<A, double> DoubleMap; |
| 56 | 56 |
typedef ReadWriteMap<A, double> DoubleWriteMap; |
| 57 | 57 |
typedef ReferenceMap<A, double, double&, const double&> DoubleRefMap; |
| 58 | 58 |
|
| 59 | 59 |
typedef ReadMap<A, bool> BoolMap; |
| 60 | 60 |
typedef ReadWriteMap<A, bool> BoolWriteMap; |
| 61 | 61 |
typedef ReferenceMap<A, bool, bool&, const bool&> BoolRefMap; |
| 62 | 62 |
|
| 63 | 63 |
int main() |
| 64 | 64 |
{
|
| 65 | 65 |
// Map concepts |
| 66 | 66 |
checkConcept<ReadMap<A,B>, ReadMap<A,B> >(); |
| 67 | 67 |
checkConcept<ReadMap<A,C>, ReadMap<A,C> >(); |
| 68 | 68 |
checkConcept<WriteMap<A,B>, WriteMap<A,B> >(); |
| 69 | 69 |
checkConcept<WriteMap<A,C>, WriteMap<A,C> >(); |
| 70 | 70 |
checkConcept<ReadWriteMap<A,B>, ReadWriteMap<A,B> >(); |
| 71 | 71 |
checkConcept<ReadWriteMap<A,C>, ReadWriteMap<A,C> >(); |
| 72 |
checkConcept<ReferenceMap<A,B,B&,const B&>, ReferenceMap<A,B,B&,const B&> >(); |
|
| 73 |
checkConcept<ReferenceMap<A,C,C&,const C&>, ReferenceMap<A,C,C&,const C&> >(); |
|
| 72 |
checkConcept<ReferenceMap<A,B,B&,const B&>, |
|
| 73 |
ReferenceMap<A,B,B&,const B&> >(); |
|
| 74 |
checkConcept<ReferenceMap<A,C,C&,const C&>, |
|
| 75 |
ReferenceMap<A,C,C&,const C&> >(); |
|
| 74 | 76 |
|
| 75 | 77 |
// NullMap |
| 76 | 78 |
{
|
| 77 | 79 |
checkConcept<ReadWriteMap<A,B>, NullMap<A,B> >(); |
| 78 | 80 |
NullMap<A,B> map1; |
| 79 | 81 |
NullMap<A,B> map2 = map1; |
| 80 | 82 |
map1 = nullMap<A,B>(); |
| 81 | 83 |
} |
| 82 | 84 |
|
| 83 | 85 |
// ConstMap |
| 84 | 86 |
{
|
| 85 | 87 |
checkConcept<ReadWriteMap<A,B>, ConstMap<A,B> >(); |
| 86 | 88 |
checkConcept<ReadWriteMap<A,C>, ConstMap<A,C> >(); |
| 87 | 89 |
ConstMap<A,B> map1; |
| 88 | 90 |
ConstMap<A,B> map2 = B(); |
| 89 | 91 |
ConstMap<A,B> map3 = map1; |
| 90 | 92 |
map1 = constMap<A>(B()); |
| 91 | 93 |
map1 = constMap<A,B>(); |
| 92 | 94 |
map1.setAll(B()); |
| 93 | 95 |
ConstMap<A,C> map4(C(1)); |
| 94 | 96 |
ConstMap<A,C> map5 = map4; |
| 95 | 97 |
map4 = constMap<A>(C(2)); |
| 96 | 98 |
map4.setAll(C(3)); |
| 97 | 99 |
|
| 98 | 100 |
checkConcept<ReadWriteMap<A,int>, ConstMap<A,int> >(); |
| 99 | 101 |
check(constMap<A>(10)[A()] == 10, "Something is wrong with ConstMap"); |
| 100 | 102 |
|
| 101 | 103 |
checkConcept<ReadWriteMap<A,int>, ConstMap<A,Const<int,10> > >(); |
| 102 | 104 |
ConstMap<A,Const<int,10> > map6; |
| 103 | 105 |
ConstMap<A,Const<int,10> > map7 = map6; |
| 104 | 106 |
map6 = constMap<A,int,10>(); |
| 105 | 107 |
map7 = constMap<A,Const<int,10> >(); |
| 106 | 108 |
check(map6[A()] == 10 && map7[A()] == 10, |
| 107 | 109 |
"Something is wrong with ConstMap"); |
| 108 | 110 |
} |
| 109 | 111 |
|
| 110 | 112 |
// IdentityMap |
| 111 | 113 |
{
|
| 112 | 114 |
checkConcept<ReadMap<A,A>, IdentityMap<A> >(); |
| 113 | 115 |
IdentityMap<A> map1; |
| 114 | 116 |
IdentityMap<A> map2 = map1; |
| 115 | 117 |
map1 = identityMap<A>(); |
| 116 | 118 |
|
| 117 | 119 |
checkConcept<ReadMap<double,double>, IdentityMap<double> >(); |
| 118 | 120 |
check(identityMap<double>()[1.0] == 1.0 && |
| 119 | 121 |
identityMap<double>()[3.14] == 3.14, |
| 120 | 122 |
"Something is wrong with IdentityMap"); |
| 121 | 123 |
} |
| 122 | 124 |
|
| 123 | 125 |
// RangeMap |
| 124 | 126 |
{
|
| 125 | 127 |
checkConcept<ReferenceMap<int,B,B&,const B&>, RangeMap<B> >(); |
| 126 | 128 |
RangeMap<B> map1; |
| 127 | 129 |
RangeMap<B> map2(10); |
| 128 | 130 |
RangeMap<B> map3(10,B()); |
| 129 | 131 |
RangeMap<B> map4 = map1; |
| 130 | 132 |
RangeMap<B> map5 = rangeMap<B>(); |
| 131 | 133 |
RangeMap<B> map6 = rangeMap<B>(10); |
| 132 | 134 |
RangeMap<B> map7 = rangeMap(10,B()); |
| 133 | 135 |
|
| 134 | 136 |
checkConcept< ReferenceMap<int, double, double&, const double&>, |
| 135 | 137 |
RangeMap<double> >(); |
| 136 | 138 |
std::vector<double> v(10, 0); |
| 137 | 139 |
v[5] = 100; |
| 138 | 140 |
RangeMap<double> map8(v); |
| 139 | 141 |
RangeMap<double> map9 = rangeMap(v); |
| 140 | 142 |
check(map9.size() == 10 && map9[2] == 0 && map9[5] == 100, |
| 141 | 143 |
"Something is wrong with RangeMap"); |
| 142 | 144 |
} |
| 143 | 145 |
|
| 144 | 146 |
// SparseMap |
| 145 | 147 |
{
|
| 146 | 148 |
checkConcept<ReferenceMap<A,B,B&,const B&>, SparseMap<A,B> >(); |
| 147 | 149 |
SparseMap<A,B> map1; |
| 148 | 150 |
SparseMap<A,B> map2 = B(); |
| 149 | 151 |
SparseMap<A,B> map3 = sparseMap<A,B>(); |
| 150 | 152 |
SparseMap<A,B> map4 = sparseMap<A>(B()); |
| 151 | 153 |
|
| 152 | 154 |
checkConcept< ReferenceMap<double, int, int&, const int&>, |
| 153 | 155 |
SparseMap<double, int> >(); |
| 154 | 156 |
std::map<double, int> m; |
| 155 | 157 |
SparseMap<double, int> map5(m); |
| 156 | 158 |
SparseMap<double, int> map6(m,10); |
| 157 | 159 |
SparseMap<double, int> map7 = sparseMap(m); |
| 158 | 160 |
SparseMap<double, int> map8 = sparseMap(m,10); |
| 159 | 161 |
|
| 160 | 162 |
check(map5[1.0] == 0 && map5[3.14] == 0 && |
| 161 | 163 |
map6[1.0] == 10 && map6[3.14] == 10, |
| 162 | 164 |
"Something is wrong with SparseMap"); |
| 163 | 165 |
map5[1.0] = map6[3.14] = 100; |
| 164 | 166 |
check(map5[1.0] == 100 && map5[3.14] == 0 && |
| 165 | 167 |
map6[1.0] == 10 && map6[3.14] == 100, |
| 166 | 168 |
"Something is wrong with SparseMap"); |
| 167 | 169 |
} |
| 168 | 170 |
|
| 169 | 171 |
// ComposeMap |
| 170 | 172 |
{
|
| 171 | 173 |
typedef ComposeMap<DoubleMap, ReadMap<B,A> > CompMap; |
| 172 | 174 |
checkConcept<ReadMap<B,double>, CompMap>(); |
| 173 | 175 |
CompMap map1 = CompMap(DoubleMap(),ReadMap<B,A>()); |
| 174 | 176 |
CompMap map2 = composeMap(DoubleMap(), ReadMap<B,A>()); |
| 175 | 177 |
|
| 176 | 178 |
SparseMap<double, bool> m1(false); m1[3.14] = true; |
| 177 | 179 |
RangeMap<double> m2(2); m2[0] = 3.0; m2[1] = 3.14; |
| 178 | 180 |
check(!composeMap(m1,m2)[0] && composeMap(m1,m2)[1], |
| 179 | 181 |
"Something is wrong with ComposeMap") |
| 180 | 182 |
} |
| 181 | 183 |
|
| 182 | 184 |
// CombineMap |
| 183 | 185 |
{
|
| 184 | 186 |
typedef CombineMap<DoubleMap, DoubleMap, std::plus<double> > CombMap; |
| 185 | 187 |
checkConcept<ReadMap<A,double>, CombMap>(); |
| 186 | 188 |
CombMap map1 = CombMap(DoubleMap(), DoubleMap()); |
| 187 | 189 |
CombMap map2 = combineMap(DoubleMap(), DoubleMap(), std::plus<double>()); |
| 188 | 190 |
|
| 189 | 191 |
check(combineMap(constMap<B,int,2>(), identityMap<B>(), &binc)[B()] == 3, |
| 190 | 192 |
"Something is wrong with CombineMap"); |
| 191 | 193 |
} |
| 192 | 194 |
|
| 193 | 195 |
// FunctorToMap, MapToFunctor |
| 194 | 196 |
{
|
| 195 | 197 |
checkConcept<ReadMap<A,B>, FunctorToMap<F,A,B> >(); |
| 196 | 198 |
checkConcept<ReadMap<A,B>, FunctorToMap<F> >(); |
| 197 | 199 |
FunctorToMap<F> map1; |
| 198 | 200 |
FunctorToMap<F> map2 = FunctorToMap<F>(F()); |
| 199 | 201 |
B b = functorToMap(F())[A()]; |
| 200 | 202 |
|
| 201 | 203 |
checkConcept<ReadMap<A,B>, MapToFunctor<ReadMap<A,B> > >(); |
| 202 |
MapToFunctor<ReadMap<A,B> > map = |
|
| 204 |
MapToFunctor<ReadMap<A,B> > map = |
|
| 205 |
MapToFunctor<ReadMap<A,B> >(ReadMap<A,B>()); |
|
| 203 | 206 |
|
| 204 | 207 |
check(functorToMap(&func)[A()] == 3, |
| 205 | 208 |
"Something is wrong with FunctorToMap"); |
| 206 | 209 |
check(mapToFunctor(constMap<A,int>(2))(A()) == 2, |
| 207 | 210 |
"Something is wrong with MapToFunctor"); |
| 208 | 211 |
check(mapToFunctor(functorToMap(&func))(A()) == 3 && |
| 209 | 212 |
mapToFunctor(functorToMap(&func))[A()] == 3, |
| 210 | 213 |
"Something is wrong with FunctorToMap or MapToFunctor"); |
| 211 | 214 |
check(functorToMap(mapToFunctor(constMap<A,int>(2)))[A()] == 2, |
| 212 | 215 |
"Something is wrong with FunctorToMap or MapToFunctor"); |
| 213 | 216 |
} |
| 214 | 217 |
|
| 215 | 218 |
// ConvertMap |
| 216 | 219 |
{
|
| 217 | 220 |
checkConcept<ReadMap<double,double>, |
| 218 | 221 |
ConvertMap<ReadMap<double, int>, double> >(); |
| 219 | 222 |
ConvertMap<RangeMap<bool>, int> map1(rangeMap(1, true)); |
| 220 | 223 |
ConvertMap<RangeMap<bool>, int> map2 = convertMap<int>(rangeMap(2, false)); |
| 221 | 224 |
} |
| 222 | 225 |
|
| 223 | 226 |
// ForkMap |
| 224 | 227 |
{
|
| 225 | 228 |
checkConcept<DoubleWriteMap, ForkMap<DoubleWriteMap, DoubleWriteMap> >(); |
| 226 | 229 |
|
| 227 | 230 |
typedef RangeMap<double> RM; |
| 228 | 231 |
typedef SparseMap<int, double> SM; |
| 229 | 232 |
RM m1(10, -1); |
| 230 | 233 |
SM m2(-1); |
| 231 | 234 |
checkConcept<ReadWriteMap<int, double>, ForkMap<RM, SM> >(); |
| 232 | 235 |
checkConcept<ReadWriteMap<int, double>, ForkMap<SM, RM> >(); |
| 233 | 236 |
ForkMap<RM, SM> map1(m1,m2); |
| 234 | 237 |
ForkMap<SM, RM> map2 = forkMap(m2,m1); |
| 235 | 238 |
map2.set(5, 10); |
| 236 | 239 |
check(m1[1] == -1 && m1[5] == 10 && m2[1] == -1 && |
| 237 | 240 |
m2[5] == 10 && map2[1] == -1 && map2[5] == 10, |
| 238 | 241 |
"Something is wrong with ForkMap"); |
| 239 | 242 |
} |
| 240 | 243 |
|
| 241 | 244 |
// Arithmetic maps: |
| 242 | 245 |
// - AddMap, SubMap, MulMap, DivMap |
| 243 | 246 |
// - ShiftMap, ShiftWriteMap, ScaleMap, ScaleWriteMap |
| 244 | 247 |
// - NegMap, NegWriteMap, AbsMap |
| 245 | 248 |
{
|
| 246 | 249 |
checkConcept<DoubleMap, AddMap<DoubleMap,DoubleMap> >(); |
| 247 | 250 |
checkConcept<DoubleMap, SubMap<DoubleMap,DoubleMap> >(); |
| 248 | 251 |
checkConcept<DoubleMap, MulMap<DoubleMap,DoubleMap> >(); |
| 249 | 252 |
checkConcept<DoubleMap, DivMap<DoubleMap,DoubleMap> >(); |
| 250 | 253 |
|
| 251 | 254 |
ConstMap<int, double> c1(1.0), c2(3.14); |
| 252 | 255 |
IdentityMap<int> im; |
| 253 | 256 |
ConvertMap<IdentityMap<int>, double> id(im); |
| 254 | 257 |
check(addMap(c1,id)[0] == 1.0 && addMap(c1,id)[10] == 11.0, |
| 255 | 258 |
"Something is wrong with AddMap"); |
| 256 | 259 |
check(subMap(id,c1)[0] == -1.0 && subMap(id,c1)[10] == 9.0, |
| 257 | 260 |
"Something is wrong with SubMap"); |
| 258 | 261 |
check(mulMap(id,c2)[0] == 0 && mulMap(id,c2)[2] == 6.28, |
| 259 | 262 |
"Something is wrong with MulMap"); |
| 260 | 263 |
check(divMap(c2,id)[1] == 3.14 && divMap(c2,id)[2] == 1.57, |
| 261 | 264 |
"Something is wrong with DivMap"); |
| 262 | 265 |
|
| 263 | 266 |
checkConcept<DoubleMap, ShiftMap<DoubleMap> >(); |
| 264 | 267 |
checkConcept<DoubleWriteMap, ShiftWriteMap<DoubleWriteMap> >(); |
| 265 | 268 |
checkConcept<DoubleMap, ScaleMap<DoubleMap> >(); |
| 266 | 269 |
checkConcept<DoubleWriteMap, ScaleWriteMap<DoubleWriteMap> >(); |
0 comments (0 inline)