蒙特卡洛方法最重要的就是按照某一分布采样。
采样某一分布,主要有两种方法:
检验采样结果
为了在实现采样后检验采样结果是否真的满足分布,采用下列方法:
- 绘制归一化后的分布函数
- 搜集若干采样
- 统计采样数据绘制归一化的分布图(注意:在统计的时候,出来的统计数据的值代表——这个数据在x轴的哪个地方,在某个x0的领域内,统计出所有落在领域的数据量,除以总数据就是频率)
统计一组数据并且画出分布的代码大致如下(所有传入的采样必须在[0,1]):
//这里将采集的数据分成140个区间进行统计
void check(std::vector<float> v,NormalView* app,ofColor c=ofColor::black,float scale = 0.2)
{
const int acc = 140;
float a[acc]={0};
for(int i=0;i<v.size();++i)
{
float t =0;
int idx = 0;
for(int j=0;j<acc;++j)
{
if(v[i]>=t&&v[i]<t+1.f/(float)acc)
{
a[idx]++;
break;
}
t +=1.f/acc;
++idx;
}
}
//定义域在[0,1],将
//原来的频率图积分应该将dx设置为1,于是有sum f(x)dx = 1
//现在,定义域被缩放到长度为1,所以为了保证积分为1,应该把dx修改为对应的大小,于是
//sum c f(x) dx = 1
//dx = 1/acc & sum f(x)=1 -> c = acc
float intval = 1.f/acc;
for(int i=0;i<acc;++i)
a[i] = (float)a[i]/v.size()*acc;
for(int i=0;i<acc;++i)
{
int idx = (float)i/acc*app->grid_panel->get_res_w();
app->grid_panel->set_px(idx,a[i]*app->grid_panel->get_res_h()*scale+10,c);
}
}
同样的,也有2维分布的check:
//input normalized
void check2d(std::vector<ofVec2f>& v,GridCanvasPanel3D* grid_3d)
{
if(v.empty()) return;
int x_res = 50;
int y_res = 50;
float intervalx = 1.f/x_res;
float intervaly = 1.f/y_res;
float* a = new float[x_res*y_res];
std::memset(a,0,sizeof(int)*x_res*y_res);
for(auto i:v)
{
for(int j=0;j<x_res;++j)
{
if(i.x>j*intervalx&&i.x<(j+1)*intervalx)
{
for(int k=0;k<y_res;++k)
{
if(i.y>k*intervaly&&i.y<(k+1)*intervaly)
{
a[j+k*x_res]=a[j+k*x_res]+1.f;
goto label;
}
}
}
}
label:;
}
int rew = grid_3d->get_res_w();
int reh = grid_3d->get_res_h();
for(int i=0;i<y_res;++i)
{
for(int j=0;j<x_res;++j)
{
if(abs(a[j+i*x_res])<0.01)
continue;
float val = ((float)a[j+i*x_res])/v.size()*x_res*y_res;
float yp = ((float)i)/y_res;
float xp = ((float)j)/x_res;
grid_3d->set_px( xp*rew,yp*reh,val,ofColor::green,0.2);
}
}
}
分布间转换
两个分布之间的采样要相互转化,可设他们之间的关系: 设y(满足分布$p(x)$)和x(满足分布$g(y))$之间有关系 $y=f^{-1}(x)=t(x)$x,y均在[0,1],且函数单调,必须要求两个分布下的采样等概率,设在两个pdf定义域上有两个极小的区间$|\Delta x|/|\Delta y|$,于是通过对函数t求导同时注意建立等概率关系不能为负值,就有$|\Delta x| |t’(x)|\approx|\Delta y|$,即有: 当$|\Delta x| \rightarrow 0$时:
为了求得函数t,现在有微分方程$p(x)=g(y)|\frac{dy}{dx}|$ 为了解开绝对值,分类讨论:
- 当$\frac{dy}{dx} \le 0$时 两端对x做变上限定积分 根据牛顿莱布尼兹公式算定积分有: 由于函数$y=t(x)$是单调递减的,又x、y 都在[0,1],于是$t(0)=1$,所以:
- 当大于0是,类似地,有
另外,注意有另外一种更一般的方法: 当t单调递增时,上式等于: 单调递减时,上式为:
可参考:http://math.arizona.edu/~jwatkins/f-transform.pdf
对于多维分布,有$\vec{y}=T(\vec{x})=(T_1(\vec{x}),…,T_n(\vec{x}))$,$|\frac{dy}{dx}|$取雅各比矩阵:
例子1:极坐标与笛卡尔坐标
现在要求从极坐标上采样某个分布$p(r,\theta)$,然后转换成对应的笛卡尔坐标分布$p(x,y)$.
首先是变换关系:
根据之前的推导,不妨设有: 其中: 因此:
例子2:球坐标与笛卡尔坐标
现在要求从极坐标上采样某个分布$p(r,\theta,\phi)$,然后转换成对应的笛卡尔坐标分布$p(x,y,z)$.
变换关系:
这个雅克比矩阵写起来很麻烦,直接得到结果: $J_T=r^2\sin(\theta)|$
因此对应的转换关系为:
例子3:球坐标到solid角
由例2知道:$p(r,\theta,\phi)=r^2\sin(\theta)p(x,y,z)$。
设有$(x,y,z)$表示单位球上的solid角$\vec{\omega}$,由此$r=1$.
由图可知:
于是由概率相等有:
采样实例
均匀采样单位半球
均匀采样半球意味着在半球上均匀地选择solid角,于是$p(\omega)=c$,同时满足归一化条件:
根据例3的结论有:
考虑首先采样$\theta$,先求边缘分布强度函数: 为了采样$\phi$计算条件分布密度函数:
然后可以使用逆分布法进行采样了,相应的CDF为:
于是: 换回xyz就得到:
类似地,采样全球有:
均匀采样单位圆盘
不正确但是很直觉的方案:
这个方案并不均匀,采样点将会聚集在圆心附近。
首先求pdf: 于是:
所以结果其实是:
均匀采样三角形
在均匀采样三角形之前,必须了解这样一个事实: 有很多随机变量都具有放射不变性,也就是说他们的分布在做了仿射变换($Y = aX+b$)之后依然保持基本的分布(pdf)不变只是改变分布的参数。而均匀分布就具有这一性质,其他的还有正态分布等等。 这里按照前面说的变换分布可以推导出来。
这里要另外提一种叫做poison disc的分布,这种分布也是所谓“均匀”的,这里看一下,以免和均匀分布搞混。 Cook提出了使用Poisson Disk分布的Pattern会非常适合二维的采样,他指出人眼中的感光细胞也成Poisson Disk分布。所谓Poisson Disk Pattern即所有的采样点到其余所有的采样点的距离都大于一个阀值,可以认为未抖动的网格是Poisson Disk Pattern的其中一个特例。 这样Poisson Disk就要求任意两点之间的距离不小于阀值,比如10x10的区域内生成100个(以上)的采样点,阀值可以采用0.9(大于等于1将有可能使有的采样点不能放到区域内)。 传统生成Poisson Disk序列的方法为Dart-Throwing。可以把这个原始算法看作买六合彩。它不断“Throw”一个随机的采样点,然后和已有的采样点集合比较距离,若遇到小于阀值的就Discard,再重新“Throw”一个新的随机采样点;如果符合条件则“Dart”中了,添加到采样点集合里。就这样不断循环直到完全填满区域,或者生成的采样点“足够多”为止。如果采样区域非常大、或者采样点数目巨大,那么要计算完所有采样点的几率真的比中六合彩还要低得多。 可是Poisson Disk分布的确太好,太适合各种图像重构的采样了,所以很多人会预计算一个足够大的Pattern,再把它Tile到采样区域里。 https://www.cg.tuwien.ac.at/research/publications/2009/cline-09-poisson/cline-09-poisson-paper.pdf https://bl.ocks.org/mbostock/dbb02448b0f93e4c82c3 http://devmag.org.za/2009/05/03/poisson-disk-sampling/ http://www.cs.ubc.ca/~rbridson/docs/bridson-siggraph07-poissondisk.pdf https://www.jasondavies.com/poisson-disc/
因为均匀采样具有仿射不变性,所以均匀采样一个三角形就可以直接采样一个特殊的等腰直角腰长为1的三角形了,这样生成的采样依然是均匀的,对于任意三角形,只要仿射变换后都是均匀的。
如果三角形具有顶点ABC,其中有一个AB边上的点为$Q=(1-t)A+tB,where 0\le t\le1$,类似地,也有一个QC上的点$R=(1-s)Q+sC,where 0\le s\le 1$,于是我们有: 这个方程可以定义一个以ABC为顶点的三角形: 直观地讲,这讲一个1x1的方形区域,压缩到了一个三角形中,其中一个边变成了顶点C。这种参数化的三角形在图形学中经常使用。 对于参数方程的系数,可以发现: 于是可以有: $(\alpha,\beta,\gamma)$就叫做三角形的重心坐标,注意重心坐标只有两个自由度。
在一个等腰直角三角形(直角在左下)中,设重心坐标$(u,v)$,其斜边方程为$v=1-u$,均匀分布的概率$p(u,v)=\frac{1}{S}=2$,于是边沿概率: (注意积分上下线为常数,积分v在v方向求和) 条件概率: $p(v|u)=\frac{1}{1-u}$ 积分得到CDF: 由此得: 注意此两个变量不独立! 根据均匀分布的仿射不变性,这种方案可以适用于任意三角形。