tools/lgf-gen.cc
author deba
Tue, 09 Oct 2007 17:11:42 +0000
changeset 2491 b63ae56979ef
parent 2453 2800d9efb01d
child 2493 6231d9d3957b
permissions -rw-r--r--
Documentation for lemon tools
alpar@2391
     1
/* -*- C++ -*-
alpar@2391
     2
 *
alpar@2391
     3
 * This file is a part of LEMON, a generic C++ optimization library
alpar@2391
     4
 *
alpar@2391
     5
 * Copyright (C) 2003-2007
alpar@2391
     6
 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
alpar@2391
     7
 * (Egervary Research Group on Combinatorial Optimization, EGRES).
alpar@2391
     8
 *
alpar@2391
     9
 * Permission to use, modify and distribute this software is granted
alpar@2391
    10
 * provided that this copyright notice appears in all copies. For
alpar@2391
    11
 * precise terms see the accompanying LICENSE file.
alpar@2391
    12
 *
alpar@2391
    13
 * This software is provided "AS IS" with no warranty of any kind,
alpar@2391
    14
 * express or implied, and with no claim as to its suitability for any
alpar@2391
    15
 * purpose.
alpar@2391
    16
 *
alpar@2391
    17
 */
deba@2491
    18
///\ingroup tools
deba@2491
    19
///\file
deba@2491
    20
///\brief Special plane graph generator.
deba@2491
    21
///
deba@2491
    22
///Graph generator application for various types of plane graphs.
deba@2491
    23
///
deba@2491
    24
///\verbatim
deba@2491
    25
/// This program converts various DIMACS formats to the LEMON Graph Format
deba@2491
    26
/// (LGF).
deba@2491
    27
///
deba@2491
    28
/// Usage:
deba@2491
    29
///   ./tools/lgf-gen [-2con|-tree|-tsp|-tsp2|-dela] [-disc|-square|-gauss]
deba@2491
    30
///      [-rand|-seed int] [--help|-h|-help] [-area num] [-cities int] [-dir]
deba@2491
    31
///      [-eps] [-g int] [-n int] [prefix]
deba@2491
    32
/// Where:
deba@2491
    33
///   [prefix]
deba@2491
    34
///      Prefix of the output files. Default is 'lgf-gen-out'
deba@2491
    35
///   --help|-h|-help
deba@2491
    36
///      Print a short help message
deba@2491
    37
///   -2con
deba@2491
    38
///      Create a two connected planar graph
deba@2491
    39
///   -area num
deba@2491
    40
///      Full relative area of the cities (default is 1)
deba@2491
    41
///   -cities int
deba@2491
    42
///      Number of cities (default is 1)
deba@2491
    43
///   -dela
deba@2491
    44
///      Delaunay triangulation graph
deba@2491
    45
///   -dir
deba@2491
    46
///      Directed graph is generated (each edges are replaced by two directed ones)
deba@2491
    47
///   -disc
deba@2491
    48
///      Nodes are evenly distributed on a unit disc (default)
deba@2491
    49
///   -eps
deba@2491
    50
///      Also generate .eps output (prefix.eps)
deba@2491
    51
///   -g int
deba@2491
    52
///      Girth parameter (default is 10)
deba@2491
    53
///   -gauss
deba@2491
    54
///      Nodes are located according to a two-dim gauss distribution
deba@2491
    55
///   -n int
deba@2491
    56
///      Number of nodes (default is 100)
deba@2491
    57
///   -rand
deba@2491
    58
///      Use time seed for random number generator
deba@2491
    59
///   -seed int
deba@2491
    60
///      Random seed
deba@2491
    61
///   -square
deba@2491
    62
///      Nodes are evenly distributed on a unit square
deba@2491
    63
///   -tree
deba@2491
    64
///      Create a min. cost spanning tree
deba@2491
    65
///   -tsp
deba@2491
    66
///      Create a TSP tour
deba@2491
    67
///   -tsp2
deba@2491
    68
///      Create a TSP tour (tree based)
deba@2491
    69
///\endverbatim
deba@2491
    70
/// \image html plane_tree.png
deba@2491
    71
/// \image latex plane_tree.eps "Eucledian spanning tree" width=\textwidth
deba@2491
    72
///
deba@2491
    73
alpar@2391
    74
alpar@2390
    75
#include <lemon/list_graph.h>
alpar@2390
    76
#include <lemon/graph_utils.h>
alpar@2390
    77
#include <lemon/random.h>
alpar@2390
    78
#include <lemon/dim2.h>
alpar@2390
    79
#include <lemon/bfs.h>
alpar@2390
    80
#include <lemon/counter.h>
alpar@2390
    81
#include <lemon/suurballe.h>
alpar@2390
    82
#include <lemon/graph_to_eps.h>
alpar@2390
    83
#include <lemon/graph_writer.h>
alpar@2390
    84
#include <lemon/arg_parser.h>
alpar@2446
    85
#include <lemon/euler.h>
alpar@2390
    86
#include <cmath>
alpar@2390
    87
#include <algorithm>
deba@2447
    88
#include <lemon/kruskal.h>
alpar@2402
    89
#include <lemon/time_measure.h>
alpar@2390
    90
alpar@2390
    91
using namespace lemon;
alpar@2390
    92
alpar@2390
    93
typedef dim2::Point<double> Point;
alpar@2390
    94
alpar@2390
    95
UGRAPH_TYPEDEFS(ListUGraph);
alpar@2390
    96
alpar@2402
    97
bool progress=true;
alpar@2402
    98
alpar@2390
    99
int N;
alpar@2402
   100
// int girth;
alpar@2390
   101
alpar@2390
   102
ListUGraph g;
alpar@2390
   103
alpar@2390
   104
std::vector<Node> nodes;
alpar@2390
   105
ListUGraph::NodeMap<Point> coords(g);
alpar@2390
   106
alpar@2446
   107
alpar@2446
   108
double totalLen(){
alpar@2446
   109
  double tlen=0;
alpar@2446
   110
  for(UEdgeIt e(g);e!=INVALID;++e)
alpar@2446
   111
    tlen+=sqrt((coords[g.source(e)]-coords[g.target(e)]).normSquare());
alpar@2446
   112
  return tlen;
alpar@2446
   113
}
alpar@2446
   114
alpar@2390
   115
