| Stan Math Library 2.11.0 reverse mode automatic differentiation

- Main Page
- Modules
- Namespaces
- Classes
- Files

- File List
- File Members

log_softmax.hpp
Go to the documentation of this file.
1 #ifndef STAN_MATH_REV_MAT_FUN_LOG_SOFTMAX_HPP
2 #define STAN_MATH_REV_MAT_FUN_LOG_SOFTMAX_HPP
3
4 #include <stan/math/prim/arr/err/check_nonzero_size.hpp>
5 #include <stan/math/prim/mat/fun/Eigen.hpp>
6 #include <stan/math/prim/mat/fun/log_softmax.hpp>
7 #include <stan/math/prim/mat/fun/softmax.hpp>
8 #include <stan/math/rev/core.hpp>
9 #include <cmath>
10 #include <stdexcept>
11 #include <vector>
12
13 namespace stan {
14 namespace math {
15
16 namespace {
17
18 class log_softmax_elt_vari : public vari {
19 private:
20 vari** alpha_;
21 const double* softmax_alpha_;
22 const int size_; // array sizes
23 const int idx_; // in in softmax output
24
25 public:
26 log_softmax_elt_vari(double val,
27 vari** alpha,
28 const double* softmax_alpha,
29 int size,
30 int idx)
31 : vari(val),
32 alpha_(alpha),
33 softmax_alpha_(softmax_alpha),
34 size_(size),
35 idx_(idx) {
36 }
37 void chain() {
38 for (int m = 0; m < size_; ++m) {
39 if (m == idx_)
40 alpha_[m]->adj_ += adj_ * (1 - softmax_alpha_[m]);
41 else
42 alpha_[m]->adj_ -= adj_ * softmax_alpha_[m];
43 }
44 }
45 };
46
47 }
48
49
60 inline Eigen::Matrix<var, Eigen::Dynamic, 1>
61 log_softmax(const Eigen::Matrix<var, Eigen::Dynamic, 1>& alpha) {
62 using Eigen::Matrix;
63 using Eigen::Dynamic;
64
65 stan::math::check_nonzero_size("log_softmax", "alpha", alpha);
66
67 if (alpha.size() == 0)
68 throw std::domain_error("arg vector to log_softmax() "
69 "must have size > 0");
70 if (alpha.size() == 0)
71 throw std::domain_error("arg vector to log_softmax() "
72 "must have size > 0");
73 if (alpha.size() == 0)
74 throw std::domain_error("arg vector to log_softmax() "
75 "must have size > 0");
76
77 // TODO(carpenter): replace with array alloc
78 vari** alpha_vi_array
79 = reinterpret_cast<vari**>
80 (vari::operator new(sizeof(vari*) * alpha.size()));
81 for (int i = 0; i < alpha.size(); ++i)
82 alpha_vi_array[i] = alpha(i).vi_;
83
84
85 Matrix<double, Dynamic, 1> alpha_d(alpha.size());
86 for (int i = 0; i < alpha_d.size(); ++i)
87 alpha_d(i) = alpha(i).val();
88
89 // fold logic of math::softmax() and math::log_softmax()
90 // to save computations
91
92 Matrix<double, Dynamic, 1> softmax_alpha_d(alpha_d.size());
93 Matrix<double, Dynamic, 1> log_softmax_alpha_d(alpha_d.size());
94
95 double max_v = alpha_d.maxCoeff();
96
97 double sum = 0.0;
98 for (int i = 0; i < alpha_d.size(); ++i) {
99 softmax_alpha_d(i) = std::exp(alpha_d(i) - max_v);
100 sum += softmax_alpha_d(i);
101 }
102
103 for (int i = 0; i < alpha_d.size(); ++i)
104 softmax_alpha_d(i) /= sum;
105 double log_sum = std::log(sum);
106
107 for (int i = 0; i < alpha_d.size(); ++i)
108 log_softmax_alpha_d(i) = (alpha_d(i) - max_v) - log_sum;
109
110 // end fold
111 // TODO(carpenter): replace with array alloc
112 double* softmax_alpha_d_array
113 = reinterpret_cast<double*>
114 (vari::operator new(sizeof(double) * alpha_d.size()));
115
116 for (int i = 0; i < alpha_d.size(); ++i)
117 softmax_alpha_d_array[i] = softmax_alpha_d(i);
118
119 Matrix<var, Dynamic, 1> log_softmax_alpha(alpha.size());
120 for (int k = 0; k < log_softmax_alpha.size(); ++k)
121 log_softmax_alpha(k)
122 = var(new log_softmax_elt_vari(log_softmax_alpha_d[k],
123 alpha_vi_array,
124 softmax_alpha_d_array,
125 alpha.size(),
126 k));
127 return log_softmax_alpha;
128 }
129
130
131 }
132 }
133
134 #endif
stan::math::sum
fvar< T > sum(const std::vector< fvar< T > > &m)
Return the sum of the entries of the specified standard vector.
Definition: sum.hpp:20
size_
const int size_
Definition: log_softmax.hpp:22
core.hpp
idx_
const int idx_
Definition: log_softmax.hpp:23
stan
Definition: log_sum_exp.hpp:8
softmax_alpha_
const double * softmax_alpha_
Definition: log_softmax.hpp:21
stan::math::log
fvar< T > log(const fvar< T > &x)
Definition: log.hpp:15
stan::math::vari
The variable implementation base class.
Definition: vari.hpp:30
stan::math::var
Independent (input) and dependent (output) variables for gradients.
Definition: var.hpp:31
stan::math::log_softmax
Eigen::Matrix< fvar< T >, Eigen::Dynamic, 1 > log_softmax(const Eigen::Matrix< fvar< T >, Eigen::Dynamic, 1 > &alpha)
Definition: log_softmax.hpp:16
stan::math::check_nonzero_size
bool check_nonzero_size(const char *function, const char *name, const T_y &y)
Return true if the specified matrix/vector is of non-zero size.
Definition: check_nonzero_size.hpp:30
softmax.hpp
stan::math::exp
fvar< T > exp(const fvar< T > &x)
Definition: exp.hpp:10
stan::math::domain_error
void domain_error(const char *function, const char *name, const T &y, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
Definition: domain_error.hpp:32
Eigen.hpp
stan::math::size
int size(const std::vector< T > &x)
Return the size of the specified standard vector.
Definition: size.hpp:17
log_softmax.hpp
alpha_
vari ** alpha_
Definition: log_softmax.hpp:20
check_nonzero_size.hpp

[ Stan Home Page ] © 2011–2016, Stan Development Team.