- 博客(6)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 循环不变式与lower_bound证明
循环不变式与lower_bound证明作用用于证明循环算法的正确性,跟数学归纳法类似,区别在于数学归纳法可以无限循环下去,循环不变式必须有终止条件.过程建立循环不变式.初始化:循环开始之前的初始条件下,循环不变式成立.保持:循环的某次迭代之前循环不变式成立,下次迭代之前它仍成立.终止:终止条件下,循环不变式能够产生结果.ExamplesLowerBound说明借鉴std::lower_
2015-04-04 11:55:13
704
原创 DP Flow
DP核心为最优子问题1. 假设一个初始条件属于最优解；2. 在此初始条件的基础下，找最优子结构，列出递归表达式；3. 一般采用自底向上的方法，构建整个求解过程。最优子结构的策略：1. 从问题的一端缩减问题；（钢条切割问题）2. 从问题的中间切割问题，产生两个子问题；（矩阵连乘）3. 分条列举所有缩减可能；（最长公共子序列，最大递增子序列）
2015-01-14 11:00:19
655
原创 国产手机不支持google play Service 的解决方案（小米2）
声明：此方法在最新米2 V5 系统里测试成功最近项目准备用google map做开发，但是当我一切准备工作就绪后，app-key申请完了，代码也加到工程里后，一运行发现无法获得google play Service，所以也就无法显示google map。后来想想问题是用来解决的，就开始google了。1.首先网上说要安装GoogleServicesFramework.apk 和 G
2013-05-29 00:33:24
20132
1
原创 android 异步调用
android异步调用包含：调用webservice，比如ksoap2基于soap协议调用webservice;调用开放平台，比如调用第三方开放平台;调用web资源，比如下载网站服务器资源，网站图片等。注意事项：确保地址输入正确检查http请求的方式（soap就不需要了，因为soap协议规定使用的是POST方式）确保异步请求是在一个新线程中执行，否则会阻塞android 界面线
2013-05-28 15:03:41
890
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人