问题：POJ2485本题求解生成树最大边的最小值分析：首先证明生成树最大边的最小值即最小生成树的最大边。假设：生成树最大边的最小值比最小生成树的最大边更小。不妨设C为G的一个最小生成树，e是其中的最大边。把e从C中去除，则C被分成C1，C2两个连通子集。假设存在最大边小于e的生成树CC，则CC中连接...
分类：
其他好文 时间：
2014-07-07 10:13:20
阅读次数：
237
这个题目要求把一个无向连通图里面的所有边，分成 两个一对，只能出现一次，而且一对边必须是连在一起的，点可以复用 但边不可复用可解条件很易得，因为图是连通的，只要边数为偶数即可。一开始我借着做欧拉回路的方法，直接DFS暴搜，沿路做标记，遇到未标记的连续两条边 输出即可不过 事实证明这个算法是错的暴搜能...
分类：
其他好文 时间：
2014-07-07 09:20:18
阅读次数：
158
后缀自动机(SAM)
搜了网上，多介绍应用，[3]算是一个比严格的定义性描述，并给出了证明。但是这个证明我并未看懂，下面综合一些资料给一些个人的直观但不失严谨的理解。
给定一个串A的后缀自动机是一个有限状态自动机(DFA)，它能够且仅能够接受A的后缀，并且我们要求它的状态数最少。
设n=|A|, 状态数:st=[n+1,2n-1], 边数:eg=[n,3n-4]。构造：空间复杂度:26*st...
分类：
其他好文 时间：
2014-07-02 08:50:12
阅读次数：
338
定义
p是质数，并且
gcd(a,p)=1（a,p互质）,那么有
ap?1≡1mod(p)
证明
准备知识
剩余类：对模n同余的整数构成的一个集合叫做模n的一个剩余类。简化剩余系（也叫既约剩余系）：模n的值与n互质的全部剩余类中，从每一类中各任取一数所组成的数的集合，叫做模n的一个简化，也叫缩系。完全剩余系：从模n的每个剩余类中各取一个数，得到一个由n个数组成的...
分类：
其他好文 时间：
2014-07-02 07:15:28
阅读次数：
253
题目poj题目zoj//我感觉是题目表述不确切，比如他没规定xi能不能重复，比如都用1，那么除了0，都是YES了//算了，这种题目，百度来的过程，多看看记住就好//题目意思:判断一个非负整数n能否表示成几个数的阶乘之和//这里有一个重要结论:n!>(0!+1!+……+(n-1)!),//证明很容易,...
分类：
其他好文 时间：
2014-07-01 17:58:54
阅读次数：
289
当我们把非0值赋给布尔类型，会变成1例如#include int main() { bool a = -1; if (a==1) printf("true"); }结果为true，证明a是等于1的
分类：
编程语言 时间：
2014-07-01 17:36:32
阅读次数：
206
还是读了很长时间的题，不过题本身很简单。可以把四棵树想象成正方形的四个顶点，已知两个相对顶点的坐标，求另外两个坐标。不过，原题可没直接这么说，中间需要一些小证明。题中说有一个平行四边形然后分别以四条边为边长向外作正方形，四棵树就在四个正方形中心的位置。这是我用几何画板画的图。下面证△FOE≌△HGO...
分类：
其他好文 时间：
2014-07-01 10:14:31
阅读次数：
316
UVA 10560 - Minimum Weight
题目链接
题意：有一个天枰，给定n，要求出能称出1 - n重量所需最少的砝码，然后给k个数字，分别表示出怎么去称这k个数字。
思路：首先先求出最少砝码，1肯定是需要的，然后1可以组成1，然后要1个3，就可以组成2，3，4观察后发现，其实每次添加砝码，就添加当前砝码总质量和 * 2 + 1.
证明：当前砝码能组成[1, s...
分类：
其他好文 时间：
2014-07-01 08:48:14
阅读次数：
242
虽然有很多第三方工具（Alfred、keyboad
Maestro）可以设置全局启动terminal快捷键，但怎么感觉都不如native的好，呵呵，本文就使用mac 自带的Automator来创建一个launch application的服务，然后在系统偏好设置中keyboard设置service的全局快捷键，实践证明挺好用的，步骤如下：
1、create a service
d...
分类：
其他好文 时间：
2014-06-30 00:05:34
阅读次数：
251
有五种花色 外加 五种点数 共25张牌，每次有n张牌，主人知道这n张牌中有哪些牌，并且哪种牌有几张，但是不知道具体是哪张牌，他可以问某种花色，然后知道了哪几张是该花色，也可以问点数，然后就知道了哪几张是这个点数。最终可以把所有牌都确定下来，问最少要询问几次。这个题目一开始想到枚举（事实证明最后就是枚...
分类：
其他好文 时间：
2014-06-29 19:53:00
阅读次数：
203
