2023年1月16日
银行家算法中安全检查算法正确性证明
摘要： 符号说明 $<{\forall}$ ：如果两个同维行向量 $A$、$B$ 中，$A$ 中任意一个元素都小于 $B$ 中对应位置上的元素，则 $A <{\forall}B$ 为真。 $<{\exist}$：如果两个同维行向量 $A$、$B$ 中，$A$ 中存在一个元素小于 $B$ 中对应位置上的元素， 阅读全文
posted @ 2023-01-16 21:46 Sarfish 阅读(149) 评论(0) 推荐(0)