• 等级
  • 2813 访问
  • 15 原创
  • 0 转发
  • 1078175 排名
  • 0 评论
  • 0 获赞

DigtalOcean (DO) 优惠码分享

这是我的推荐链接 https://m.do.co/c/223c07f0c1ec 使用此链接注册,我和你都可以获得 10 美元 欢迎使用!

2018-06-11 14:53:15

有限存储的计算机等价于有限自动机(DFA、NFA)

B={0n1n|n≥0}B={0n1n|n≥0}B=\{0^n1^n|n\ge0\} Michael Sipser 的 Introduction to the Theory of Computation 的1.4提到一个非正则语言的例子,B={0n1n|n≥0}B={0n1n|n≥0}B=\{0^n1^n|n\ge0\} ,并用Pumping lemma证明了其是非正则的,无法被DFA识别 但...

2018-05-20 13:16:47

洛谷2320 鬼谷子的钱袋 形式化证明

题目 描述 输入输出示例 输入 3 输出 2 1 2 解法 对于m个待装袋的金币,取⌈m/2⌉⌈m/2⌉\lceil m/2\rceil 个金币装入第一个袋子,然后递归求解 证明 对于一个数m,采用每次分割一半的方法,共分割出⌊lg2m⌋+1⌊lg2m⌋+1\lfloor lg_2m\rfloor+1 个袋子 按照题意,我们需要给出一个k个元素的序列,这个序...

2018-05-17 02:11:38

洛谷1330 封锁阳光大学 二分图判断

题目 描述 输入输出样例 输入 3 3 1 2 1 3 2 3 输出(注意,下面的Impossible无换行) Impossible 输入 3 2 1 2 2 3 输出(注意,下面的1无换行) 1 题解 每个连通图最多只有一个对应的二分图 假设一个连通图可以构造出一个二分图,尝试对该二分图进行变形以构造新的二分图 更改其中一个点的位置,则与该点相邻接的点也要改变...

2018-05-17 02:11:02

洛谷1107 雷涛的小猫

dp(i, j): 第i棵树,j高度可以吃到的果子数量——第j高度的果子也被吃了 dp(i, j) = max(dp(i, j-1)+a(i, j), dp(k, j-delta)+a(i, j)) (k∈Nk∈Nk\in N except i) 因为j-delta是固定的,所以可以预处理出第j高度的dp最大值来减小复杂度——在代码中是g数组,g[i]代表第i高度的dp最大值 #incl...

2018-05-17 02:10:13

组合数之错排数

错排数的定义 假设有n个元素,n个位置,每个元素都有自己唯一的正确位置,问,所有元素都处在错误位置有多少可能 递推公式 设f(n)f(n)f(n) 表示n个元素的错排种数,则f(n+1)=n∗(f(n)+f(n−1))f(n+1)=n∗(f(n)+f(n−1))f(n+1)=n*(f(n)+f(n-1)) 解释如下 假设已经有n个元素错排,新来一个元素,那么该元素处于已有的n个...

2018-05-17 02:09:33

天梯L3-007-天梯地图

题目 输入示例一 10 15 0 1 0 1 1 8 0 0 1 1 4 8 1 1 1 5 4 0 2 3 5 9 1 1 4 0 6 0 1 1 7 3 1 1 2 8 3 1 1 2 2 5 0 2 2 2 1 1 1 1 1 5 0 1 3 1 4 0 1 1 9 7 1 1 3 3 1 0 2 5 6 3 1 2 1 5 3 输出示例一 Time = 6: 5 =...

2018-05-17 02:08:59

n元逆序对数量求解

以下思路都是针对从小到大排序的序列的逆序对 首先定义什么是逆序对:比如一个序列是从小到大排列的,那么如果xi>xi+1>xi+2>...xi>xi+1>xi+2>...x_i>x_{i+1}>x_{i+2}>...那么就是逆序对 主要思路是,对于n元逆序对,flag数组中的index表示某个序列中的某个等于index的数,而flag[index]的值...

2018-03-21 17:01:33

printf的一个异常现象引发的对x86-64体系下可变参数传参的探究

测试环境 clang version 3.8.1-24 (tags/RELEASE_381/final) Target: x86_64-pc-linux-gnu Thread model: posix Linux version 4.9.0-deepin13-amd64 (yangbo@deepin.com) (gcc version 6.3.0 20170321 (Debian 6.3.

2018-01-19 12:57:24

从时间戳计算日历

class MyDate { private int year; private int month; private int day; private int hour; private int minute; private int second; private final long timePerSecond = 1000; pr

2017-10-02 17:00:54

CSAPP AttackLab

CSAPP Attack Lab 本文所有答案都是传给hex2raw的文本,hex2raw会在转换好的字符串后添加换行符,所以答案里没有换行符 第一题答案aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa /*

2017-09-17 08:08:40

CSAPP-Attack-Lab

CSAPP Attack Lab 本文所有答案都是传给hex2raw的文本,hex2raw会在转换好的字符串后添加换行符,所以答案里没有换行符 第一题答案aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa aa /*

2017-09-16 22:23:00

CSAPP3e-第二章Homework

2.58int isLittleEndian1() { int a = 1; return ((char*)&a)[0]; }2.59int f2_59(int x, int y) { return x&(((1<<(sizeof(int)-1)*8)-1)<<8)|(y&0xFF); }2.60unsigned replaceByte(unsigned x, int i,

2017-09-15 12:57:18

CSAPP data Lab

CSAPP data Lab 注意,本文代码出于节省括号避免繁杂的考虑,对运算符优先级利用得比较充分,比如 1>>n+1 等价于 1>>(n+1),所以代码里写了1>>n+1。 bitAnd/* * bitAnd - x&y using only ~ and | * Example: bitAnd(6, 5) = 4 * Legal ops: ~ | * Max ops:

2017-09-15 12:41:35

CSAPP Bomb Lab

CSAPP Bomb Lab答案 Border relations with Canada have never been better. 1 2 4 8 16 32 多个答案 0 207 1 311 2 707 3 256 4 389 5 206 6 682 7 327 应该有多个答案 7 0 一个6个字符的字符串,字符串的ascii值依次

2017-09-15 12:41:08

H-ZeX

关注
  • 中国 广东省 广州市