草庐IT

C语言求矩阵的逆(伴随法)

是王久久阿 2024-02-19 原文

之前介绍了C语言用代数余子式求行列式

本次开始介绍如何用公式法对矩阵求逆,并用C语言将其实现。

之前程序有点小bug,已于2022年11月29日修改。

更新:

        伴随法只适合求低阶矩阵的逆,对于相对高阶(20维以上)对矩阵求逆用高斯法求解效率更高,此外本文中使用了_msize函数用于判断内存维数,但该函数只适合winodows系统,Linux和Mac系统无法使用(笔者也是在用了Mac系统后才发现),对于上述两个问题,您应该可以在:C语言求矩阵的逆(高斯法)得到满意的答案。

        如果矩阵接近奇异值,求逆的数值将不稳定,那么使用C语言LU分解法求逆将会得到更好的效果。

目录

数学原理

矩阵求逆的公式

数乘矩阵 

程序设计

整体代码

求行列式的值(Det、Cof)

求伴随矩阵(FindCof)

求逆矩阵的主函数(matrix_inver)

测试


数学原理

矩阵求逆的方法有很多种,本次主要介绍如何利用公式法求解。

矩阵求逆的公式

其中,为A的行列式的值,为矩阵A的伴随矩阵。

伴随矩阵的表达方式为:

其中,为代数余子式,代数余子式与余子式的关系为:

是矩阵A去掉i行j列,剩下元素重新组成的新矩阵 。

数乘矩阵 

假设矩阵A为:

如果一个数b乘以一个矩阵A,那么A中的每一个元素都要乘以b,其表示如下: 

程序设计

为了后面方便调试,先利用malloc函数创建一个矩阵,并为其赋值。关于malloc函数有不理解的可以参考之前写的C语言动态内存管理

malloc使用的基本方式:

  • void* malloc (size_t size);
  • void free (void* ptr);
  • size是指定的开辟内存的大小,单位是字节
  • size_t的无符号整型则限制程序员误操作开辟负字节的空间
  • 如果开辟成功,malloc会返回一个void*类型的指针
  • 如果开辟失败,则返回的是空指针,所以在malloc之后需要对指针进行检查
  • 当malloc的东西不再使用时,需要free对其进行释放,否则会造成内存泄漏
  • malloc和free均需要包含头文件<stdlib.h>
//创建n维矩阵空间,并初始化
double** test1(int n)
{
	double** arr = (double**)malloc(sizeof(double*) * n);
	int i, j;
	if (arr != NULL)
	{
		for (i = 0; i < n; i++)
		{
			arr[i] = (double*)malloc(sizeof(double) * n);
		}
		//为矩阵赋值
		if (*arr != NULL)
		{
			for (i = 0; i < n; i++)
			{
				for (j = 0; j < n; j++)
				{
					arr[i][j] = pow(i, j);
				}
			}
		}
	}
	return arr;
}

其中:

  • double** arr = (double**)malloc(sizeof(double*) * n);表示开辟n个double*类型的空间,将其地址赋给arr
  • 然后再开辟n个double类型的空间,将其地址赋给double**中每个double*
  • 配合下图更好理解

整体代码

#include<stdio.h>
#include<assert.h>
#include<stdlib.h>
#include<math.h>
#include<malloc.h>
#include<string.h>

#define MatMax 20

//函数声明
double Det(const double arr[MatMax][MatMax], int n);
double Cof(const double arr[MatMax][MatMax], int i, int n);
void FindCof(double arr[MatMax][MatMax], double arr2[MatMax][MatMax], int i, int j, int n);
double** matrix_inver(double** arr);

