annotate scripts/optimization/lsqnonneg.m @ 7682:f7474c83c782

lsqnonneg: new function
author bill@denney.ws
date Tue, 01 Apr 2008 00:29:51 -0400
parents
children 0bdfff62cc49
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7682
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
1 ## Copyright (C) 2008 Bill Denney
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
2 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
3 ## This file is part of Octave.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
4 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
5 ## Octave is free software; you can redistribute it and/or modify it
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
6 ## under the terms of the GNU General Public License as published by
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
7 ## the Free Software Foundation; either version 3 of the License, or (at
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
8 ## your option) any later version.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
9 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
10 ## Octave is distributed in the hope that it will be useful, but
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
11 ## WITHOUT ANY WARRANTY; without even the implied warranty of
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
13 ## General Public License for more details.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
14 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
15 ## You should have received a copy of the GNU General Public License
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
16 ## along with Octave; see the file COPYING. If not, see
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
17 ## <http://www.gnu.org/licenses/>.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
18
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
19 ## -*- texinfo -*-
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
20 ## @deftypefn {Function File} {@var{x} =} lsqnonneg (@var{c}, @var{d})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
21 ## @deftypefnx {Function File} {@var{x} =} lsqnonneg (@var{c}, @var{d}, @var{x0})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
22 ## @deftypefnx {Function File} {[@var{x}, @var{resnorm}] =} lsqnonneg (@dots{})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
23 ## @deftypefnx {Function File} {[@var{x}, @var{resnorm}, @var{residual}] =} lsqnonneg (@dots{})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
24 ## @deftypefnx {Function File} {[@var{x}, @var{resnorm}, @var{residual}, @var{exitflag}] =} lsqnonneg (@dots{})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
25 ## @deftypefnx {Function File} {[@var{x}, @var{resnorm}, @var{residual}, @var{exitflag}, @var{output}] =} lsqnonneg (@dots{})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
26 ## @deftypefnx {Function File} {[@var{x}, @var{resnorm}, @var{residual}, @var{exitflag}, @var{output}, @var{lambda}] =} lsqnonneg (@dots{})
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
27 ## Minimize @code{norm (@var{c}*@var{x}-d)} subject to @code{@var{x} >=
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
28 ## 0}. @var{c} and @var{d} must be real. @var{x0} is an optional
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
29 ## initial guess for @var{x}.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
30 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
31 ## Outputs:
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
32 ## @itemize @bullet
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
33 ## @item resnorm
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
34 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
35 ## The squared 2-norm of the residual: norm(@var{c}*@var{x}-@var{d})^2
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
36 ## @item residual
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
37 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
38 ## The residual: @var{d}-@var{c}*@var{x}
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
39 ## @item exitflag
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
40 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
41 ## An indicator of convergence. 0 indicates that the iteration count
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
42 ## was exceeded, and therefore convergence was not reached; >0 indicates
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
43 ## that the algorithm converged. (The algorithm is stable and will
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
44 ## converge given enough iterations.)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
45 ## @item output
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
46 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
47 ## A structure with two fields:
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
48 ## @itemize @bullet
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
49 ## @item "algorithm": The algorithm used ("nnls")
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
50 ## @item "iterations": The number of iterations taken.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
51 ## @end itemize
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
52 ## @item lambda
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
53 ##
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
54 ## Not implemented.
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
55 ## @end itemize
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
56 ## @seealso{optimset}
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
57 ## @end deftypefn
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
58
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
59 ## This is implemented from Lawson and Hanson's 1973 algorithm on page
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
60
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
61 function [x, resnorm, residual, exitflag, output, lambda] = lsqnonneg (c, d, x = [], options = [])
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
62
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
63 if (isempty (x))
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
64 ## initial guess is 0s
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
65 x = zeros (columns (c), 1);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
66 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
67
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
68 if (isempty (options))
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
69 ## FIXME: Optimset should be updated
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
70 ## options = optimset ();
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
71 options = struct ("maxiter", 1e5, "tolx", 1e-8);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
72 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
73
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
74 ## Initialize the values
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
75 p = [];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
76 z = 1:numel (x);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
77 ## compute the gradient
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
78 w = c'*(d - c*x);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
79
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
80 iter = 0;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
81 while (! isempty (z) && any (w(z) > 0) && iter < options.maxiter)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
82 idx = find (w == max (w));
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
83 if (numel (idx) > 1)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
84 warning ("lsqnonneg:nonunique",
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
85 "A non-unique solution may be returned due to equal gradients.");
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
86 idx = idx(1);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
87 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
88 p(end+1) = z(idx);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
89 z(idx) = [];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
90
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
91 newx = false;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
92 while (! newx && iter < options.maxiter)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
93 iter++;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
94
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
95 cpos = c;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
96 cpos(:,z) = 0;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
97 ## find min norm solution to the positive matrix
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
98 [cpos_q, cpos_r] = qr (cpos, 0);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
99 xtmp = (cpos_r\cpos_q')*d;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
100 xtmp(z) = 0;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
101 if (all (xtmp >= 0))
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
102 ## complete the inner loop
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
103 newx = true;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
104 x = xtmp;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
105 else
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
106 mask = (xtmp < 0);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
107 alpha = min(x(mask)./(x(mask) - xtmp(mask)));
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
108 x = x + alpha*(xtmp - x);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
109 idx = find (x == 0);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
110 p(ismember (p, x)) = [];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
111 z = [z idx];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
112 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
113 endwhile
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
114 w = c'*(d - c*x);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
115 endwhile
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
116
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
117 ## generate the additional output arguments
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
118 if (nargout > 1)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
119 resnorm = norm (C*x-d) ^ 2;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
120 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
121 if (nargout > 2)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
122 residual = d-C*x;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
123 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
124 exitflag = iter;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
125 if (nargout > 3 && iter >= options.maxiter)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
126 exitflag = 0;
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
127 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
128 if (nargout > 4)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
129 output = struct ("algorithm", "nnls", "iterations", iter);
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
130 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
131 if (nargout > 5)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
132 ## FIXME
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
133 error ("lsqnonneg: lambda is not yet implemented");
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
134 endif
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
135
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
136 endfunction
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
137
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
138 ## Tests
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
139 %!test
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
140 %! C = [1 0;0 1;2 1];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
141 %! d = [1;3;-2];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
142 %! assert (lsqnonneg (C, d), [0;0.5], 100*eps)
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
143
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
144 %!test
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
145 %! C = [0.0372 0.2869;0.6861 0.7071;0.6233 0.6245;0.6344 0.6170];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
146 %! d = [0.8587;0.1781;0.0747;0.8405];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
147 %! xnew = [0;0.6929];
f7474c83c782 lsqnonneg: new function
bill@denney.ws
parents:
diff changeset
148 %! assert (lsqnonneg (C, d), xnew, 0.0001)