123開始以為\(dfs\)的時間戳。。。結果發現是第幾次執行的時間戳。因為每次要memset一下vis陣列，浪費了大量時間。時間戳巧妙地o(1)解
決了這個問題。初始化零？我只要讓你陣列裡不管是誰都失效就好了。所以vis陣列用int來存，第幾次執行匈牙利演算法內層的迴圈時間戳
就是幾。設它為t。\(vis!=t\)的，和原來\(vis=0\)是等效的，即未遍歷過，\(vis=t\)的，和原來\(vis=1\)是等效的，即已遍歷過。每當\(dfs\)到
下乙個點。讓這個點的\(vis=t\)。所以都不用說o(1)，根本就是乙個t++就解決了。
kmp優化正確性證明
鄧俊輝老師的課上給出了一種普遍的kmp演算法優化，但是沒有給出這種優化的正確性證明。或許這種正確性是顯而易見的，但這裡還是研究了一下這個演算法的正確性問題。int buildnext char p else 原演算法 j next j 優化演算法 j newnext j return next 顯然...
驗證正確性的方法
驗證正確性的方法 1 bug和除錯 bug的 嗎？除錯，就是找出程式中的錯誤並改正 演算法錯誤 是指乙個演算法中引起該演算法不能實現其預定目標的熱病和錯誤。主要包括四種基本型別 二義性，語法錯誤，語義錯誤，邏輯錯誤 1.1二義性，演算法中比較容易消除的一類。一般體現在指令表達不準確或者不明確。1.2...
補碼正確性的證明
雖然不知道大牛怎麼想到這樣解決補碼的正負表示問題1，但這種解決辦法的正確性倒是可以嘗試證明一下。首先需要明確什麼叫正確性，充要條件暫時沒有想到，先列舉幾個必要條件，至少這些條件需要能成立 本身的值表示正確 本身的符號表示正確 運算結果的值表示正確 運算結果的符號表示正確 接下來證明每乙個條件 一定正...