Blame examples/libmv_bundle_adjuster.cc

Packit ea1746
// Copyright (c) 2013 libmv authors.
Packit ea1746
//
Packit ea1746
// Permission is hereby granted, free of charge, to any person obtaining a copy
Packit ea1746
// of this software and associated documentation files (the "Software"), to
Packit ea1746
// deal in the Software without restriction, including without limitation the
Packit ea1746
// rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
Packit ea1746
// sell copies of the Software, and to permit persons to whom the Software is
Packit ea1746
// furnished to do so, subject to the following conditions:
Packit ea1746
//
Packit ea1746
// The above copyright notice and this permission notice shall be included in
Packit ea1746
// all copies or substantial portions of the Software.
Packit ea1746
//
Packit ea1746
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
Packit ea1746
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
Packit ea1746
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
Packit ea1746
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
Packit ea1746
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
Packit ea1746
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
Packit ea1746
// IN THE SOFTWARE.
Packit ea1746
//
Packit ea1746
// Author: mierle@gmail.com (Keir Mierle)
Packit ea1746
//         sergey.vfx@gmail.com (Sergey Sharybin)
Packit ea1746
//
Packit ea1746
// This is an example application which contains bundle adjustment code used
Packit ea1746
// in the Libmv library and Blender. It reads problems from files passed via
Packit ea1746
// the command line and runs the bundle adjuster on the problem.
Packit ea1746
//
Packit ea1746
// File with problem a binary file, for which it is crucial to know in which
Packit ea1746
// order bytes of float values are stored in. This information is provided
Packit ea1746
// by a single character in the beginning of the file. There're two possible
Packit ea1746
// values of this byte:
Packit ea1746
//  - V, which means values in the file are stored with big endian type
Packit ea1746
//  - v, which means values in the file are stored with little endian type
Packit ea1746
//
Packit ea1746
// The rest of the file contains data in the following order:
Packit ea1746
//   - Space in which markers' coordinates are stored in
Packit ea1746
//   - Camera intrinsics
Packit ea1746
//   - Number of cameras
Packit ea1746
//   - Cameras
Packit ea1746
//   - Number of 3D points
Packit ea1746
//   - 3D points
Packit ea1746
//   - Number of markers
Packit ea1746
//   - Markers
Packit ea1746
//
Packit ea1746
// Markers' space could either be normalized or image (pixels). This is defined
Packit ea1746
// by the single character in the file. P means markers in the file is in image
Packit ea1746
// space, and N means markers are in normalized space.
Packit ea1746
//
Packit ea1746
// Camera intrinsics are 8 described by 8 float 8.
Packit ea1746
// This values goes in the following order:
Packit ea1746
//
Packit ea1746
//   - Focal length, principal point X, principal point Y, k1, k2, k3, p1, p2
Packit ea1746
//
Packit ea1746
// Every camera is described by:
Packit ea1746
//
Packit ea1746
//   - Image for which camera belongs to (single 4 bytes integer value).
Packit ea1746
//   - Column-major camera rotation matrix, 9 float values.
Packit ea1746
//   - Camera translation, 3-component vector of float values.
Packit ea1746
//
Packit ea1746
// Image number shall be greater or equal to zero. Order of cameras does not
Packit ea1746
// matter and gaps are possible.
Packit ea1746
//
Packit ea1746
// Every 3D point is decribed by:
Packit ea1746
//
Packit ea1746
//  - Track number point belongs to (single 4 bytes integer value).
Packit ea1746
//  - 3D position vector, 3-component vector of float values.
Packit ea1746
//
Packit ea1746
// Track number shall be greater or equal to zero. Order of tracks does not
Packit ea1746
// matter and gaps are possible.
Packit ea1746
//
Packit ea1746
// Finally every marker is described by:
Packit ea1746
//
Packit ea1746
//  - Image marker belongs to single 4 bytes integer value).
Packit ea1746
//  - Track marker belongs to single 4 bytes integer value).
Packit ea1746
//  - 2D marker position vector, (two float values).
Packit ea1746
//
Packit ea1746
// Marker's space is used a default value for refine_intrinsics command line
Packit ea1746
// flag. This means if there's no refine_intrinsics flag passed via command
Packit ea1746
// line, camera intrinsics will be refined if markers in the problem are
Packit ea1746
// stored in image space and camera intrinsics will not be refined if markers
Packit ea1746
// are in normalized space.
Packit ea1746
//
Packit ea1746
// Passing refine_intrinsics command line flag defines explicitly whether
Packit ea1746
// refinement of intrinsics will happen. Currently, only none and all
Packit ea1746
// intrinsics refinement is supported.
Packit ea1746
//
Packit ea1746
// There're existing problem files dumped from blender stored in folder
Packit ea1746
// ../data/libmv-ba-problems.
Packit ea1746
Packit ea1746
#include <cstdio>
Packit ea1746
#include <fcntl.h>
Packit ea1746
#include <sstream>
Packit ea1746
#include <string>
Packit ea1746
#include <vector>
Packit ea1746
Packit ea1746
#ifdef _MSC_VER
Packit ea1746
#  include <io.h>
Packit ea1746
#  define open _open
Packit ea1746
#  define close _close
Packit ea1746
typedef unsigned __int32 uint32_t;
Packit ea1746
#else
Packit ea1746
#include <stdint.h>
Packit ea1746
#include <unistd.h>
Packit ea1746
Packit ea1746
// O_BINARY is not defined on unix like platforms, as there is no
Packit ea1746
// difference between binary and text files.
Packit ea1746
#define O_BINARY 0
Packit ea1746
Packit ea1746
#endif
Packit ea1746
Packit ea1746
#include "ceres/ceres.h"
Packit ea1746
#include "ceres/rotation.h"
Packit ea1746
#include "gflags/gflags.h"
Packit ea1746
#include "glog/logging.h"
Packit ea1746
Packit ea1746
typedef Eigen::Matrix<double, 3, 3> Mat3;
Packit ea1746
typedef Eigen::Matrix<double, 6, 1> Vec6;
Packit ea1746
typedef Eigen::Vector3d Vec3;
Packit ea1746
typedef Eigen::Vector4d Vec4;
Packit ea1746
Packit ea1746
using std::vector;
Packit ea1746
Packit ea1746
DEFINE_string(input, "", "Input File name");
Packit ea1746
DEFINE_string(refine_intrinsics, "", "Camera intrinsics to be refined. "
Packit ea1746
              "Options are: none, radial.");