int tsp_impr_num=0;
alpar@2390
   116
alpar@2390
   117
const double EPSILON=1e-8; 
alpar@2390
   118
bool tsp_improve(Node u, Node v)
alpar@2390
   119
{
alpar@2390
   120
  double luv=std::sqrt((coords[v]-coords[u]).normSquare());
alpar@2390
   121
  Node u2=u;
alpar@2390
   122
  Node v2=v;
alpar@2390
   123
  do {
alpar@2390
   124
    Node n;
alpar@2390
   125
    for(IncEdgeIt e(g,v2);(n=g.runningNode(e))==u2;++e);
alpar@2390
   126
    u2=v2;
alpar@2390
   127
    v2=n;
alpar@2390
   128
    if(luv+std::sqrt((coords[v2]-coords[u2]).normSquare())-EPSILON>
alpar@2390
   129
       std::sqrt((coords[u]-coords[u2]).normSquare())+
alpar@2390
   130
       std::sqrt((coords[v]-coords[v2]).normSquare()))
alpar@2390
   131
      {
alpar@2390
   132
 	g.erase(findUEdge(g,u,v));
alpar@2390
   133
 	g.erase(findUEdge(g,u2,v2));
alpar@2390
   134
	g.addEdge(u2,u);
alpar@2390
   135
	g.addEdge(v,v2);
alpar@2390
   136
	tsp_impr_num++;
alpar@2390
   137
	return true;
alpar@2390
   138
      }
alpar@2390
   139
  } while(v2!=u);
alpar@2390
   140
  return false;
alpar@2390
   141
}
alpar@2390
   142
alpar@2390
   143
bool tsp_improve(Node u)
alpar@2390
   144
{
alpar@2390
   145
  for(IncEdgeIt e(g,u);e!=INVALID;++e)
alpar@2390
   146
    if(tsp_improve(u,g.runningNode(e))) return true;
alpar@2390
   147
  return false;
alpar@2390
   148
}
alpar@2390
   149
alpar@2390
   150
void tsp_improve()
alpar@2390
   151
{
alpar@2390
   152
  bool b;
alpar@2390
   153
  do {
alpar@2390
   154
    b=false;
alpar@2390
   155
    for(NodeIt n(g);n!=INVALID;++n)
alpar@2390
   156
      if(tsp_improve(n)) b=true;
alpar@2390
   157
  } while(b);
alpar@2390
   158
}
alpar@2390
   159
alpar@2390
   160
void tsp()
alpar@2390
   161
{
alpar@2390
   162
  for(int i=0;i<N;i++) g.addEdge(nodes[i],nodes[(i+1)%N]);
alpar@2390
   163
  tsp_improve();
alpar@2390
   164
}
alpar@2390
   165
alpar@2390
   166
class Line
alpar@2390
   167
{
alpar@2390
   168
public:
alpar@2390
   169
  Point a;
alpar@2390
   170
  Point b;
alpar@2390
   171
  Line(Point _a,Point _b) :a(_a),b(_b) {}
alpar@2390
   172
  Line(Node _a,Node _b) : a(coords[_a]),b(coords[_b]) {}
alpar@2390
   173
  Line(const Edge &e) : a(coords[g.source(e)]),b(coords[g.target(e)]) {}
alpar@2390
   174
  Line(const UEdge &e) : a(coords[g.source(e)]),b(coords[g.target(e)]) {}
alpar@2390
   175
};
alpar@2390
   176
  
alpar@2390
   177
inline std::ostream& operator<<(std::ostream &os, const Line &l)
alpar@2390
   178
{
alpar@2390
   179
  os << l.a << "->" << l.b;
alpar@2390
   180
  return os;
alpar@2390
   181
}
alpar@2390
   182
alpar@2390
   183
bool cross(Line a, Line b) 
alpar@2390
   184
{
alpar@2390
   185
  Point ao=rot90(a.b-a.a);
alpar@2390
   186
  Point bo=rot90(b.b-b.a);
alpar@2390
   187
  return (ao*(b.a-a.a))*(ao*(b.b-a.a))<0 &&
alpar@2390
   188
    (bo*(a.a-b.a))*(bo*(a.b-b.a))<0;
alpar@2390
   189
}
alpar@2390
   190
alpar@2390
   191
struct Pedge
alpar@2390
   192
{
alpar@2390
   193
  Node a;
alpar@2390
   194
  Node b;
alpar@2390
   195
  double len;
alpar@2390
   196
};
alpar@2390
   197
alpar@2390
   198
bool pedgeLess(Pedge a,Pedge b)
alpar@2390
   199
{
alpar@2390
   200
  return a.len<b.len;
alpar@2390
   201
}
alpar@2390
   202
alpar@2390
   203
std::vector<UEdge> edges;
alpar@2390
   204
deba@2447
   205
