![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
murphi
Belle唯唯
这个作者很懒,什么都没留下…
展开
-
Murphi的入门及安装
CMurphi需要自行编译可执行版本。编译环境要求: Linux系统 g++ LEX词法分析器生成器,一般使用flex YACC语法分析器生成器,一般使用byacc GNU make 如上准备就绪后,进入CMurphi的src目录,运行命令 make或者make mu,生成可执行文件 make clean,清理编译过程中产生的中原创 2018-04-15 15:49:39 · 993 阅读 · 0 评论 -
Apriori算法
#[]是列表的意思 def loadDataSet(): return [[1, 3, 4], [2, 3, 5], [1, 2, 3, 5], [2, 5]] # def createC1(dataSet): C1 = [] for transaction in dataSet: for item in transaction: i...原创 2018-06-29 17:21:00 · 132 阅读 · 0 评论 -
loop invariant
http://www.doc88.com/p-9661504502550.html原创 2018-11-01 17:20:24 · 473 阅读 · 0 评论