用部分选主元的高斯消去法并行求解线性方程组.docx
- 文档编号:4750340
- 上传时间:2022-12-08
- 格式:DOCX
- 页数:8
- 大小:18.89KB
用部分选主元的高斯消去法并行求解线性方程组.docx
《用部分选主元的高斯消去法并行求解线性方程组.docx》由会员分享,可在线阅读,更多相关《用部分选主元的高斯消去法并行求解线性方程组.docx(8页珍藏版)》请在冰豆网上搜索。
用部分选主元的高斯消去法并行求解线性方程组
用部分选主元的高斯消去法并行求解线性方程组
作者:
田希山
来源:
《电脑知识与技术》2011年第16期
摘要:
高斯消去法,又称高斯消元法,实际上就是我们俗称的加减消元法。
数学上,高斯消去法或称高斯-约当消去法,由高斯和约当得名(很多人将高斯消去作为完整的高斯-约当消去的前半部分),它是线性代数中的一个算法,用于决定线性方程组的解,决定矩阵的秩,以及决定可逆方矩阵的逆。
当用于一个矩阵时,高斯消去产生“行消去梯形形式”。
用高斯消去法求解线性方程组的解是一种比较常见的解线性方程组的方法,这种方法尤其在利用计算机求解线性方程组时是更是常用。
但大多数情况下都是用串行的算法来解方程组,该文介绍了利用高斯消去法并行求解线性方程组的方法。
关键词:
高斯消去法;线性方程组;并行
中图分类号:
TP301文献标识码:
A文章编号:
1009-3044(2011)16-3960-04
1高斯消去法
在求解线性方程组的算法中,有两类最基本的算法:
直接法和迭代法。
在直接方法中最主要的就是高斯消去法,它可以分为消元和回代两个过程,消元过程是将方程组转换为一个等价的三角方程组,而回代过程则是逆反求解这个三角方程组[1-2]。
2部分选主元的高斯消去思想
前述的消去过程中,未知量是按其出现于方程组中的自然顺序消去的,所以又叫顺序消去法。
实际上已经发现顺序消去法有很大的缺点。
设用作除数的为主元素,首先,消元过程中可能出现为零的情况,此时消元过程亦无法进行下去;其次如果主元素很小,由于舍入误差和有效位数消失等因素,其本身常常有较大的相对误差,用其作除数,会导致其它元素数量级的严重增长和舍入误差的扩散,使得所求的解误差过大,以致失真。
我们来看一个例子:
例
它的精确解为:
用顺序消去法,第一步以0.0001为主元,从第二个方程中消x1后可得:
-10000x2=-10000x2=1.00
回代可得x1=0.00
显然,这不是解。
造成这个现象的原因是:
第一步主元素太小,使得消元后所得的三角形方程组很不准确所致。
如果我们选第二个方程中x1的系数1.00为主元素来消去第一个方程中的x1,则得出如下方程式:
1.00x1=1.00x1=1.00
这是真解的三位正确舍入值。
从上述例子中可以看出,在消元过程中适当选取主元素是十分必要的。
误差分析的理论和计算实践均表明:
顺序消元法在系数矩阵A为对称正定时,可以保证此过程对舍入误差的数值稳定性,对一般的矩阵则必须引入选取主元素的技巧,方能得到满意的结果。
高斯消去法的一个简单变形——部分选主元高斯消去法,可以产生可靠的结果。
在部分选主元的高斯消去法的第i步,我们在第i行到第n-1行中寻找第i列元素的绝对值最大的行并将这一行与第i行交换(变成主元)。
在部分主元消去法中,未知数仍然是顺序地消去的,只是选各方程中要消去的那个未知数的系数的绝对值最大的作为主元素,然后用顺序消去法的公式求解。
例:
用部分选主元高斯消去法求解方程
由于解方程组取决于它的系数,因此可用这些系数(包括右端项)所构成的“增广矩阵”作为方程组的一种简化形式。
对这种增广矩阵施行消元手续:
第一步将4选为主元素,并把主元素所在的行定为主元行,然后将主元行换到第一行得到
消元过程的结果归结到下列三角形方程组:
回代,得
3串行部分选主元高斯消去算法
先部分选主元然后回代的串行高斯消去算法如下所示:
fori←0ton-1
loc[i]←i
endfor
fori←0ton-1
{找到主元行picked}
magnitude←0
forj←iton-1
if|a[loc[j],i]|>magnitude
magnitude←|a[loc[j],i]|
picked←j
endif
endfor
tmp←loc[i]
loc[i]←loc[picked]
loc[picked]←tmp
{将第i列中位于未标记行中的元素消为0}
forj←i+1ton-1
t←a[loc[j],i]/a[loc[i],i]
fork←i+1ton+1
a[loc[j],k]←a[loc[j],k]-a[loc[i],k]×t
endfor
endfor
endfor
{回代}
fori←n-1downto0
x[i]←a[loc[i],n]/a[loc[i],i]
forj←0toi-1do
a[loc[j],n]←a[loc[j],n]-x[i]×a[loc[j],i]
endfor
endfor
该算法有两个值得注意的特性:
1)没有独立的数组来存储向量b,而是用b邻接A创建一个n行n+1列的增广矩阵。
因此,在这个算法中a代表这个增广矩阵。
2)算法每次迭代中间接地访问主元行,而不是直接地将主元行和第i行相交换。
数组元素loc[i]记录了第i次迭代中所用的主元行的下标。
4并行部分选主元高斯消去算法
4.1算法思想
在上面的串行算法中位于最内层下标为k的for循环和位于中间层的下标为j的for循环都可以拿来并行执行,换句话说,一旦找到主元行,对所有没被标记的行的修改就可以同时进行。
在每一行内,一旦系数a[loc[j],i]/a[loc[i],i]被计算出来了,那么这一行内从位置i+1开始的n-1个元素的修改工作也可以同时进行。
在并行化的过程中,由于高斯消去法是利用主元行i对其余各行j(j>i),作初等行变换,各行计算之间没有数据相关关系,因此可以对矩阵A按行划分。
考虑到在计算过程中处理器之间的负载均衡,对A采用行交叉划分。
设处理器个数为p,矩阵A的阶数为,对矩阵A行交叉划分后,编号为i(i=0,1,…,p-1)的处理器含有A的第i,i+p,…,i+(m-1)p行和向量B的第i,i+p,…,i+(m-1)p一共m个元素。
矩阵划分好以后,接下来的主要工作是寻找主元行。
我们发现为了决定主元行,需要对分布在不同处理器中的第i列的各个元素进行规约。
我们可以把这一过程称为巡回赛,因为与主元行的第i列中存储的具体数值(胜利者的得分)相比,我们对主元行的位置(胜利者的身份)更感兴趣。
在第i次迭代进行的过程中,主元行的确定需要两个步骤。
首先,每个进程在它所负责的未标记的行中寻找在第i列数值最大的那一行。
第二,进程加入寻找主元行的巡回赛。
在每次迭代过程中,这一步都是首先要完成的,之后还有一个涉及通信的任务,如图1所示。
为了计算a[j,k]的新值,其对应的任务需要访问a[j,i]、a[picked,i]和a[picked,k]的值。
每个任务至少分配到A的一行,所以这个任务既然控制了a[j,k],那么也就控制着a[j,i]。
但是a[picked,i]和a[picked,k]的值可能为另外一个任务所控制。
因此,我们还需要做一次广播。
4.2算法实现
输入:
系数矩阵An×n,常数向量bn×1
输出:
解向量xn×1
Begin
对所有处理器my_rank(my_rank=0,…,p-1)同时执行如下的算法:
/*消去过程*/
(1)fori=0tom-1do
forj=0top-1do
(1.1)if(my_rank
(i)v=i*p+j
(ii)lmax[0]=a[i+1,v]
(iii)fork=i+1tom-1do
fort=vton-1do
if(|a[k,t]|)>lmax[0])then
lmax[0]=a[k,t],lmax[1]=k,
lmax[2]=t,lmax[3]=my_rank
endif
endfor
endfor
endif
(1.2)if(my_rank≥j)then
(i)v=i*p+j
(ii)lmax[0]=a[i,v]
(iii)fork=itom-1do
fort=vton-1do
if(|a[k,t]|)>lmax[0])then
lmax[0]=a[k,t],lmax[1]=k,
lmax[2]=t,lmax[3]=my_rank
endif
endfor
endfor
endif
(1.3)将每一个处理器中的lmax元素广播到其他所有处理器中
(1.4)maxvalve=getpivort(max),maxrow=getrow(max),
maxrank=getrank(max)
(1.5)if(my_rank=j)then
(i)if([maxrank=j]and[i≠maxrow])then
innerexchangerow()
endif
(ii)if(maxrank≠j)then
outerexchangerow()
endif
endif
endif
(1.6)if(my_rank=j)then
(i)fork=v+1ton-1do
a[i,k]=a[i,k]/a[i,v]
endfor
(ii)b[i]=b[i]/a[i,v],a[i,v]=1
(iii)fork=v+1ton-1do
f[k]=a[i,k]
endfor
(iv)f[n]=b[i]
(v)广播主行到所有处理器
else接收广播来的主行元素存与数组f中
endif
(1.7)if(my_rank≤j)then
fork=i+1tom-1do
(i)forw=v+1ton-1do
a[k,w]=a[k,w]-f[w]*a[k,v]
endfor
(ii)b[k]=b[k]-f[n]*a[k,v]
endfor
endif
(1.8)if(my_rank>j)then
fork=itom-1do
(i)forw=v+1ton-1do
a[k,w]=a[k,w]-f[w]*a[k,v]
endfor
(ii)b[k]=b[k]-f[n]*a[k,v]
endfor
endif
endfor
endfor
/*回代过程*/
(2)fori=0tom-1do
sum[i]=0.0
endfor
(3)fori=m-1downto0do
forj=p-1downto0do
if(my_rank=j)then
(i)x[i*p+j]=(b[i]-sum[i])/a[i,i*p+j]
(ii)将x[i*p+j]广播到所有处理器中
(iii)fork=0toi-1do
sum[k]=sum[k]+a[k,i*p+j]*x[i*p+j]
endfor
else/*非主行所在的处理器*/
(iv)接收广播来的x[i*p+j]的值
(v)if(my_rank>j)then
fork=0toi-1do
sum[k]=sum[k]+a[k,i*p+j]*x[i*p+j]
endfor
endif
(vi)if(my_rank
fork=0toido
sum[k]=sum[k]+a[k,i*p+j]*x[i*p+j]
endfor
endif
endif
endfor
endfor
End
4.3算法分析
在第i次迭代主元行确定的两个步骤中,每个进程在它所负责的未标记的行中寻找在第i列中最大的那一行的时间复杂度是O(n/p),而进程加入寻找主元行的巡回赛的时间复杂度是O(logp)。
综合考虑通信的总开销,我们发现面向行的部分选主元的高斯消去算法的总消息延迟是O(nlogp),而总的消息传输时间是O(n2logp)。
参考文献:
[1]陈国良,安虹,陈崚,等.并行算法实践[M].北京:
高等教育出版社,2004.
[2]胡哲光.在C++中实现带主元选择的高斯消去法求解线性方程[J].大众科技,2006(8).
[3]MichaelJ.Qiunn.MPI与OpenMP并行程序设计(C语言版)[M].陈文光,译.北京:
清华大学出版社,2004.
[4]陈国良.并行算法实践[M].北京:
高等教育出版社,2004.
[5]BarryWilkinson,MichaelAllen.并行程序设计[M].2版.陆鑫达,译.北京:
机械工业出版社,2005.
[6](印)XavierC,(美)IyengarSS.并行算法导论[M].张云泉,陈英,译.北京:
机械工业出版社,2004.
注:
本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 部分 选主元 消去 并行 求解 线性方程组
![提示](https://static.bdocx.com/images/bang_tan.gif)