Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/optim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxReimann <max.reimann@student.hpi.uni-potsdam.de>2015-12-20 22:46:36 +0300
committerMaxReimann <max.reimann@student.hpi.uni-potsdam.de>2015-12-20 22:46:36 +0300
commit810f29258361e2a928eaa5059062a6540dbf9361 (patch)
tree31af79b84e05cb6fd729c5d4b3602d77c77e03c3
parentf53b8d04a80befb65a8ebb87b0334292c4838830 (diff)
Add CMAES global optimization method
-rw-r--r--cmaes.lua263
-rw-r--r--init.lua2
-rw-r--r--test/test_cmaes.lua10
3 files changed, 274 insertions, 1 deletions
diff --git a/cmaes.lua b/cmaes.lua
new file mode 100644
index 0000000..29f0b53
--- /dev/null
+++ b/cmaes.lua
@@ -0,0 +1,263 @@
+require 'torch'
+require 'math'
+
+local BestSolution = {}
+--[[Initialize` CMAES` instance
+
+Parameters
+----------
+ `opfunc` : a function that takes a single input (X), the point of
+ evaluation, and returns f(X) and df/dX
+ `x` : the initial solution vector
+ ``1D tensor`` of numbers (like ``[3, 2, 1.2]``)
+ `sigma`
+ ``float``, initial step-size (standard deviation in each
+ coordinate)
+ `maxEval`
+ ``int``, maximal number of function evaluations
+ `ftarget`
+ `float`, target function value
+ `popsize`
+ population size. If this is left empty,
+ 4 + int(3 * log(|x|)) will be used
+
+ --]]
+function optim.cmaes(opfunc, x, config, state)
+ -- process input parameters
+ local config = config or {}
+ local state = state or config
+ N = x:size(1) -- number of objective variables/problem dimension
+ local xmean = x:clone() -- initial point, distribution mean, a copy
+ local sigma = state.sigma
+ local ftarget = state.ftarget -- stop if fitness < ftarget
+ local maxEval = state.maxEval or 1e3*N^2
+ local objfunc = opfunc
+ local verb_disp = state.verb_disp or 1000
+ local lambda = state.popsize -- population size, offspring number
+ local min_iterations = state.min_iterations or 1
+ -- Strategy parameter setting: Selection
+ if state.popsize == nil then
+ lambda = 4 + math.floor(3 * math.log(N))
+ end
+
+ local mu = lambda / 2 -- number of parents/points for recombination
+ local weights = torch.range(0,mu-1)
+ weights:apply(function(i) return math.log(mu+0.5) - math.log(i+1) end) -- recombination weights
+ local i = 0
+ local weightSum = weights:sum()
+ weights:div(weightSum) -- normalize recombination weights array
+ local mueff = weights:sum()^2 / torch.pow(weights,2):sum() -- variance-effectiveness of sum w_i x_i
+
+ -- Strategy parameter setting: Adaptation
+ local cc = (4 + mueff/N) / (N+4 + 2 * mueff/N) -- time constant for cumulation for C
+ local cs = (mueff + 2) / (N + mueff + 5) -- t-const for cumulation for sigma control
+ local c1 = 2 / ((N + 1.3)^2 + mueff) -- learning rate for rank-one update of C
+ local cmu = math.min(1 - c1, 2 * (mueff - 2 + 1/mueff) / ((N + 2)^2 + mueff)) -- and for rank-mu update
+ local damps = 2 * mueff/lambda + 0.3 + cs -- damping for sigma, usually close to 1
+
+ -- Initialize dynamic (internal) state variables
+ --local pc, ps = N * [0], N * [0] -- evolution paths for C,sigma
+ local pc = torch.Tensor(N):zero() -- evolution paths for C
+ local ps = torch.Tensor(N):zero() -- evolution paths for sigma
+ local B = torch.eye(N) -- B defines the coordinate system
+ local D = torch.Tensor(N):fill(1) -- diagonal D defines the scaling
+ local C = torch.eye(N) -- covariance matrix
+ local invsqrtC = torch.eye(N) -- C^-1/2
+ local eigeneval = 0 -- tracking the update of B and D
+ local counteval = 0
+ local fitnessvals = {} -- for bookkeeping output and termination
+ local best = BestSolution.new(nil,nil,counteval)
+ local iteration = 0 -- iteration of the optimize loop
+
+ local function ask()
+ --[[return a list of lambda candidate solutions according to
+ m + sig * Normal(0,C) = m + sig * B * D * Normal(0,I)
+ --]]
+ -- Eigendecomposition: first update B, D and invsqrtC from C
+ -- postpone in case to achieve O(N^2)
+ if counteval - eigeneval > lambda/(c1+cmu)/C:size(1)/10 then
+ eigeneval = counteval
+ C = torch.triu(C) + torch.triu(C,1):t() -- enforce symmetry
+ D, B = torch.symeig(C,'V') -- eigen decomposition, B==normalized eigenvectors, O(N^3)
+ D = torch.sqrt(D) -- D contains standard deviations now
+ invsqrtC = B * torch.diag(torch.pow(D,-1)) * B:t()
+ end
+
+ res = torch.Tensor(lambda,D:size(1))
+ for k=1,lambda do --repeat lambda times
+ z = D:clone()
+ z:apply(function(d) return d * torch.normal(0,1) end) --randn[k]
+ res[{k,{}}] = torch.add(xmean, (B * z) * sigma)
+ end
+ return res
+ end
+
+
+ --[[update the evolution paths and the distribution parameters m,
+ sigma, and C within CMA-ES.
+
+ Parameters
+ ----------
+ `arx`
+ a list of solutions, presumably from `ask()`
+ `fitvals`
+ the corresponding objective function values
+
+ --]]
+
+ local function tell(arx, _fitvals)
+ -- bookkeeping, preparation
+ counteval = counteval + _fitvals:size(1) -- slightly artificial to do here
+ N = xmean:size(1) -- convenience short cuts
+ local iN = torch.range(1,N)
+ local xold = xmean:clone()
+
+ -- Sort by fitness and compute weighted mean into xmean
+ fitvals, arindex = torch.sort(_fitvals)
+ arx = arx:index(1, arindex[{{1, mu}}]) -- sorted arx
+ -- fitvals is kept for termination and display only
+ best:update( arx[1], fitvals[1], counteval)
+
+ xmean:zero()
+ xmean:addmv(arx:t(), weights) --dot product
+
+ -- Cumulation: update evolution paths
+ local y = xmean - xold
+ local z = invsqrtC * y -- == C^(-1/2) * (xnew - xold)
+
+ local c = (cs * (2-cs) * mueff)^0.5 / sigma
+ ps = ps - ps * cs + z * c -- exponential decay on ps
+ local hsig = (torch.sum(torch.pow(ps,2)) /
+ (1-(1-cs)^(2*counteval/lambda)) / N < 2 + 4./(N+1))
+ hsig = hsig and 1.0 or 0.0 --use binary numbers
+
+ local c = (cc * (2-cc) * mueff)^0.5 / sigma
+ pc = pc - pc * cc + y * c * hsig -- exponential decay on pc
+
+ -- Adapt covariance matrix C
+ local c1a = c1 - (1-hsig^2) * c1 * cc * (2-cc)
+ -- for a minor adjustment to the variance loss by hsig
+ for i=1,N do
+ for j=1,N do
+ local r = torch.range(1,mu)
+ r:apply(function(k) return weights[k] * (arx[k][i]-xold[i]) * (arx[k][j]-xold[j]) end)
+ Cmuij = torch.sum(r) / sigma^2 -- rank-mu update
+ C[i][j] = C[i][j] + ((-c1a - cmu) * C[i][j] +
+ c1 * pc[i]*pc[j] + cmu * Cmuij)
+ end
+ end
+
+ -- Adapt step-size sigma with factor <= exp(0.6) \approx 1.82
+ sigma = sigma * math.exp(math.min(0.6,
+ (cs / damps) * (torch.sum(torch.pow(ps,2))/N - 1)/2))
+
+ end
+
+ local function stop()
+ --[[return satisfied termination conditions in a table like
+ {'termination reason':value, ...}, for example {'tolfun':1e-12},
+ or the empty dict {}--]]
+ res = {}
+ if counteval > 0 then
+ if counteval >= maxEval then
+ res['evals'] = maxEval
+ end
+ if ftarget ~= nil and fitvals:nElement() > 0 and fitvals[1] <= ftarget then
+ res['ftarget'] = ftarget
+ end
+ if torch.max(D) > 1e7 * torch.min(D) then
+ res['condition'] = 1e7
+ end
+ if fitvals:nElement() > 1 and fitvals[fitvals:nElement()] - fitvals[1] < 1e-12 then
+ res['tolfun'] = 1e-12
+ end
+ if sigma * torch.max(D) < 1e-11 then
+ -- remark: max(D) >= max(diag(C))^0.5
+ res['tolx'] = 1e-11
+ end
+ end
+ return res
+ end
+
+ local function disp(verb_modulo)
+ --[[display some iteration info--]]
+ local iteration = counteval / lambda
+
+ if iteration == 1 or iteration % (10*verb_modulo) == 0 then
+ print('evals:\t ax-ratio max(std) f-value')
+ end
+ if iteration <= 2 or iteration % verb_modulo == 0 then
+ local max_std = math.sqrt(torch.max(torch.diag(C)))
+ print(tostring(counteval).. ': ' ..
+ string.format(' %6.1f %8.1e ', torch.max(D) / torch.min(D), sigma * max_std)
+ .. tostring(fitvals[1]))
+ end
+
+ return nil
+ end
+
+ local function result()
+ --[[return (xbest, f(xbest), evaluations_xbest, evaluations,
+ iterations, xmean)--]]
+ bestmean, bestf, bestcount = best:get()
+ return bestmean, bestf, bestcount, counteval, iteration, xmean
+ end
+
+ while next(stop()) == nil or iteration < min_iterations do
+ if iterations and iteration >= iterations then
+ return -1
+ end
+ iteration = iteration + 1
+
+ local X = ask() -- deliver candidate solutions
+ local _fitvals = torch.Tensor(X:size(1))
+ for i=1, _fitvals:size(1) do
+ _fitvals[i] = objfunc(X[i], state.objfunc_args)
+ end
+ tell(X, _fitvals)
+ disp(verb_disp)
+ end
+ -- logger.add(self, force=True) if logger else None
+ if verb_disp then
+ for k, v in pairs(stop()) do
+ print('termination by', k, '=', v)
+ end
+ bestmu, f, c, ceval, iter, bestmu = result()
+ print('best f-value =', f)
+ print('solution = ')
+ print(bestmu)
+ print('best found at iterations: ', c/lambda, ' , total iterations: ', iter)
+ end
+end
+
+
+
+BestSolution.__index = BestSolution
+-- syntax equivalent to "BestSolution.new = function..."
+function BestSolution.new(x, f, evals)
+ local self = setmetatable({}, BestSolution)
+ self.x = x
+ self.f = f
+ self.evals = evals
+ return self
+end
+
+function BestSolution.update(self, arx, arf, evals)
+ --[[initialize the best solution with `x`, `f`, and `evals`.
+ Better solutions have smaller `f`-values.--]]
+ if self.f == nil or arf < self.f then
+ -- i = i[1] --unpacking from 1-el tensor
+ self.x = arx:clone()
+ self.f = arf
+ if self.evals == nil then
+ self.evals = nil
+ else
+ self.evals = evals
+ end
+ end
+ return self
+end
+
+function BestSolution.get(self)
+ return self.x, self.f, self.evals
+end
diff --git a/init.lua b/init.lua
index d79833f..0571f1d 100644
--- a/init.lua
+++ b/init.lua
@@ -13,9 +13,9 @@ torch.include('optim', 'lbfgs.lua')
torch.include('optim', 'adagrad.lua')
torch.include('optim', 'rprop.lua')
torch.include('optim', 'adam.lua')
-torch.include('optim', 'adamax.lua')
torch.include('optim', 'rmsprop.lua')
torch.include('optim', 'adadelta.lua')
+torch.include('optim', 'cmaes.lua')
-- line search functions
torch.include('optim', 'lswolfe.lua')
diff --git a/test/test_cmaes.lua b/test/test_cmaes.lua
new file mode 100644
index 0000000..4d21465
--- /dev/null
+++ b/test/test_cmaes.lua
@@ -0,0 +1,10 @@
+require 'torch'
+require 'optim'
+
+
+require 'rosenbrock'
+require 'l2'
+
+x = torch.Tensor(4):fill(0)
+config = {maxEval=10000, sigma=0.5}
+x,fx,i=optim.cmaes(rosenbrock,x, config)