1 // Ceres Solver - A fast non-linear least squares minimizer
2 // Copyright 2010, 2011, 2012 Google Inc. All rights reserved.
3 // http://code.google.com/p/ceres-solver/
4 //
5 // Redistribution and use in source and binary forms, with or without
6 // modification, are permitted provided that the following conditions are met:
7 //
8 // * Redistributions of source code must retain the above copyright notice,
9 // this list of conditions and the following disclaimer.
10 // * Redistributions in binary form must reproduce the above copyright notice,
11 // this list of conditions and the following disclaimer in the documentation
12 // and/or other materials provided with the distribution.
13 // * Neither the name of Google Inc. nor the names of its contributors may be
14 // used to endorse or promote products derived from this software without
15 // specific prior written permission.
16 //
17 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
18 // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 // ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
21 // LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
22 // CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
23 // SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
24 // INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
25 // CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
27 // POSSIBILITY OF SUCH DAMAGE.
28 //
29 // Author: sameeragarwal@google.com (Sameer Agarwal)
30
31 #include "ceres/parameter_block_ordering.h"
32
33 #include "ceres/graph.h"
34 #include "ceres/graph_algorithms.h"
35 #include "ceres/internal/scoped_ptr.h"
36 #include "ceres/map_util.h"
37 #include "ceres/parameter_block.h"
38 #include "ceres/program.h"
39 #include "ceres/residual_block.h"
40 #include "glog/logging.h"
41
42 namespace ceres {
43 namespace internal {
44
ComputeStableSchurOrdering(const Program & program,vector<ParameterBlock * > * ordering)45 int ComputeStableSchurOrdering(const Program& program,
46 vector<ParameterBlock*>* ordering) {
47 CHECK_NOTNULL(ordering)->clear();
48
49 scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
50 const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
51 const HashSet<ParameterBlock*>& vertices = graph->vertices();
52 for (int i = 0; i < parameter_blocks.size(); ++i) {
53 if (vertices.count(parameter_blocks[i]) > 0) {
54 ordering->push_back(parameter_blocks[i]);
55 }
56 }
57
58 int independent_set_size = StableIndependentSetOrdering(*graph, ordering);
59
60 // Add the excluded blocks to back of the ordering vector.
61 for (int i = 0; i < parameter_blocks.size(); ++i) {
62 ParameterBlock* parameter_block = parameter_blocks[i];
63 if (parameter_block->IsConstant()) {
64 ordering->push_back(parameter_block);
65 }
66 }
67
68 return independent_set_size;
69 }
70
ComputeSchurOrdering(const Program & program,vector<ParameterBlock * > * ordering)71 int ComputeSchurOrdering(const Program& program,
72 vector<ParameterBlock*>* ordering) {
73 CHECK_NOTNULL(ordering)->clear();
74
75 scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
76 int independent_set_size = IndependentSetOrdering(*graph, ordering);
77 const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
78
79 // Add the excluded blocks to back of the ordering vector.
80 for (int i = 0; i < parameter_blocks.size(); ++i) {
81 ParameterBlock* parameter_block = parameter_blocks[i];
82 if (parameter_block->IsConstant()) {
83 ordering->push_back(parameter_block);
84 }
85 }
86
87 return independent_set_size;
88 }
89
ComputeRecursiveIndependentSetOrdering(const Program & program,ParameterBlockOrdering * ordering)90 void ComputeRecursiveIndependentSetOrdering(const Program& program,
91 ParameterBlockOrdering* ordering) {
92 CHECK_NOTNULL(ordering)->Clear();
93 const vector<ParameterBlock*> parameter_blocks = program.parameter_blocks();
94 scoped_ptr<Graph< ParameterBlock*> > graph(CreateHessianGraph(program));
95
96 int num_covered = 0;
97 int round = 0;
98 while (num_covered < parameter_blocks.size()) {
99 vector<ParameterBlock*> independent_set_ordering;
100 const int independent_set_size =
101 IndependentSetOrdering(*graph, &independent_set_ordering);
102 for (int i = 0; i < independent_set_size; ++i) {
103 ParameterBlock* parameter_block = independent_set_ordering[i];
104 ordering->AddElementToGroup(parameter_block->mutable_user_state(), round);
105 graph->RemoveVertex(parameter_block);
106 }
107 num_covered += independent_set_size;
108 ++round;
109 }
110 }
111
112 Graph<ParameterBlock*>*
CreateHessianGraph(const Program & program)113 CreateHessianGraph(const Program& program) {
114 Graph<ParameterBlock*>* graph = CHECK_NOTNULL(new Graph<ParameterBlock*>);
115 const vector<ParameterBlock*>& parameter_blocks = program.parameter_blocks();
116 for (int i = 0; i < parameter_blocks.size(); ++i) {
117 ParameterBlock* parameter_block = parameter_blocks[i];
118 if (!parameter_block->IsConstant()) {
119 graph->AddVertex(parameter_block);
120 }
121 }
122
123 const vector<ResidualBlock*>& residual_blocks = program.residual_blocks();
124 for (int i = 0; i < residual_blocks.size(); ++i) {
125 const ResidualBlock* residual_block = residual_blocks[i];
126 const int num_parameter_blocks = residual_block->NumParameterBlocks();
127 ParameterBlock* const* parameter_blocks =
128 residual_block->parameter_blocks();
129 for (int j = 0; j < num_parameter_blocks; ++j) {
130 if (parameter_blocks[j]->IsConstant()) {
131 continue;
132 }
133
134 for (int k = j + 1; k < num_parameter_blocks; ++k) {
135 if (parameter_blocks[k]->IsConstant()) {
136 continue;
137 }
138
139 graph->AddEdge(parameter_blocks[j], parameter_blocks[k]);
140 }
141 }
142 }
143
144 return graph;
145 }
146
OrderingToGroupSizes(const ParameterBlockOrdering * ordering,vector<int> * group_sizes)147 void OrderingToGroupSizes(const ParameterBlockOrdering* ordering,
148 vector<int>* group_sizes) {
149 CHECK_NOTNULL(group_sizes)->clear();
150 if (ordering == NULL) {
151 return;
152 }
153
154 const map<int, set<double*> >& group_to_elements =
155 ordering->group_to_elements();
156 for (map<int, set<double*> >::const_iterator it = group_to_elements.begin();
157 it != group_to_elements.end();
158 ++it) {
159 group_sizes->push_back(it->second.size());
160 }
161 }
162
163 } // namespace internal
164 } // namespace ceres
165