由于业务逻辑的需要，必须对数据表的一行或多行加入行锁，举个最简单的例子，图书借阅系统：假设id=1的这本书库存为1，但是有2个人同时来借这本书，此处的逻辑为: SELECT restnum FROM book WHERE id =1 ; --如果restnum大于0，执行update UPDATE ...
分类：
数据库 时间：
2016-09-30 01:04:29
阅读次数：
258
在网页布局中元素水平居中比元素垂直居中要简单不少，同时实现水平居中和垂直居中往往是最难的。现在是响应式设计的时代，我们很难确切的知道元素的准确高度和宽度，所以一些方案不大适用。据我所知, 在CSS中至少有六种实现居中的方法。我将使用下面的HTML结构从简单到复杂开始讲解: 鞋子图片会改变，但是他们都 ...
分类：
Web程序 时间：
2016-09-29 20:45:28
阅读次数：
196
<div style="width:1000px; height:250px; margin-top:30px"> <img src="img/11.jpg" width="1000" height="250" /> <img src="img/22.png" width="1000" height ...
分类：
其他好文 时间：
2016-09-26 16:11:31
阅读次数：
112
1.获取文本语料库 NLTK库中包含了大量的语料库，下面一一介绍几个： （1）古腾堡语料库：NLTK包含古腾堡项目电子文本档案的一小部分文本。该项目目前大约有36000本免费的电子图书。 使用：from nltk.corpus import gutenberg 写一段简短的程序，通过遍历前面所列出的 ...
分类：
编程语言 时间：
2016-09-23 14:34:43
阅读次数：
576
前提条件是这样的：输入一个图（可以是有向图，也可以是无向图，允许平行边存在），我们要做的事情是将这个图切割成两个子图，（切割的定义：将图中的所有顶点分为两个集合A和B，要求这两个集合非空）假设这个图中的顶点数为n，边的条数为m，这样一来就总共有2的n次方减2种切割方案，（每个顶点有两种选择，要么选集 ...
分类：
其他好文 时间：
2016-09-17 23:27:36
阅读次数：
155
主要借助这道比较裸的题来讲一下tarjan这种算法 tarjan是一种求解有向图强连通分量的线性时间的算法。（用dfs来实现） 如果两个顶点可以相互通达，则称两个顶点强连通。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量。 在上面这张有向图中1，2，3， ...
分类：
其他好文 时间：
2016-09-16 21:19:50
阅读次数：
171
android 开发中 对于 shape 和 selector的使用,一直都不是很熟练, 记录一下.便于以后参考. 举个项目中例子图 对于上面的2个radiobutton ,背景我们可以让美工做一个.9图来实现. 但是最后还是自己用shape 搞一下. 按钮布局如下: 里面用到2个 selector ...
分类：
移动开发 时间：
2016-09-14 10:55:36
阅读次数：
298
滑动教程的Android - Android电子图书馆，让你的应用程序内动画教程
分类：
移动开发 时间：
2016-09-12 21:26:56
阅读次数：
584
经典的最大权闭合子图问题； 这种问题的求解思路是： 建图：将s连边向权值为正的点，通过依赖关系连接权值为正的点和权值为负的点，权值为负的点连边向t； 求c=最小割，a=所有权值为正的节点权值和，ans=a-c; 证明过程网上是有的； 用dinic敲的，但是用的还不熟练； 1 #include<ios ...
分类：
其他好文 时间：
2016-09-11 14:12:39
阅读次数：
147
有向图强连通分量的Tarjan算法 [有向图强连通分量] 在有向图G中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connecte ...
分类：
编程语言 时间：
2016-09-10 20:39:36
阅读次数：
188
