数据结构(四)——稀疏矩阵

稀疏矩阵

利用三元组实现稀疏矩阵的压缩存储,并在此基础上进行转置和相加操作,下附代码。

#include<stdio.h>
#include<stdlib.h>
#define N 30 //所含非零元素的最大个数
#pragma warning(disable:4996)

typedef struct mytripple//三元组
{
	int i,j;
	int data;
}TR;

typedef struct mymatrix//稀疏矩阵
{
	TR T[N];//三元组
	int mu,nu,tu;//行数,列数,非零元素个数
}MA;

void init(MA *A,MA *B);//初始化矩阵A,B
void showMatrix(MA *A);//显示矩阵A
MA reverse(MA *A);//转置矩阵A,返回转置后的矩阵,时间复杂度O(tu+nu)
MA addition(MA *A,MA *B);//将矩阵A,B相加,返回和,相当于有序链表的合并,时间复杂度O(A->tu+B->tu)

main()
{
	MA A,B,C;
	init(&A,&B);
	showMatrix(&A);
	showMatrix(&B);

	C=reverse(&B);
	showMatrix(&C);	

	C=addition(&A,&B);
	showMatrix(&C);
}

void init(MA *A,MA *B)
{
	A->mu=3;
	A->nu=4;
	A->tu=4;
	A->T[1].data=3;
	A->T[1].i=1;
	A->T[1].j=2;
	A->T[2].data=-1;
	A->T[2].i=2;
	A->T[2].j=2;
	A->T[3].data=12;
	A->T[3].i=2;
	A->T[3].j=4;
	A->T[4].data=9;
	A->T[4].i=3;
	A->T[4].j=1;
	///
	B->mu=3;
	B->nu=4;
	B->tu=5;
	B->T[1].data=4;
	B->T[1].i=1;
	B->T[1].j=4;
	B->T[2].data=1;
	B->T[2].i=2;
	B->T[2].j=2;
	B->T[3].data=5;
	B->T[3].i=2;
	B->T[3].j=3;
	B->T[4].data=2;
	B->T[4].i=3;
	B->T[4].j=1;
	B->T[5].data=-6;
	B->T[5].i=3;
	B->T[5].j=2;
}

void showMatrix(MA *A)
{
	int i,j,k;//i表示行号,j表示列号,k表示三元组中非零元的序号
	k=1;
	for(i=1;i<=A->mu;i++)
	{
		for(j=1;j<=A->nu;j++)
		{
			if(i==A->T[k].i&&j==A->T[k].j)
			{
				printf("%4d",A->T[k].data);
				k++;
			}
			else
				printf("%4d",0);			
		}
		printf("\n");
	}
	printf("\n");
}

MA reverse(MA *A)//转置矩阵A,返回转置后的矩阵
{
	int i;
	int pos;
	TR temp;
	int *cpos,*cnum;//建立列逻辑链接
	MA B;
	cnum=(int *)malloc((A->nu+1)*sizeof(int));
	cpos=(int *)malloc((A->nu+1)*sizeof(int));
	//初始化cnum
	for (i = 1; i <= A->nu; i++)
		cnum[i]=0;
	for (i = 1; i <= A->tu; i++)
		cnum[A->T[i].j]++;

	//设置cpos
	cpos[1]=1;
	for(i=2;i<=A->nu;i++)
		cpos[i]=cpos[i-1]+cnum[i-1];
	free(cnum);

	//前期准备工作结束,准备转置
	B.mu=A->nu;
	B.nu=A->mu;
	B.tu=A->tu;
	//利用cpos进行放置
	for (i = 1; i <= A->tu; i++)
	{
		temp=A->T[i];
		pos=cpos[temp.j];
		B.T[pos].i=temp.j;
		B.T[pos].j=temp.i;
		B.T[pos].data=temp.data;
		cpos[temp.j]++;
	}

	free(cpos);
	return B;
}

