非奇異矩陣提示您:看後求收藏(快眼看書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+
我就抓個兔子,全屬性都翻倍了

我就抓個兔子,全屬性都翻倍了

遊園驚夢
【廢土+系統+熱血】 荒野獵手陳小河抓了一隻兔子,意外獲得了黑球系統,讓自己的屬性翻倍。系統還可以不斷升級,獲得更多新奇的功能。 就在陳小河覺得自己穩了,吊打其他超凡者,成為廢土之王的時候,竟然發現這個廢土世界並不是那麼簡單,變異的原因來自異界的能量流入,這個世界危在旦夕。 陳小河:我又不是救世主,關我屁事,誰行誰上。 黑球系統:來自異界的能量可以讓我們更快升級。 陳小河:反攻異界,拯救世界,我
歷史 連載 180萬字
地球第一領主

地球第一領主

十曜
領主、氣運、種田、爭霸。英雄,王朝、歷史、神話。諸天破碎,萬界合一演化“永恆之地”。因為,地球所在宇宙極為浩瀚,人類又為宇宙唯一智慧種族。因而,全都獲得了特權..
歷史 連載 335萬字