eoRealOp.h

// -*- mode: c++; c-indent-level: 4; c++-member-init-indent: 8; comment-column: 35; -*-

//-----------------------------------------------------------------------------
// eoRealOp.h
// (c) Maarten Keijzer 2000 - Marc Schoenauer 2001
/*
    This library is free software; you can redistribute it and/or
    modify it under the terms of the GNU Lesser General Public
    License as published by the Free Software Foundation; either
    version 2 of the License, or (at your option) any later version.

    This library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    Lesser General Public License for more details.

    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    Contact: Marc.Schoenauer@polytechnique.fr
             mak@dhi.dk
 */
//-----------------------------------------------------------------------------

#ifndef eoRealOp_h
#define eoRealOp_h

//-----------------------------------------------------------------------------

#include <algorithm>    // swap_ranges
#include <utils/eoRNG.h>
#include <es/eoReal.h>
#include <utils/eoRealVectorBounds.h>

//-----------------------------------------------------------------------------

template<class EOT> class eoUniformMutation: public eoMonOp<EOT>
{
 public:
  eoUniformMutation(const double& _epsilon, const double& _p_change = 1.0):
    homogeneous(true), bounds(eoDummyVectorNoBounds), epsilon(1, _epsilon),
    p_change(1, _p_change) {}

  eoUniformMutation(eoRealVectorBounds & _bounds,
                    const double& _epsilon, const double& _p_change = 1.0):
    homogeneous(false), bounds(_bounds), epsilon(_bounds.size(), _epsilon),
    p_change(_bounds.size(), _p_change)
  {
    // scale to the range - if any
    for (unsigned i=0; i<bounds.size(); i++)
      if (bounds.isBounded(i))
          epsilon[i] *= _epsilon*bounds.range(i);
  }

  eoUniformMutation(eoRealVectorBounds & _bounds,
                    const std::vector<double>& _epsilon,
                    const std::vector<double>& _p_change):
    homogeneous(false), bounds(_bounds), epsilon(_epsilon),
    p_change(_p_change) {}

  virtual std::string className() const { return "eoUniformMutation"; }

  bool operator()(EOT& _eo)
    {
      bool hasChanged=false;
      if (homogeneous)             // implies no bounds object
        for (unsigned lieu=0; lieu<_eo.size(); lieu++)
          {
            if (rng.flip(p_change[0]))
              {
                _eo[lieu] += 2*epsilon[0]*rng.uniform()-epsilon[0];
                hasChanged = true;
              }
          }
      else
        {
          // sanity check ?
          if (_eo.size() != bounds.size())
            throw std::runtime_error("Invalid size of indi in eoUniformMutation");

          for (unsigned lieu=0; lieu<_eo.size(); lieu++)
            if (rng.flip(p_change[lieu]))
              {
                // check the bounds
                double emin = _eo[lieu]-epsilon[lieu];
                double emax = _eo[lieu]+epsilon[lieu];
                if (bounds.isMinBounded(lieu))
                  emin = std::max(bounds.minimum(lieu), emin);
                if (bounds.isMaxBounded(lieu))
                  emax = std::min(bounds.maximum(lieu), emax);
                _eo[lieu] = emin + (emax-emin)*rng.uniform();
                hasChanged = true;
              }
        }
      return hasChanged;
    }

private:
  bool homogeneous;   // == no bounds passed in the ctor
  eoRealVectorBounds & bounds;
  std::vector<double> epsilon;     // the ranges for mutation
  std::vector<double> p_change;    // the proba that each variable is modified
};

