Blame internal/ceres/coordinate_descent_minimizer.h

Packit ea1746
// Ceres Solver - A fast non-linear least squares minimizer
Packit ea1746
// Copyright 2015 Google Inc. All rights reserved.
Packit ea1746
// http://ceres-solver.org/
Packit ea1746
//
Packit ea1746
// Redistribution and use in source and binary forms, with or without
Packit ea1746
// modification, are permitted provided that the following conditions are met:
Packit ea1746
//
Packit ea1746
// * Redistributions of source code must retain the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer.
Packit ea1746
// * Redistributions in binary form must reproduce the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer in the documentation
Packit ea1746
//   and/or other materials provided with the distribution.
Packit ea1746
// * Neither the name of Google Inc. nor the names of its contributors may be
Packit ea1746
//   used to endorse or promote products derived from this software without
Packit ea1746
//   specific prior written permission.
Packit ea1746
//
Packit ea1746
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
Packit ea1746
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
Packit ea1746
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
Packit ea1746
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
Packit ea1746
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
Packit ea1746
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
Packit ea1746
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
Packit ea1746
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
Packit ea1746
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
Packit ea1746
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
Packit ea1746
// POSSIBILITY OF SUCH DAMAGE.
Packit ea1746
//
Packit ea1746
// Author: sameeragarwal@google.com (Sameer Agarwal)
Packit ea1746
Packit ea1746
#ifndef CERES_INTERNAL_COORDINATE_DESCENT_MINIMIZER_H_
Packit ea1746
#define CERES_INTERNAL_COORDINATE_DESCENT_MINIMIZER_H_
Packit ea1746
Packit ea1746
#include <string>
Packit ea1746
#include <vector>
Packit ea1746
Packit ea1746
#include "ceres/evaluator.h"
Packit ea1746
#include "ceres/minimizer.h"
Packit ea1746
#include "ceres/problem_impl.h"
Packit ea1746
#include "ceres/solver.h"
Packit ea1746
Packit ea1746
namespace ceres {
Packit ea1746
namespace internal {
Packit ea1746
Packit ea1746
class Program;
Packit ea1746
class LinearSolver;
Packit ea1746
Packit ea1746
// Given a Program, and a ParameterBlockOrdering which partitions
Packit ea1746
// (non-exhaustively) the Hessian matrix into independent sets,
Packit ea1746
// perform coordinate descent on the parameter blocks in the
Packit ea1746
// ordering. The independent set structure allows for all parameter
Packit ea1746
// blocks in the same independent set to be optimized in parallel, and
Packit ea1746
// the order of the independent set determines the order in which the
Packit ea1746
// parameter block groups are optimized.
Packit ea1746
//
Packit ea1746
// The minimizer assumes that none of the parameter blocks in the
Packit ea1746
// program are constant.
Packit ea1746
class CoordinateDescentMinimizer : public Minimizer {
Packit ea1746
 public:
Packit ea1746
  bool Init(const Program& program,
Packit ea1746
            const ProblemImpl::ParameterMap& parameter_map,
Packit ea1746
            const ParameterBlockOrdering& ordering,
Packit ea1746
            std::string* error);
Packit ea1746
Packit ea1746
  // Minimizer interface.
Packit ea1746
  virtual ~CoordinateDescentMinimizer();
Packit ea1746
  virtual void Minimize(const Minimizer::Options& options,
Packit ea1746
                        double* parameters,
Packit ea1746
                        Solver::Summary* summary);
Packit ea1746
Packit ea1746
  // Verify that each group in the ordering forms an independent set.
Packit ea1746
  static bool IsOrderingValid(const Program& program,
Packit ea1746
                              const ParameterBlockOrdering& ordering,
Packit ea1746
                              std::string* message);
Packit ea1746
Packit ea1746
  // Find a recursive decomposition of the Hessian matrix as a set
Packit ea1746
  // of independent sets of decreasing size and invert it. This
Packit ea1746
  // seems to work better in practice, i.e., Cameras before
Packit ea1746
  // points.
Packit ea1746
  static ParameterBlockOrdering* CreateOrdering(const Program& program);
Packit ea1746
Packit ea1746
 private:
Packit ea1746
  void Solve(Program* program,
Packit ea1746
             LinearSolver* linear_solver,
Packit ea1746
             double* parameters,
Packit ea1746
             Solver::Summary* summary);
Packit ea1746
Packit ea1746
  std::vector<ParameterBlock*> parameter_blocks_;
Packit ea1746
  std::vector<std::vector<ResidualBlock*> > residual_blocks_;
Packit ea1746
  // The optimization is performed in rounds. In each round all the
Packit ea1746
  // parameter blocks that form one independent set are optimized in
Packit ea1746
  // parallel. This array, marks the boundaries of the independent
Packit ea1746
  // sets in parameter_blocks_.
Packit ea1746
  std::vector<int> independent_set_offsets_;
Packit ea1746
Packit ea1746
  Evaluator::Options evaluator_options_;
Packit ea1746
};
Packit ea1746
Packit ea1746
}  // namespace internal
Packit ea1746
}  // namespace ceres
Packit ea1746
Packit ea1746
#endif  // CERES_INTERNAL_COORDINATE_DESCENT_MINIMIZER_H_