Blame internal/ceres/parameter_block_ordering.cc

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
#include "ceres/parameter_block_ordering.h"
Packit ea1746
Packit ea1746
#include "ceres/graph.h"
Packit ea1746
#include "ceres/graph_algorithms.h"
Packit ea1746
#include "ceres/internal/scoped_ptr.h"
Packit ea1746
#include "ceres/map_util.h"
Packit ea1746
#include "ceres/parameter_block.h"
Packit ea1746
#include "ceres/program.h"
Packit ea1746
#include "ceres/residual_block.h"
Packit ea1746
#include "ceres/wall_time.h"
Packit ea1746
#include "glog/logging.h"
Packit ea1746
Packit ea1746
namespace ceres {
Packit ea1746
namespace internal {
Packit ea1746
Packit ea1746
using std::map;
Packit ea1746
using std::set;
Packit ea1746
using std::vector;
Packit ea1746
Packit ea1746
int ComputeStableSchurOrdering(const Program& program,
Packit ea1746
                         vector<ParameterBlock*>* ordering) {
Packit ea1746
  CHECK_NOTNULL(ordering)->clear();
Packit ea1746
  EventLogger event_logger("ComputeStableSchurOrdering");
Packit ea1746
  scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
Packit ea1746
  event_logger.AddEvent("CreateHessianGraph");
Packit ea1746
Packit ea1746
  const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
Packit ea1746
  const HashSet<ParameterBlock*>& vertices = graph->vertices();
Packit ea1746
  for (int i = 0; i < parameter_blocks.size(); ++i) {
Packit ea1746
    if (vertices.count(parameter_blocks[i]) > 0) {
Packit ea1746
      ordering->push_back(parameter_blocks[i]);
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
  event_logger.AddEvent("Preordering");
Packit ea1746
Packit ea1746
  int independent_set_size = StableIndependentSetOrdering(*graph, ordering);
Packit ea1746
  event_logger.AddEvent("StableIndependentSet");
Packit ea1746
Packit ea1746
  // Add the excluded blocks to back of the ordering vector.
Packit ea1746
  for (int i = 0; i < parameter_blocks.size(); ++i) {
Packit ea1746
    ParameterBlock* parameter_block = parameter_blocks[i];
Packit ea1746
    if (parameter_block->IsConstant()) {
Packit ea1746
      ordering->push_back(parameter_block);
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
  event_logger.AddEvent("ConstantParameterBlocks");
Packit ea1746
Packit ea1746
  return independent_set_size;
Packit ea1746
}
Packit ea1746
Packit ea1746
int ComputeSchurOrdering(const Program& program,
Packit ea1746
                         vector<ParameterBlock*>* ordering) {
Packit ea1746
  CHECK_NOTNULL(ordering)->clear();
Packit ea1746
Packit ea1746
  scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
Packit ea1746
  int independent_set_size = IndependentSetOrdering(*graph, ordering);
Packit ea1746
  const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
Packit ea1746
Packit ea1746
  // Add the excluded blocks to back of the ordering vector.
Packit ea1746
  for (int i = 0; i < parameter_blocks.size(); ++i) {
Packit ea1746
    ParameterBlock* parameter_block = parameter_blocks[i];
Packit ea1746
    if (parameter_block->IsConstant()) {
Packit ea1746
      ordering->push_back(parameter_block);
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  return independent_set_size;
Packit ea1746
}
Packit ea1746
Packit ea1746
void ComputeRecursiveIndependentSetOrdering(const Program& program,
Packit ea1746
                                            ParameterBlockOrdering* ordering) {
Packit ea1746
  CHECK_NOTNULL(ordering)->Clear();
Packit ea1746
  const vector<ParameterBlock*> parameter_blocks = program.parameter_blocks();
Packit ea1746
  scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
Packit ea1746
Packit ea1746
  int num_covered = 0;
Packit ea1746
  int round = 0;
Packit ea1746
  while (num_covered < parameter_blocks.size()) {
Packit ea1746
    vector<ParameterBlock*> independent_set_ordering;
Packit ea1746
    const int independent_set_size =
Packit ea1746
        IndependentSetOrdering(*graph, &independent_set_ordering);
Packit ea1746
    for (int i = 0; i < independent_set_size; ++i) {
Packit ea1746
      ParameterBlock* parameter_block = independent_set_ordering[i];
Packit ea1746
      ordering->AddElementToGroup(parameter_block->mutable_user_state(), round);
Packit ea1746
      graph->RemoveVertex(parameter_block);
Packit ea1746
    }
Packit ea1746
    num_covered += independent_set_size;
Packit ea1746
    ++round;
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
Graph<ParameterBlock*>* CreateHessianGraph(const Program& program) {
Packit ea1746
  Graph<ParameterBlock*>* graph = CHECK_NOTNULL(new Graph<ParameterBlock*>);
Packit ea1746
  const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
Packit ea1746
  for (int i = 0; i < parameter_blocks.size(); ++i) {
Packit ea1746
    ParameterBlock* parameter_block = parameter_blocks[i];
Packit ea1746
    if (!parameter_block->IsConstant()) {
Packit ea1746
      graph->AddVertex(parameter_block);
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  const vector<ResidualBlock*>& residual_blocks = program.residual_blocks();
Packit ea1746
  for (int i = 0; i < residual_blocks.size(); ++i) {
Packit ea1746
    const ResidualBlock* residual_block = residual_blocks[i];
Packit ea1746
    const int num_parameter_blocks = residual_block->NumParameterBlocks();
Packit ea1746
    ParameterBlock* const* parameter_blocks =
Packit ea1746
        residual_block->parameter_blocks();
Packit ea1746
    for (int j = 0; j < num_parameter_blocks; ++j) {
Packit ea1746
      if (parameter_blocks[j]->IsConstant()) {
Packit ea1746
        continue;
Packit ea1746
      }
Packit ea1746
Packit ea1746
      for (int k = j + 1; k < num_parameter_blocks; ++k) {
Packit ea1746
        if (parameter_blocks[k]->IsConstant()) {
Packit ea1746
          continue;
Packit ea1746
        }
Packit ea1746
Packit ea1746
        graph->AddEdge(parameter_blocks[j], parameter_blocks[k]);
Packit ea1746
      }
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  return graph;
Packit ea1746
}
Packit ea1746
Packit ea1746
void OrderingToGroupSizes(const ParameterBlockOrdering* ordering,
Packit ea1746
                          vector<int>* group_sizes) {
Packit ea1746
  CHECK_NOTNULL(group_sizes)->clear();
Packit ea1746
  if (ordering == NULL) {
Packit ea1746
    return;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  const map<int, set<double*> >& group_to_elements =
Packit ea1746
      ordering->group_to_elements();
Packit ea1746
  for (map<int, set<double*> >::const_iterator it = group_to_elements.begin();
Packit ea1746
       it != group_to_elements.end();
Packit ea1746
       ++it) {
Packit ea1746
    group_sizes->push_back(it->second.size());
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
}  // namespace internal
Packit ea1746
}  // namespace ceres