凸优化基础知识

1、计算几何是研究什么的？

答：计算几何是指的对几何外形信息的计算机表示、分析和综合。

2、计算几何理论中（或凸集中）过两点的一条直线的表达式，是如何描述的？与初中数学中那些直线方程有什么差异？有什么好处？(按自己的体会)

①初中两点式
(y-y1)/(y2-y1)=(x-x1)/(x2-x1) (x1≠x2，y1≠y2)
②计算几何表达

double DistanceToLine(Point P, Point A, Point B)
{
    Vector v1=B-A,v2=P-A;
    return fabs(Cross(v1,v2)/Length(v1));
}

3、凸集是什么？ 直线是凸集吗？是仿射集吗？

①凸集是什么？
凸集(convex set)是在凸组合下闭合的仿射空间的子集。更具体地说，在欧氏空间中，凸集是对于集合内的每一对点，连接该对点的直线段上的每个点也在该集合内。例如，立方体是凸集，但是任何中空的或具有凹痕的例如月牙形都不是凸集。
②直线是凸集吗？
答：直线不是凸集
③直线是仿射集吗？
仿射集亦称仿射流形、线性流形、仿射簇，是实线性空间中的一类子集。非空间射集 M 的维数定义为上述子空间 L 的维数。空集的维数定义为-1。维数分别为0、1，以及2的仿射集为点、直线和平面。ℝn中n-1维点仿射集称为超平面。
答：直线是仿射集

4、三维空间中的一个平面，如何表达？

① 参数式 过一点，且平行于两个不共线的向量可确定一个平面。思路为三向量共面。两个已知向量前的系数称为参数.
② 三点式 过不共线的三点可确定一个平面。导出可用参数式的思路。不共线的三点，可构造两个不共线的向量。将参数方程理解为关于两个参数与—1的三元线性齐次方程组，有非零解的充要条件是对应的系数行列式（三阶）等于零。好记忆的是相应的四阶行列式等于零。
③ 截距式 过坐标轴上的三点确定的平面。思路用三点式的结论。因为坐标轴上的点的坐标比较简单，所以能整理成与平面截距式直线类似的特殊形式。
④ 一般式 即一般的三元一次方程。思路与三点式紧密相关。由三点式的三阶行列式的展开式可得，平面方程为三元一次方程；再由三元一次方程的三个解与原方程组成的关于A,B,C,D的四元齐次线性方程组，有非零解的充要条件是系数行列式等于零可知，正好是三点式表示的平面。
空间平面在直角坐标系下还有两种表示形式，与上面的形式一道排列为：
⑤ 点法式 过一点，且与一个已知的非零向量垂直的平面是确定的。导出思路:以已知点为起点，任一点为终点的向量与已知非零向量垂直，其充要条件是其内积等于零。这种形式可化为前面的一般式。
⑥ 法线式 已知平面法线与平面的交点（垂足）及原点到平面的距离，可确定一个平面。思路是以垂足为起点，任一点为终点的向量与法线垂直，其内积等于零。这种形式也是一般式的特例

5、更高维度的“超平面”，如何表达？

n 维空间中的超平面由下面的方程确定:
其中，w 和 x 都是 n 维列向量，x 为平面上的点，w 为平面上的法向量，决定了超平面的方向，b 是一个实数，代表超平面到原点的距离。且
w 是法向量，b 表示平面到原点的距离。

6、什么是“凸函数”定义？什么是Hessian Matrix 矩阵? 如何判别一个函数是凸函数？f(x)=x^3 函数是凸函数吗？

①凸函数：对于一元函数f(x)，如果对于任意tϵ[0,1]均满足：f(tx1+(1−t)x2)≤tf(x1)+(1−t)f(x2)，则称f(x)为凸函数(convex function)
　如果对于任意tϵ(0,1)均满足：f(tx1+(1−t)x2)<tf(x1)+(1−t)f(x2)，则称f(x)为严格凸函数(convex function)
②如何判别一个函数是凸函数
对于一元函数f(x)，我们可以通过其二阶导数f′′(x) 的符号来判断。如果函数的二阶导数总是非负，即f′′(x)≥0 ，则f(x)是凸函数
　对于多元函数f(X)，我们可以通过其Hessian矩阵（Hessian矩阵是由多元函数的二阶导数组成的方阵）的正定性来判断。如果Hessian矩阵是半正定矩阵，则是f(X)凸函数