第一章 预备知识
一、Python基础
1. 列表推导式与条件赋值
在生成一个数字序列的时候,在 Python
中可以如下写出:
python
L = [] def my_func(x): return 2*x
for i in range(5):
L.append(my_func(i))
事实上可以利用列表推导式进行写法上的简化: [* for i in *]
。其中,第一个 *
为映射函数,其输入为后面 i
指代的内容,第二个 *
表示迭代的对象。
python
[my_func(i) for i in range(5)]
列表表达式还支持多层嵌套,如下面的例子中第一个 for
为外层循环,第二个为内层循环:
python
[m+'_'+n for m in ['a', 'b'] for n in ['c', 'd']]
除了列表推导式,另一个实用的语法糖是带有 if
选择的条件赋值,其形式为
value = a if condition else b
:
python
value = 'cat' if 2>1 else 'dog' value
等价于如下的写法:
a, b = 'cat', 'dog'
condition = 2 > 1 # 此时为True
if condition:
value = a
else:
value = b
下面举一个例子,截断列表中超过5的元素,即超过5的用5代替,小于5的保留原来的值:
python
L = [1, 2, 3, 4, 5, 6, 7] [i if i <= 5 else 5 for i in L]
2. 匿名函数与map方法
有一些函数的定义具有清晰简单的映射关系,例如上面的 my_func
函数,这时候可以用匿名函数的方法简洁地表示:
python
my_func = lambda x: 2*x my_func(3) multi_para_func = lambda a, b: a
+ b multi_para_func(1, 2)
但上面的用法其实违背了"匿名"的含义,事实上它往往在无需多处调用的场合进行使用,例如上面列表推导式中的例子,用户不关心函数的名字,只关心这种映射的关系:
python
[(lambda x: 2*x)(i) for i in range(5)]
对于上述的这种列表推导式的匿名函数映射, Python
中提供了 map
函数来完成,它返回的是一个 map
对象,需要通过 list
转为列表:
python
list(map(lambda x: 2*x, range(5)))
对于多个输入值的函数映射,可以通过追加迭代对象实现:
python
list(map(lambda x, y: str(x)+'_'+y, range(5), list('abcde')))
3. zip对象与enumerate方法
zip函数能够把多个可迭代对象打包成一个元组构成的可迭代对象,它返回了一个
zip
对象,通过 tuple, list
可以得到相应的打包结果:
python
L1, L2, L3 = list('abc'), list('def'), list('hij') list(zip(L1,
L2, L3)) tuple(zip(L1, L2, L3))
往往会在循环迭代的时候使用到 zip
函数:
python
for i, j, k in zip(L1, L2, L3):
print(i, j, k)
enumerate
是一种特殊的打包,它可以在迭代时绑定迭代元素的遍历序号:
python
L = list('abcd') for index, value in enumerate(L): print(index, value)
用 zip
对象也能够简单地实现这个功能:
python
for index, value in zip(range(len(L)), L):
print(index, value)
当需要对两个列表建立字典映射时,可以利用 zip
对象:
python
dict(zip(L1, L2))
既然有了压缩函数,那么 Python
也提供了 *
操作符和 zip
联合使用来进行解压操作:
python
zipped = list(zip(L1, L2, L3)) zipped list(zip(*zipped)) #
三个元组分别对应原来的列表
二、Numpy基础
1. np数组的构造
最一般的方法是通过 array
来构造:
python
import numpy as np np.array([1,2,3])
下面讨论一些特殊数组的生成方式:
【a】等差序列: np.linspace, np.arange
python
np.linspace(1,5,11) # 起始、终止(包含)、样本个数 np.arange(1,5,2) #
起始、终止(不包含)、步长
【b】特殊矩阵: zeros, eye, full
python
np.zeros((2,3)) # 传入元组表示各维度大小 np.eye(3) # 3*3的单位矩阵
np.eye(3, k=1) # 偏移主对角线1个单位的伪单位矩阵 np.full((2,3), 10) #
元组传入大小,10表示填充数值 np.full((2,3), [1,2,3]) #
每行填入相同的列表
【c】随机矩阵: np.random
最常用的随机生成函数为 rand, randn, randint, choice
,它们分别表示0-1均匀分布的随机数组、标准正态的随机数组、随机整数组和随机列表抽样:
python
np.random.rand(3) # 生成服从0-1均匀分布的三个随机数 np.random.rand(3,
3) # 注意这里传入的不是元组,每个维度大小分开输入
对于服从区间 $a$ 到 $b$ 上的均匀分布可以如下生成:
python
a, b = 5, 15 (b - a) * np.random.rand(3) + a
一般的,可以选择已有的库函数:
python
np.random.uniform(5, 15, 3)
randn
生成了 $Nrm{(mathbf{0}, mathbf{I})}$ 的标准正态分布:
python
np.random.randn(3) np.random.randn(2, 2)
对于服从方差为 $sigma^2$ 均值为 $mu$ 的一元正态分布可以如下生成:
python
sigma, mu = 2.5, 3 mu + np.random.randn(3) * sigma
同样的,也可选择从已有函数生成:
python
np.random.normal(3, 2.5, 3)
randint
可以指定生成随机整数的最小值最大值(不包含)和维度大小:
python
low, high, size = 5, 15, (2,2) # 生成5到14的随机整数
np.random.randint(low, high, size)
choice
可以从给定的列表中,以一定概率和方式抽取结果,当不指定概率时为均匀采样,默认抽取方式为有放回抽样:
python
my_list = ['a', 'b', 'c', 'd'] np.random.choice(my_list, 2,
replace=False, p=[0.1, 0.7, 0.1 ,0.1]) np.random.choice(my_list,
(3,3))
当返回的元素个数与原列表相同时,不放回抽样等价于使用 permutation
函数,即打散原列表:
python
np.random.permutation(my_list)
最后,需要提到的是随机种子,它能够固定随机数的输出结果:
python
np.random.seed(0) np.random.rand() np.random.seed(0) np.random.rand()
2. np数组的变形与合并
【a】转置: T
python
np.zeros((2,3)).T
【b】合并操作: r_, c_
对于二维数组而言, r_
和 c_
分别表示上下合并和左右合并:
python
[np.r]()[np.zeros((2,3)),np.zeros((2,3))]
[np.c]()[np.zeros((2,3)),np.zeros((2,3))]
一维数组和二维数组进行合并时,应当把其视作列向量,在长度匹配的情况下只能够使用左右合并的
c_
操作:
python
try:
[np.r]()[np.array([0,0]),np.zeros((2,1))]
except Exception as e:
Err_Msg = e
Err_Msg [np.r]()[np.array([0,0]),np.zeros(2)]
[np.c]()[np.array([0,0]),np.zeros((2,3))]
【c】维度变换: reshape
reshape
能够帮助用户把原数组按照新的维度重新排列。在使用时有两种模式,分别为 C
模式和 F
模式,分别以逐行和逐列的顺序进行填充读取。
python
target = np.arange(8).reshape(2,4) target target.reshape((4,2),
order='C') # 按照行读取和填充 target.reshape((4,2), order='F') #
按照列读取和填充
特别地,由于被调用数组的大小是确定的, [reshape]{.title-ref} 允许有一个维度存在空缺,此时只需填充-1即可:
python
target.reshape((4,-1))
下面将 n*1
大小的数组转为1维数组的操作是经常使用的:
python
target = np.ones((3,1)) target target.reshape(-1)
3. np数组的切片与索引
数组的切片模式支持使用 slice
类型的 start:end:step
切片,还可以直接传入列表指定某个维度的索引进行切片:
python
target = np.arange(9).reshape(3,3) target target[:-1, [0,2]]
此外,还可以利用 np.ix_
在对应的维度上使用布尔索引,但此时不能使用
slice
切片:
python
target[[np.ix]()([True, False, True], [True, False, True])]
target[[np.ix]()([1,2], [True, False, True])]
当数组维度为1维时,可以直接进行布尔索引,而无需 np.ix_
:
python
new = target.reshape(-1) new[new%2==0]
4. 常用函数
为了简单起见,这里假设下述函数输入的数组都是一维的。
【a】 where
where
是一种条件函数,可以指定满足条件与不满足条件位置对应的填充值:
python
a = np.array([-1,1,-1,0]) np.where(a>0, a, 5) #
对应位置为True时填充a对应元素,否则填充5
【b】 nonzero, argmax, argmin
这三个函数返回的都是索引, nonzero
返回非零数的索引, argmax, argmin
分别返回最大和最小数的索引:
python
a = np.array([-2,-5,0,1,3,-1]) np.nonzero(a) a.argmax() a.argmin()
【c】 any, all
any
指当序列至少 存在一个
{.interpreted-text role="red"} True
或非零元素时返回 True
,否则返回 False
all
指当序列元素 全为
{.interpreted-text role="red"} True
或非零元素时返回 True
,否则返回 False
python
a = np.array([0,1]) a.any() a.all()
【d】 cumprod, cumsum, diff
cumprod, cumsum
分别表示累乘和累加函数,返回同长度的数组, diff
表示和前一个元素做差,由于第一个元素为缺失值,因此在默认参数情况下,返回长度是原数组减1
python
a = np.array([1,2,3]) a.cumprod() a.cumsum() np.diff(a)
【e】 统计函数
常用的统计函数包括 max, min, mean, median, std, var, sum, quantile
,其中分位数计算是全局方法,因此不能通过 array.quantile
的方法调用:
python
target = np.arange(5) target target.max() np.quantile(target, 0.5) #
0.5分位数
但是对于含有缺失值的数组,它们返回的结果也是缺失值,如果需要略过缺失值,必须使用
nan*
类型的函数,上述的几个统计函数都有对应的 nan*
函数。
python
target = np.array([1, 2, np.nan]) target target.max()
np.nanmax(target) np.nanquantile(target, 0.5)
对于协方差和相关系数分别可以利用 cov, corrcoef
如下计算:
python
target1 = np.array([1,3,5,9]) target2 = np.array([1,5,3,-9])
np.cov(target1, target2) np.corrcoef(target1, target2)
最后,需要说明二维 Numpy
数组中统计函数的 axis
参数,它能够进行某一个维度下的统计特征计算,当 axis=0
时结果为列的统计指标,当 axis=1
时结果为行的统计指标:
python
target = np.arange(1,10).reshape(3,-1) target target.sum(0)
target.sum(1)
5. 广播机制
广播机制用于处理两个不同维度数组之间的操作,这里只讨论不超过两维的数组广播机制。
【a】标量和数组的操作
当一个标量和数组进行运算时,标量会自动把大小扩充为数组大小,之后进行逐元素操作:
python
res = 3 * np.ones((2,2)) + 1 res res = 1 / res res
【b】二维数组之间的操作
当两个数组维度完全一致时,使用对应元素的操作,否则会报错,除非其中的某个数组的维度是 $mtimes 1$ 或者 $1times n$ ,那么会扩充其具有 $1$ 的维度为另一个数组对应维度的大小。例如, $1times 2$ 数组和 $3times 2$ 数组做逐元素运算时会把第一个数组扩充为 $3times 2$ ,扩充时的对应数值进行赋值。但是,需要注意的是,如果第一个数组的维度是 $1times 3$ ,那么由于在第二维上的大小不匹配且不为 $1$ ,此时报错。
python
res = np.ones((3,2)) res res * np.array([[2,3]]) #
第二个数组扩充第一维度为3 res * np.array([[2],[3],[4]]) #
第二个数组扩充第二维度为2 res * np.array([[2]]) #
等价于两次扩充,第二个数组两个维度分别扩充为3和2
【c】一维数组与二维数组的操作
当一维数组 $Ak$ 与二维数组 $B{m,n}$ 操作时,等价于把一维数组视作 $A_{1,k}$ 的二维数组,使用的广播法则与【b】中一致,当 $k!=n$ 且 $k, n$ 都不是 $1$ 时报错。
python
np.ones(3) + np.ones((2,3)) np.ones(3) + np.ones((2,1)) np.ones(1) +
np.ones((2,3))
6. 向量与矩阵的计算
【a】向量内积: dot
$$rm mathbf{a}cdotmathbf{b} = sum_ia_ib_i$$
python
a = np.array([1,2,3]) b = np.array([1,3,5]) a.dot(b)
【b】向量范数和矩阵范数: np.linalg.norm
在矩阵范数的计算中,最重要的是 ord
参数,可选值如下:
ord norm for matrices norm for vectors
None Frobenius norm 2-norm 'fro' Frobenius norm -- 'nuc' nuclear norm -- inf max(sum(abs(x), axis=1)) max(abs(x)) -inf min(sum(abs(x), axis=1)) min(abs(x)) 0 -- sum(x != 0) 1 max(sum(abs(x), axis=0)) as below -1 min(sum(abs(x), axis=0)) as below 2 2-norm (largest sing. value) as below -2 smallest singular value as below other -- sum(abs(x)ord)(1./ord)
python
matrix_target = np.arange(4).reshape(-1,2) matrix_target
np.linalg.norm(matrix_target, 'fro') np.linalg.norm(matrix_target,
np.inf) np.linalg.norm(matrix_target, 2)
python
vector_target = np.arange(4) vector_target
np.linalg.norm(vector_target, np.inf) np.linalg.norm(vector_target, 2)
np.linalg.norm(vector_target, 3)
【c】矩阵乘法: @
$$rm [mathbf{A}{mtimes p}mathbf{B}{ptimes n}]{ij} = sum{k=1}^pmathbf{A}{ik}mathbf{B}{kj}$$
python
a = np.arange(4).reshape(-1,2) a b = np.arange(-4,0).reshape(-1,2) b
<a@b>
三、练习
Ex1:利用列表推导式写矩阵乘法
一般的矩阵乘法根据公式,可以由三重循环写出:
python
M1 = np.random.rand(2,3) M2 = np.random.rand(3,4) res =
np.empty((M1.shape[0],M2.shape[1])) for i in range(M1.shape[0]):
for j in range(M2.shape[1]): item = 0 for k in range(M1.shape[1]):
item += M1[i][k] * M2[k][j] res[i][j] = item
(np.abs((<M1@M2> - res) < 1e-15)).all() # 排除数值误差
请将其改写为列表推导式的形式。
Ex2:更新矩阵
设矩阵 $A{mtimes n}$ ,现在对 $A$ 中的每一个元素进行更新生成矩阵 $B$
,更新方法是 $displaystyle B{ij}=A{ij}sum{k=1}^nfrac{1}{A{ik}}$
,例如下面的矩阵为 $A$ ,则
$B{2,2}=5times(frac{1}{4}+frac{1}{5}+frac{1}{6})=frac{37}{12}$
,请利用 Numpy
高效实现。
$$begin{aligned} A=left[ begin{matrix} 1 & 2 &34&5&67&8&9 end{matrix} right] end{aligned}$$
Ex3:卡方统计量
设矩阵 $A{mtimes n}$ ,记 $B{ij} = frac{(sum{i=p}^mA{pj})times (sum{q=1}^nA{iq})}{sum{p=1}^msum{q=1}^nA_{pq}}$ ,定义卡方值如下:
$$chi^2 = sum{i=1}^msum{j=1}^nfrac{(A{ij}-B{ij})^2}{B_{ij}}$$
请利用 Numpy
对给定的矩阵 $A$ 计算 $chi^2$ 。
python
np.random.seed(0) A = np.random.randint(10, 20, (8, 5))
Ex4:改进矩阵计算的性能
设 $Z$ 为 $mtimes n$ 的矩阵, $B$ 和 $U$ 分别是 $mtimes p$ 和 $ptimes n$ 的矩阵, $Bi$ 为 $B$ 的第 $i$ 行, $U_j$ 为 $U$ 的第 $j$ 列,下面定义 $displaystyle R=sum{i=1}^msum{j=1}^n|B_i-U_j|_2^2Z{ij}$ ,其中 $|mathbf{a}|_2^2$ 表示向量 $mathbf{a}$ 的分量平方和 $sum_i a_i^2$ 。
现有某人根据如下给定的样例数据计算 $R$ 的值,请充分利用 Numpy
中的函数,基于此问题改进这段代码的性能。
python
np.random.seed(0) m, n, p = 100, 80, 50 B = np.random.randint(0, 2, (m,
p)) U = np.random.randint(0, 2, (p, n)) Z = np.random.randint(0, 2, (m,
n))
python
def solution(B=B, U=U, Z=Z):
: L_res = [] for i in range(m): for j in range(n): norm_value =
((B[i]-U[:,j])**2).sum() L_res.append(norm_value*Z[i][j])
return sum(L_res)
solution(B, U, Z)
Ex5:连续整数的最大长度
输入一个整数的 Numpy
数组,返回其中严格递增连续整数子数组的最大长度。例如,输入
[1,2,5,6,7],[5,6,7]为具有最大长度的递增连续整数子数组,因此输出3;输入[3,2,1,2,3,4,6],[1,2,3,4]为具有最大长度的递增连续整数子数组,因此输出4。请充分利用
Numpy
的内置函数完成。(提示:考虑使用 nonzero, diff
函数)