自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(16)
  • 资源 (1)
  • 收藏
  • 关注

原创 MySql安装后无法启动服务

MySql下载与安装下载的话可以到Mysql官网,然后免安装版本的具体配置过程的话网上很多,可以参考这篇博客安装过程无法启动服务问题我要说的是安装过程中遇到的问题

2016-08-11 20:06:10 703

翻译 Z3求解器指南(二)

配置、命题逻辑、无解释函数

2016-08-10 16:51:05 6666 4

翻译 Z3求解器指南(一)

z3是由微软公司开发的一个优秀的SMT求解器(也就定理证明器),它能够检查逻辑表达式的可满足性。

2016-08-10 11:34:18 24200 3

原创 最长递增子序列问题的求解

最长递增子序列问题的描述设L=(a1,a2,…,an)是n个不同的实数的序列,L的递增子序列是这样一个子序列Lin=(aK1,ak2,…,akm),其中k1<k2<…<km且aK1<ak2<…<akm。

2016-08-03 17:31:58 716

原创 HDOJ1019求多个数的最小公倍数

求最大公约数和最小公倍数的有效算法有下面3种,我们对HDOJ1019进行分析,该题要求m个数的最小公倍数

2016-08-02 13:53:30 474

转载 流敏感,路径敏感和上下文敏感

流敏感(flow-sensitive),路径敏感(path-sensitive)和上下文敏感(context-sensitive),这几个概念都主要出现在Data Flow Analysis中

2016-07-31 10:23:41 4970

转载 打表法之素数打表POJ1595

转载自博客园何为”打表”呢,说得简单点就是有时候与其重复运行同样的算法得出答案,还不如直接用算法把这组数据所有可能的答案都枚举出来存到一个足够大的容器中去-例如数组(打表),然后再输入数据的时候,直接遍历容器,检索这个数据是否有题意要求的结果。

2016-07-30 16:17:23 714

原创 HDOJ2553 N皇后问题

N皇后问题是一个经典的回溯问题,我们回溯法的思想来对问题进行分析。

2016-07-29 15:24:14 502

转载 程序插桩

程序插桩技术是在被测程序中插入探针,然后通过探针的执行来获得程序的控制流和数据流信息,以此来实现测试的目的。因此,根据探针插入的时间可以分为目标代码插桩和源代码插桩。目标代码插桩

2016-07-27 09:14:04 8111

原创 HDOJ1009 贪心

FatMouse’ Trade ,一个简单的贪心问题

2016-07-26 22:25:59 351

原创 HDOJ1016 回溯法

HDOJ1016素数环问题,属于搜索题,运用回溯法进行求解。

2016-07-26 22:07:13 359

转载 使用ProcessBuilder执行本地命令

使用ProcessBuilder执行本地命令

2016-07-23 23:09:00 386

转载 回溯法

回溯算法实际上一个类似枚举的搜索尝试过程,主要是在搜索尝试过程中寻找问题的解,当发现已不满足求解条件时,就“回溯”返回,尝试别的路径。

2016-07-23 20:17:58 270

原创 HDOJ1003 最大子数组

HDOJ1003最大子数组问题

2016-07-22 11:07:33 532

原创 HDOJ1013大数处理

HDOJ1013

2016-07-22 10:51:07 348

转载 一个经典例子让你彻彻底底理解java回调机制

本文出自xiaanming的博客(http://blog.csdn.net/xiaanming/article/details/17483273)以前不理解什么叫回调,天天听人家说加一个回调方法啥的,心里想我草,什么叫回调方法啊?然后自己就在网上找啊找啊找,找了很多也不是很明白,现在知道了,所谓回调:就是A类中调用B类中的某个方法C,然后B类中反过来调用A类中的方法D,D这

2015-11-12 15:13:35 520

Android权限提升攻击检测技术的研究

针对android的权限提升进行分析,提出了权限提升漏洞的检测方案

2017-05-25

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除