非奇異矩陣提示您:看後求收藏(快眼看書www.kyks.tw),接著再看更方便。

,並不是每一個輸入都對應一個輸出,所以應用最小化操作,我們成功地構建了一個偏函式。

加減乘三種操作都在上文構建過了,現在就只剩下一個除了。除法div需要用最小化操作來構建。

假設,我們收到兩引數a和b,想求a\/b,那麼其中存在如下關係:

a=qxb+r,其中0≤r<b

我們想要的就是滿足式子qxb≤a的最大的q,這等同於滿足q+1xb>a,於是帶餘除法被轉化為了一個最小化問題:

找到最小的q使其滿足q+1xb>a

也就是構造一個函式f:N^3—N

fa,b,q=1如果q+1b≤a,=0如果q+1b>a

fa,b,q=lessthanequalmultsuccq,b,a

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

其中lessthanequal=iszero·sub

iszero=sub·[succ·zero,proj11]

sub是減法器

對f進行最小化操作即可得到我們想要的結果。

驗證一下:

f8,5,0=lessthanequalmult1,5,8=1不等於0,所以0不是輸出。

f8,5,1=lessthanequalmult1,5,8=0,最小,所以1是輸出。

div8,5=8\/\/5=1沒錯,十分完美。

如果我們想計算一下8\/\/0:

f8,0,0=lessthanequalmult1,0,8=1不等於0,所以0不是輸出。

f8,0,1=lessthanequalmult2,0,8=1不等於0,所以0不是輸出。

無論我們給f8,0,x傳入什麼x,都找不到最小的x,所以div8,0=8\/\/0無解,符合現實。

如果把最小化操作運用在原始遞迴函式上,得到的新函式就叫做偏遞迴函式。

好了,現在加減乘除我們都有了,只要是可計算的演算法,我們都能執行。

至於無限迴圈怎麼製造出來,從μ^1proj211和div的栗子都可以看出來,如果最小化操作找不到最小值,就永遠不會給出輸出

歷史軍事推薦閱讀 More+
末世財閥:開局被重生女主倒貼

末世財閥:開局被重生女主倒貼

不宇之簫
注末日前偏都市前世末世降臨,帝國古老門閥沈家打造了末世雄城,延續了文明與秩序。其嫡長子沈辰更是位列人類十大頂級覺醒者,受無數末日人類敬仰崇拜。然而沈辰卻沒有想到,在沈家掌控的自由之都聲望抵達巔峰的時候,他竟然重生了。回到了末日降臨幾年前,帝國門閥之首沈家之下,無論是權貴還是平民都欣欣向榮。沈辰暗笑前世 末世財閥:開局被重生女主倒貼
歷史 連載 51萬字