![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
密码学
seaskying
这个作者很懒,什么都没留下…
展开
-
SAT问题
1. 布尔表达式 布尔表达式是由布尔变量和运算符(NOT , AND ,OR)所构成的表达式。2. 布尔可满足问题 如果对于变量的某个true,false赋值,使得一个布尔表达式的值为true,则该布尔表达式是可满足的。例如布尔公式 A = ((NOT x) AND y) OR ( x AND (NOT z)),当 x = false, y = true, z = fals原创 2016-06-21 12:12:27 · 26105 阅读 · 1 评论 -
Linux下安装gurobi
最近需要用到gurobi解决整数规划,上网找了半天的教程,也没安装好,最后还是在同学的帮助下,成功搞定,将过程记录下来,以备以后查看:1. 到gurobi网站上下载linux版本的gurobi,我用的是最新的6.5.2。(忘记了,好像是需要先注册然后才能下载)2. 解压文件 tar -xvfz gurobi6.5.2_linux64.tar.gzgurobi解压后,不需原创 2016-10-08 23:53:46 · 7923 阅读 · 4 评论 -
启发式算法
启发式算法(heuristic algorithm)是相对于最优化算法提出的。一个问题的最优算法求得该问题每个实例的最优解。启发式算法可以这样定义:一个基于直观或经验构造的算法,在可接受的花费(指计算时间和空间)下给出待解决组合优化问题每一个实例的一个可行解,该可行解与最优解的偏离程度一般不能被预计。启发式算法的发展:启发式算法的计算量都比较大,所以启发式算法伴随着计算机技术的发展,取转载 2016-11-03 14:58:19 · 1048 阅读 · 0 评论 -
STP的安装
鼓捣了一整天终于将STP装好了,各种问题、各种故障也是醉了,苦于对LINUX的各种包不理解,所以费了很大的劲儿!操作系统: Ubuntu 14.04 (先是在虚拟机上试了,到最后装STP时就是make不通过,最后在主机上装上了)参考页面:http://www2.compute.dtu.dk/~stek/cryptosmt.html https://g原创 2016-10-13 14:43:13 · 3230 阅读 · 5 评论 -
集中趋势分析与离中趋势分析
集中趋势分析主要靠平均数、中数、众数等统计指标来表示数据的集中趋势。例如测试班级的平均成绩是多少?是正偏分布还是负偏分布?离中趋势分析主要靠全距、四分差、平均差、方差、标准差等统计指标来研究数据的离中趋势。例如,当我们想知道两个教学班的语文成绩,哪个班级的成绩分布更分散时,就可以用两个班级的四分差或百分点来比较。注:四分差1.四分位差(quartile deviation)转载 2016-09-29 09:26:22 · 14012 阅读 · 0 评论 -
SMT问题以及STP
形式化方法是一种有效的计算机软、硬件系统可信性验证手段。其主要技术包括模型检验,定理证明,等价性检验以及语言包含等。许多形式化验证问题最终都归结于布尔可满足问题(SAT),它用来判断命题逻辑公式是否为可满足的。SAT是第一个被证明的NP完全问题。与SAT相比,SMT问题具有表达能力更强、抽象层次更高的优点,因而,迅速成为了形式化验证中的重要问题。STP is a constraint solv原创 2016-10-07 21:03:21 · 3550 阅读 · 0 评论