Sky_Gr_OI

absolute//指令(变量) abstract//指令(方法)and //运算符(布尔) array //类型as //运算符(RTTI)asm //语句assembler //向后兼容(汇编)at //语句(异常处理)automated //访问类别符(类)begin //块标记case //语句cdecl

Antenna PlacementTime Limit: 1000MS Memory Limit: 65536KTotal Submissions: 4461 Accepted: 2194DescriptionThe Global Aerial Research Centre has been allotted the

AsteroidsTime Limit: 1000MS Memory Limit: 65536KTotal Submissions: 9515 Accepted: 5124DescriptionBessie wants to navigate her spaceship through a dangerous as

基本概念：1.割点：若删掉某点后，原连通图分裂为多个子图，则称该点为割点。2.割点集合：在一个无向连通图中，如果有一个顶点集合，删除这个顶点集合，以及这个集合中所有顶点相关联的边以后，原图变成多个连通块，就称这个点集为割点集合。3.点连通度：最小割点集合中的顶点数。4.割边(桥)：删掉它之后，图必然会分裂为两个或两个以上的子图。5.割边集合：如果有一个边集合，删除这

Knights of the Round TableTime Limit: 7000MS Memory Limit: 65536KTotal Submissions: 5892 Accepted: 1832DescriptionBeing a knight is a very attractive career: se

Gabow算法[编辑]求解有向图强连通分量的Gabow算法Gabow算法与Tarjan算法的核心思想实质上是相通的,就是利用强连通分量必定是DFS的一棵子树 这个重要性质,通过找出这个子树的根来求解强分量.具体到实现是利用一个栈S来保存DFS遇到的 所有树边的另一端顶点,在找出强分量子树的根之后,弹出S中的顶点一一进行编号. 二者不同的是,Tarjan算法通过一个low

========对于任意图：|最小边覆盖|+|最大匹配|=|V|二分图的最大匹配=最小点覆盖数对于二分图：以下数值等价.最大匹配最小点覆盖|V|-最大独立集(二分图or有向无环图)|V|-最小边覆盖数|V|-最小路径覆盖数(有向无环图)|V|-最小路径覆盖数/2(无向图)（上面括号里有有向无环图的，均是将一个点拆成两个点连边匹配）由于任意图的那几

如果我们想要建立一个自动机，使它能够接收一个串s的所有后缀，那么最暴力的想法应该就是，直接用这个串的所有后缀来建立一个AC自动机上面就是用aabbabd这个字母串作为母串建立的AC自动机（没有画fail边,好吧，那它就是个字母树...），嗯，建出这个东西的确就可以接收此串的所有后缀了，但是但是，聪明的朋友就会发现，这玩意儿的节点个数是O(n^2)级别的….我只给了你一个串，你就用了

首先简要介绍一下AC自动机：Aho-Corasick automation，该算法在1975年产生于贝尔实验室，是著名的多模匹配算法之一。一个常见的例子就是给出n个单词，再给出一段包含m个字符的文章，让你找出有多少个单词在文章里出现过。要搞懂AC自动机，先得有模式树（字典树）Trie和KMP模式匹配算法的基础知识。AC自动机算法分为3步：构造一棵Trie树，构造失败指针和模式匹配过程。

木棒Time Limit: 1000MSMemory Limit: 10000KTotal Submissions: 95421Accepted: 21444Description乔治拿来一组等长的木棒，将它们随机地砍断，使得每一节木棍的长度都不超过50个长度单位。然后他又想把这些木棍恢复到为裁截前的状态，但忘记了初始

异或是一种基于二进制的位运算，用符号XOR或者 ^ 表示，其运算法则是对运算符两侧数的每一个二进制位，同值取0，异值取1。它与布尔运算的区别在于，当运算符两侧均为1时，布尔运算的结果为1，异或运算的结果为0。简单理解就是不进位加法，如1+1=0，,0+0=0,1+0=1。性质1、交换律2、结合律3、对于任何数x，都有x^x=0，x^0=x4、自反性 A XOR B XOR

usessysutils;       //调用sysutils库//vartime:double;       //定义时间变量//……;       //这是你的程序里需要定义的变量//……;…………     //这是你原程序里可能会有的自定义函数或过程//…… ……begin       //主程序//time:=now;       //现在时刻//你的

弦图与区间图-陈丹琦

树的Prufer 编码和最小生成树计数 （摘自：冰上极光的专栏）1. 一棵标号树的Pufer编码规则如下：找到标号最小的叶子节点，输出与它相邻的节点到prufer 序列, 将该叶子节点删去，反复操作，直至剩余2个节点。 2. 由Pufer编码生成树：任何一个prufer 序列可以唯一对应到一棵有标号的树，首先标记所有节点为未删除 依次扫描prufer 序列中的数，比如当前扫描到第k个数

扩展欧几里得算法用于求解二元一次不定方程ax+by=c可以证明ax+by的最小正整数是gcd(a,b)。设：ax+by=bx'+(a mod b)y'=gcd(a,b),  g=gcd(a,b)a mod b=a-[a/b]*b    //[a/b]暂且认为表示a除以b的下取整。。。则有：g=bx'+(a mod b)y' =bx'+(a-[a/b]*b)y' =b

定义：满足a*k≡1 (mod p)的k值就是a关于p的乘法逆元。 为什么要有乘法逆元呢？当我们要求（a/b） mod p的值，且a很大，无法直接求得a/b的值时，我们就要用到乘法逆元。我们可以通过求b关于p的乘法逆元k，将a乘上k再模p，即(a*k) mod p。其结果与(a/b) mod p等价。 证：（其实很简单。。。）根据b*k≡1 (mod p)有b*k=

【splay入门】用其他平衡二叉树能解决:(理论复杂度没有sbt好,但我用splay却比写sbt还快=.=)[HNOI2002]营业额统计[NOI2004]郁闷的出纳员[HNOI2004]宠物收养所【splay热身】其他平衡二叉树不能解决,但是线段树和splay能解决(效率是线段树的1~5倍.)I Hate It(更新节点,区间最值)A Simple Problem w

[可并堆与左偏树]我们最常用的二叉堆，是最常用的优先队列，它可以在O(logN)内实现插入和删除最小值操作。但是对于合并两个有序的优先队列，二叉堆就显得力不从心了。左偏树是一种可并堆(Mergeable Heap)，意思是可以在O(logN)时间内完成两个堆的合并操作。左偏树(Leftist Tree)，或者叫左倾树，左式树，左式堆(Leftist Heap)，左堆。顾名思义，它好象是向左