namespace _delaunay_bits {
deba@2447
   206
deba@2447
   207
  struct Part {
deba@2447
   208
    int prev, curr, next;
deba@2447
   209
deba@2447
   210
    Part(int p, int c, int n) : prev(p), curr(c), next(n) {} 
deba@2447
   211
  };
deba@2447
   212
deba@2447
   213
  inline std::ostream& operator<<(std::ostream& os, const Part& part) {
deba@2447
   214
    os << '(' << part.prev << ',' << part.curr << ',' << part.next << ')';
deba@2447
   215
    return os;
deba@2447
   216
  }
deba@2447
   217
deba@2447
   218
  inline double circle_point(const Point& p, const Point& q, const Point& r) {
deba@2447
   219
    double a = p.x * (q.y - r.y) + q.x * (r.y - p.y) + r.x * (p.y - q.y);
deba@2447
   220
    if (a == 0) return std::numeric_limits<double>::quiet_NaN();
deba@2447
   221
deba@2447
   222
    double d = (p.x * p.x + p.y * p.y) * (q.y - r.y) +
deba@2447
   223
      (q.x * q.x + q.y * q.y) * (r.y - p.y) +
deba@2447
   224
      (r.x * r.x + r.y * r.y) * (p.y - q.y);
deba@2447
   225
deba@2447
   226
    double e = (p.x * p.x + p.y * p.y) * (q.x - r.x) +
deba@2447
   227
      (q.x * q.x + q.y * q.y) * (r.x - p.x) +
deba@2447
   228
      (r.x * r.x + r.y * r.y) * (p.x - q.x);
deba@2447
   229
deba@2447
   230
    double f = (p.x * p.x + p.y * p.y) * (q.x * r.y - r.x * q.y) +
deba@2447
   231
      (q.x * q.x + q.y * q.y) * (r.x * p.y - p.x * r.y) +
deba@2447
   232
      (r.x * r.x + r.y * r.y) * (p.x * q.y - q.x * p.y);
deba@2447
   233
deba@2447
   234
    return d / (2 * a) + sqrt((d * d + e * e) / (4 * a * a) + f / a);
deba@2447
   235
  }
deba@2447
   236
deba@2447
   237
  inline bool circle_form(const Point& p, const Point& q, const Point& r) {
deba@2447
   238
    return rot90(q - p) * (r - q) < 0.0;
deba@2447
   239
  }
deba@2447
   240
deba@2447
   241
  inline double intersection(const Point& p, const Point& q, double sx) {
deba@2447
   242
    const double epsilon = 1e-8;
deba@2447
   243
deba@2447
   244
    if (p.x == q.x) return (p.y + q.y) / 2.0;
deba@2447
   245
deba@2447
   246
    if (sx < p.x + epsilon) return p.y;
deba@2447
   247
    if (sx < q.x + epsilon) return q.y;
deba@2447
   248
    
deba@2447
   249
    double a = q.x - p.x;
deba@2447
   250
    double b = (q.x - sx) * p.y - (p.x - sx) * q.y;    
deba@2447
   251
    double d = (q.x - sx) * (p.x - sx) * (p - q).normSquare();
deba@2447
   252
    return (b - sqrt(d)) / a;
deba@2447
   253
  }
deba@2447
   254
deba@2447
   255
  struct YLess {
deba@2447
   256
deba@2447
   257
deba@2447
   258
    YLess(const std::vector<Point>& points, double& sweep) 
deba@2447
   259
      : _points(points), _sweep(sweep) {}
deba@2447
   260
deba@2447
   261
    bool operator()(const Part& l, const Part& r) const {
deba@2447
   262
      const double epsilon = 1e-8;
deba@2447
   263
deba@2447
   264
      //      std::cerr << l << " vs " << r << std::endl;
deba@2447
   265
      double lbx = l.prev != -1 ?
deba@2447
   266
	intersection(_points[l.prev], _points[l.curr], _sweep) :
deba@2447
   267
	- std::numeric_limits<double>::infinity();
deba@2447
   268
      double rbx = r.prev != -1 ?
deba@2447
   269
	intersection(_points[r.prev], _points[r.curr], _sweep) :
deba@2447
   270
	- std::numeric_limits<double>::infinity();
deba@2447
   271
      double lex = l.next != -1 ?
deba@2447
   272
	intersection(_points[l.curr], _points[l.next], _sweep) :
deba@2447
   273
	std::numeric_limits<double>::infinity();
deba@2447
   274
      double rex = r.next != -1 ?
deba@2447
   275
	intersection(_points[r.curr], _points[r.next], _sweep) :
deba@2447
   276
	std::numeric_limits<double>::infinity();
deba@2447
   277
deba@2447
   278
      if (lbx > lex) std::swap(lbx, lex);
deba@2447
   279
      if (rbx > rex) std::swap(rbx, rex);
deba@2447
   280
deba@2447
   281
      if (lex < epsilon + rex && lbx + epsilon < rex) return true;
deba@2447
   282
      if (rex < epsilon + lex && rbx + epsilon < lex) return false;
deba@2447
   283
      return lex < rex;
deba@2447
   284
    }
deba@2447
   285
    
deba@2447
   286
    const std::vector<Point>& _points;
deba@2447
   287
    double& _sweep;
deba@2447
   288
  };
deba@2447
   289
  
deba@2447
   290
  struct BeachIt;
deba@2447
   291
  
deba@2447
   292
  typedef std::multimap<double, BeachIt> SpikeHeap;
deba@2447
   293
deba@2447
   294
  typedef std::multimap<Part, SpikeHeap::iterator, YLess> Beach;
deba@2447
   295
deba@2447
   296
  struct BeachIt {
deba@2447
   297
    Beach::iterator it;
deba@2447
   298
deba@2447
   299
    BeachIt(Beach::iterator iter) : it(iter) {}
deba@2447
   300
  };
deba@2447
   301
deba@2447
   302
}
deba@2447
   303
deba@2447
   304
