非奇異矩陣提示您:看後求收藏(快眼看書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+
宰相復婚記

宰相復婚記

孤月流霜
《宰相復婚記》是孤月流霜精心創作的網遊小說,筆趣閣頂點實時更新宰相復婚記最新章節並且提供無彈窗閱讀,書友所發表的宰相復婚記評論,並不代表筆趣閣頂點贊同或者支援宰相復婚記讀者的觀點。
歷史 連載 21萬字
引妻入帳:魅王梟寵小狂妃

引妻入帳:魅王梟寵小狂妃

洪瑞
她是現代跆拳道女教練,一朝穿越,成了齊國公主韓非煙。 和親路上慘遭毒手,墜崖失憶,再睜眼竟然昏睡在楚國奴隸市場,變成了細皮嫩肉的待宰羔羊。 陰差陽錯,她成了楚國霆王府的一名帶刀護衛。 為了生存,她步步為營,紮緊胸口過日子。 直到有一天,她終於要親口說出真相,府上卻傳來一陣陣鬼哭狼嚎。 “賤婢!竟敢勾引主子,不知道主子最討厭女人嗎?” “奴婢知錯了,奴婢知錯了!” 她驚得一身冷汗,從此閉口不敢言。
歷史 完結 49萬字