template<class EOT> class eoDetUniformMutation: public eoMonOp<EOT>
{
 public:
  eoDetUniformMutation(const double& _epsilon, const unsigned& _no = 1):
    homogeneous(true), bounds(eoDummyVectorNoBounds),
    epsilon(1, _epsilon), no(_no) {}

  eoDetUniformMutation(eoRealVectorBounds & _bounds,
                       const double& _epsilon, const unsigned& _no = 1):
    homogeneous(false), bounds(_bounds),
    epsilon(_bounds.size(), _epsilon), no(_no)
  {
    // scale to the range - if any
    for (unsigned i=0; i<bounds.size(); i++)
      if (bounds.isBounded(i))
          epsilon[i] *= _epsilon*bounds.range(i);
  }

  eoDetUniformMutation(eoRealVectorBounds & _bounds,
                       const std::vector<double>& _epsilon,
                       const unsigned& _no = 1):
    homogeneous(false), bounds(_bounds), epsilon(_epsilon), no(_no)
  {
    // scale to the range - if any
    for (unsigned i=0; i<bounds.size(); i++)
      if (bounds.isBounded(i))
          epsilon[i] *= _epsilon[i]*bounds.range(i);
  }

  virtual std::string className() const { return "eoDetUniformMutation"; }

  bool operator()(EOT& _eo)
    {
      if (homogeneous)
        for (unsigned i=0; i<no; i++)
          {
            unsigned lieu = rng.random(_eo.size());
            // actually, we should test that we don't re-modify same variable!
            _eo[lieu] = 2*epsilon[0]*rng.uniform()-epsilon[0];
          }
      else
        {
          // sanity check ?
          if (_eo.size() != bounds.size())
            throw std::runtime_error("Invalid size of indi in eoDetUniformMutation");
          for (unsigned i=0; i<no; i++)
            {
              unsigned lieu = rng.random(_eo.size());
              // actually, we should test that we don't re-modify same variable!

              // check the bounds
              double emin = _eo[lieu]-epsilon[lieu];
              double emax = _eo[lieu]+epsilon[lieu];
              if (bounds.isMinBounded(lieu))
                emin = std::max(bounds.minimum(lieu), emin);
              if (bounds.isMaxBounded(lieu))
                emax = std::min(bounds.maximum(lieu), emax);
              _eo[lieu] = emin + (emax-emin)*rng.uniform();
            }
        }
      return true;
    }

private:
  bool homogeneous;   //  == no bounds passed in the ctor
  eoRealVectorBounds & bounds;
  std::vector<double> epsilon;     // the ranges of mutation
  unsigned no;
};


// two arithmetical crossovers

template<class EOT> class eoSegmentCrossover: public eoQuadOp<EOT>
{
 public:
  eoSegmentCrossover(const double& _alpha = 0.0) :
    bounds(eoDummyVectorNoBounds), alpha(_alpha), range(1+2*_alpha) {}

  eoSegmentCrossover(eoRealVectorBounds & _bounds,
                     const double& _alpha = 0.0) :
    bounds(_bounds), alpha(_alpha), range(1+2*_alpha) {}

  virtual std::string className() const { return "eoSegmentCrossover"; }

  bool operator()(EOT& _eo1, EOT& _eo2)
    {
      unsigned i;
      double r1, r2, fact;
      double alphaMin = -alpha;
      double alphaMax = 1+alpha;
      if (alpha == 0.0)            // no check to perform
        fact = -alpha + rng.uniform(range); // in [-alpha,1+alpha)
      else                         // look for the bounds for fact
        {
          for (i=0; i<_eo1.size(); i++)
            {
              r1=_eo1[i];
              r2=_eo2[i];
              if (r1 != r2) {      // otherwise you'll get NAN's
                double rmin = std::min(r1, r2);
                double rmax = std::max(r1, r2);
                double length = rmax - rmin;
                if (bounds.isMinBounded(i))
                  {
                    alphaMin = std::max(alphaMin, (bounds.minimum(i)-rmin)/length);
                    alphaMax = std::min(alphaMax, (rmax-bounds.minimum(i))/length);
                  }
                if (bounds.isMaxBounded(i))
                  {
                    alphaMax = std::min(alphaMax, (bounds.maximum(i)-rmin)/length);
                    alphaMin = std::max(alphaMin, (rmax-bounds.maximum(i))/length);
                  }
              }
            }
          fact = alphaMin + (alphaMax-alphaMin)*rng.uniform();
        }

      for (i=0; i<_eo1.size(); i++)
        {
          r1=_eo1[i];
          r2=_eo2[i];
          _eo1[i] = fact * r1 + (1-fact) * r2;
          _eo2[i] = (1-fact) * r1 + fact * r2;
        }
      return true;         // shoudl test if fact was 0 or 1 :-)))
    }

protected:
  eoRealVectorBounds & bounds;
  double alpha;
  double range;                    // == 1+2*alpha
};

