lemon/dim2.h
author deba
Fri, 15 Jun 2007 14:36:24 +0000
changeset 2457 8c791ee69a45
parent 2391 14a343be7a5a
child 2553 bfced05fa852
permissions -rw-r--r--
Improvments in min cost flow algorithms
- improved cycle cancelling
     1 /* -*- C++ -*-
     2  *
     3  * This file is a part of LEMON, a generic C++ optimization library
     4  *
     5  * Copyright (C) 2003-2007
     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 #ifndef LEMON_DIM2_H
    20 #define LEMON_DIM2_H
    21 
    22 #include <iostream>
    23 #include <lemon/bits/utility.h>
    24 
    25 ///\ingroup misc
    26 ///\file
    27 ///\brief A simple two dimensional vector and a bounding box implementation 
    28 ///
    29 /// The class \ref lemon::dim2::Point "dim2::Point" implements
    30 ///a two dimensional vector with the usual
    31 /// operations.
    32 ///
    33 /// The class \ref lemon::dim2::BoundingBox "dim2::BoundingBox"
    34 /// can be used to determine
    35 /// the rectangular bounding box of a set of
    36 /// \ref lemon::dim2::Point "dim2::Point"'s.
    37 ///
    38 ///\author Attila Bernath
    39 
    40 
    41 namespace lemon {
    42 
    43   ///Tools for handling two dimensional coordinates
    44 
    45   ///This namespace is a storage of several
    46   ///tools for handling two dimensional coordinates
    47   namespace dim2 {
    48 
    49   /// \addtogroup misc
    50   /// @{
    51 
    52   /// A simple two dimensional vector (plainvector) implementation
    53 
    54   /// A simple two dimensional vector (plainvector) implementation
    55   ///with the usual vector
    56   /// operators.
    57   ///
    58   template<typename T>
    59     class Point {
    60 
    61     public:
    62 
    63       typedef T Value;
    64 
    65       ///First co-ordinate
    66       T x;
    67       ///Second co-ordinate
    68       T y;     
    69       
    70       ///Default constructor
    71       Point() {}
    72 
    73       ///Construct an instance from coordinates
    74       Point(T a, T b) : x(a), y(b) { }
    75 
    76       ///The dimension of the vector.
    77 
    78       ///This class give back always 2.
    79       ///
    80       int size() const { return 2; }
    81 
    82       ///Subscripting operator
    83 
    84       ///\c p[0] is \c p.x and \c p[1] is \c p.y
    85       ///
    86       T& operator[](int idx) { return idx == 0 ? x : y; }
    87 
    88       ///Const subscripting operator
    89 
    90       ///\c p[0] is \c p.x and \c p[1] is \c p.y
    91       ///
    92       const T& operator[](int idx) const { return idx == 0 ? x : y; }
    93 
    94       ///Conversion constructor
    95       template<class TT> Point(const Point<TT> &p) : x(p.x), y(p.y) {}
    96 
    97       ///Give back the square of the norm of the vector
    98       T normSquare() const {
    99         return x*x+y*y;
   100       }
   101   
   102       ///Increment the left hand side by u
   103       Point<T>& operator +=(const Point<T>& u) {
   104         x += u.x;
   105         y += u.y;
   106         return *this;
   107       }
   108   
   109       ///Decrement the left hand side by u
   110       Point<T>& operator -=(const Point<T>& u) {
   111         x -= u.x;
   112         y -= u.y;
   113         return *this;
   114       }
   115 
   116       ///Multiply the left hand side with a scalar
   117       Point<T>& operator *=(const T &u) {
   118         x *= u;
   119         y *= u;
   120         return *this;
   121       }
   122 
   123       ///Divide the left hand side by a scalar
   124       Point<T>& operator /=(const T &u) {
   125         x /= u;
   126         y /= u;
   127         return *this;
   128       }
   129   
   130       ///Return the scalar product of two vectors
   131       T operator *(const Point<T>& u) const {
   132         return x*u.x+y*u.y;
   133       }
   134   
   135       ///Return the sum of two vectors
   136       Point<T> operator+(const Point<T> &u) const {
   137         Point<T> b=*this;
   138         return b+=u;
   139       }
   140 
   141       ///Return the neg of the vectors
   142       Point<T> operator-() const {
   143         Point<T> b=*this;
   144         b.x=-b.x; b.y=-b.y;
   145         return b;
   146       }
   147 
   148       ///Return the difference of two vectors
   149       Point<T> operator-(const Point<T> &u) const {
   150         Point<T> b=*this;
   151         return b-=u;
   152       }
   153 
   154       ///Return a vector multiplied by a scalar
   155       Point<T> operator*(const T &u) const {
   156         Point<T> b=*this;
   157         return b*=u;
   158       }
   159 
   160       ///Return a vector divided by a scalar
   161       Point<T> operator/(const T &u) const {
   162         Point<T> b=*this;
   163         return b/=u;
   164       }
   165 
   166       ///Test equality
   167       bool operator==(const Point<T> &u) const {
   168         return (x==u.x) && (y==u.y);
   169       }
   170 
   171       ///Test inequality
   172       bool operator!=(Point u) const {
   173         return  (x!=u.x) || (y!=u.y);
   174       }
   175 
   176     };
   177 
   178   ///Return an Point 
   179 
   180   ///Return an Point
   181   ///\relates Point
   182   template <typename T>
   183   inline Point<T> makePoint(const T& x, const T& y) {
   184     return Point<T>(x, y);
   185   }
   186 
   187   ///Return a vector multiplied by a scalar
   188 
   189   ///Return a vector multiplied by a scalar
   190   ///\relates Point
   191   template<typename T> Point<T> operator*(const T &u,const Point<T> &x) {
   192     return x*u;
   193   }
   194 
   195   ///Read a plainvector from a stream
   196 
   197   ///Read a plainvector from a stream
   198   ///\relates Point
   199   ///
   200   template<typename T>
   201   inline std::istream& operator>>(std::istream &is, Point<T> &z) {
   202     char c;
   203     if (is >> c) {
   204       if (c != '(') is.putback(c);
   205     } else {
   206       is.clear();
   207     }
   208     if (!(is >> z.x)) return is;
   209     if (is >> c) {
   210       if (c != ',') is.putback(c);
   211     } else {
   212       is.clear();
   213     }
   214     if (!(is >> z.y)) return is;
   215     if (is >> c) {
   216       if (c != ')') is.putback(c);
   217     } else {
   218       is.clear();
   219     }
   220     return is;
   221   }
   222 
   223   ///Write a plainvector to a stream
   224 
   225   ///Write a plainvector to a stream
   226   ///\relates Point
   227   ///
   228   template<typename T>
   229   inline std::ostream& operator<<(std::ostream &os, const Point<T>& z)
   230   {
   231     os << "(" << z.x << ", " << z.y << ")";
   232     return os;
   233   }
   234 
   235   ///Rotate by 90 degrees
   236 
   237   ///Returns its parameter rotated by 90 degrees in positive direction.
   238   ///\relates Point
   239   ///
   240   template<typename T>
   241   inline Point<T> rot90(const Point<T> &z)
   242   {
   243     return Point<T>(-z.y,z.x);
   244   }
   245 
   246   ///Rotate by 180 degrees
   247 
   248   ///Returns its parameter rotated by 180 degrees.
   249   ///\relates Point
   250   ///
   251   template<typename T>
   252   inline Point<T> rot180(const Point<T> &z)
   253   {
   254     return Point<T>(-z.x,-z.y);
   255   }
   256 
   257   ///Rotate by 270 degrees
   258 
   259   ///Returns its parameter rotated by 90 degrees in negative direction.
   260   ///\relates Point
   261   ///
   262   template<typename T>
   263   inline Point<T> rot270(const Point<T> &z)
   264   {
   265     return Point<T>(z.y,-z.x);
   266   }
   267 
   268   
   269 
   270   /// A class to calculate or store the bounding box of plainvectors.
   271 
   272   /// A class to calculate or store the bounding box of plainvectors.
   273   ///
   274   ///\author Attila Bernath
   275     template<typename T>
   276     class BoundingBox {
   277       Point<T> bottom_left, top_right;
   278       bool _empty;
   279     public:
   280       
   281       ///Default constructor: creates an empty bounding box
   282       BoundingBox() { _empty = true; }
   283 
   284       ///Construct an instance from one point
   285       BoundingBox(Point<T> a) { bottom_left=top_right=a; _empty = false; }
   286       
   287       ///Construct an instance from two points
   288       
   289       ///Construct an instance from two points
   290       ///\warning The coordinates of the bottom-left corner must be no more
   291       ///than those of the top-right one
   292       BoundingBox(Point<T> a,Point<T> b)
   293       {
   294 	bottom_left=a;
   295 	top_right=b;
   296 	_empty = false;
   297       }
   298       
   299       ///Construct an instance from four numbers
   300 
   301       ///Construct an instance from four numbers
   302       ///\warning The coordinates of the bottom-left corner must be no more
   303       ///than those of the top-right one
   304       BoundingBox(T l,T b,T r,T t)
   305       {
   306 	bottom_left=Point<T>(l,b);
   307 	top_right=Point<T>(r,t);
   308 	_empty = false;
   309       }
   310       
   311       ///Were any points added?
   312       bool empty() const {
   313         return _empty;
   314       }
   315       
   316       ///Make the BoundingBox empty
   317       void clear() {
   318         _empty=1;
   319       }
   320 
   321       ///Give back the bottom left corner
   322 
   323       ///Give back the bottom left corner.
   324       ///If the bounding box is empty, then the return value is not defined.
   325       Point<T> bottomLeft() const {
   326         return bottom_left;
   327       }
   328 
   329       ///Set the bottom left corner
   330 
   331       ///Set the bottom left corner.
   332       ///It should only bee used for non-empty box.
   333       void bottomLeft(Point<T> p) {
   334 	bottom_left = p;
   335       }
   336 
   337       ///Give back the top right corner
   338 
   339       ///Give back the top right corner.
   340       ///If the bounding box is empty, then the return value is not defined.
   341       Point<T> topRight() const {
   342         return top_right;
   343       }
   344 
   345       ///Set the top right corner
   346 
   347       ///Set the top right corner.
   348       ///It should only bee used for non-empty box.
   349       void topRight(Point<T> p) {
   350 	top_right = p;
   351       }
   352 
   353       ///Give back the bottom right corner
   354 
   355       ///Give back the bottom right corner.
   356       ///If the bounding box is empty, then the return value is not defined.
   357       Point<T> bottomRight() const {
   358         return Point<T>(top_right.x,bottom_left.y);
   359       }
   360 
   361       ///Set the bottom right corner
   362 
   363       ///Set the bottom right corner.
   364       ///It should only bee used for non-empty box.
   365       void bottomRight(Point<T> p) {
   366 	top_right.x = p.x;
   367 	bottom_left.y = p.y;
   368       }
   369  
   370       ///Give back the top left corner
   371 
   372       ///Give back the top left corner.
   373       ///If the bounding box is empty, then the return value is not defined.
   374       Point<T> topLeft() const {
   375         return Point<T>(bottom_left.x,top_right.y);
   376       }
   377 
   378       ///Set the top left corner
   379 
   380       ///Set the top left corner.
   381       ///It should only bee used for non-empty box.
   382       void topLeft(Point<T> p) {
   383 	top_right.y = p.y;
   384 	bottom_left.x = p.x;
   385       }
   386 
   387       ///Give back the bottom of the box
   388 
   389       ///Give back the bottom of the box.
   390       ///If the bounding box is empty, then the return value is not defined.
   391       T bottom() const {
   392         return bottom_left.y;
   393       }
   394 
   395       ///Set the bottom of the box
   396 
   397       ///Set the bottom of the box.
   398       ///It should only bee used for non-empty box.
   399       void bottom(T t) {
   400 	bottom_left.y = t;
   401       }
   402 
   403       ///Give back the top of the box
   404 
   405       ///Give back the top of the box.
   406       ///If the bounding box is empty, then the return value is not defined.
   407       T top() const {
   408         return top_right.y;
   409       }
   410 
   411       ///Set the top of the box
   412 
   413       ///Set the top of the box.
   414       ///It should only bee used for non-empty box.
   415       void top(T t) {
   416 	top_right.y = t;
   417       }
   418 
   419       ///Give back the left side of the box
   420 
   421       ///Give back the left side of the box.
   422       ///If the bounding box is empty, then the return value is not defined.
   423       T left() const {
   424         return bottom_left.x;
   425       }
   426  
   427       ///Set the left side of the box
   428 
   429       ///Set the left side of the box.
   430       ///It should only bee used for non-empty box
   431       void left(T t) {
   432 	bottom_left.x = t;
   433       }
   434 
   435       /// Give back the right side of the box
   436 
   437       /// Give back the right side of the box.
   438       ///If the bounding box is empty, then the return value is not defined.
   439       T right() const {
   440         return top_right.x;
   441       }
   442 
   443       ///Set the right side of the box
   444 
   445       ///Set the right side of the box.
   446       ///It should only bee used for non-empty box
   447       void right(T t) {
   448 	top_right.x = t;
   449       }
   450 
   451       ///Give back the height of the box
   452 
   453       ///Give back the height of the box.
   454       ///If the bounding box is empty, then the return value is not defined.
   455       T height() const {
   456         return top_right.y-bottom_left.y;
   457       }
   458 
   459       ///Give back the width of the box
   460 
   461       ///Give back the width of the box.
   462       ///If the bounding box is empty, then the return value is not defined.
   463       T width() const {
   464         return top_right.x-bottom_left.x;
   465       }
   466 
   467       ///Checks whether a point is inside a bounding box
   468       bool inside(const Point<T>& u){
   469         if (_empty)
   470           return false;
   471         else{
   472           return ((u.x-bottom_left.x)*(top_right.x-u.x) >= 0 &&
   473               (u.y-bottom_left.y)*(top_right.y-u.y) >= 0 );
   474         }
   475       }
   476   
   477       ///Increments a bounding box with a point
   478       BoundingBox& add(const Point<T>& u){
   479         if (_empty){
   480           bottom_left=top_right=u;
   481           _empty = false;
   482         }
   483         else{
   484           if (bottom_left.x > u.x) bottom_left.x = u.x;
   485           if (bottom_left.y > u.y) bottom_left.y = u.y;
   486           if (top_right.x < u.x) top_right.x = u.x;
   487           if (top_right.y < u.y) top_right.y = u.y;
   488         }
   489         return *this;
   490       }
   491     
   492       ///Increments a bounding to contain another bounding box
   493       BoundingBox& add(const BoundingBox &u){
   494         if ( !u.empty() ){
   495           this->add(u.bottomLeft());
   496 	  this->add(u.topRight());
   497         }
   498         return *this;
   499       }
   500   
   501       ///Intersection of two bounding boxes
   502       BoundingBox operator &(const BoundingBox& u){
   503         BoundingBox b;
   504 	b.bottom_left.x=std::max(this->bottom_left.x,u.bottom_left.x);
   505 	b.bottom_left.y=std::max(this->bottom_left.y,u.bottom_left.y);
   506 	b.top_right.x=std::min(this->top_right.x,u.top_right.x);
   507 	b.top_right.y=std::min(this->top_right.y,u.top_right.y);
   508 	b._empty = this->_empty || u._empty ||
   509 	  b.bottom_left.x>top_right.x && b.bottom_left.y>top_right.y;
   510         return b;
   511       }
   512 
   513     };//class Boundingbox
   514 
   515 
   516   ///Map of x-coordinates of a dim2::Point<>-map
   517 
   518   ///\ingroup maps
   519   ///Map of x-coordinates of a dim2::Point<>-map
   520   ///
   521   template<class M>
   522   class XMap 
   523   {
   524     M& _map;
   525   public:
   526 
   527     typedef typename M::Value::Value Value;
   528     typedef typename M::Key Key;
   529     ///\e
   530     XMap(M& map) : _map(map) {}
   531     Value operator[](Key k) const {return _map[k].x;}
   532     void set(Key k,Value v) {_map.set(k,typename M::Value(v,_map[k].y));}
   533   };
   534     
   535   ///Returns an \ref XMap class
   536 
   537   ///This function just returns an \ref XMap class.
   538   ///
   539   ///\ingroup maps
   540   ///\relates XMap
   541   template<class M> 
   542   inline XMap<M> xMap(M &m) 
   543   {
   544     return XMap<M>(m);
   545   }
   546 
   547   template<class M> 
   548   inline XMap<M> xMap(const M &m) 
   549   {
   550     return XMap<M>(m);
   551   }
   552 
   553   ///Constant (read only) version of \ref XMap
   554 
   555   ///\ingroup maps
   556   ///Constant (read only) version of \ref XMap
   557   ///
   558   template<class M>
   559   class ConstXMap 
   560   {
   561     const M& _map;
   562   public:
   563 
   564     typedef typename M::Value::Value Value;
   565     typedef typename M::Key Key;
   566     ///\e
   567     ConstXMap(const M &map) : _map(map) {}
   568     Value operator[](Key k) const {return _map[k].x;}
   569   };
   570     
   571   ///Returns a \ref ConstXMap class
   572 
   573   ///This function just returns an \ref ConstXMap class.
   574   ///
   575   ///\ingroup maps
   576   ///\relates ConstXMap
   577   template<class M> 
   578   inline ConstXMap<M> xMap(const M &m) 
   579   {
   580     return ConstXMap<M>(m);
   581   }
   582 
   583   ///Map of y-coordinates of a dim2::Point<>-map
   584     
   585   ///\ingroup maps
   586   ///Map of y-coordinates of a dim2::Point<>-map
   587   ///
   588   template<class M>
   589   class YMap 
   590   {
   591     M& _map;
   592   public:
   593 
   594     typedef typename M::Value::Value Value;
   595     typedef typename M::Key Key;
   596     ///\e
   597     YMap(M& map) : _map(map) {}
   598     Value operator[](Key k) const {return _map[k].y;}
   599     void set(Key k,Value v) {_map.set(k,typename M::Value(_map[k].x,v));}
   600   };
   601 
   602   ///Returns an \ref YMap class
   603 
   604   ///This function just returns an \ref YMap class.
   605   ///
   606   ///\ingroup maps
   607   ///\relates YMap
   608   template<class M> 
   609   inline YMap<M> yMap(M &m) 
   610   {
   611     return YMap<M>(m);
   612   }
   613 
   614   template<class M> 
   615   inline YMap<M> yMap(const M &m) 
   616   {
   617     return YMap<M>(m);
   618   }
   619 
   620   ///Constant (read only) version of \ref YMap
   621 
   622   ///\ingroup maps
   623   ///Constant (read only) version of \ref YMap
   624   ///
   625   template<class M>
   626   class ConstYMap 
   627   {
   628     const M& _map;
   629   public:
   630 
   631     typedef typename M::Value::Value Value;
   632     typedef typename M::Key Key;
   633     ///\e
   634     ConstYMap(const M &map) : _map(map) {}
   635     Value operator[](Key k) const {return _map[k].y;}
   636   };
   637     
   638   ///Returns a \ref ConstYMap class
   639 
   640   ///This function just returns an \ref ConstYMap class.
   641   ///
   642   ///\ingroup maps
   643   ///\relates ConstYMap
   644   template<class M> 
   645   inline ConstYMap<M> yMap(const M &m) 
   646   {
   647     return ConstYMap<M>(m);
   648   }
   649 
   650 
   651     ///\brief Map of the \ref Point::normSquare() "normSquare()"
   652     ///of an \ref Point "Point"-map
   653     ///
   654     ///Map of the \ref Point::normSquare() "normSquare()"
   655     ///of an \ref Point "Point"-map
   656     ///\ingroup maps
   657     ///
   658   template<class M>
   659   class NormSquareMap 
   660   {
   661     const M& _map;
   662   public:
   663 
   664     typedef typename M::Value::Value Value;
   665     typedef typename M::Key Key;
   666     ///\e
   667     NormSquareMap(const M &map) : _map(map) {}
   668     Value operator[](Key k) const {return _map[k].normSquare();}
   669   };
   670     
   671   ///Returns a \ref NormSquareMap class
   672 
   673   ///This function just returns an \ref NormSquareMap class.
   674   ///
   675   ///\ingroup maps
   676   ///\relates NormSquareMap
   677   template<class M> 
   678   inline NormSquareMap<M> normSquareMap(const M &m) 
   679   {
   680     return NormSquareMap<M>(m);
   681   }
   682 
   683   /// @}
   684 
   685   } //namespce dim2
   686   
   687 } //namespace lemon
   688 
   689 #endif //LEMON_DIM2_H