Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019,熊英飞, 03 数据流分析II

复习

  1. 以下函数是否是单调的?
    1. f(x)=x-1:T
    2. 处处可导,且导数处处不为0的函数
      • 例子:f(x)=1/x,x不为0(因为定义上x就不为0,所以不必考虑0这个点)
    3. 求集合x的补集
      • 若以集合间被包含的关系作为偏序,则是
    4. f(x)=g(h(x))
      • 单调,分别讨论gh增减性相同和增减性相异两种情况
    5. f(x,y) = (g(x), h(y))
      • 不一定
    6. 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),单调

内容


posted @ 2021-01-04 17:55  雪溯  阅读(123)  评论(0编辑  收藏  举报