SHOGUN  4.1.0
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
ConjugateGradientSolver.cpp
Go to the documentation of this file.
1 /*
2  * This program is free software; you can redistribute it and/or modify
3  * it under the terms of the GNU General Public License as published by
4  * the Free Software Foundation; either version 3 of the License, or
5  * (at your option) any later version.
6  *
7  * Written (W) 2013 Soumyajit De
8  */
9 
10 #include <shogun/lib/common.h>
11 
12 #ifdef HAVE_EIGEN3
13 
14 #include <shogun/lib/SGVector.h>
15 #include <shogun/io/SGIO.h>
16 #include <shogun/lib/Time.h>
21 
22 using namespace Eigen;
23 
24 namespace shogun
25 {
26 
27 CConjugateGradientSolver::CConjugateGradientSolver()
29 {
30  SG_GCDEBUG("%s created (%p)\n", this->get_name(), this);
31 }
32 
34  : CIterativeLinearSolver<float64_t>(store_residuals)
35 {
36  SG_GCDEBUG("%s created (%p)\n", this->get_name(), this);
37 }
38 
40 {
41  SG_GCDEBUG("%s destroyed (%p)\n", this->get_name(), this);
42 }
43 
46 {
47  SG_DEBUG("CConjugateGradientSolve::solve(): Entering..\n");
48 
49  // sanity check
50  REQUIRE(A, "Operator is NULL!\n");
51  REQUIRE(A->get_dimension()==b.vlen, "Dimension mismatch!\n");
52 
53  // the final solution vector, initial guess is 0
54  SGVector<float64_t> result(b.vlen);
55  result.set_const(0.0);
56 
57  // the rest of the part hinges on eigen3 for computing norms
58  Map<VectorXd> x(result.vector, result.vlen);
59  Map<VectorXd> b_map(b.vector, b.vlen);
60 
61  // direction vector
62  SGVector<float64_t> p_(result.vlen);
63  Map<VectorXd> p(p_.vector, p_.vlen);
64 
65  // residual r_i=b-Ax_i, here x_0=[0], so r_0=b
66  VectorXd r=b_map;
67 
68  // initial direction is same as residual
69  p=r;
70 
71  // the iterator for this iterative solver
74 
75  // CG iteration begins
76  float64_t r_norm2=r.dot(r);
77 
78  // start the timer
79  CTime time;
80  time.start();
81 
82  // set the residuals to zero
85 
86  for (it.begin(r); !it.end(r); ++it)
87  {
88  SG_DEBUG("CG iteration %d, residual norm %f\n",
89  it.get_iter_info().iteration_count,
90  it.get_iter_info().residual_norm);
91 
93  {
94  m_residuals[it.get_iter_info().iteration_count]
95  =it.get_iter_info().residual_norm;
96  }
97 
98  // apply linear operator to the direction vector
99  SGVector<float64_t> Ap_=A->apply(p_);
100  Map<VectorXd> Ap(Ap_.vector, Ap_.vlen);
101 
102  // compute p^{T}Ap, if zero, failure
103  float64_t p_dot_Ap=p.dot(Ap);
104  if (p_dot_Ap==0.0)
105  break;
106 
107  // compute the alpha parameter of CG
108  float64_t alpha=r_norm2/p_dot_Ap;
109 
110  // update the solution vector and residual
111  // x_{i}=x_{i-1}+\alpha_{i}p
112  x+=alpha*p;
113 
114  // r_{i}=r_{i-1}-\alpha_{i}p
115  r-=alpha*Ap;
116 
117  // compute new ||r||_{2}, if zero, converged
118  float64_t r_norm2_i=r.dot(r);
119  if (r_norm2_i==0.0)
120  break;
121 
122  // compute the beta parameter of CG
123  float64_t beta=r_norm2_i/r_norm2;
124 
125  // update direction, and ||r||_{2}
126  r_norm2=r_norm2_i;
127  p=r+beta*p;
128  }
129 
130  float64_t elapsed=time.cur_time_diff();
131 
132  if (!it.succeeded(r))
133  SG_WARNING("Did not converge!\n");
134 
135  SG_INFO("Iteration took %ld times, residual norm=%.20lf, time elapsed=%lf\n",
136  it.get_iter_info().iteration_count, it.get_iter_info().residual_norm, elapsed);
137 
138  SG_DEBUG("CConjugateGradientSolve::solve(): Leaving..\n");
139  return result;
140 }
141 
142 }
143 #endif // HAVE_EIGEN3
Class Time that implements a stopwatch based on either cpu time or wall clock time.
Definition: Time.h:47
#define SG_INFO(...)
Definition: SGIO.h:118
void begin(const VectorXt &residual)
const index_t get_dimension() const
virtual SGVector< float64_t > solve(CLinearOperator< float64_t > *A, SGVector< float64_t > b)
Definition: SGMatrix.h:20
#define REQUIRE(x,...)
Definition: SGIO.h:206
const bool end(const VectorXt &residual)
virtual const char * get_name() const
float64_t cur_time_diff(bool verbose=false)
Definition: Time.cpp:68
index_t vlen
Definition: SGVector.h:494
template class that is used as an iterator for an iterative linear solver. In the iteration of solvin...
#define SG_GCDEBUG(...)
Definition: SGIO.h:102
abstract template base for all iterative linear solvers such as conjugate gradient (CG) solvers...
double float64_t
Definition: common.h:50
float64_t start(bool verbose=false)
Definition: Time.cpp:59
virtual SGVector< T > apply(SGVector< T > b) const =0
#define SG_DEBUG(...)
Definition: SGIO.h:107
all of classes and functions are contained in the shogun namespace
Definition: class_list.h:18
const bool succeeded(const VectorXt &residual)
#define SG_WARNING(...)
Definition: SGIO.h:128
void set_const(T const_elem)
Definition: SGVector.cpp:152

SHOGUN Machine Learning Toolbox - Documentation