inline void delaunay() {
alpar@2390
   305
  Counter cnt("Number of edges added: ");
deba@2447
   306
  
deba@2447
   307
  using namespace _delaunay_bits;
deba@2447
   308
deba@2447
   309
  typedef _delaunay_bits::Part Part;
deba@2447
   310
  typedef std::vector<std::pair<double, int> > SiteHeap;
deba@2447
   311
deba@2447
   312
deba@2447
   313
  std::vector<Point> points;
deba@2447
   314
  std::vector<Node> nodes;
deba@2447
   315
deba@2447
   316
  for (NodeIt it(g); it != INVALID; ++it) {
deba@2447
   317
    nodes.push_back(it);
deba@2447
   318
    points.push_back(coords[it]);
deba@2447
   319
  }
deba@2447
   320
deba@2447
   321
  SiteHeap siteheap(points.size());
deba@2447
   322
deba@2447
   323
  double sweep;
deba@2447
   324
deba@2447
   325
deba@2447
   326
  for (int i = 0; i < int(siteheap.size()); ++i) {
deba@2447
   327
    siteheap[i] = std::make_pair(points[i].x, i);
deba@2447
   328
  }
deba@2447
   329
  
deba@2447
   330
  std::sort(siteheap.begin(), siteheap.end());
deba@2447
   331
  sweep = siteheap.front().first;
deba@2447
   332
  
deba@2447
   333
  YLess yless(points, sweep);
deba@2447
   334
  Beach beach(yless);
deba@2447
   335
deba@2447
   336
  SpikeHeap spikeheap;
deba@2447
   337
deba@2447
   338
  std::set<std::pair<int, int> > edges;
deba@2447
   339
deba@2453
   340
  int siteindex = 0;
deba@2453
   341
  {
deba@2453
   342
    SiteHeap front;
deba@2453
   343
deba@2453
   344
    while (siteindex < int(siteheap.size()) &&
deba@2453
   345
	   siteheap[0].first == siteheap[siteindex].first) {
deba@2453
   346
      front.push_back(std::make_pair(points[siteheap[siteindex].second].y,
deba@2453
   347
				     siteheap[siteindex].second));
deba@2453
   348
      ++siteindex;
deba@2453
   349
    }
deba@2453
   350
    
deba@2453
   351
    std::sort(front.begin(), front.end());
deba@2453
   352
deba@2453
   353
    for (int i = 0; i < int(front.size()); ++i) {
deba@2453
   354
      int prev = (i == 0 ? -1 : front[i - 1].second);
deba@2453
   355
      int curr = front[i].second;
deba@2453
   356
      int next = (i + 1 == int(front.size()) ? -1 : front[i + 1].second);
deba@2453
   357
deba@2453
   358
      beach.insert(std::make_pair(Part(prev, curr, next), 
deba@2453
   359
				  spikeheap.end()));      
deba@2453
   360
    }
deba@2453
   361
  }
deba@2447
   362
deba@2447
   363
  while (siteindex < int(points.size()) || !spikeheap.empty()) {
deba@2447
   364
deba@2447
   365
    SpikeHeap::iterator spit = spikeheap.begin();
deba@2447
   366
deba@2447
   367
    if (siteindex < int(points.size()) && 
deba@2447
   368
	(spit == spikeheap.end() || siteheap[siteindex].first < spit->first)) {
deba@2447
   369
      int site = siteheap[siteindex].second;
deba@2447
   370
      sweep = siteheap[siteindex].first;
deba@2447
   371
          
deba@2447
   372
      Beach::iterator bit = beach.upper_bound(Part(site, site, site));
deba@2447
   373
      
deba@2447
   374
      if (bit->second != spikeheap.end()) {
deba@2447
   375
	spikeheap.erase(bit->second);	
deba@2447
   376
      }
deba@2447
   377
deba@2447
   378
      int prev = bit->first.prev;
deba@2447
   379
      int curr = bit->first.curr;
deba@2447
   380
      int next = bit->first.next;
deba@2447
   381
deba@2447
   382
      beach.erase(bit);
deba@2447
   383
      
deba@2447
   384
      SpikeHeap::iterator pit = spikeheap.end();
deba@2447
   385
      if (prev != -1 && 
deba@2447
   386
	  circle_form(points[prev], points[curr], points[site])) {
deba@2447
   387
	double x = circle_point(points[prev], points[curr], points[site]);
deba@2447
   388
	pit = spikeheap.insert(std::make_pair(x, BeachIt(beach.end())));
deba@2447
   389
	pit->second.it =
deba@2447
   390
	  beach.insert(std::make_pair(Part(prev, curr, site), pit));
deba@2447
   391
      } else {
deba@2447
   392
	beach.insert(std::make_pair(Part(prev, curr, site), pit));
deba@2447
   393
      }
deba@2447
   394
deba@2447
   395
      beach.insert(std::make_pair(Part(curr, site, curr), spikeheap.end()));
deba@2447
   396
      
deba@2447
   397
      SpikeHeap::iterator nit = spikeheap.end();
deba@2447
   398
      if (next != -1 && 
deba@2447
   399
	  circle_form(points[site], points[curr],points[next])) {
deba@2447
   400
	double x = circle_point(points[site], points[curr], points[next]);
deba@2447
   401
	nit = spikeheap.insert(std::make_pair(x, BeachIt(beach.end())));
deba@2447
   402
	nit->second.it =
deba@2447
   403
	  beach.insert(std::make_pair(Part(site, curr, next), nit));
deba@2447
   404
      } else {
deba@2447
   405
	beach.insert(std::make_pair(Part(site, curr, next), nit));
deba@2447
   406
      }
deba@2447
   407
      
deba@2447
   408
      ++siteindex;
deba@2447
   409
    } else {
deba@2447
   410
      sweep = spit->first;      
deba@2447
   411
deba@2447
   412
      Beach::iterator bit = spit->second.it;
deba@2447
   413
deba@2447
   414
      int prev = bit->first.prev;
deba@2447
   415
      int curr = bit->first.curr;
deba@2447
   416
      int next = bit->first.next;
deba@2447
   417
alpar@2390
   418
      {
deba@2447
   419
	std::pair<int, int> edge;
deba@2447
   420
deba@2447
   421
	edge = prev < curr ? 
deba@2447
   422
	  std::make_pair(prev, curr) : std::make_pair(curr, prev);
deba@2447
   423
	
deba@2447
   424
	if (edges.find(edge) == edges.end()) {
deba@2447
   425
	  edges.insert(edge);
deba@2447
   426
	  g.addEdge(nodes[prev], nodes[curr]);
deba@2447
   427
	  ++cnt;
deba@2447
   428
	}
deba@2447
   429
deba@2447
   430
	edge = curr < next ? 
deba@2447
   431
	  std::make_pair(curr, next) : std::make_pair(next, curr);
deba@2447
   432
	
deba@2447
   433
	if (edges.find(edge) == edges.end()) {
deba@2447
   434
	  edges.insert(edge);
deba@2447
   435
	  g.addEdge(nodes[curr], nodes[next]);
deba@2447
   436
	  ++cnt;
deba@2447
   437
	}
alpar@2390
   438
      }
deba@2447
   439
      
deba@2447
   440
      Beach::iterator pbit = bit; --pbit;
deba@2447
   441
      int ppv = pbit->first.prev;
deba@2447
   442
      Beach::iterator nbit = bit; ++nbit;
deba@2447
   443
      int nnt = nbit->first.next;
deba@2447
   444
deba@2447
   445
      if (bit->second != spikeheap.end()) spikeheap.erase(bit->second);
deba@2447
   446
      if (pbit->second != spikeheap.end()) spikeheap.erase(pbit->second);
deba@2447
   447
      if (nbit->second != spikeheap.end()) spikeheap.erase(nbit->second);
deba@2447
   448
deba@2447
   449
      beach.erase(nbit);
deba@2447
   450
      beach.erase(bit);
deba@2447
   451
      beach.erase(pbit);
deba@2447
   452
deba@2447
   453
      SpikeHeap::iterator pit = spikeheap.end();
deba@2447
   454
      if (ppv != -1 && ppv != next && 
deba@2447
   455
	  circle_form(points[ppv], points[prev], points[next])) {
deba@2447
   456
	double x = circle_point(points[ppv], points[prev], points[next]);
deba@2447
   457
	if (x < sweep) x = sweep;
deba@2447
   458
	pit = spikeheap.insert(std::make_pair(x, BeachIt(beach.end())));
deba@2447
   459
	pit->second.it =
deba@2447
   460
	  beach.insert(std::make_pair(Part(ppv, prev, next), pit));
deba@2447
   461
      } else {
deba@2447
   462
	beach.insert(std::make_pair(Part(ppv, prev, next), pit));
alpar@2390
   463
      }
deba@2447
   464
deba@2447
   465
      SpikeHeap::iterator nit = spikeheap.end();
deba@2447
   466
      if (nnt != -1 && prev != nnt &&
deba@2447
   467
	  circle_form(points[prev], points[next], points[nnt])) {
deba@2447
   468
	double x = circle_point(points[prev], points[next], points[nnt]);
deba@2447
   469
	if (x < sweep) x = sweep;
deba@2447
   470
	nit = spikeheap.insert(std::make_pair(x, BeachIt(beach.end())));
deba@2447
   471
	nit->second.it =
deba@2447
   472
	  beach.insert(std::make_pair(Part(prev, next, nnt), nit));
deba@2447
   473
      } else {
deba@2447
   474
	beach.insert(std::make_pair(Part(prev, next, nnt), nit));
deba@2447
   475
      }
deba@2447
   476
      
alpar@2390
   477
    }
deba@2447
   478
  }
deba@2447
   479
deba@2447
   480
  for (Beach::iterator it = beach.begin(); it != beach.end(); ++it) {
deba@2447
   481
    int curr = it->first.curr;
deba@2447
   482
    int next = it->first.next;
deba@2447
   483
deba@2447
   484
    if (next == -1) continue;
deba@2447
   485
deba@2447
   486
    std::pair<int, int> edge;
deba@2447
   487
deba@2447
   488
    edge = curr < next ? 
deba@2447
   489
      std::make_pair(curr, next) : std::make_pair(next, curr);
deba@2447
   490
    
deba@2447
   491
    if (edges.find(edge) == edges.end()) {
deba@2447
   492
      edges.insert(edge);
deba@2447
   493
      g.addEdge(nodes[curr], nodes[next]);
deba@2447
   494
      ++cnt;
deba@2447
   495
    }
deba@2447
   496
  }
alpar@2390
   497
}
alpar@2390
   498
