【代码】conda建立虚拟环境，并在jupyter notebook中显示，查看与已安装包是否冲突。

1.分级块匹配运动估计及可信度验证对低分辨率图像进行高斯滤波（消除噪点的影响），然后在滤波后的图像上估计出整数值位移量（相当于采用大图像块来估计大位移量），并以这个位移量估计值作为下一级匹配的初始值。接下来，采用双线性插值法对低分辨率图像进行采样，并对上采样图像进行高斯滤波（消除双线性插值法造成的数据不平稳性），然后在滤波后的图像上继续进行块匹配，获得亚像素精度的运动矢量。这样经过逐级上

SAT规约到3SAT一、SAT、3SAT问题描述SAT问题描述：给定一个又穷的布尔变量集合X={x1,x2,⋯,xn},|X|=nX={x1,x2,⋯,xn},|X|=nX=\{x_1, x_2, \cdots , x_n\}, |X|=n， 每个变量能取0或1， 一组子句C={C1,C2,C3,⋯,Cm},|C|=m,C=C1∧C2∧⋯∧CmC={C1,C2,C3,⋯,Cm},|...

（一）. python版本切换root身份下操作1.终端输入Python和Python3查看版本2.使用 update-alternatives 来为整个系统更改Python 版本，先罗列出所有可用的python 替代版本信息：update-alternatives --list python出现：update-alternatives: error: no alternatives