一.集合、关系和函数
当分析算法时,我们认为它的输入是从某个特定范围内(如整数集合)取出的一个集合。可以认为算法是一个函数,它是一个受约束的关系,它映射每一个可能的输入到一个特定的输出,这样,集合和函数就都处于算法分析的核心中。
集合用来指任何一批对象,它们成为集合的成员或者元素。集合分为有限集合和无限集合,如果一个无限集合的元素能被一个一个列举出来,则称之为可数的,如整数集,否则不可数的,如实数集。
令A和B是两个集合,A和B的笛卡尔积是所有有序对(a,b)的集合,a∈A,b∈B,笛卡尔积记为AxB,用集合符号表示为AxB={(a,b)|a∈A且b∈B}。
如果集合A上的关系R是自反的、对称的和传递的,则称它是等价的。
二.证明方法
1.直接证明
要证明“PQ”,可以先假设P是真的,然后P为真推出Q真。
2.间接证明
蕴含式“P