alpar@2390
   499
void sparse(int d) 
alpar@2390
   500
{
alpar@2390
   501
  Counter cnt("Number of edges removed: ");
alpar@2390
   502
  Bfs<ListUGraph> bfs(g);
alpar@2390
   503
  for(std::vector<UEdge>::reverse_iterator ei=edges.rbegin();
alpar@2390
   504
      ei!=edges.rend();++ei)
alpar@2390
   505
    {
alpar@2390
   506
      Node a=g.source(*ei);
alpar@2390
   507
      Node b=g.target(*ei);
alpar@2390
   508
      g.erase(*ei);
alpar@2390
   509
      bfs.run(a,b);
alpar@2390
   510
      if(bfs.predEdge(b)==INVALID || bfs.dist(b)>d)
alpar@2390
   511
	g.addEdge(a,b);
alpar@2390
   512
      else cnt++;
alpar@2390
   513
    }
alpar@2390
   514
}
alpar@2390
   515
alpar@2390
   516
void sparse2(int d) 
alpar@2390
   517
{
alpar@2390
   518
  Counter cnt("Number of edges removed: ");
alpar@2390
   519
  for(std::vector<UEdge>::reverse_iterator ei=edges.rbegin();
alpar@2390
   520
      ei!=edges.rend();++ei)
alpar@2390
   521
    {
alpar@2390
   522
      Node a=g.source(*ei);
alpar@2390
   523
      Node b=g.target(*ei);
alpar@2390
   524
      g.erase(*ei);
alpar@2390
   525
      ConstMap<Edge,int> cegy(1);
alpar@2390
   526
      Suurballe<ListUGraph,ConstMap<Edge,int> > sur(g,cegy,a,b);
alpar@2390
   527
      int k=sur.run(2);
alpar@2390
   528
      if(k<2 || sur.totalLength()>d)
alpar@2390
   529
	g.addEdge(a,b);
alpar@2390
   530
      else cnt++;
alpar@2390
   531
//       else std::cout << "Remove edge " << g.id(a) << "-" << g.id(b) << '\n';
alpar@2390
   532
    }
alpar@2390
   533
}
alpar@2390
   534
alpar@2390
   535
void sparseTriangle(int d)
alpar@2390
   536
{
alpar@2390
   537
  Counter cnt("Number of edges added: ");
alpar@2390
   538
  std::vector<Pedge> pedges;
alpar@2390
   539
  for(NodeIt n(g);n!=INVALID;++n) 
alpar@2390
   540
    for(NodeIt m=++(NodeIt(n));m!=INVALID;++m)
alpar@2390
   541
      {
alpar@2390
   542
	Pedge p;
alpar@2390
   543
	p.a=n;
alpar@2390
   544
	p.b=m;
alpar@2390
   545
	p.len=(coords[m]-coords[n]).normSquare();
alpar@2390
   546
	pedges.push_back(p);
alpar@2390
   547
      }
alpar@2390
   548
  std::sort(pedges.begin(),pedges.end(),pedgeLess);
alpar@2390
   549
  for(std::vector<Pedge>::iterator pi=pedges.begin();pi!=pedges.end();++pi)
alpar@2390
   550
    {
alpar@2390
   551
      Line li(pi->a,pi->b);
alpar@2390
   552
      UEdgeIt e(g);
alpar@2390
   553
      for(;e!=INVALID && !cross(e,li);++e) ;
alpar@2390
   554
      UEdge ne;
alpar@2390
   555
      if(e==INVALID) {
alpar@2390
   556
	ConstMap<Edge,int> cegy(1);
alpar@2390
   557
	Suurballe<ListUGraph,ConstMap<Edge,int> >
alpar@2390
   558
	  sur(g,cegy,pi->a,pi->b);
alpar@2390
   559
	int k=sur.run(2);
alpar@2390
   560
	if(k<2 || sur.totalLength()>d)
alpar@2390
   561
	  {
alpar@2390
   562
	    ne=g.addEdge(pi->a,pi->b);
alpar@2390
   563
	    edges.push_back(ne);
alpar@2390
   564
	    cnt++;
alpar@2390
   565
	  }
alpar@2390
   566
      }
alpar@2390
   567
    }
alpar@2390
   568
}
alpar@2390
   569