Packit ea1746
Packit ea1746
namespace {
Packit ea1746
Packit ea1746
// A EuclideanCamera is the location and rotation of the camera
Packit ea1746
// viewing an image.
Packit ea1746
//
Packit ea1746
// image identifies which image this camera represents.
Packit ea1746
// R is a 3x3 matrix representing the rotation of the camera.
Packit ea1746
// t is a translation vector representing its positions.
Packit ea1746
struct EuclideanCamera {
Packit ea1746
  EuclideanCamera() : image(-1) {}
Packit ea1746
  EuclideanCamera(const EuclideanCamera &c) : image(c.image), R(c.R), t(c.t) {}
Packit ea1746
Packit ea1746
  int image;
Packit ea1746
  Mat3 R;
Packit ea1746
  Vec3 t;
Packit ea1746
};
Packit ea1746
Packit ea1746
// A Point is the 3D location of a track.
Packit ea1746
//
Packit ea1746
// track identifies which track this point corresponds to.
Packit ea1746
// X represents the 3D position of the track.
Packit ea1746
struct EuclideanPoint {
Packit ea1746
  EuclideanPoint() : track(-1) {}
Packit ea1746
  EuclideanPoint(const EuclideanPoint &p) : track(p.track), X(p.X) {}
Packit ea1746
  int track;
Packit ea1746
  Vec3 X;
Packit ea1746
};
Packit ea1746
Packit ea1746
// A Marker is the 2D location of a tracked point in an image.
Packit ea1746
//
Packit ea1746
// x and y is the position of the marker in pixels from the top left corner
Packit ea1746
// in the image identified by an image. All markers for to the same target
Packit ea1746
// form a track identified by a common track number.
Packit ea1746
struct Marker {
Packit ea1746
  int image;
Packit ea1746
  int track;
Packit ea1746
  double x, y;
Packit ea1746
};
Packit ea1746
Packit ea1746
// Cameras intrinsics to be bundled.
Packit ea1746
//
Packit ea1746
// BUNDLE_RADIAL actually implies bundling of k1 and k2 coefficients only,
Packit ea1746
// no bundling of k3 is possible at this moment.
Packit ea1746
enum BundleIntrinsics {
Packit ea1746
  BUNDLE_NO_INTRINSICS = 0,
Packit ea1746
  BUNDLE_FOCAL_LENGTH = 1,
Packit ea1746
  BUNDLE_PRINCIPAL_POINT = 2,
Packit ea1746
  BUNDLE_RADIAL_K1 = 4,
Packit ea1746
  BUNDLE_RADIAL_K2 = 8,
Packit ea1746
  BUNDLE_RADIAL = 12,
Packit ea1746
  BUNDLE_TANGENTIAL_P1 = 16,
Packit ea1746
  BUNDLE_TANGENTIAL_P2 = 32,
Packit ea1746
  BUNDLE_TANGENTIAL = 48,
Packit ea1746
};
Packit ea1746
Packit ea1746
// Denotes which blocks to keep constant during bundling.
Packit ea1746
// For example it is useful to keep camera translations constant
Packit ea1746
// when bundling tripod motions.
Packit ea1746
enum BundleConstraints {
Packit ea1746
  BUNDLE_NO_CONSTRAINTS = 0,
Packit ea1746
  BUNDLE_NO_TRANSLATION = 1,
Packit ea1746
};
Packit ea1746
Packit ea1746
// The intrinsics need to get combined into a single parameter block; use these
Packit ea1746
// enums to index instead of numeric constants.
Packit ea1746
enum {
Packit ea1746
  OFFSET_FOCAL_LENGTH,
Packit ea1746
  OFFSET_PRINCIPAL_POINT_X,
Packit ea1746
  OFFSET_PRINCIPAL_POINT_Y,
Packit ea1746
  OFFSET_K1,
Packit ea1746
  OFFSET_K2,
Packit ea1746
  OFFSET_K3,
Packit ea1746
  OFFSET_P1,
Packit ea1746
  OFFSET_P2,
Packit ea1746
};
Packit ea1746
Packit ea1746
// Returns a pointer to the camera corresponding to a image.
Packit ea1746
EuclideanCamera *CameraForImage(vector<EuclideanCamera> *all_cameras,
Packit ea1746
                                const int image) {
Packit ea1746
  if (image < 0 || image >= all_cameras->size()) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  EuclideanCamera *camera = &(*all_cameras)[image];
Packit ea1746
  if (camera->image == -1) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  return camera;
Packit ea1746
}
Packit ea1746
Packit ea1746
const EuclideanCamera *CameraForImage(
Packit ea1746
    const vector<EuclideanCamera> &all_cameras,
Packit ea1746
    const int image) {
Packit ea1746
  if (image < 0 || image >= all_cameras.size()) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  const EuclideanCamera *camera = &all_cameras[image];
Packit ea1746
  if (camera->image == -1) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  return camera;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Returns maximal image number at which marker exists.
Packit ea1746
int MaxImage(const vector<Marker> &all_markers) {
Packit ea1746
  if (all_markers.size() == 0) {
Packit ea1746
    return -1;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  int max_image = all_markers[0].image;
Packit ea1746
  for (int i = 1; i < all_markers.size(); i++) {
Packit ea1746
    max_image = std::max(max_image, all_markers[i].image);
Packit ea1746
  }
Packit ea1746
  return max_image;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Returns a pointer to the point corresponding to a track.
Packit ea1746
EuclideanPoint *PointForTrack(vector<EuclideanPoint> *all_points,
Packit ea1746
                              const int track) {
Packit ea1746
  if (track < 0 || track >= all_points->size()) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  EuclideanPoint *point = &(*all_points)[track];
Packit ea1746
  if (point->track == -1) {
Packit ea1746
    return NULL;
Packit ea1746
  }
Packit ea1746
  return point;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Reader of binary file which makes sure possibly needed endian
Packit ea1746
// conversion happens when loading values like floats and integers.
Packit ea1746
//
Packit ea1746
// File's endian type is reading from a first character of file, which
Packit ea1746
// could either be V for big endian or v for little endian.  This
Packit ea1746
// means you need to design file format assuming first character
Packit ea1746
// denotes file endianness in this way.
Packit ea1746
class EndianAwareFileReader {
Packit ea1746
 public:
Packit ea1746
  EndianAwareFileReader(void) : file_descriptor_(-1) {
Packit ea1746
    // Get an endian type of the host machine.
Packit ea1746
    union {
Packit ea1746
      unsigned char bytes[4];
Packit ea1746
      uint32_t value;
Packit ea1746
    } endian_test = { { 0, 1, 2, 3 } };
Packit ea1746
    host_endian_type_ = endian_test.value;
Packit ea1746
    file_endian_type_ = host_endian_type_;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  ~EndianAwareFileReader(void) {
Packit ea1746
    if (file_descriptor_ > 0) {
Packit ea1746
      close(file_descriptor_);
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  bool OpenFile(const std::string &file_name) {
Packit ea1746
    file_descriptor_ = open(file_name.c_str(), O_RDONLY | O_BINARY);
Packit ea1746
    if (file_descriptor_ < 0) {
Packit ea1746
      return false;
Packit ea1746
    }
Packit ea1746
    // Get an endian tpye of data in the file.
Packit ea1746
    unsigned char file_endian_type_flag = Read<unsigned char>();
Packit ea1746
    if (file_endian_type_flag == 'V') {
Packit ea1746
      file_endian_type_ = kBigEndian;
Packit ea1746
    } else if (file_endian_type_flag == 'v') {
Packit ea1746
      file_endian_type_ = kLittleEndian;
Packit ea1746
    } else {
Packit ea1746
      LOG(FATAL) << "Problem file is stored in unknown endian type.";
Packit ea1746
    }
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Read value from the file, will switch endian if needed.
Packit ea1746
  template <typename T>
Packit ea1746
  T Read(void) const {
Packit ea1746
    T value;
Packit ea1746
    CHECK_GT(read(file_descriptor_, &value, sizeof(value)), 0);
Packit ea1746
    // Switch endian type if file contains data in different type
Packit ea1746
    // that current machine.
Packit ea1746
    if (file_endian_type_ != host_endian_type_) {
Packit ea1746
      value = SwitchEndian<T>(value);
Packit ea1746
    }
Packit ea1746
    return value;
Packit ea1746
  }
Packit ea1746
 private:
Packit ea1746
  static const long int kLittleEndian = 0x03020100ul;
Packit ea1746
  static const long int kBigEndian = 0x00010203ul;
Packit ea1746
Packit ea1746
  // Switch endian type between big to little.
Packit ea1746
  template <typename T>
Packit ea1746
  T SwitchEndian(const T value) const {
Packit ea1746
    if (sizeof(T) == 4) {
Packit ea1746
      unsigned int temp_value = static_cast<unsigned int>(value);
Packit ea1746
      return ((temp_value >> 24)) |
Packit ea1746
             ((temp_value << 8) & 0x00ff0000) |
Packit ea1746
             ((temp_value >> 8) & 0x0000ff00) |
Packit ea1746
             ((temp_value << 24));
Packit ea1746
    } else if (sizeof(T) == 1) {
Packit ea1746
      return value;
Packit ea1746
    } else {
Packit ea1746
      LOG(FATAL) << "Entered non-implemented part of endian switching function.";
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  int host_endian_type_;
Packit ea1746
  int file_endian_type_;
Packit ea1746
  int file_descriptor_;
Packit ea1746
};
Packit ea1746
Packit ea1746
// Read 3x3 column-major matrix from the file
Packit ea1746
void ReadMatrix3x3(const EndianAwareFileReader &file_reader,
Packit ea1746
                   Mat3 *matrix) {
Packit ea1746
  for (int i = 0; i < 9; i++) {
Packit ea1746
    (*matrix)(i % 3, i / 3) = file_reader.Read<float>();
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
// Read 3-vector from file
Packit ea1746
void ReadVector3(const EndianAwareFileReader &file_reader,
Packit ea1746
                 Vec3 *vector) {
Packit ea1746
  for (int i = 0; i < 3; i++) {
Packit ea1746
    (*vector)(i) = file_reader.Read<float>();
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
// Reads a bundle adjustment problem from the file.
Packit ea1746
//
Packit ea1746
// file_name denotes from which file to read the problem.
Packit ea1746
// camera_intrinsics will contain initial camera intrinsics values.
Packit ea1746
//
Packit ea1746
// all_cameras is a vector of all reconstructed cameras to be optimized,
Packit ea1746
// vector element with number i will contain camera for image i.
Packit ea1746
//
Packit ea1746
// all_points is a vector of all reconstructed 3D points to be optimized,
Packit ea1746
// vector element with number i will contain point for track i.
Packit ea1746
//
Packit ea1746
// all_markers is a vector of all tracked markers existing in
Packit ea1746
// the problem. Only used for reprojection error calculation, stay
Packit ea1746
// unchanged during optimization.
Packit ea1746
//
Packit ea1746
// Returns false if any kind of error happened during
Packit ea1746
// reading.
Packit ea1746
bool ReadProblemFromFile(const std::string &file_name,
Packit ea1746
                         double camera_intrinsics[8],
Packit ea1746
                         vector<EuclideanCamera> *all_cameras,
Packit ea1746
                         vector<EuclideanPoint> *all_points,
Packit ea1746
                         bool *is_image_space,
Packit ea1746
                         vector<Marker> *all_markers) {
Packit ea1746
  EndianAwareFileReader file_reader;
Packit ea1746
  if (!file_reader.OpenFile(file_name)) {
Packit ea1746
    return false;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Read markers' space flag.
Packit ea1746
  unsigned char is_image_space_flag = file_reader.Read<unsigned char>();
Packit ea1746
  if (is_image_space_flag == 'P') {
Packit ea1746
    *is_image_space = true;
Packit ea1746
  } else if (is_image_space_flag == 'N') {
Packit ea1746
    *is_image_space = false;
Packit ea1746
  } else {
Packit ea1746
    LOG(FATAL) << "Problem file contains markers stored in unknown space.";
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Read camera intrinsics.
Packit ea1746
  for (int i = 0; i < 8; i++) {
Packit ea1746
    camera_intrinsics[i] = file_reader.Read<float>();
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Read all cameras.
Packit ea1746
  int number_of_cameras = file_reader.Read<int>();
Packit ea1746
  for (int i = 0; i < number_of_cameras; i++) {
Packit ea1746
    EuclideanCamera camera;
Packit ea1746
Packit ea1746
    camera.image = file_reader.Read<int>();
Packit ea1746
    ReadMatrix3x3(file_reader, &camera.R);
Packit ea1746
    ReadVector3(file_reader, &camera.t);
Packit ea1746
Packit ea1746
    if (camera.image >= all_cameras->size()) {
Packit ea1746
      all_cameras->resize(camera.image + 1);
Packit ea1746
    }
Packit ea1746
Packit ea1746
    (*all_cameras)[camera.image].image = camera.image;
Packit ea1746
    (*all_cameras)[camera.image].R = camera.R;
Packit ea1746
    (*all_cameras)[camera.image].t = camera.t;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  LOG(INFO) << "Read " << number_of_cameras << " cameras.";
Packit ea1746
Packit ea1746
  // Read all reconstructed 3D points.
Packit ea1746
  int number_of_points = file_reader.Read<int>();
Packit ea1746
  for (int i = 0; i < number_of_points; i++) {
Packit ea1746
    EuclideanPoint point;
Packit ea1746
Packit ea1746
    point.track = file_reader.Read<int>();
Packit ea1746
    ReadVector3(file_reader, &point.X);
Packit ea1746
Packit ea1746
    if (point.track >= all_points->size()) {
Packit ea1746
      all_points->resize(point.track + 1);
Packit ea1746
    }
Packit ea1746
Packit ea1746
    (*all_points)[point.track].track = point.track;
Packit ea1746
    (*all_points)[point.track].X = point.X;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  LOG(INFO) << "Read " << number_of_points << " points.";
Packit ea1746
Packit ea1746
  // And finally read all markers.
Packit ea1746
  int number_of_markers = file_reader.Read<int>();
Packit ea1746
  for (int i = 0; i < number_of_markers; i++) {
Packit ea1746
    Marker marker;
Packit ea1746
Packit ea1746
    marker.image = file_reader.Read<int>();
Packit ea1746
    marker.track = file_reader.Read<int>();
Packit ea1746
    marker.x = file_reader.Read<float>();
Packit ea1746
    marker.y = file_reader.Read<float>();
Packit ea1746
Packit ea1746
    all_markers->push_back(marker);
Packit ea1746
  }
Packit ea1746
Packit ea1746
  LOG(INFO) << "Read " << number_of_markers << " markers.";
Packit ea1746
Packit ea1746
  return true;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Apply camera intrinsics to the normalized point to get image coordinates.
Packit ea1746
// This applies the radial lens distortion to a point which is in normalized
Packit ea1746
// camera coordinates (i.e. the principal point is at (0, 0)) to get image
Packit ea1746
// coordinates in pixels. Templated for use with autodifferentiation.
Packit ea1746
template <typename T>
Packit ea1746
inline void ApplyRadialDistortionCameraIntrinsics(const T &focal_length_x,
Packit ea1746
                                                  const T &focal_length_y,
Packit ea1746
                                                  const T &principal_point_x,
Packit ea1746
                                                  const T &principal_point_y,
Packit ea1746
                                                  const T &k1,
Packit ea1746
                                                  const T &k2,
Packit ea1746
                                                  const T &k3,
Packit ea1746
                                                  const T &p1,
Packit ea1746
                                                  const T &p2,
Packit ea1746
                                                  const T &normalized_x,
Packit ea1746
                                                  const T &normalized_y,
Packit ea1746
                                                  T *image_x,
Packit ea1746
                                                  T *image_y) {
Packit ea1746
  T x = normalized_x;
Packit ea1746
  T y = normalized_y;
Packit ea1746
Packit ea1746
  // Apply distortion to the normalized points to get (xd, yd).
Packit ea1746
  T r2 = x*x + y*y;
Packit ea1746
  T r4 = r2 * r2;
Packit ea1746
  T r6 = r4 * r2;
Packit ea1746
  T r_coeff = 1.0 + k1 * r2 + k2 * r4 + k3 * r6;
Packit ea1746
  T xd = x * r_coeff + 2.0 * p1 * x * y + p2 * (r2 + 2.0 * x * x);
Packit ea1746
  T yd = y * r_coeff + 2.0 * p2 * x * y + p1 * (r2 + 2.0 * y * y);
Packit ea1746
Packit ea1746
  // Apply focal length and principal point to get the final image coordinates.
Packit ea1746
  *image_x = focal_length_x * xd + principal_point_x;
Packit ea1746
  *image_y = focal_length_y * yd + principal_point_y;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Cost functor which computes reprojection error of 3D point X
Packit ea1746
// on camera defined by angle-axis rotation and it's translation
Packit ea1746
// (which are in the same block due to optimization reasons).
Packit ea1746
//
Packit ea1746
// This functor uses a radial distortion model.
Packit ea1746
struct OpenCVReprojectionError {
Packit ea1746
  OpenCVReprojectionError(const double observed_x, const double observed_y)
Packit ea1746
      : observed_x(observed_x), observed_y(observed_y) {}
Packit ea1746
Packit ea1746
  template <typename T>
Packit ea1746
  bool operator()(const T* const intrinsics,
Packit ea1746
                  const T* const R_t,  // Rotation denoted by angle axis
Packit ea1746
                                       // followed with translation
Packit ea1746
                  const T* const X,    // Point coordinates 3x1.
Packit ea1746
                  T* residuals) const {
Packit ea1746
    // Unpack the intrinsics.
Packit ea1746
    const T& focal_length      = intrinsics[OFFSET_FOCAL_LENGTH];
Packit ea1746
    const T& principal_point_x = intrinsics[OFFSET_PRINCIPAL_POINT_X];
Packit ea1746
    const T& principal_point_y = intrinsics[OFFSET_PRINCIPAL_POINT_Y];
Packit ea1746
    const T& k1                = intrinsics[OFFSET_K1];
Packit ea1746
    const T& k2                = intrinsics[OFFSET_K2];
Packit ea1746
    const T& k3                = intrinsics[OFFSET_K3];
Packit ea1746
    const T& p1                = intrinsics[OFFSET_P1];
Packit ea1746
    const T& p2                = intrinsics[OFFSET_P2];
Packit ea1746
Packit ea1746
    // Compute projective coordinates: x = RX + t.
Packit ea1746
    T x[3];
Packit ea1746
Packit ea1746
    ceres::AngleAxisRotatePoint(R_t, X, x);
Packit ea1746
    x[0] += R_t[3];
Packit ea1746
    x[1] += R_t[4];
Packit ea1746
    x[2] += R_t[5];
Packit ea1746
Packit ea1746
    // Compute normalized coordinates: x /= x[2].
Packit ea1746
    T xn = x[0] / x[2];
Packit ea1746
    T yn = x[1] / x[2];
Packit ea1746
Packit ea1746
    T predicted_x, predicted_y;
Packit ea1746
Packit ea1746
    // Apply distortion to the normalized points to get (xd, yd).
Packit ea1746
    // TODO(keir): Do early bailouts for zero distortion; these are expensive
Packit ea1746
    // jet operations.
Packit ea1746
    ApplyRadialDistortionCameraIntrinsics(focal_length,
Packit ea1746
                                          focal_length,
Packit ea1746
                                          principal_point_x,
Packit ea1746
                                          principal_point_y,
Packit ea1746
                                          k1, k2, k3,
Packit ea1746
                                          p1, p2,
Packit ea1746
                                          xn, yn,
Packit ea1746
                                          &predicted_x,
Packit ea1746
                                          &predicted_y);
Packit ea1746
Packit ea1746
    // The error is the difference between the predicted and observed position.
Packit ea1746
    residuals[0] = predicted_x - observed_x;
Packit ea1746
    residuals[1] = predicted_y - observed_y;
Packit ea1746
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  const double observed_x;
Packit ea1746
  const double observed_y;
Packit ea1746
};
Packit ea1746
Packit ea1746
// Print a message to the log which camera intrinsics are gonna to be optimized.
Packit ea1746
void BundleIntrinsicsLogMessage(const int bundle_intrinsics) {
Packit ea1746
  if (bundle_intrinsics == BUNDLE_NO_INTRINSICS) {
Packit ea1746
    LOG(INFO) << "Bundling only camera positions.";
Packit ea1746
  } else {
Packit ea1746
    std::string bundling_message = "";
Packit ea1746
Packit ea1746
#define APPEND_BUNDLING_INTRINSICS(name, flag) \
Packit ea1746
    if (bundle_intrinsics & flag) { \
Packit ea1746
      if (!bundling_message.empty()) { \
Packit ea1746
        bundling_message += ", "; \
Packit ea1746
      } \
Packit ea1746
      bundling_message += name; \
Packit ea1746
    } (void)0
Packit ea1746
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("f",      BUNDLE_FOCAL_LENGTH);
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("px, py", BUNDLE_PRINCIPAL_POINT);
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("k1",     BUNDLE_RADIAL_K1);
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("k2",     BUNDLE_RADIAL_K2);
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("p1",     BUNDLE_TANGENTIAL_P1);
Packit ea1746
    APPEND_BUNDLING_INTRINSICS("p2",     BUNDLE_TANGENTIAL_P2);
Packit ea1746
Packit ea1746
    LOG(INFO) << "Bundling " << bundling_message << ".";
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
// Print a message to the log containing all the camera intriniscs values.
Packit ea1746
void PrintCameraIntrinsics(const char *text, const double *camera_intrinsics) {
Packit ea1746
  std::ostringstream intrinsics_output;
Packit ea1746
Packit ea1746
  intrinsics_output << "f=" << camera_intrinsics[OFFSET_FOCAL_LENGTH];
Packit ea1746
Packit ea1746
  intrinsics_output <<
Packit ea1746
    " cx=" << camera_intrinsics[OFFSET_PRINCIPAL_POINT_X] <<
Packit ea1746
    " cy=" << camera_intrinsics[OFFSET_PRINCIPAL_POINT_Y];
Packit ea1746
Packit ea1746
#define APPEND_DISTORTION_COEFFICIENT(name, offset) \
Packit ea1746
  { \
Packit ea1746
    if (camera_intrinsics[offset] != 0.0) { \
Packit ea1746
      intrinsics_output << " " name "=" << camera_intrinsics[offset];  \
Packit ea1746
    } \
Packit ea1746
  } (void)0
Packit ea1746
Packit ea1746
  APPEND_DISTORTION_COEFFICIENT("k1", OFFSET_K1);
Packit ea1746
  APPEND_DISTORTION_COEFFICIENT("k2", OFFSET_K2);
Packit ea1746
  APPEND_DISTORTION_COEFFICIENT("k3", OFFSET_K3);
Packit ea1746
  APPEND_DISTORTION_COEFFICIENT("p1", OFFSET_P1);
Packit ea1746
  APPEND_DISTORTION_COEFFICIENT("p2", OFFSET_P2);
Packit ea1746
Packit ea1746
#undef APPEND_DISTORTION_COEFFICIENT
Packit ea1746
Packit ea1746
  LOG(INFO) << text << intrinsics_output.str();
Packit ea1746
}
Packit ea1746
Packit ea1746
// Get a vector of camera's rotations denoted by angle axis
Packit ea1746
// conjuncted with translations into single block
Packit ea1746
//
Packit ea1746
// Element with index i matches to a rotation+translation for
Packit ea1746
// camera at image i.
Packit ea1746
vector<Vec6> PackCamerasRotationAndTranslation(
Packit ea1746
    const vector<Marker> &all_markers,
Packit ea1746
    const vector<EuclideanCamera> &all_cameras) {
Packit ea1746
  vector<Vec6> all_cameras_R_t;
Packit ea1746
  int max_image = MaxImage(all_markers);
Packit ea1746
Packit ea1746
  all_cameras_R_t.resize(max_image + 1);
Packit ea1746
Packit ea1746
  for (int i = 0; i <= max_image; i++) {
Packit ea1746
    const EuclideanCamera *camera = CameraForImage(all_cameras, i);
Packit ea1746
Packit ea1746
    if (!camera) {
Packit ea1746
      continue;
Packit ea1746
    }
Packit ea1746
Packit ea1746
    ceres::RotationMatrixToAngleAxis(&camera->R(0, 0),
Packit ea1746
                                     &all_cameras_R_t[i](0));
Packit ea1746
    all_cameras_R_t[i].tail<3>() = camera->t;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  return all_cameras_R_t;
Packit ea1746
}
Packit ea1746
Packit ea1746
// Convert cameras rotations fro mangle axis back to rotation matrix.
Packit ea1746
void UnpackCamerasRotationAndTranslation(
Packit ea1746
    const vector<Marker> &all_markers,
Packit ea1746
    const vector<Vec6> &all_cameras_R_t,
Packit ea1746
    vector<EuclideanCamera> *all_cameras) {
Packit ea1746
  int max_image = MaxImage(all_markers);
Packit ea1746
Packit ea1746
  for (int i = 0; i <= max_image; i++) {
Packit ea1746
    EuclideanCamera *camera = CameraForImage(all_cameras, i);
Packit ea1746
Packit ea1746
    if (!camera) {
Packit ea1746
      continue;
Packit ea1746
    }
Packit ea1746
Packit ea1746
    ceres::AngleAxisToRotationMatrix(&all_cameras_R_t[i](0),
Packit ea1746
                                     &camera->R(0, 0));
Packit ea1746
    camera->t = all_cameras_R_t[i].tail<3>();
Packit ea1746
  }
Packit ea1746
}
Packit ea1746
Packit ea1746
void EuclideanBundleCommonIntrinsics(const vector<Marker> &all_markers,
Packit ea1746
                                     const int bundle_intrinsics,
Packit ea1746
                                     const int bundle_constraints,
Packit ea1746
                                     double *camera_intrinsics,
Packit ea1746
                                     vector<EuclideanCamera> *all_cameras,
Packit ea1746
                                     vector<EuclideanPoint> *all_points) {
Packit ea1746
  PrintCameraIntrinsics("Original intrinsics: ", camera_intrinsics);
Packit ea1746
Packit ea1746
  ceres::Problem::Options problem_options;
Packit ea1746
  ceres::Problem problem(problem_options);
Packit ea1746
Packit ea1746
  // Convert cameras rotations to angle axis and merge with translation
Packit ea1746
  // into single parameter block for maximal minimization speed
Packit ea1746
  //
Packit ea1746
  // Block for minimization has got the following structure:
Packit ea1746
  //   <3 elements for angle-axis> <3 elements for translation>
Packit ea1746
  vector<Vec6> all_cameras_R_t =
Packit ea1746
    PackCamerasRotationAndTranslation(all_markers, *all_cameras);
Packit ea1746
Packit ea1746
  // Parameterization used to restrict camera motion for modal solvers.
Packit ea1746
  ceres::SubsetParameterization *constant_transform_parameterization = NULL;
Packit ea1746
  if (bundle_constraints & BUNDLE_NO_TRANSLATION) {
Packit ea1746
      std::vector<int> constant_translation;
Packit ea1746
Packit ea1746
      // First three elements are rotation, last three are translation.
Packit ea1746
      constant_translation.push_back(3);
Packit ea1746
      constant_translation.push_back(4);
Packit ea1746
      constant_translation.push_back(5);
Packit ea1746
Packit ea1746
      constant_transform_parameterization =
Packit ea1746
        new ceres::SubsetParameterization(6, constant_translation);
Packit ea1746
  }
Packit ea1746
Packit ea1746
  int num_residuals = 0;
Packit ea1746
  bool have_locked_camera = false;
Packit ea1746
  for (int i = 0; i < all_markers.size(); ++i) {
Packit ea1746
    const Marker &marker = all_markers[i];
Packit ea1746
    EuclideanCamera *camera = CameraForImage(all_cameras, marker.image);
Packit ea1746
    EuclideanPoint *point = PointForTrack(all_points, marker.track);
Packit ea1746
    if (camera == NULL || point == NULL) {
Packit ea1746
      continue;
Packit ea1746
    }
Packit ea1746
Packit ea1746
    // Rotation of camera denoted in angle axis followed with
Packit ea1746
    // camera translaiton.
Packit ea1746
    double *current_camera_R_t = &all_cameras_R_t[camera->image](0);
Packit ea1746
Packit ea1746
    problem.AddResidualBlock(new ceres::AutoDiffCostFunction<
Packit ea1746
        OpenCVReprojectionError, 2, 8, 6, 3>(
Packit ea1746
            new OpenCVReprojectionError(
Packit ea1746
                marker.x,
Packit ea1746
                marker.y)),
Packit ea1746
        NULL,
Packit ea1746
        camera_intrinsics,
Packit ea1746
        current_camera_R_t,
Packit ea1746
        &point->X(0));
Packit ea1746
Packit ea1746
    // We lock the first camera to better deal with scene orientation ambiguity.
Packit ea1746
    if (!have_locked_camera) {
Packit ea1746
      problem.SetParameterBlockConstant(current_camera_R_t);
Packit ea1746
      have_locked_camera = true;
Packit ea1746
    }
Packit ea1746
Packit ea1746
    if (bundle_constraints & BUNDLE_NO_TRANSLATION) {
Packit ea1746
      problem.SetParameterization(current_camera_R_t,
Packit ea1746
                                  constant_transform_parameterization);
Packit ea1746
    }
Packit ea1746
Packit ea1746
    num_residuals++;
Packit ea1746
  }
Packit ea1746
  LOG(INFO) << "Number of residuals: " << num_residuals;
Packit ea1746
Packit ea1746
  if (!num_residuals) {
Packit ea1746
    LOG(INFO) << "Skipping running minimizer with zero residuals";
Packit ea1746
    return;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  BundleIntrinsicsLogMessage(bundle_intrinsics);
Packit ea1746
Packit ea1746
  if (bundle_intrinsics == BUNDLE_NO_INTRINSICS) {
Packit ea1746
    // No camera intrinsics are being refined,
Packit ea1746
    // set the whole parameter block as constant for best performance.
Packit ea1746
    problem.SetParameterBlockConstant(camera_intrinsics);
Packit ea1746
  } else {
Packit ea1746
    // Set the camera intrinsics that are not to be bundled as
Packit ea1746
    // constant using some macro trickery.
Packit ea1746
Packit ea1746
    std::vector<int> constant_intrinsics;
Packit ea1746
#define MAYBE_SET_CONSTANT(bundle_enum, offset) \
Packit ea1746
    if (!(bundle_intrinsics & bundle_enum)) { \
Packit ea1746
      constant_intrinsics.push_back(offset); \
Packit ea1746
    }
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_FOCAL_LENGTH,    OFFSET_FOCAL_LENGTH);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_PRINCIPAL_POINT, OFFSET_PRINCIPAL_POINT_X);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_PRINCIPAL_POINT, OFFSET_PRINCIPAL_POINT_Y);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_RADIAL_K1,       OFFSET_K1);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_RADIAL_K2,       OFFSET_K2);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_TANGENTIAL_P1,   OFFSET_P1);
Packit ea1746
    MAYBE_SET_CONSTANT(BUNDLE_TANGENTIAL_P2,   OFFSET_P2);
Packit ea1746
#undef MAYBE_SET_CONSTANT
Packit ea1746
Packit ea1746
    // Always set K3 constant, it's not used at the moment.
Packit ea1746
    constant_intrinsics.push_back(OFFSET_K3);
Packit ea1746
Packit ea1746
    ceres::SubsetParameterization *subset_parameterization =
Packit ea1746
      new ceres::SubsetParameterization(8, constant_intrinsics);
Packit ea1746
Packit ea1746
    problem.SetParameterization(camera_intrinsics, subset_parameterization);
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Configure the solver.
Packit ea1746
  ceres::Solver::Options options;
Packit ea1746
  options.use_nonmonotonic_steps = true;
Packit ea1746
  options.preconditioner_type = ceres::SCHUR_JACOBI;
Packit ea1746
  options.linear_solver_type = ceres::ITERATIVE_SCHUR;
Packit ea1746
  options.use_inner_iterations = true;
Packit ea1746
  options.max_num_iterations = 100;
Packit ea1746
  options.minimizer_progress_to_stdout = true;
Packit ea1746
Packit ea1746
  // Solve!
Packit ea1746
  ceres::Solver::Summary summary;
Packit ea1746
  ceres::Solve(options, &problem, &summary);
Packit ea1746
Packit ea1746
  std::cout << "Final report:\n" << summary.FullReport();
Packit ea1746
Packit ea1746
  // Copy rotations and translations back.
Packit ea1746
  UnpackCamerasRotationAndTranslation(all_markers,
Packit ea1746
                                      all_cameras_R_t,
Packit ea1746
                                      all_cameras);
Packit ea1746
Packit ea1746
  PrintCameraIntrinsics("Final intrinsics: ", camera_intrinsics);
Packit ea1746
}
Packit ea1746
}  // namespace
Packit ea1746
Packit ea1746
int main(int argc, char **argv) {
Packit ea1746
  CERES_GFLAGS_NAMESPACE::ParseCommandLineFlags(&argc, &argv, true);
Packit ea1746
  google::InitGoogleLogging(argv[0]);
Packit ea1746
Packit ea1746
  if (FLAGS_input.empty()) {
Packit ea1746
    LOG(ERROR) << "Usage: libmv_bundle_adjuster --input=blender_problem";
Packit ea1746
    return EXIT_FAILURE;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  double camera_intrinsics[8];
Packit ea1746
  vector<EuclideanCamera> all_cameras;
Packit ea1746
  vector<EuclideanPoint> all_points;
Packit ea1746
  bool is_image_space;
Packit ea1746
  vector<Marker> all_markers;
Packit ea1746
Packit ea1746
  if (!ReadProblemFromFile(FLAGS_input,
Packit ea1746
                           camera_intrinsics,
Packit ea1746
                           &all_cameras,
Packit ea1746
                           &all_points,
Packit ea1746
                           &is_image_space,
Packit ea1746
                           &all_markers)) {
Packit ea1746
    LOG(ERROR) << "Error reading problem file";
Packit ea1746
    return EXIT_FAILURE;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // If there's no refine_intrinsics passed via command line
Packit ea1746
  // (in this case FLAGS_refine_intrinsics will be an empty string)
Packit ea1746
  // we use problem's settings to detect whether intrinsics
Packit ea1746
  // shall be refined or not.
Packit ea1746
  //
Packit ea1746
  // Namely, if problem has got markers stored in image (pixel)
Packit ea1746
  // space, we do full intrinsics refinement. If markers are
Packit ea1746
  // stored in normalized space, and refine_intrinsics is not
Packit ea1746
  // set, no refining will happen.
Packit ea1746
  //
Packit ea1746
  // Using command line argument refine_intrinsics will explicitly
Packit ea1746
  // declare which intrinsics need to be refined and in this case
Packit ea1746
  // refining flags does not depend on problem at all.
Packit ea1746
  int bundle_intrinsics = BUNDLE_NO_INTRINSICS;
Packit ea1746
  if (FLAGS_refine_intrinsics.empty()) {
Packit ea1746
    if (is_image_space) {
Packit ea1746
      bundle_intrinsics = BUNDLE_FOCAL_LENGTH | BUNDLE_RADIAL;
Packit ea1746
    }
Packit ea1746
  } else {
Packit ea1746
    if (FLAGS_refine_intrinsics == "radial") {
Packit ea1746
      bundle_intrinsics = BUNDLE_FOCAL_LENGTH | BUNDLE_RADIAL;
Packit ea1746
    } else if (FLAGS_refine_intrinsics != "none") {
Packit ea1746
      LOG(ERROR) << "Unsupported value for refine-intrinsics";
Packit ea1746
      return EXIT_FAILURE;
Packit ea1746
    }
Packit ea1746
  }
Packit ea1746
Packit ea1746
  // Run the bundler.
Packit ea1746
  EuclideanBundleCommonIntrinsics(all_markers,
Packit ea1746
                                  bundle_intrinsics,
Packit ea1746
                                  BUNDLE_NO_CONSTRAINTS,
Packit ea1746
                                  camera_intrinsics,
Packit ea1746
                                  &all_cameras,
Packit ea1746
                                  &all_points);
Packit ea1746
Packit ea1746
  return EXIT_SUCCESS;
Packit ea1746
}