暑假NOIP笔记—代数+数位统计+概率+博弈论

暑假NOIP笔记—July 22rd

代数+数位统计+概率+博弈论

Morning：

• 高斯消元
• 线性方程组的解
• 解同余方程组
• 一类Xor问题
• 常系数线性齐次递推方程
• 矩阵乘法

---

高斯消元

系数矩阵/增广矩阵

(系数矩阵)简单来说系数矩阵就是将方程组的系数组成矩阵来计算方程的解

(扩增矩阵)就是在系数矩阵的右边添上一列，这一列是线性方程组的等号右边的值

矩阵的初等行（列）变换

定义 A

定义 B

项目３

定义 C

定义 D

线性方程组的解

> 齐次线性方程组的解只有两种可能：0，无穷多
> 阶梯行矩阵的 数目 < 未知量数目 ——有非零解
>非齐次线性方程组的解只有三种可能：无解、有唯一解、有无穷多个解
>把增广矩阵经过初等行变换转化为阶梯形矩阵
>对应的阶梯形方程组中出现”0=d”这样的方程——无解
>阶梯形矩阵非零行数目=未知量数目——有唯一解
>阶梯形矩阵非零行数目<未知量数目——有无穷多个解
>齐次线性方程组的解只有两种可能：只有零解、有无穷多个解

[JSOI 2008] Sphere 题目链接

解同余方程组

[tyvj1266] 费解的开关 题目链接

–> ‘翻转棋’

Xor

Xor 矩阵

把每个数写成64位二进制串，每一位看做一个数字，然后把每个串写在一行中，形成一个n*64的矩阵。

高斯消元解Xor方程组

对Xor矩阵进行高斯消元。
消元之后仍将每行看做二进制串，会得到很多新的二进制数。
高斯消元实际上是对Xor矩阵进行了若干次初等行变换。
一次初等行变换相当于对两个数进行了Xor运算。
根据Xor空间的定义，这些新数的Xor空间和原来相同。

定理：对若干个数构成的Xor矩阵进行高斯消元不改变这些数的Xor空间。

用O(64n)的时间可以把Xor矩阵变为简化阶梯形矩阵。
对简化阶梯形矩阵的n个数询问上面的5个问题，与原来的n个数是等价的！

高斯消元经典题目之一：

Description

给出n个数，要求在其中选出一些数，使得异或和最大，输出这个异或和。

Input

第一行包含一个正整数n
接下来n行每行一个非负整数ai

Output

输出一行一个正整数，代表最大的异或和

S