MA addition(MA *A, MA *B)//将矩阵A,B相加,返回和
{
	int i,j,k;//计数器
	int temp;
	int p1,p2;//相应元素在A,B中的位置
	int mu,nu;
	MA C;

	mu=A->mu;
	nu=A->nu;
	C.mu=mu;
	C.nu=nu;

	k=0;//表示C中非零元素个数
	for (i = 1, j = 1; i <= A->tu && j <= B->tu;)//比较过程
	{
		p1=(A->T[i].i-1)*nu+A->T[i].j;
		p2=(B->T[j].i-1)*nu+B->T[j].j;
		if (p1 < p2)
		{
			k++;
			C.T[k]=A->T[i];
			i++;
		}
		else if (p2 < p1)
		{
			k++;
			C.T[k]=B->T[j];
			j++;
		}
		else //p1==p2
		{
			temp=A->T[i].data+B->T[j].data;
			if (temp != 0)//如果元素之和不为0,将其放到C中
			{
				k++;
				C.T[k].i=A->T[i].i;
				C.T[k].j=A->T[i].j;
				C.T[k].data=temp;
			}
			i++;
			j++;
		}
	}
	//比较过程结束之后,将剩余元素转移到C中
	while (i <= A->tu)
	{
		k++;
		C.T[k]=A->T[i];
		i++;
	}
	while (j <= B->tu)
	{
		k++;
		C.T[k]=B->T[j];
		j++;
	}
	//设置C的非零元素个数
	C.tu=k;
	return C;
}
稀疏矩阵是指其中大部分元素为零的矩阵。由于大多数矩阵都是稠密的,即大多数元素都不为零,因此通常情况下,我们使用一个二维数组来表示一个矩阵。但是,对于稀疏矩阵来说,这种方法会造成很大的浪费,因为大量的空间被用来存储零元素。为了解决这个问题,我们可以使用稀疏矩阵三元组表示法。 稀疏矩阵三元组表示法是将稀疏矩阵中每个非零元素的行、列和值存储在一个三元组中。其数据结构如下所示: ``` struct Triple{ int row, col; double value; }; ``` 其中,row表示非零元素所在的行,col表示非零元素所在的列,value表示非零元素的值。我们可以使用一个数组来存储所有的非零元素,这个数组就是稀疏矩阵的三元组。 稀疏矩阵三元组表示法的优点是它可以节省存储空间,缺点是它不方便进行矩阵运算。因此,在进行矩阵运算时,我们需要将稀疏矩阵转换成其他更方便进行矩阵运算的表示方法,如压缩矩阵和坐标矩阵等。 对于稀疏矩阵的求解,可以使用稀疏矩阵三元组表示法结合三元组高斯消元算法来进行求解。三元组高斯消元算法是一种针对稀疏矩阵的高斯消元算法,其基本思想是将矩阵化为上三角矩阵或下三角矩阵,然后通过回代或者前代求解方程。由于矩阵中大部分元素为零,因此在进行高斯消元时,我们只需要考虑非零元素,这样可以大大提高计算效率。 三元组高斯消元算法的基本步骤如下: 1. 将稀疏矩阵转换成三元组表示法; 2. 对三元组按照行和列的顺序进行排序; 3. 从第一个非零元素开始,进行高斯消元,将矩阵化为上三角矩阵或下三角矩阵; 4. 通过回代或者前代求解方程。 具体实现可以参考以下代码: ``` void SparseTripletGaussElimination(SparseTriplet& triplet, vector<double>& b) { int n = triplet.rows; vector<Triple> A(triplet.data, triplet.data + triplet.num); sort(A.begin(), A.end(), [](const Triple& a, const Triple& b){ return a.row < b.row || (a.row == b.row && a.col < b.col); }); vector<int> row(n+1), col(triplet.num), diag(n); vector<double> val(triplet.num); for (int i = 0; i < triplet.num; i++) { row[A[i].row]++; } for (int i = 1; i <= n; i++) { row[i] += row[i-1]; } for (int i = 0; i < triplet.num; i++) { int r = A[i].row, c = A[i].col; double v = A[i].value; int k = row[r]++; // 获取 r 行中下一个非零元素的位置 col[k] = c; val[k] = v; if (r == c) { diag[r] = k; // 记录对角线元素的位置 } } for (int k = 0; k < n-1; k++) { if (val[diag[k]] == 0) { // 对角线元素为零,无法消元 throw runtime_error("zero pivot encountered"); } for (int i = diag[k]+1; i < row[k+1]; i++) { int r = col[i]; double factor = val[i] / val[diag[k]]; for (int j = diag[k]+1; j < row[k+1]; j++) { if (col[j] == r) { val[j] -= factor * val[diag[k]]; } } b[r] -= factor * b[k]; } } if (val[diag[n-1]] == 0) { // 对角线元素为零,无法消元 throw runtime_error("zero pivot encountered"); } for (int k = n-1; k >= 0; k--) { double sum = 0; for (int i = diag[k]+1; i < row[k+1]; i++) { sum += val[i] * b[col[i]]; } b[k] = (b[k] - sum) / val[diag[k]]; } } ``` 其中,SparseTriplet是稀疏矩阵三元组表示法的数据结构,b是待求解的方程的右侧向量。在实现中,我们首先将三元组按照行和列的顺序进行排序,然后将其转换成压缩矩阵的形式,接着进行高斯消元,并通过回代或者前代求解方程。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值