x 和 Y 是不是一组映射的关系,映射是 1 个数学词汇,是指单个或者多个元素之相互对应的关系。
x,Y 首先是非空的集合形成映射关系,他们之间存在对应关系 f,当然 f 在这里是对应关系的意思,而不是上面的函数 f,函数 f 负责拿到 x 后,对函数内部进行被"跳跃"转换。注意在数学里面相同的符号
在不同的地方定义是不一样的。
理解他们需要对公式进行拆解,拆解的步骤就是下面的。
x 的每个元素是不是在 Y 里面也有一个元素和它对应?如果是就是映射的关系。f:x->Y,这里的 f 是对应关系,Y 包含 x,也可以被写成 Y=f(x),这里的 f 就是映射关系。
要代入最上面的公式 Y=f(x) x->f()->f(x):retrun x ->Y
如果这里的 x 是 1 个集合,x={1,2,3,4} Y=f( set(x)) 如果 Y 得到的结果一个也没有在 x 里面,x 重不同元素在 Y 中的象都不相同。Y 的结果不知道是如何计算出来的。
Y = f(x) 目前缺少 1 个变量,因为只有 1 次。那么如何让它不停的计算,然后查看它每次计算的结果。
x-->f(x):retrun x,if x!=false,代表 x 是有数据的 x-->f(x),使用一种类似递归的思想,然后因为有个 if 所以有了跳出的分支就是当 x 是没有数据的,则跳出,但是 x 没有数据了,Y = f(x) Y 的数据在这里理论也是没有意义的
所以 Y = t*f(x) retrun x!=false,t 代表次数。定义 1 个次数后,固定需要执行 t 次,但是其中有 1 次 x 的数据依然是非真,那也不会提前跳出。