//计算行列式
double Det(const double arr[MatMax][MatMax], int n)
{
	assert(n > 0);
	double sum = 0;
	int i = 0;
	if (n == 1)//1阶行列式直接得出结果
	{
		sum = arr[0][0];
	}
	else if (n == 2)
	{
		sum = arr[0][0] * arr[1][1] - arr[0][1] * arr[1][0];//杀戮法求解
	}
	else if (n == 3)
	{
		sum = arr[0][0] * arr[1][1] * arr[2][2]
			+ arr[0][1] * arr[1][2] * arr[2][0]
			+ arr[1][0] * arr[2][1] * arr[0][2]
			- arr[0][2] * arr[1][1] * arr[2][0]
			- arr[0][1] * arr[1][0] * arr[2][2]
			- arr[1][2] * arr[2][1] * arr[0][0];//划线法求解
	}
	else
	{
		for (i = 0; i < n; i++)//按第一行展开
		{
			if (arr[0][i] != 0)//展开项不为0才计算
			{
				sum += ((int)pow(-1, i + 0)) * arr[0][i] * (Cof(arr, i, n));//2阶以上继续递归		
			}
			else
				sum += 0;//展开项为0
		}
	}
	return sum;
}
//找到余子式
double Cof(const double arr[MatMax][MatMax], int i, int n)
{
	assert(n > 0);
	int k = 0;
	int j = 0;
	double arr2[MatMax][MatMax] = { 0 };
	for (k = 0; k < n - 1; k++)//去除0行i列,剩下的组成新的矩阵
	{
		for (j = 0; j < n - 1; j++)
		{
			if (j < i)
			{
				arr2[k][j] = arr[k + 1][j];
			}
			else
			{
				arr2[k][j] = arr[k + 1][j + 1];
			}
		}
	}
	return Det(arr2, n - 1);
}
//找到去掉i行j列的余子式
void FindCof(double arr[MatMax][MatMax], double arr2[MatMax][MatMax], int i, int j, int n)
{
	int m = 0;
	int k = 0;
	for (m = 0; m < n - 1; m++)
	{
		for (k = 0; k < n - 1; k++)
		{
			if (k < j)
			{
				if (m < i)
				{
					arr2[m][k] = arr[m][k];
				}
				else
				{
					arr2[m][k] = arr[m + 1][k];
				}
			}
			else
			{
				if (m < i)
				{
					arr2[m][k] = arr[m][k + 1];
				}
				else
				{
					arr2[m][k] = arr[m + 1][k + 1];
				}
			}
		}
	}
}


//计算逆的主函数
double** matrix_inver(double** arr)
{
	int i, j, n;
	double** res=NULL;
	n = (int)_msize(arr) / (int)sizeof(double*);
	res = (double**)malloc(sizeof(double*) * n);
	if (res == NULL)exit(-1);
	for (i = 0; i < n; i++)
	{
		res[i] = (double*)malloc(sizeof(double) * n);
		memset(res[i], 0, sizeof(double) * n);
	}
	double tmp[MatMax][MatMax] = { 0 };
	//保护arr,将arr指向内存的数据拷贝到tmp二维数组中
	for (i = 0; i < n; i++)
	{
		memcpy(tmp[i],arr[i],sizeof(double) * n);
	}
	double a = 1.0 / (Det(tmp, n));
	for (i = 0; i < n; i++)
	{
		for (j = 0; j < n; j++)
		{
			double tmp2[MatMax][MatMax] = { 0 };
			FindCof(tmp, tmp2, j, i, n);//求转置后的伴随
			double b = pow(-1, i + j) * Det(tmp2, n - 1);
			res[i][j] = a * b;
		}
	}
	return res;
}

接下来针对上述代码进行讲解

求行列式的值(Det、Cof)

通过观察发现,利用公式法求矩阵的逆离不开求行列式的值。我们创建两个函数DetCof2

利用代数余子式的方法求解行列式:

Det:求解行列式的主函数,判断行列式的维数,如果维数大于3则进行代数余子式计算,按第一行展开,将其传给Cof函数;如果小于等于3则直接求解,避免过度递归。

Cof:求余子式,将新的余子式传给Det函数。

行列式的计算在这篇博客中C语言计算行列式

求伴随矩阵(FindCof)

该函数与cof函数类似,都是求余子式的,区别在于:

  • FindCoi是找到去掉第i行第j列的余子式;Cof函数固定从第1行第j列
  • FindCof函数不参与递归,只要找到余子式即可

