在之前接触SfM和SLAM时,对于后端优化的实操不多,对于图优化的理解也仅局限于"顶点为待优化变量,边为约束"这种基础理论层面,没有关注过图优化的求解.因为最近在做BA的优化,所以第一步必须要搞清楚BA问题的常规求解方法.
这里主要参考贺博的资料:https://blog.csdn.net/heyijia0327/article/details/47686523,简单记录一下自己的理解以及疑问.
图优化SfM和SLAM中,顶点是传感器位姿,边是位姿间关系.
1.信息矩阵
图优化中非常重要的概念.参考高博资料:https://www.cnblogs.com/gaoxiang12/p/5244828.html.
信息矩阵是协方差矩阵的逆,是一个对称矩阵.矩阵元素的大小代表对误差项的信任程度.如果比较相信由某个传感器或者某种计算方式所得的误差,则赋予这项误差较大的权重.
2.为什么说"多元高斯分布的协方差矩阵的某一维越大,高斯曲线越矮胖,表示在这个方向上越不确定"??
(1)方差:度量各维度偏离其均值的程度.
(2)协方差:度量元素间的相关性,处理二维问题.
(3)协方差矩阵:处理多变量的多维问题.对称矩阵,对角线是各维度的方差.
(4)高斯分布密度函数:
一元:
二元:(rho为相关系数)
变换形式:令,其中,C为协方差矩阵,
将代入
整理可得:
多元:,其中
为协方差矩阵
(5)博客https://blog.csdn.net/xfijun/article/details/53822490绘制了协方差矩阵对二维高斯分布形状的影响.
对于一元高斯分布,我们在中学数学中学过其特性:小sigma瘦高,大sigma矮胖.上述博客的结果与此特性相符.如下图所示,左图中var(x)=5,var(y)=1,cov(x,y)=0,明显可看出,x轴方向比较胖,y轴方向比较瘦.同样对于右图,var(x)=10,var(y)=50,cov(x,y)=0,y轴方向比较瘦,x轴方向比较胖.
(左) (右)
所以说,"高斯分布的协方差矩阵的某一维越大,高斯曲线越矮胖",这一结论推广到高维高斯分布仍然适用.协方差矩阵的每一维包含某一相关的方差以及其与其他变量的相关系数,我们在BA问题中考虑不同时刻观测误差相互独立,则变量间相关系数为0,那么这一维越大,意味着方差越大,"在这个方向上越不确定".