deba@2447
   570
template <typename UGraph, typename CoordMap>
deba@2447
   571
class LengthSquareMap {
deba@2447
   572
public:
deba@2447
   573
  typedef typename UGraph::UEdge Key;
deba@2447
   574
  typedef typename CoordMap::Value::Value Value;
deba@2447
   575
deba@2447
   576
  LengthSquareMap(const UGraph& ugraph, const CoordMap& coords)
deba@2447
   577
    : _ugraph(ugraph), _coords(coords) {}
deba@2447
   578
deba@2447
   579
  Value operator[](const Key& key) const {
deba@2447
   580
    return (_coords[_ugraph.target(key)] -
deba@2447
   581
	    _coords[_ugraph.source(key)]).normSquare();
deba@2447
   582
  }
deba@2447
   583
deba@2447
   584
private:
deba@2447
   585
deba@2447
   586
  const UGraph& _ugraph;
deba@2447
   587
  const CoordMap& _coords;
deba@2447
   588
};
deba@2447
   589
alpar@2390
   590
void minTree() {
alpar@2390
   591
  std::vector<Pedge> pedges;
alpar@2402
   592
  Timer T;
deba@2447
   593
  std::cout << T.realTime() << "s: Creating delaunay triangulation...\n";
deba@2447
   594
  delaunay();
deba@2447
   595
  std::cout << T.realTime() << "s: Calculating spanning tree...\n";
deba@2447
   596
  LengthSquareMap<ListUGraph, ListUGraph::NodeMap<Point> > ls(g, coords);
deba@2447
   597
  ListUGraph::UEdgeMap<bool> tree(g);
deba@2447
   598
  kruskal(g, ls, tree);
deba@2447
   599
  std::cout << T.realTime() << "s: Removing non tree edges...\n";
deba@2447
   600
  std::vector<UEdge> remove;
deba@2447
   601
  for (UEdgeIt e(g); e != INVALID; ++e) {
deba@2447
   602
    if (!tree[e]) remove.push_back(e);
deba@2447
   603
  }
deba@2447
   604
  for(int i = 0; i < int(remove.size()); ++i) {
deba@2447
   605
    g.erase(remove[i]);
deba@2447
   606
  }
alpar@2402
   607
  std::cout << T.realTime() << "s: Done\n";
alpar@2390
   608
}
alpar@2390
   609
alpar@2446
   610
void tsp2() 
alpar@2446
   611
{
alpar@2446
   612
  std::cout << "Find a tree..." << std::endl;
alpar@2446
   613
alpar@2446
   614
  minTree();
alpar@2446
   615
alpar@2446
   616
  std::cout << "Total edge length (tree) : " << totalLen() << std::endl;
alpar@2446
   617
alpar@2446
   618
  std::cout << "Make it Euler..." << std::endl;
alpar@2446
   619
alpar@2446
   620
  {
alpar@2446
   621
    std::vector<Node> leafs;
alpar@2446
   622
    for(NodeIt n(g);n!=INVALID;++n)
alpar@2446
   623
      if(countIncEdges(g,n)%2==1) leafs.push_back(n);
alpar@2448
   624
alpar@2448
   625
//    for(unsigned int i=0;i<leafs.size();i+=2)
alpar@2448
   626
//       g.addEdge(leafs[i],leafs[i+1]);
alpar@2448
   627
alpar@2448
   628
    std::vector<Pedge> pedges;
alpar@2448
   629
    for(unsigned int i=0;i<leafs.size()-1;i++)
alpar@2448
   630
      for(unsigned int j=i+1;j<leafs.size();j++)
alpar@2448
   631
	{
alpar@2448
   632
	  Node n=leafs[i];
alpar@2448
   633
	  Node m=leafs[j];
alpar@2448
   634
	  Pedge p;
alpar@2448
   635
	  p.a=n;
alpar@2448
   636
	  p.b=m;
alpar@2448
   637
	  p.len=(coords[m]-coords[n]).normSquare();
alpar@2448
   638
	  pedges.push_back(p);
alpar@2448
   639
	}
alpar@2448
   640
    std::sort(pedges.begin(),pedges.end(),pedgeLess);
alpar@2448
   641
    for(unsigned int i=0;i<pedges.size();i++)
alpar@2448
   642
      if(countIncEdges(g,pedges[i].a)%2 &&
alpar@2448
   643
	 countIncEdges(g,pedges[i].b)%2)
alpar@2448
   644
	g.addEdge(pedges[i].a,pedges[i].b);
alpar@2446
   645
  }
alpar@2446
   646
alpar@2446
   647
  for(NodeIt n(g);n!=INVALID;++n)
alpar@2448
   648
    if(countIncEdges(g,n)%2 || countIncEdges(g,n)==0 )
alpar@2446
   649
      std::cout << "GEBASZ!!!" << std::endl;
alpar@2446
   650
  
alpar@2448
   651
  for(UEdgeIt e(g);e!=INVALID;++e)
alpar@2448
   652
    if(g.source(e)==g.target(e))
alpar@2448
   653
      std::cout << "LOOP GEBASZ!!!" << std::endl;
alpar@2448
   654
  
alpar@2446
   655
  std::cout << "Number of edges : " << countUEdges(g) << std::endl;
alpar@2446
   656
  
alpar@2446
   657
  std::cout << "Total edge length (euler) : " << totalLen() << std::endl;
alpar@2446
   658
alpar@2448
   659
  ListUGraph::UEdgeMap<Edge> enext(g);
alpar@2446
   660
  {
alpar@2446
   661
    UEulerIt<ListUGraph> e(g);
alpar@2448
   662
    Edge eo=e;
alpar@2448
   663
    Edge ef=e;
alpar@2446
   664
//     std::cout << "Tour edge: " << g.id(UEdge(e)) << std::endl;      
alpar@2446
   665
    for(++e;e!=INVALID;++e)
alpar@2446
   666
      {
alpar@2446
   667
// 	std::cout << "Tour edge: " << g.id(UEdge(e)) << std::endl;      
alpar@2446
   668
	enext[eo]=e;
alpar@2446
   669
	eo=e;
alpar@2446
   670
      }
alpar@2446
   671
    enext[eo]=ef;
alpar@2446
   672
  }
alpar@2448
   673
    
alpar@2446
   674
  std::cout << "Creating a tour from that..." << std::endl;
alpar@2446
   675
  
alpar@2446
   676
  int nnum = countNodes(g);
alpar@2446
   677
  int ednum = countUEdges(g);
alpar@2446
   678
  
alpar@2448
   679
  for(Edge p=enext[UEdgeIt(g)];ednum>nnum;p=enext[p]) 
alpar@2446
   680
    {
alpar@2446
   681
//       std::cout << "Checking edge " << g.id(p) << std::endl;      
alpar@2448
   682
      Edge e=enext[p];
alpar@2448
   683
      Edge f=enext[e];
alpar@2448
   684
      Node n2=g.source(f);
alpar@2446
   685
      Node n1=g.oppositeNode(n2,e);
alpar@2446
   686
      Node n3=g.oppositeNode(n2,f);
alpar@2446
   687
      if(countIncEdges(g,n2)>2)
alpar@2446
   688
	{
alpar@2446
   689
// 	  std::cout << "Remove an Edge" << std::endl;
alpar@2448
   690
	  Edge ff=enext[f];
alpar@2446
   691
	  g.erase(e);
alpar@2446
   692
	  g.erase(f);
alpar@2448
   693
	  if(n1!=n3)
alpar@2448
   694
	    {
alpar@2448
   695
	      Edge ne=g.direct(g.addEdge(n1,n3),n1);
alpar@2448
   696
	      enext[p]=ne;
alpar@2448
   697
	      enext[ne]=ff;
alpar@2448
   698
	      ednum--;
alpar@2448
   699
	    }
alpar@2448
   700
	  else {
alpar@2448
   701
	    enext[p]=ff;
alpar@2448
   702
	    ednum-=2;
alpar@2448
   703
	  }
alpar@2446
   704
	}
alpar@2446
   705
    }
alpar@2446
   706
alpar@2446
   707
  std::cout << "Total edge length (tour) : " << totalLen() << std::endl;
alpar@2446
   708
alpar@2448
   709
  std::cout << "2-opt the tour..." << std::endl;
alpar@2448
   710
  
alpar@2446
   711
  tsp_improve();
alpar@2446
   712
  
alpar@2446
   713
  std::cout << "Total edge length (2-opt tour) : " << totalLen() << std::endl;
alpar@2446
   714
}
alpar@2390
   715
