NAME
PDL::Opt::Simplex -- Simplex optimization routines
SYNOPSIS
use PDL::Opt::Simplex;
($optimum,$ssize,$optval) = simplex($init,$initsize,$minsize,
$maxiter,
sub {evaluate_func_at($_[0])},
sub {display_simplex($_[0])}
);
# more involved:
use PDL;
use PDL::Opt::Simplex;
my $count = 0;
# find value of $x that returns a minimum
sub f {
my ($vec) = @_;
$count++;
my $x = $vec->slice('(0)');
# The parabola (x+3)^2 - 5 has a minimum at x=-3:
return (($x+3)**2 - 5);
}
sub log {
my ($vec, $vals, $ssize) = @_;
# $vec is the array of values being optimized
# $vals is f($vec)
# $ssize is the simplex size, or roughly, how close to being converged.
my $x = $vec->slice('(0)');
# each vector element passed to log() has a min and max value.
# ie: x=[6 0] -> vals=[76 4]
# so, from above: f(6) == 76 and f(0) == 4
print "$count [$ssize]: $x -> $vals\n";
}
my ($optimum, $ssize, $optval) = simplex(pdl(30), 3, 1e-6, 100, \&f, \&log);
print "ssize=$ssize opt=$optimum -> minimum=$optval\n";
DESCRIPTION
This package implements the commonly used simplex optimization algorithm. The basic idea of the algorithm is to move a "simplex" of N+1 points in the N-dimensional search space according to certain rules. The main benefit of the algorithm is that you do not need to calculate the derivatives of your function.
$init
is a 1D vector holding the initial values of the N fitted parameters, $optimum
is a vector holding the final values. $optval
is the evaluation of the final values.
$initsize
is the size of $init
. It is only used if your supplied $init
is a single point in your search space, to construct the simplex ("cloud") of N+1 points the algorithm uses, being the distance away from your single $init
point along each dimension. This is done by the exportable function make_simplex($init, $initsize)
, e.g.:
pdl> use PDL::Opt::Simplex
pdl> p $t = make_simplex(pdl(0,0,0), pdl(0.12,0.12,0.12))
[
[ 0 -0.06 -0.08]
[ 0.12 -0.06 -0.08]
[ 0 0.06 -0.08]
[ 0 0 0.04]
]
pdl> use PDL::Graphics::TriD
pdl> spheres3d $t # spheres not points so can easily see
$minsize
is the convergence criterion, e.g. $minsize
= 1e-6; the algorithm will terminate when all the values of $ssize
are less than $minsize
.
The sub is assumed to understand more than 1 dimensions and broadcasting. Its signature is inp(nparams); [ret]out()
. An example would be
sub evaluate_func_at {
my($xv) = @_;
my ($x1, $x2) = $xv->using(0,1);
return $x1**4 + ($x2-5)**4 + $x1*$x2;
}
Here $xv
is a vector holding the current values of the parameters being fitted which are then sliced out explicitly as $x1
and $x2
.
$ssize
gives a very very approximate estimate of how close we might be - it might be miles wrong. It is the largest Euclidean distance between the first vertex and any other. If it is not very small, the algorithm has not converged.
FUNCTIONS
simplex
Simplex optimization routine
Mutates its $init
input if given as a full simplex (dims n,n+1
).
($optimum,$ssize,$optval) = simplex($init,$initsize,$minsize,
$maxiter,
sub {evaluate_func_at($_[0])},
sub {display_simplex($_[0])}
);
See module PDL::Opt::Simplex
for more information.
CAVEATS
Do not use the simplex method if your function has local minima. It will not work. Use genetic algorithms or simulated annealing or conjugate gradient or momentum gradient descent.
They will not really work either but they are not guaranteed not to work ;) (if you have infinite time, simulated annealing is guaranteed to work but only after it has visited every point in your space).
SEE ALSO
- PDL::Opt::Simplex::Simple - Use names for Simplex-optimized values
- PDL::Opt::ParticleSwarm - A PDL implementation of Particle Swarm
- PDL::Opt::ParticleSwarm::Simple - Use names for Particle Swarm-optimized values
The demonstration (Examples/Simplex/tsimp.pl and tsimp2.pl).
AUTHOR
Copyright(C) 1997 Tuomas J. Lukka. All rights reserved. There is no warranty. You are allowed to redistribute this software / documentation under certain conditions. For details, see the file COPYING in the PDL distribution. If this file is separated from the PDL distribution, the copyright notice should be included in the file.