test/graph_copy_test.cc
author kpeter
Tue, 05 Feb 2008 11:23:23 +0000
changeset 2562 27c54b7f4f1d
parent 2391 14a343be7a5a
permissions -rw-r--r--
Improvements and fixes in dim2.h.

- Several doc improvements.
- Fix BoundingBox::operator& implementation.
     1 /* -*- C++ -*-
     2  *
     3  * This file is a part of LEMON, a generic C++ optimization library
     4  *
     5  * Copyright (C) 2003-2008
     6  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
     7  * (Egervary Research Group on Combinatorial Optimization, EGRES).
     8  *
     9  * Permission to use, modify and distribute this software is granted
    10  * provided that this copyright notice appears in all copies. For
    11  * precise terms see the accompanying LICENSE file.
    12  *
    13  * This software is provided "AS IS" with no warranty of any kind,
    14  * express or implied, and with no claim as to its suitability for any
    15  * purpose.
    16  *
    17  */
    18 
    19 #include <lemon/smart_graph.h>
    20 #include <lemon/list_graph.h>
    21 #include <lemon/graph_reader.h>
    22 #include <lemon/graph_utils.h>
    23 #include <lemon/error.h>
    24 
    25 #include "test_tools.h"
    26 
    27 using namespace std;
    28 using namespace lemon;
    29 
    30 void graph_copy_test() {
    31   const int nn = 10;
    32 
    33   SmartGraph source;
    34   SmartGraph::NodeMap<int> snm(source);
    35   SmartGraph::EdgeMap<int> sem(source);
    36   SmartGraph::Node sn = INVALID;
    37   SmartGraph::Edge se = INVALID;
    38 
    39   std::vector<SmartGraph::Node> snv;
    40   for (int i = 0; i < nn; ++i) {
    41     SmartGraph::Node node = source.addNode();
    42     snv.push_back(node);
    43     snm[node] = i * i;
    44     if (i == 0) sn = node;
    45   }
    46 
    47   for (int i = 0; i < nn; ++i) {
    48     for (int j = 0; j < nn; ++j) {
    49       SmartGraph::Edge edge = source.addEdge(snv[i], snv[j]);
    50       sem[edge] = i + j * j;
    51       if (i == 0 && j == 0) se = edge;
    52     }
    53   }
    54 
    55   ListGraph target;
    56   ListGraph::NodeMap<int> tnm(target);
    57   ListGraph::EdgeMap<int> tem(target);
    58   ListGraph::Node tn;
    59   ListGraph::Edge te;
    60 
    61   SmartGraph::NodeMap<ListGraph::Node> nr(source);
    62   SmartGraph::EdgeMap<ListGraph::Edge> er(source);
    63 
    64   ListGraph::NodeMap<SmartGraph::Node> ncr(target);
    65   ListGraph::EdgeMap<SmartGraph::Edge> ecr(target);
    66 
    67   GraphCopy<ListGraph, SmartGraph>(target, source).
    68     nodeMap(tnm, snm).edgeMap(tem, sem).
    69     nodeRef(nr).edgeRef(er).
    70     nodeCrossRef(ncr).edgeCrossRef(ecr).
    71     node(tn, sn).edge(te, se).run();
    72 
    73   for (SmartGraph::NodeIt it(source); it != INVALID; ++it) {
    74     check(ncr[nr[it]] == it, "Wrong copy.");
    75     check(snm[it] == tnm[nr[it]], "Wrong copy.");
    76   }
    77 
    78   for (SmartGraph::EdgeIt it(source); it != INVALID; ++it) {
    79     check(ecr[er[it]] == it, "Wrong copy.");
    80     check(sem[it] == tem[er[it]], "Wrong copy.");
    81     check(nr[source.source(it)] == 
    82                  target.source(er[it]), "Wrong copy.");
    83     check(nr[source.target(it)] == 
    84                  target.target(er[it]), "Wrong copy.");
    85   }
    86 
    87   for (ListGraph::NodeIt it(target); it != INVALID; ++it) {
    88     check(nr[ncr[it]] == it, "Wrong copy.");
    89   }
    90 
    91   for (ListGraph::EdgeIt it(target); it != INVALID; ++it) {
    92     check(er[ecr[it]] == it, "Wrong copy.");
    93   }
    94   check(tn == nr[sn], "Wrong copy.");
    95   check(te == er[se], "Wrong copy.");
    96 }
    97 
    98 void ugraph_copy_test() {
    99   const int nn = 10;
   100 
   101   SmartUGraph source;
   102   SmartUGraph::NodeMap<int> snm(source);
   103   SmartUGraph::EdgeMap<int> sem(source);
   104   SmartUGraph::UEdgeMap<int> suem(source);
   105   SmartUGraph::Node sn = INVALID;
   106   SmartUGraph::Edge se = INVALID;
   107   SmartUGraph::UEdge sue = INVALID;
   108 
   109   std::vector<SmartUGraph::Node> snv;
   110   for (int i = 0; i < nn; ++i) {
   111     SmartUGraph::Node node = source.addNode();
   112     snv.push_back(node);
   113     snm[node] = i * i;
   114     if (i == 0) sn = node;
   115   }
   116 
   117   for (int i = 0; i < nn; ++i) {
   118     for (int j = 0; j < nn; ++j) {
   119       SmartUGraph::UEdge edge = source.addEdge(snv[i], snv[j]);
   120       suem[edge] = i * i + j * j;
   121       sem[source.direct(edge, true)] = i + j * j;
   122       sem[source.direct(edge, false)] = i * i + j;
   123       if (i == 0 && j == 0) se = source.direct(edge, true);
   124       if (i == 0 && j == 0) sue = edge;
   125     }
   126   }
   127   
   128   ListUGraph target;
   129   ListUGraph::NodeMap<int> tnm(target);
   130   ListUGraph::EdgeMap<int> tem(target);
   131   ListUGraph::UEdgeMap<int> tuem(target);
   132   ListUGraph::Node tn;
   133   ListUGraph::Edge te;
   134   ListUGraph::UEdge tue;
   135 
   136   SmartUGraph::NodeMap<ListUGraph::Node> nr(source);
   137   SmartUGraph::EdgeMap<ListUGraph::Edge> er(source);
   138   SmartUGraph::UEdgeMap<ListUGraph::UEdge> uer(source);
   139 
   140   ListUGraph::NodeMap<SmartUGraph::Node> ncr(target);
   141   ListUGraph::EdgeMap<SmartUGraph::Edge> ecr(target);
   142   ListUGraph::UEdgeMap<SmartUGraph::UEdge> uecr(target);
   143 
   144   UGraphCopy<ListUGraph, SmartUGraph>(target, source).
   145     nodeMap(tnm, snm).edgeMap(tem, sem).uEdgeMap(tuem, suem).
   146     nodeRef(nr).edgeRef(er).uEdgeRef(uer).
   147     nodeCrossRef(ncr).edgeCrossRef(ecr).uEdgeCrossRef(uecr).
   148     node(tn, sn).edge(te, se).uEdge(tue, sue).run();
   149 
   150   for (SmartUGraph::NodeIt it(source); it != INVALID; ++it) {
   151     check(ncr[nr[it]] == it, "Wrong copy.");
   152     check(snm[it] == tnm[nr[it]], "Wrong copy.");
   153   }
   154 
   155   for (SmartUGraph::EdgeIt it(source); it != INVALID; ++it) {
   156     check(ecr[er[it]] == it, "Wrong copy.");
   157     check(sem[it] == tem[er[it]], "Wrong copy.");
   158     check(nr[source.source(it)] == 
   159                  target.source(er[it]), "Wrong copy.");
   160     check(nr[source.target(it)] == 
   161                  target.target(er[it]), "Wrong copy.");
   162   }
   163 
   164   for (SmartUGraph::UEdgeIt it(source); it != INVALID; ++it) {
   165     check(uecr[uer[it]] == it, "Wrong copy.");
   166     check(suem[it] == tuem[uer[it]], "Wrong copy.");
   167     check(nr[source.source(it)] == target.source(uer[it]) ||
   168                  nr[source.source(it)] == target.target(uer[it]), 
   169                  "Wrong copy.");
   170     check(nr[source.target(it)] == target.source(uer[it]) ||
   171                  nr[source.target(it)] == target.target(uer[it]), 
   172                  "Wrong copy.");
   173     check((source.source(it) != source.target(it)) ==
   174                  (target.source(uer[it]) != target.target(uer[it])), 
   175                  "Wrong copy.");
   176   }
   177 
   178   for (ListUGraph::NodeIt it(target); it != INVALID; ++it) {
   179     check(nr[ncr[it]] == it, "Wrong copy.");
   180   }
   181 
   182   for (ListUGraph::EdgeIt it(target); it != INVALID; ++it) {
   183     check(er[ecr[it]] == it, "Wrong copy.");
   184   }
   185   for (ListUGraph::UEdgeIt it(target); it != INVALID; ++it) {
   186     check(uer[uecr[it]] == it, "Wrong copy.");
   187   }
   188   check(tn == nr[sn], "Wrong copy.");
   189   check(te == er[se], "Wrong copy.");
   190   check(tue == uer[sue], "Wrong copy.");
   191 }
   192 
   193 void bpugraph_copy_test() {
   194   const int nn = 10;
   195 
   196   SmartBpUGraph source;
   197   SmartBpUGraph::ANodeMap<int> sanm(source);
   198   SmartBpUGraph::BNodeMap<int> sbnm(source);
   199   SmartBpUGraph::NodeMap<int> snm(source);
   200   SmartBpUGraph::EdgeMap<int> sem(source);
   201   SmartBpUGraph::UEdgeMap<int> suem(source);
   202   SmartBpUGraph::Node sn = INVALID;
   203   SmartBpUGraph::Edge se = INVALID;
   204   SmartBpUGraph::UEdge sue = INVALID;
   205 
   206   std::vector<SmartBpUGraph::Node> sanv;
   207   for (int i = 0; i < nn; ++i) {
   208     SmartBpUGraph::Node node = source.addANode();
   209     sanv.push_back(node);
   210     sanm[node] = i * i;
   211     snm[node] = i * i + i;
   212     if (i == 0) sn = node;
   213   }
   214 
   215   std::vector<SmartBpUGraph::Node> sbnv;
   216   for (int i = 0; i < nn; ++i) {
   217     SmartBpUGraph::Node node = source.addBNode();
   218     sbnv.push_back(node);
   219     sbnm[node] = i * i - i;
   220     snm[node] = i * i + i + 1;
   221   }
   222 
   223   for (int i = 0; i < nn; ++i) {
   224     for (int j = 0; j < nn; ++j) {
   225       SmartBpUGraph::UEdge edge = source.addEdge(sanv[i], sbnv[j]);
   226       suem[edge] = i * i + j * j;
   227       sem[source.direct(edge, true)] = i + j * j;
   228       sem[source.direct(edge, false)] = i * i + j;
   229       if (i == 0 && j == 0) se = source.direct(edge, true);
   230       if (i == 0 && j == 0) sue = edge;
   231     }
   232   }
   233   
   234   ListBpUGraph target;
   235   ListBpUGraph::ANodeMap<int> tanm(target);
   236   ListBpUGraph::BNodeMap<int> tbnm(target);
   237   ListBpUGraph::NodeMap<int> tnm(target);
   238   ListBpUGraph::EdgeMap<int> tem(target);
   239   ListBpUGraph::UEdgeMap<int> tuem(target);
   240   ListBpUGraph::Node tn;
   241   ListBpUGraph::Edge te;
   242   ListBpUGraph::UEdge tue;
   243 
   244   SmartBpUGraph::ANodeMap<ListBpUGraph::Node> anr(source);
   245   SmartBpUGraph::BNodeMap<ListBpUGraph::Node> bnr(source);
   246   SmartBpUGraph::NodeMap<ListBpUGraph::Node> nr(source);
   247   SmartBpUGraph::EdgeMap<ListBpUGraph::Edge> er(source);
   248   SmartBpUGraph::UEdgeMap<ListBpUGraph::UEdge> uer(source);
   249 
   250   ListBpUGraph::ANodeMap<SmartBpUGraph::Node> ancr(target);
   251   ListBpUGraph::BNodeMap<SmartBpUGraph::Node> bncr(target);
   252   ListBpUGraph::NodeMap<SmartBpUGraph::Node> ncr(target);
   253   ListBpUGraph::EdgeMap<SmartBpUGraph::Edge> ecr(target);
   254   ListBpUGraph::UEdgeMap<SmartBpUGraph::UEdge> uecr(target);
   255 
   256   BpUGraphCopy<ListBpUGraph, SmartBpUGraph>(target, source).
   257     aNodeMap(tanm, sanm).bNodeMap(tbnm, sbnm).nodeMap(tnm, snm).
   258     edgeMap(tem, sem).uEdgeMap(tuem, suem).
   259     aNodeRef(anr).bNodeRef(bnr).nodeRef(nr).edgeRef(er).uEdgeRef(uer).
   260     aNodeCrossRef(ancr).bNodeCrossRef(bncr).nodeCrossRef(ncr).
   261     edgeCrossRef(ecr).uEdgeCrossRef(uecr).
   262     node(tn, sn).edge(te, se).uEdge(tue, sue).run();
   263 
   264   for (SmartBpUGraph::ANodeIt it(source); it != INVALID; ++it) {
   265     check(nr[it] == anr[it], "Wrong copy.");
   266     check(ancr[anr[it]] == it, "Wrong copy.");
   267     check(sanm[it] == tanm[anr[it]], "Wrong copy.");
   268   }
   269 
   270   for (SmartBpUGraph::BNodeIt it(source); it != INVALID; ++it) {
   271     check(nr[it] == bnr[it], "Wrong copy.");
   272     check(bncr[bnr[it]] == it, "Wrong copy.");
   273     check(sbnm[it] == tbnm[bnr[it]], "Wrong copy.");
   274   }
   275 
   276   for (SmartBpUGraph::NodeIt it(source); it != INVALID; ++it) {
   277     check(ncr[nr[it]] == it, "Wrong copy.");
   278     check(snm[it] == tnm[nr[it]], "Wrong copy.");
   279   }
   280 
   281   for (SmartBpUGraph::EdgeIt it(source); it != INVALID; ++it) {
   282     check(ecr[er[it]] == it, "Wrong copy.");
   283     check(sem[it] == tem[er[it]], "Wrong copy.");
   284     check(nr[source.source(it)] == 
   285                  target.source(er[it]), "Wrong copy.");
   286     check(nr[source.target(it)] == 
   287                  target.target(er[it]), "Wrong copy.");
   288   }
   289 
   290   for (SmartBpUGraph::UEdgeIt it(source); it != INVALID; ++it) {
   291     check(uecr[uer[it]] == it, "Wrong copy.");
   292     check(suem[it] == tuem[uer[it]], "Wrong copy.");
   293     check(nr[source.aNode(it)] == 
   294                  target.aNode(uer[it]), "Wrong copy.");
   295     check(nr[source.bNode(it)] == 
   296                  target.bNode(uer[it]), "Wrong copy.");
   297   }
   298 
   299   for (ListBpUGraph::ANodeIt it(target); it != INVALID; ++it) {
   300     check(ancr[it] == ncr[it], "Wrong copy.");
   301     check(anr[ancr[it]] == it, "Wrong copy.");
   302   }
   303 
   304   for (ListBpUGraph::BNodeIt it(target); it != INVALID; ++it) {
   305     check(bncr[it] == ncr[it], "Wrong copy.");
   306     check(bnr[bncr[it]] == it, "Wrong copy.");
   307   }
   308 
   309   for (ListBpUGraph::NodeIt it(target); it != INVALID; ++it) {
   310     check(nr[ncr[it]] == it, "Wrong copy.");
   311   }
   312 
   313   for (ListBpUGraph::EdgeIt it(target); it != INVALID; ++it) {
   314     check(er[ecr[it]] == it, "Wrong copy.");
   315   }
   316   for (ListBpUGraph::UEdgeIt it(target); it != INVALID; ++it) {
   317     check(uer[uecr[it]] == it, "Wrong copy.");
   318   }
   319   check(tn == nr[sn], "Wrong copy.");
   320   check(te == er[se], "Wrong copy.");
   321   check(tue == uer[sue], "Wrong copy.");
   322 }
   323 
   324 int main() {
   325   graph_copy_test();
   326   ugraph_copy_test();
   327   bpugraph_copy_test();
   328 
   329   return 0; 
   330 }