摘要：
# 一、Marceau 教授不同意引理 5.5 证明中使用的循环不变式。他对第1次送代之前循环不变式是否为真提出质疑。他的理由是，我们可以很容易宣称一个空数组不包含0排列。因此一个空的子数组包含一个0排列的概率应是 0，从而第 1次选代之前循环不变式无效。请重写过程 RANDOMIZE-IN-PLA 阅读全文
摘要：
2023-06-07：Redis 持久化方式有哪些？以及有什么区别？ 答案2023-06-07： Redis提供了两种持久化机制：RDB和AOF。 ### RDB ![在这里插入图片描述](https://img-blog.csdnimg.cn/09732d99b3514fe8b725e43c9eb 阅读全文