linear_equation.hpp ファイル

#include "../../kyopro_library/template.hpp"

[ソースコード]

関数
int	RowReduction (vector< vector< bool > > &a, vector< int > &where)
	F_2 上の連立線形方程式 https://mathlandscape.com/solution-sp/ https://yukicoder.me/submissions/1011997 verify:https://yukicoder.me/problems/no/2895
bool	LinearEquation (vector< vector< bool > > a, vector< bool > b, vector< bool > &x0, vector< vector< bool > > &ker)
	連立線形方程式 Ax=b を解く

関数詳解

RowReduction()

int RowReduction	(	vector< vector< bool > > &	a,
		vector< int > &	where )

F_2 上の連立線形方程式 https://mathlandscape.com/solution-sp/ https://yukicoder.me/submissions/1011997 verify:https://yukicoder.me/problems/no/2895

掃き出し法

引数

a	連立方程式 Ax=b の拡大係数行列
where	ピボットとなる変数を記録するための配列

戻り値

A のランク

linear_equation.hpp の 12 行目に定義があります。

LinearEquation()

bool LinearEquation	(	vector< vector< bool > >	a,
		vector< bool >	b,
		vector< bool > &	x0,
		vector< vector< bool > > &	ker )

連立線形方程式 Ax=b を解く

引数

x0	特殊解(b=0 の場合は自明解になる)
ker	Ax=0 の解空間の基底

覚え書き

一般解は x0 と解空間の基底の任意の線形結合で表される

注意

A のサイズによっては基底のサイズが巨大になるので注意すること

linear_equation.hpp の 37 行目に定義があります。