ROL_TypeB_PrimalDualActiveSetAlgorithm.hpp

Go to the documentation of this file.

// @HEADER
// ************************************************************************
//
//               Rapid Optimization Library (ROL) Package
//                 Copyright (2014) Sandia Corporation
//
// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
// license for use of this work by or on behalf of the U.S. Government.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// 3. Neither the name of the Corporation nor the names of the
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
//
// Questions? Contact lead developers:
//              Drew Kouri   (dpkouri@sandia.gov) and
//              Denis Ridzal (dridzal@sandia.gov)
//
// ************************************************************************
// @HEADER

#ifndef ROL_TYPEB_PRIMALDUALACTIVESETALGORITHM_HPP
#define ROL_TYPEB_PRIMALDUALACTIVESETALGORITHM_HPP

#include "ROL_TypeB_Algorithm.hpp"
#include "ROL_KrylovFactory.hpp"
#include "ROL_SecantFactory.hpp"

namespace ROL {
namespace TypeB {

template<typename Real>
class PrimalDualActiveSetAlgorithm : public TypeB::Algorithm<Real> {
private:
  Ptr<Secant<Real>> secant_; 
  ESecant esec_;             
  std::string secantName_;   

  Ptr<Krylov<Real>> krylov_; 
  EKrylov ekv_;              
  std::string krylovName_;   

  int totalKrylov_; 
  int iterKrylov_;  
  int flagKrylov_;  
 
  bool useSecantHessVec_; 
  bool useSecantPrecond_; 

  int maxit_;         
  int iter_;          
  int flag_;          
  Real stol_;         
  Real gtol_;         
  Real scale_;        
  Real neps_;         
  Real itol_;         
  Real atolKrylov_;   
  Real rtolKrylov_;   
  int maxitKrylov_;   
  bool feasible_;     

  int verbosity_;
  bool writeHeader_;
  bool hasPoly_;

  class HessianPDAS : public LinearOperator<Real> {
  private:
    const Ptr<Objective<Real>>       obj_;
    const Ptr<BoundConstraint<Real>> bnd_;
    const Ptr<const Vector<Real>>    x_;
    const Ptr<const Vector<Real>>    xlam_;
    const Real                       eps_;
    const Ptr<Secant<Real>>          secant_;
    const bool                       useSecant_;
    const Ptr<Vector<Real>>          pwa_;
  public:
    HessianPDAS(const Ptr<Objective<Real>>       &obj,
                const Ptr<BoundConstraint<Real>> &bnd,
                const Ptr<const Vector<Real>>    &x,
                const Ptr<const Vector<Real>>    &xlam,
                Real                              eps,
                const Ptr<Secant<Real>>          &secant,
                bool                              useSecant,
                const Ptr<Vector<Real>>          &pwa)
      : obj_(obj), bnd_(bnd), x_(x), xlam_(xlam), eps_(eps),
        secant_(secant), useSecant_(useSecant), pwa_(pwa) {}
    void apply(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      pwa_->set(v);
      bnd_->pruneActive(*pwa_,*xlam_,eps_);
      if (!useSecant_) obj_->hessVec(Hv,*pwa_,*x_,tol);
      else             secant_->applyB(Hv,*pwa_);
      bnd_->pruneActive(Hv,*xlam_,eps_);
    }
  };

  class PrecondPDAS : public LinearOperator<Real> {
  private:
    const Ptr<Objective<Real>>       obj_;
    const Ptr<BoundConstraint<Real>> bnd_;
    const Ptr<const Vector<Real>>    x_;
    const Ptr<const Vector<Real>>    xlam_;
    const Real                       eps_;
    const Ptr<Secant<Real>>          secant_;
    const bool                       useSecant_;
    const Ptr<Vector<Real>>          dwa_;
  public:
    PrecondPDAS(const Ptr<Objective<Real>>       &obj,
                const Ptr<BoundConstraint<Real>> &bnd,
                const Ptr<const Vector<Real>>    &x,
                const Ptr<const Vector<Real>>    &xlam,
                Real                              eps,
                const Ptr<Secant<Real>>          &secant,
                bool                              useSecant,
                const Ptr<Vector<Real>>          &dwa)
      : obj_(obj), bnd_(bnd), x_(x), xlam_(xlam), eps_(eps),
        secant_(secant), useSecant_(useSecant), dwa_(dwa) {}
    void apply(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      Hv.set(v.dual()); 
    }
    void applyInverse(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      dwa_->set(v);
      bnd_->pruneActive(*dwa_,*xlam_,eps_);
      if ( useSecant_ ) secant_->applyH(Hv,*dwa_);
      else              obj_->precond(Hv,*dwa_,*x_,tol);
      bnd_->pruneActive(Hv,*xlam_,eps_);
      dwa_->set(v);
      bnd_->pruneInactive(*dwa_,*xlam_,eps_);
      Hv.plus(dwa_->dual());
    }
  };

