四进制造物主
首页

第1章 上一章注释001

假如我们给proj21弄一个最小化操作:μ^1proj21(1),其中1是固定参数。

如果我们穷举一下可变参数,就会发现:

proj21(1,0)=1

proj21(1,1)=1

我们永远也拿不到0,也就不存在最小化。也就是说,对于μ^1proj21而言,并不是每一个输入都对应一个输出,所以应用最小化操作,我们成功地构建了一个偏函数。

加减乘三种操作都在上文构建过了,现在就只剩下一个除了。除法div需要用最小化操作来构建。

假设,我们收到两参数a和b,想求a/b,那么其中存在如下关系:

a=q×b+r,其中0≤r<b

我们想要的就是满足式子q×b≤a的最大的q,这等同于满足(q+1)×b>a,于是带余除法被转化为了一个最小化问题:

找到最小的q使其满足(q+1)×b>a

也就是构造一个函数f:N^3—N

f(a,b,q)=1如果(q+1)b≤a,=0如果(q+1)b>a

f(a,b,q)=lessthanequal(mult(succ(q),b),a)

f=lessthaneual·[mult·[succ·[proj33],proj32],proj31]

其中lessthanequal=iszero·sub

iszero=sub·[succ·zero,proj11]

sub是减法器

对f进行最小化操作即可得到我们想要的结果。

验证一下:

f(8,5,0)=lessthanequal(mult(1,5),8)=1不等于0,所以0不是输出。

f(8,5,1)=lessthanequal(mult(1,5),8)=0,最小,所以1是输出。

div(8,5)=8//5=1没错,十分完美。

如果我们想计算一下8//0:

f(8,0,0)=lessthanequal(mult(1,0),8)=1不等于0,所以0不是输出。

f(8,0,1)=lessthanequal(mult(2,0),8)=1不等于0,所以0不是输出。

无论

本章未完,请点击下一页继续阅读! 第4页 / 共5页

相关小说

核谐地球 网游 /
核谐地球
我好
七八小说免费提供作者(我好)的经典小说:《核谐地球》最新章节全文阅读服务,本站更...
1334518字06-16
红魔复兴,从挽留穆里尼奥开始 网游 /
红魔复兴,从挽留穆里尼奥开始
抚仙湖的龙娃
七八小说免费提供作者(抚仙湖的龙娃)的经典小说:《红魔复兴,从挽留穆里尼奥开始》...
3042815字07-26
重生火焰之苏瑶 网游 /
重生火焰之苏瑶
月儿弯弯258
七八小说免费提供作者(月儿弯弯258)的经典小说:《重生火焰之苏瑶》最新章节全文阅...
1574240字07-29
宝可梦:圆梦从卡洛斯开始 网游 /
宝可梦:圆梦从卡洛斯开始
狗打肉包
七八小说免费提供作者(狗打肉包)的经典小说:《宝可梦:圆梦从卡洛斯开始》最新章...
1022140字07-11
基建末世:穿得越粉,杀人越狠 网游 /
基建末世:穿得越粉,杀人越狠
巫秋尔
七八小说免费提供作者(巫秋尔)的经典小说:《基建末世:穿得越粉,杀人越狠》最新章...
1068257字07-30
开局获得满级速度,杀穿五大联赛 网游 /
开局获得满级速度,杀穿五大联赛
sun晚风吹
七八小说免费提供作者(sun晚风吹)的经典小说:《开局获得满级速度,杀穿五大联赛》...
933219字11-06