01 2023 档案

银行家算法中安全检查算法正确性证明

摘要：符号说明

< \forall

$<{\forall}$ ：如果两个同维行向量

A

$A$ 、

B

$B$ 中，

A

$A$ 中任意一个元素都小于

B

$B$ 中对应位置上的元素，则

A < \forall B

$A <{\forall}B$ 为真。

< \exists

$<{\exist}$ ：如果两个同维行向量

A

$A$ 、

B

$B$ 中，

A

$A$ 中存在一个元素小于

B

$B$ 中对应位置上的元素，阅读全文

posted @ 2023-01-16 21:46 Sarfish 阅读(107) 评论(0) 推荐(0) 编辑

公告

昵称： Sarfish
园龄： 3年5个月
粉丝： 2
关注： 0

<

2025年3月

>

日

一

二

三

四

五

六

23

24

25

26

27

28

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

随笔分类

算法竞赛刷题(8)

随笔档案

文章分类

文章档案

阅读排行榜

评论排行榜

1. [洛谷] [P1020] 导弹拦截(1)

最新评论

1. Re:[洛谷] [P1020] 导弹拦截
我去，，，，我一看就麻了，你竟能坚持完
--如婉君