题目大意：给出N个命题，要求你证明这N个命题的等价性比如有4个命题a,b,c,d，我们证明ab, bc,cd，每次证明都是双向的，因此一共用了6次推导
如果换成证明a->b,b->c,c->d,d->a,每次证明都是单向的，而只需4次就可以证明所有命题的等价性
现在给出M个命题证明，问还需要证明几个，才可以保证N个命题等价解题思路：命题的等价，就相当于证明点到点之间是互相连通。...
分类：
其他好文 时间：
2015-08-08 00:07:36
阅读次数：
108
一、getoptopts,args = getopt.getopt ( [命令行参数列表], "短选项", [长选项列表] ) ，第三个参数可省略短选项名后的冒号(:)表示该选项必须有附加的参数。如果没有:，-abc等价于-a -b -c；如果a有:，-abc等价于-a bc。长选项名后的等号(=)...
分类：
编程语言 时间：
2015-08-07 13:06:28
阅读次数：
177
C++实现方式：1、http://www.cnblogs.com/cxjchen/tag/%E8%AE%BE%E8%AE%A1%E6%A8%A1%E5%BC%8F/ 思想及入门级方法论：2、http://www.cnblogs.com/hegezhou_hot/category/260424.ht....
分类：
Web程序 时间：
2015-08-06 14:57:26
阅读次数：
151
前几晚 BC 的第二题，官方给出的题解是： 然后我结合昨天刚看的 Manacher 算法试着写了下，发现 pre、suf 数组挺难构造的，调试了好久，然后就对中间进行枚举了，复杂度应该是 O(n2) 吧，我第一次交时超时了，以为真的要用什么暴力压位，可是我还不会啊，然后作了一些少许的优化提交本...
分类：
其他好文 时间：
2015-08-04 13:09:10
阅读次数：
116
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=4994
题意：有n堆石子,每个堆有Ai个石头,，两人轮流拿石子，可以取一堆中的一颗到多颗，但是必须取完其中一堆才能开始取下一堆，最后谁拿石子，谁赢
思路：模拟几遍容易发现，谁先取得大于1的石子堆，谁就拥有了主动权，就能获得胜利，换句话说，当碰到的都是1时，那么两个人都没有选择权，根据石子堆数确定谁赢...
分类：
其他好文 时间：
2015-08-04 11:19:24
阅读次数：
120
今天打算补前晚 BC 的第二题，发现要用到能在 O(n) 时间求最大回文子串长度的Manacher 算法，第一次听，于是便去百度了下，看了大半天，总算能看懂了其思想，至于他给出的代码模板我没能完全看懂，只好自己试着实现，发现理解了思想后还是能实现出来的，用自己的风格去写更好理解，先附上讲解Man.....
分类：
编程语言 时间：
2015-08-03 20:49:43
阅读次数：
142
创建验证码的jsp页面提示错误：has already been called for this response255) fc=255; if(bc>255) bc=255; int r=fc+random.nextInt(bc-fc); int g=fc...
分类：
Web程序 时间：
2015-08-03 18:51:23
阅读次数：
118
题意：如图所示，给出P、Q、R三点的坐标，AB、BC、AC被点F、D、E划分成m1:m2、m3:m4、m5:m6，给出m1~m6的数值，求△ABC的三个顶点A、B、C的坐标。
题解：根据梅涅劳斯定理，如果有两个三角形是这样组成的：
结论：(BD/DC)×(CE/EA)×(AF/FB)=1
证明省略，直接运用结论，在题中所给的三角形中有6组这样的三角形，分别可以推出后面两个边的比值：
△CBQ...
分类：
其他好文 时间：
2015-08-03 17:01:58
阅读次数：
149
引言 使用双系统的时候，我们经常重装Windows！那么有没有一种办法：只重装Windows而不重装Ubuntu呢？ 在使用Win XP/Ubuntu双系统时，这个问题很好解决！但是在使用Win7（包含Vista）以上系统的时候，就比较难了！ 因为微软更改了OS启动机制！详情请看bootmgr和Bc...
分类：
系统相关 时间：
2015-08-03 16:48:16
阅读次数：
117
