摘要：
PATTERN系列之五 I. Introduction To ease the expression of real time requirements, Dwyer, and then Konrad, studied a large collection of existing systems i 阅读全文
摘要：
PATTERN系列的番外篇 对non Zeno的概念进行了明晰 accepting ：if infinitely often the same state non Zeno ：if time diverges，which means $\sum_{i\geq20}$$\delta_{i}$ $\ri 阅读全文
摘要：
全排列 //这篇题解是我第一篇题解，很久以前写的，就作为我blog的第一篇文章吧 思路 递归。 N个数的全排列数，观察3个数的全排列数： 1 2 3 1 3 2 2 1 3 2 3 1 3 1 2 3 2 1 可以看到第一个分别是1 2 3，而各自后面所跟着的，恰恰是剩下的数的全排列，以1为例，后面 阅读全文