template<class EOT> class eoHypercubeCrossover: public eoQuadOp<EOT>
{
 public:
  eoHypercubeCrossover(const double& _alpha = 0.0):
    bounds(eoDummyVectorNoBounds), alpha(_alpha), range(1+2*_alpha)
  {
    if (_alpha < 0)
      throw std::runtime_error("BLX coefficient should be positive");
  }

  eoHypercubeCrossover(eoRealVectorBounds & _bounds,
                        const double& _alpha = 0.0):
    bounds(_bounds), alpha(_alpha), range(1+2*_alpha)
  {
    if (_alpha < 0)
      throw std::runtime_error("BLX coefficient should be positive");
  }

  virtual std::string className() const { return "eoHypercubeCrossover"; }

  bool operator()(EOT& _eo1, EOT& _eo2)
    {
      bool hasChanged = false;
      unsigned i;
      double r1, r2, fact;
      if (alpha == 0.0)            // no check to perform
          for (i=0; i<_eo1.size(); i++)
            {
              r1=_eo1[i];
              r2=_eo2[i];
              if (r1 != r2) {      // otherwise do nothing
                fact = rng.uniform(range);       // in [0,1)
                _eo1[i] = fact * r1 + (1-fact) * r2;
                _eo2[i] = (1-fact) * r1 + fact * r2;
                hasChanged = true; // forget (im)possible alpha=0
              }
            }
      else         // check the bounds
        // do not try to get a bound on the linear factor, but rather
        // on the object variables themselves
        for (i=0; i<_eo1.size(); i++)
          {
            r1=_eo1[i];
            r2=_eo2[i];
            if (r1 != r2) {        // otherwise do nothing
              double rmin = std::min(r1, r2);
              double rmax = std::max(r1, r2);

              // compute min and max for object variables
              double objMin = -alpha * rmax + (1+alpha) * rmin;
              double objMax = -alpha * rmin + (1+alpha) * rmax;

              // first find the limits on the alpha's
              if (bounds.isMinBounded(i))
                {
                  objMin = std::max(objMin, bounds.minimum(i));
                }
              if (bounds.isMaxBounded(i))
                {
                  objMax = std::min(objMax, bounds.maximum(i));
                }
              // then draw variables
              double median = (objMin+objMax)/2.0; // uniform within bounds
              // double median = (rmin+rmax)/2.0;  // Bounce on bounds
              double valMin = objMin + (median-objMin)*rng.uniform();
              double valMax = median + (objMax-median)*rng.uniform();
              // don't always put large value in _eo1 - or what?
              if (rng.flip(0.5))
                {
                  _eo1[i] = valMin;
                  _eo2[i] = valMax;
                }
              else
                {
                  _eo1[i] = valMax;
                  _eo2[i] = valMin;
                }
              // seomthing has changed
              hasChanged = true; // forget (im)possible alpha=0
            }
          }

    return hasChanged;
   }

protected:
  eoRealVectorBounds & bounds;
  double alpha;
  double range;                    // == 1+2*alphaMin
};


template<class EOT> class eoRealUXover: public eoQuadOp<EOT>
{
 public:
  eoRealUXover(const float& _preference = 0.5): preference(_preference)
    {
      if ( (_preference <= 0.0) || (_preference >= 1.0) )
        std::runtime_error("UxOver --> invalid preference");
    }

  virtual std::string className() const { return "eoRealUXover"; }

  bool operator()(EOT& _eo1, EOT& _eo2)
    {
      if ( _eo1.size() != _eo2.size())
            std::runtime_error("UxOver --> chromosomes sizes don't match" );
      bool changed = false;
      for (unsigned int i=0; i<_eo1.size(); i++)
        {
          if (rng.flip(preference))
            if (_eo1[i] != _eo2[i])
              {
                double tmp = _eo1[i];
              _eo1[i]=_eo2[i];
              _eo2[i] = tmp;
              changed = true;
            }
        }
      return changed;
    }
    private:
      float preference;
};


//-----------------------------------------------------------------------------
#endif