alpar@2390
   716
deba@2410
   717
int main(int argc,const char **argv) 
alpar@2390
   718
{
alpar@2390
   719
  ArgParser ap(argc,argv);
alpar@2390
   720
alpar@2402
   721
//   bool eps;
alpar@2390
   722
  bool disc_d, square_d, gauss_d;
alpar@2402
   723
//   bool tsp_a,two_a,tree_a;
alpar@2390
   724
  int num_of_cities=1;
alpar@2390
   725
  double area=1;
alpar@2390
   726
  N=100;
alpar@2402
   727
//   girth=10;
alpar@2390
   728
  std::string ndist("disc");
alpar@2402
   729
  ap.refOption("n", "Number of nodes (default is 100)", N)
alpar@2402
   730
    .intOption("g", "Girth parameter (default is 10)", 10)
alpar@2402
   731
    .refOption("cities", "Number of cities (default is 1)", num_of_cities)
alpar@2402
   732
    .refOption("area", "Full relative area of the cities (default is 1)", area)
alpar@2402
   733
    .refOption("disc", "Nodes are evenly distributed on a unit disc (default)",disc_d)
alpar@2390
   734
    .optionGroup("dist", "disc")
alpar@2402
   735
    .refOption("square", "Nodes are evenly distributed on a unit square", square_d)
alpar@2390
   736
    .optionGroup("dist", "square")
alpar@2402
   737
    .refOption("gauss",
alpar@2390
   738
	    "Nodes are located according to a two-dim gauss distribution",
alpar@2390
   739
	    gauss_d)
alpar@2390
   740
    .optionGroup("dist", "gauss")
alpar@2390
   741
//     .mandatoryGroup("dist")
alpar@2390
   742
    .onlyOneGroup("dist")
alpar@2402
   743
    .boolOption("eps", "Also generate .eps output (prefix.eps)")
alpar@2446
   744
    .boolOption("dir", "Directed graph is generated (each edges are replaced by two directed ones)")
alpar@2402
   745
    .boolOption("2con", "Create a two connected planar graph")
alpar@2390
   746
    .optionGroup("alg","2con")
alpar@2402
   747
    .boolOption("tree", "Create a min. cost spanning tree")
alpar@2390
   748
    .optionGroup("alg","tree")
alpar@2402
   749
    .boolOption("tsp", "Create a TSP tour")
alpar@2390
   750
    .optionGroup("alg","tsp")
alpar@2446
   751
    .boolOption("tsp2", "Create a TSP tour (tree based)")
alpar@2446
   752
    .optionGroup("alg","tsp2")
deba@2447
   753
    .boolOption("dela", "Delaunay triangulation graph")
deba@2447
   754
    .optionGroup("alg","dela")
alpar@2390
   755
    .onlyOneGroup("alg")
deba@2447
   756
    .boolOption("rand", "Use time seed for random number generator")
deba@2447
   757
    .optionGroup("rand", "rand")
deba@2447
   758
    .intOption("seed", "Random seed", -1)
deba@2447
   759
    .optionGroup("rand", "seed")
deba@2447
   760
    .onlyOneGroup("rand")
alpar@2390
   761
    .other("[prefix]","Prefix of the output files. Default is 'lgf-gen-out'")
alpar@2390
   762
    .run();
deba@2447
   763
deba@2447
   764
  if (ap["rand"]) {
deba@2447
   765
    int seed = time(0);
deba@2447
   766
    std::cout << "Random number seed: " << seed << std::endl;
deba@2447
   767
    rnd = Random(seed);
deba@2447
   768
  }
deba@2447
   769
  if (ap.given("seed")) {
deba@2447
   770
    int seed = ap["seed"];
deba@2447
   771
    std::cout << "Random number seed: " << seed << std::endl;
deba@2447
   772
    rnd = Random(seed);
deba@2447
   773
  }
alpar@2390
   774
  
alpar@2390
   775
  std::string prefix;
alpar@2390
   776
  switch(ap.files().size()) 
alpar@2390
   777
    {
alpar@2390
   778
    case 0:
alpar@2390
   779
      prefix="lgf-gen-out";
alpar@2390
   780
      break;
alpar@2390
   781
    case 1:
alpar@2390
   782
      prefix=ap.files()[0];
alpar@2390
   783
      break;
alpar@2390
   784
    default:
alpar@2390
   785
      std::cerr << "\nAt most one prefix can be given\n\n";
alpar@2390
   786
      exit(1);
alpar@2390
   787
    }
alpar@2390
   788
  
alpar@2390
   789
  double sum_sizes=0;
alpar@2390
   790
  std::vector<double> sizes;
alpar@2390
   791
  std::vector<double> cum_sizes;
alpar@2390
   792
  for(int s=0;s<num_of_cities;s++) 
alpar@2390
   793
    {
alpar@2390
   794
      // 	sum_sizes+=rnd.exponential();
alpar@2390
   795
      double d=rnd();
alpar@2390
   796
      sum_sizes+=d;
alpar@2390
   797
      sizes.push_back(d);
alpar@2390
   798
      cum_sizes.push_back(sum_sizes);
alpar@2390
   799
    }
alpar@2390
   800
  int i=0;
alpar@2390
   801
  for(int s=0;s<num_of_cities;s++) 
alpar@2390
   802
    {
alpar@2390
   803
      Point center=(num_of_cities==1?Point(0,0):rnd.disc());
alpar@2390
   804
      if(gauss_d)
alpar@2390
   805
	for(;i<N*(cum_sizes[s]/sum_sizes);i++) {
alpar@2390
   806
	  Node n=g.addNode();
alpar@2390
   807
	  nodes.push_back(n);
alpar@2390
   808
	  coords[n]=center+rnd.gauss2()*area*
alpar@2390
   809
	    std::sqrt(sizes[s]/sum_sizes);
alpar@2390
   810
	}
alpar@2390
   811
      else if(square_d)
alpar@2390
   812
	for(;i<N*(cum_sizes[s]/sum_sizes);i++) {
alpar@2390
   813
	  Node n=g.addNode();
alpar@2390
   814
	  nodes.push_back(n);
alpar@2390
   815
	  coords[n]=center+Point(rnd()*2-1,rnd()*2-1)*area*
alpar@2390
   816
	    std::sqrt(sizes[s]/sum_sizes);
alpar@2390
   817
	}
alpar@2390
   818
      else if(disc_d || true)
alpar@2390
   819
	for(;i<N*(cum_sizes[s]/sum_sizes);i++) {
alpar@2390
   820
	  Node n=g.addNode();
alpar@2390
   821
	  nodes.push_back(n);
alpar@2390
   822
	  coords[n]=center+rnd.disc()*area*
alpar@2390
   823
	    std::sqrt(sizes[s]/sum_sizes);
alpar@2390
   824
	}
alpar@2390
   825
    }
deba@2447
   826
deba@2447
   827
//   for (ListUGraph::NodeIt n(g); n != INVALID; ++n) {
deba@2447
   828
//     std::cerr << coords[n] << std::endl;
deba@2447
   829
//   }
alpar@2390
   830
  
alpar@2402
   831
  if(ap["tsp"]) {
alpar@2390
   832
    tsp();
alpar@2390
   833
    std::cout << "#2-opt improvements: " << tsp_impr_num << std::endl;
alpar@2390
   834
  }
alpar@2446
   835
  if(ap["tsp2"]) {
alpar@2446
   836
    tsp2();
alpar@2446
   837
    std::cout << "#2-opt improvements: " << tsp_impr_num << std::endl;
alpar@2446
   838
  }
alpar@2402
   839
  else if(ap["2con"]) {
alpar@2390
   840
    std::cout << "Make triangles\n";
alpar@2390
   841
    //   triangle();
alpar@2402
   842
    sparseTriangle(ap["g"]);
alpar@2390
   843
    std::cout << "Make it sparser\n";
alpar@2402
   844
    sparse2(ap["g"]);
alpar@2390
   845
  }
alpar@2402
   846
  else if(ap["tree"]) {
alpar@2390
   847
    minTree();
alpar@2390
   848
  }
deba@2447
   849
  else if(ap["dela"]) {
deba@2447
   850
    delaunay();
deba@2447
   851
  }
alpar@2390
   852
  
alpar@2390
   853
alpar@2390
   854
  std::cout << "Number of nodes    : " << countNodes(g) << std::endl;
alpar@2390
   855
  std::cout << "Number of edges    : " << countUEdges(g) << std::endl;
alpar@2390
   856
  double tlen=0;
alpar@2390
   857
  for(UEdgeIt e(g);e!=INVALID;++e)
alpar@2390
   858
    tlen+=sqrt((coords[g.source(e)]-coords[g.target(e)]).normSquare());
alpar@2390
   859
  std::cout << "Total edge length  : " << tlen << std::endl;
alpar@2448
   860
alpar@2402
   861
  if(ap["eps"])
deba@2453
   862
    graphToEps(g,prefix+".eps").scaleToA4().
alpar@2390
   863
      scale(600).nodeScale(.2).edgeWidthScale(.001).preScale(false).
alpar@2390
   864
      coords(coords).run();
alpar@2448
   865
  
alpar@2446
   866
  if(ap["dir"])
alpar@2446
   867
    GraphWriter<ListUGraph>(prefix+".lgf",g).
alpar@2446
   868
      writeNodeMap("coordinates_x",scaleMap(xMap(coords),600)).
alpar@2446
   869
      writeNodeMap("coordinates_y",scaleMap(yMap(coords),600)).
alpar@2446
   870
      run();
alpar@2446
   871
  else UGraphWriter<ListUGraph>(prefix+".lgf",g).
alpar@2446
   872
	 writeNodeMap("coordinates_x",scaleMap(xMap(coords),600)).
alpar@2446
   873
	 writeNodeMap("coordinates_y",scaleMap(yMap(coords),600)).
alpar@2446
   874
	 run();
alpar@2390
   875
}
alpar@2390
   876