Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019,熊英飞, 03 数据流分析II
复习
- 以下函数是否是单调的?
- f(x)=x-1:T
- 处处可导,且导数处处不为0的函数
- 例子:f(x)=1/x,x不为0(因为定义上x就不为0,所以不必考虑0这个点)
- 求集合x的补集
- 若以集合间被包含的关系作为偏序,则是
- f(x)=g(h(x))
- 单调,分别讨论gh增减性相同和增减性相异两种情况
- f(x,y) = (g(x), h(y))
- 不一定
- f(x,y)=x∩y,已知x,y∈S,(S,∩)是和偏序关系对应的半格
- 若x1≤x2,y1≤y2,f(x1,y1)=x1∩y1,f(x2,y2)=x2∩y2,则x1∩x2=x1,y1∩y2=y1,f(x1,y1)∩f(x2,y2)=(x1∩y1)∩(y2∩x2)=(x1∩y1)∩x2=(y2∩x1)∩x2=y1∩x1=f(x1,y1),单调
内容