上学时学得《数据库系统概念》，一致似懂非懂，停留在定义和证明层面。最近在做项目，认真的了解了下数据库的范式问题，只有潜意识懂得了其原理和应用场合才能较快设计出合理的表。首先，明确概念如下：主码 也就是主键候选码 若关系中的某一属性组的值能唯一的标识一个元组,而其任何真子集都不能再标识,则...
分类：
数据库 时间：
2014-08-30 21:39:40
阅读次数：
369
网页设计中的彩色滤镜效果在当今这个充斥着先进的特效和精妙风格的世界中，谁曾料到，像纯色和渐变这样简单的手法，竟能够催化出创造力，并极大提升网站的美学水准？现代网页设计师们，证明了优雅的插画、精致的图形和壮丽的照片，都能在彩色滤镜效果下很自然地得到强调。气氛焕然一新，网站开始变得光彩夺目。的确，它有助...
分类：
Web程序 时间：
2014-08-30 21:38:00
阅读次数：
246
最近学习了一下 最小生成树 算法。
所谓最小生成树算法，就是给出一个连通图g[ maxn ][ maxn ]， 找出这个连通图的边权和最小的生成图（树）。
可以实现这个目的的算法，我叫它最小生成树算法。kruskal算法就是我学到的一种实现这种功能的算法。
对于kruskal算法的描述以及简单的证明在刘汝佳第二版上已经说得够明白
本题就是求 最小生成树 里面的 最大边权和最小边权 相差最...
分类：
其他好文 时间：
2014-08-30 16:29:49
阅读次数：
235
Android程序员，证明你读过安卓源码的最好方式。 原创 kankanStyle
一个总是返回同一个值的类。
一个白日梦的服务。...
分类：
移动开发 时间：
2014-08-30 03:30:38
阅读次数：
192
题目：有很多点，修一座最短的围墙把素有点围起来，使得所有点到墙的距离不小于l。
分析：计算几何，凸包。
如果，没有距离l的限制，则答案就是凸包的周长了；有了距离限制其实是增加了2*π*l；
证明：如上图，在凸包外做对应边的矩形；
多边形内角和 = 180*（n-2）；
...
分类：
其他好文 时间：
2014-08-30 00:02:48
阅读次数：
282
UVA 12167 - Proving Equivalences
题目链接
题意：给定一些已经存在的等价性证明，要求全部等价，需要在多最少几次证明
思路：先求出强连通分量，然后进行缩点，在缩点后的图上统计入度和出度为0结点的最大值，就是需要加的边数，注意如果整个图已经是强连通，就直接是答案
代码：
#include
#include
#include
#incl...
分类：
其他好文 时间：
2014-08-29 22:45:40
阅读次数：
279
在一个 Android 应用中，我使用FragmentPagerAdapter来处理多 Fragment 页面的横向滑动。不过我碰到了一个问题，即当 Fragment 对应的数据集发生改变时，我希望能够通过调用 mAdapter.notifyDataSetChanged() 来触发 Fragment...
分类：
其他好文 时间：
2014-08-29 18:08:28
阅读次数：
189
本章节主要证明对包含n个元素的输入序列来说，任何比较排序在最坏情况下都要经过omega(nlgn)次比较。从而证明归并排序和堆排序是渐近最优的。同时，介绍了三种线性时间复杂度的排序算法：计数排序、基数排序和桶排序。1. 排序算法的下界在确定排序算法的下界时，借助决策树模型。决策树模型是一棵完全二叉树...
分类：
其他好文 时间：
2014-08-29 18:01:18
阅读次数：
239
我们并不需要讨论完美的用户体验和简单的设计，不是哪个重要的问题，因为简单并不代表产品的体验不完美。现在基本上就是一个简洁为美的时代，而事实上，易用性也恰恰证明对于用户来说，简约的设计更加符合一个优质产品的特点，但请注意，这不代表着这个设计很“简单”。表象上设计的简单是建立在通过“设计”来达到隐藏复杂...
分类：
Web程序 时间：
2014-08-29 17:43:38
阅读次数：
239
在互联网正式普及到大众用户之前，鲜有人会认为互联网能影响到传统行业，直到互联网思维的出现。互联网思维的诞生，带来了互联网思考方式对传统行业的颠覆，这其中除了罗振宇的罗辑思维平台方面，最近在网络上火爆兴起的“会说话的月饼”活动，也从直接层面证明了互联网思维，..
分类：
其他好文 时间：
2014-08-29 16:20:28
阅读次数：
277