其中:

  • if部分是用来判断组成新的行列式的位置

求逆矩阵的主函数(matrix_inver)

对照之前的公式,对n维的方阵,其伴随矩阵需要求解n*n个代数余子式,利用两个for循环逐行逐列进行处理。

主要思想:

  • 计算行列式的值a,计算1/a
  • 从i行j列开始,求代数余子式,并将求得的余子式部分传给Det函数,计算其行列式的值b
  • 计算a*b,并赋值

主函数中:

  •  n = (int)_msize(arr) / (int)sizeof(double*);求矩阵的维数,_msize是库函数,需要包含头文件:<malloc.h>求其指针指向地址的内存大小,单位是字节;对照res开辟内存的过程,即可明白其计算原理。
  • memcpy(tmp[i],arr[i],sizeof(double) * n);进行内存拷贝,将动态内存中数据拷贝到二维数组中。有两层意义:一:防止递归中造成内存泄漏;二:保护原矩阵

测试

int main()
{
	int n = 5;
	double** arr = test1(n);
	printf("原矩阵:>\n");
	print(arr);
	double** res = matrix_inver(arr);
	printf("逆矩阵:>\n");
	print(res);
	return 0;
}

其中: 

  • test1是上述创建矩阵的函数
  • print是用来打印矩阵的函数,代码如下:
//打印矩阵
void print(double** arr)
{
	putchar('\n');
	int i, j, row, col;
	row = (int)_msize(arr) / (int)sizeof(double*);//判断行数
	col = (int)_msize(*arr) / (int)sizeof(double);//判断列数
	for (i = 0; i < row; i++)
	{
		for (j = 0; j < col; j++)
		{
			printf("%10.5lf ", arr[i][j]);
		}
		putchar('\n');
	}
	putchar('\n');
}

测试结果如下: 

与matlab计算的结果进行比对:

 如果矩阵治亏,则会输出:

因为公式法涉及到递归,因此无法计算高维逆矩阵,想要保证精度和效率,可以尝试利用LU分解法进行矩阵求逆,这也是目前大多数计算机在处理高维矩阵时的策略。