  class HessianPDAS_Poly : public LinearOperator<Real> {
  private:
    const Ptr<Objective<Real>>       obj_;
    const Ptr<BoundConstraint<Real>> bnd_;
    const Ptr<Constraint<Real>>      con_;
    const Ptr<const Vector<Real>>    x_;
    const Ptr<const Vector<Real>>    xlam_;
    const Real                       eps_;
    const Ptr<Secant<Real>>          secant_;
    const bool                       useSecant_;
    const Ptr<Vector<Real>>          pwa_, dwa_;
  public:
    HessianPDAS_Poly(const Ptr<Objective<Real>>       &obj,
                     const Ptr<BoundConstraint<Real>> &bnd,
                     const Ptr<Constraint<Real>>      &con,
                     const Ptr<const Vector<Real>>    &x,
                     const Ptr<const Vector<Real>>    &xlam,
                     Real                              eps,
                     const Ptr<Secant<Real>>          &secant,
                     bool                              useSecant,
                     const Ptr<Vector<Real>>          &pwa,
                     const Ptr<Vector<Real>>          &dwa)
      : obj_(obj), bnd_(bnd), con_(con), x_(x), xlam_(xlam), eps_(eps),
        secant_(secant), useSecant_(useSecant), pwa_(pwa), dwa_(dwa) {}
    void apply(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      PartitionedVector<Real> &Hvp = dynamic_cast<PartitionedVector<Real>&>(Hv);
      const PartitionedVector<Real> &vp = dynamic_cast<const PartitionedVector<Real>&>(v);
      pwa_->set(*vp.get(0));
      bnd_->pruneActive(*pwa_,*xlam_,eps_);
      if (!useSecant_) obj_->hessVec(*Hvp.get(0),*pwa_,*x_,tol);
      else             secant_->applyB(*Hvp.get(0),*pwa_);
      con_->applyAdjointJacobian(*dwa_,*vp.get(1),*x_,tol);
      Hvp.get(0)->plus(*dwa_);
      bnd_->pruneActive(*Hvp.get(0),*xlam_,eps_);
      con_->applyJacobian(*Hvp.get(1),*pwa_,*x_,tol);
    }
  };

  class PrecondPDAS_Poly : public LinearOperator<Real> {
  private:
    const Ptr<Objective<Real>>       obj_;
    const Ptr<BoundConstraint<Real>> bnd_;
    const Ptr<const Vector<Real>>    x_;
    const Ptr<const Vector<Real>>    xlam_;
    const Real                       eps_;
    const Ptr<Secant<Real>>          secant_;
    const bool                       useSecant_;
    const Ptr<Vector<Real>>          dwa_;
  public:
    PrecondPDAS_Poly(const Ptr<Objective<Real>>       &obj,
                     const Ptr<BoundConstraint<Real>> &bnd,
                     const Ptr<const Vector<Real>>    &x,
                     const Ptr<const Vector<Real>>    &xlam,
                     Real                              eps,
                     const Ptr<Secant<Real>>          &secant,
                     bool                              useSecant,
                     const Ptr<Vector<Real>>          &dwa)
      : obj_(obj), bnd_(bnd), x_(x), xlam_(xlam), eps_(eps),
        secant_(secant), useSecant_(useSecant), dwa_(dwa) {}
    void apply(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      Hv.set(v.dual()); 
    }
    void applyInverse(Vector<Real> &Hv, const Vector<Real> &v, Real &tol) const {
      PartitionedVector<Real> &Hvp = dynamic_cast<PartitionedVector<Real>&>(Hv);
      const PartitionedVector<Real> &vp = dynamic_cast<const PartitionedVector<Real>&>(v);
      dwa_->set(*vp.get(0));
      bnd_->pruneActive(*dwa_,*xlam_,eps_);
      if ( useSecant_ ) secant_->applyH(*Hvp.get(0),*dwa_);
      else              obj_->precond(*Hvp.get(0),*dwa_,*x_,tol);
      bnd_->pruneActive(*Hvp.get(0),*xlam_,eps_);
      dwa_->set(*vp.get(0));
      bnd_->pruneInactive(*dwa_,*xlam_,eps_);
      Hvp.get(0)->plus(dwa_->dual());
      Hvp.get(1)->set(vp.get(1)->dual());
    }
  };

  using TypeB::Algorithm<Real>::status_;
  using TypeB::Algorithm<Real>::state_;
  using TypeB::Algorithm<Real>::proj_;

  void initialize(Vector<Real>          &x,
                  const Vector<Real>    &g,
                  Objective<Real>       &obj,
                  BoundConstraint<Real> &bnd,
                  std::ostream &outStream = std::cout); 

public:

  PrimalDualActiveSetAlgorithm(ParameterList &list, const Ptr<Secant<Real>> &secant = nullPtr);

  using TypeB::Algorithm<Real>::run;
  void run( Vector<Real>          &x,
            const Vector<Real>    &g, 
            Objective<Real>       &obj,
            BoundConstraint<Real> &bnd,
            std::ostream          &outStream = std::cout) override;

  void writeHeader( std::ostream& os ) const override;

  void writeName( std::ostream& os ) const override;

  void writeOutput( std::ostream& os, const bool write_header = false ) const override;

}; // class ROL::TypeB::PrimalDualActiveSetAlgorithm

} // namespace TypeB
} // namespace ROL

#include "ROL_TypeB_PrimalDualActiveSetAlgorithm_Def.hpp"

#endif