有关C语言求矩阵的逆(伴随法)的更多相关文章

  1. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  2. ruby - 寻找通过阅读代码确定编程语言的ruby gem? - 2

    几个月前,我读了一篇关于ruby​​gem的博客文章,它可以通过阅读代码本身来确定编程语言。对于我的生活,我不记得博客或gem的名称。谷歌搜索“ruby编程语言猜测”及其变体也无济于事。有人碰巧知道相关gem的名称吗? 最佳答案 是这个吗:http://github.com/chrislo/sourceclassifier/tree/master 关于ruby-寻找通过阅读代码确定编程语言的rubygem?,我们在StackOverflow上找到一个类似的问题:

  3. 旋转矩阵的几何意义 - 2

    点向量坐标矩阵的几何意义介绍旋转矩阵的几何含义之前,先介绍一下点向量坐标矩阵的几何含义点:在一维空间下就是一个标量,如同一条直线上,以任意某一个位置为0点,以一定的尺度间隔为1,2,3...,相反方向为-1,-2,-3...;如此就形成了一维坐标系,这时候任何一个点都可以用一个数值表示,如点p1=5,即即从原点出发沿着x轴正方向移动5个尺度;点p2=-3,负方向移动3个尺度;     在一维坐标系上过原点做垂直于一维坐标系的直线,则形成了二维坐标系,此时描述一个点需要两个数值来表示点p3=(3,2),即从原点出发沿着x轴正方向移动3个尺度,在此基础上沿着y轴正方向移动两个尺度的位置就是点p3。

  4. Unity 热更新技术 | (三) Lua语言基本介绍及下载安装 - 2

    ?博客主页:https://xiaoy.blog.csdn.net?本文由呆呆敲代码的小Y原创,首发于CSDN??学习专栏推荐:Unity系统学习专栏?游戏制作专栏推荐:游戏制作?Unity实战100例专栏推荐:Unity实战100例教程?欢迎点赞?收藏⭐留言?如有错误敬请指正!?未来很长,值得我们全力奔赴更美好的生活✨------------------❤️分割线❤️-------------------------

  5. 7个大一C语言必学的程序 / C语言经典代码大全 - 2

    嗨~大家好,这里是可莉!今天给大家带来的是7个C语言的经典基础代码~那一起往下看下去把【程序一】打印100到200之间的素数#includeintmain(){ inti; for(i=100;i 【程序二】输出乘法口诀表#includeintmain(){inti;for(i=1;i 【程序三】判断1000年---2000年之间的闰年#includeintmain(){intyear;for(year=1000;year 【程序四】给定两个整形变量的值,将两个值的内容进行交换。这里提供两种方法来进行交换,第一种为创建临时变量来进行交换,第二种是不创建临时变量而直接进行交换。1.创建临时变量来

  6. ruby - 如何保持我不常用的编程语言技能 - 2

    关闭。这个问题是off-topic.它目前不接受答案。想改进这个问题吗?Updatethequestion所以它是on-topic用于堆栈溢出。关闭11年前。Improvethisquestion我不经常使用ruby​​-通常它加起来相当于每两个月或更长时间编写一次脚本。我的大部分编程都是使用C++进行的,这与ruby​​有很大不同。由于我与ruby​​之间的差距如此之大,我总是忘记语言的基本方面(比如解析文本文件和其他简单的东西)。我想每天练习一些基本的东西,我想知道是否有一些我可以订阅的网站,并且会向我发送当天的Ruby问题或类似的东西。有人知道这样的站点/Internet服务吗?

  7. ruby-on-rails - 如果特定语言环境中缺少翻译,如何配置 i18n 以使用 en 语言环境? - 2

    如果特定语言环境中缺少翻译,如何配置i18n以使用en语言环境翻译?当前已插入翻译缺失消息。我正在使用RoR3.1。 最佳答案 找到相似的question这里是答案:#application.rb#railswillfallbacktoconfig.i18n.default_localetranslationconfig.i18n.fallbacks=true#railswillfallbacktoen,nomatterwhatissetasconfig.i18n.default_localeconfig.i18n.fallback

  8. ruby-on-rails - 如何通过 URL 更改语言环境? - 2

    在我的双语Rails4应用程序中,我有一个像这样的LocalesController:classLocalesController用户可以通过此表单更改其语言环境:deflocale_switcherform_tagurl_for(:controller=>'locales',:action=>'change_locale'),:method=>'get',:id=>'locale_switcher'doselect_tag'set_locale',options_for_select(LANGUAGES,I18n.locale.to_s)end这有效。但是,目前用户无法通过URL更改

  9. ruby - 一种语言如何被自身解释(如 Rubinius)? - 2

    我使用Ruby编程已经有一段时间了,现在只使用Ruby的标准MRI实现,但我一直对我经常听到的其他实现感到好奇。前几天我在读有关Rubinius的文章,这是一个用Ruby编写的Ruby解释器。我试着在不同的地方查找它,但我很难弄清楚这样的东西到底是如何工作的。我在编译器或语言编写方面从来没有太多经验,但我真的很想弄明白。一门语言究竟如何才能被自己解释?编译中是否有一个我不明白这有意义的基本步骤?有人可以像我是个白痴一样向我解释这个吗(因为无论如何这都不会太离谱) 最佳答案 它比你想象的要简单。Rubinius并非100%用Ruby编

  10. ruby-on-rails - ruby 真的是一种完全面向对象的语言吗? - 2

    Ruby是完全面向对象的语言。在ruby​​中,一切都是对象,因此属于某个类。例如5属于Objectclass1.9.3p194:001>5.class=>Fixnum1.9.3p194:002>5.class.superclass=>Integer1.9.3p194:003>5.class.superclass.superclass=>Numeric1.9.3p194:005>5.class.superclass.superclass.superclass=>Object1.9.3p194:006>5.class.superclass.superclass.superclass.su

随机推荐