TCS學習筆記[1] 原始遞歸函數
目錄 2 原始遞歸函數 2.1 原始遞歸函數 2.2 原始遞歸謂詞 2.3 迭代運算、有界量詞和極小化 2.4 配對函數和Gödel數 ...
原文：TCS學習筆記[6] 不可判定的問題
目錄 不可判定的問題 . 判定問題 . Turing機的停機問題 . 字問題和Post對應問題 . 有關文法的不可判定問題 . 一階邏輯中的判定問題 不可判定的問題 習題 不可判定的問題 . 判定問題 Q: HALT x,y 對應什么單參數判定問題 A: Pi N,Y Pi Y Pi x HALT l x ,r x 注：一元謂詞 HALT l x ,r x 不可計算，則 Pi 不可判定。 Q: ...
2021-11-03 19:28 0 116 推薦指數：
相關推薦
圖靈可識別語言與圖靈可判定語言的關系
1、可識別的定義： 存在圖靈機，對語言中每個字符串，該圖靈機均接受。對語言外的每個字符串，該圖靈機拒絕或不停機。 2、可判定的定義： 存在圖靈機，對語言中每個字符串，該圖靈機均接受。對語言外的每個字符串，該圖靈機拒絕。 顯然判定一個語言的圖靈機也是識別該語言的圖靈機。也就是說可判定 ...
TCS學習筆記[0] 程序設計語言S 可計算函數
目錄 1 程序設計語言和可計算函數 1.1 預備知識 1.2 Church-Turing論題 1.3 程序設計語言 1.4 可計算函數 ...
Guava學習筆記：Immutable(不可變)集合
不可變集合，顧名思義就是說集合是不可被修改的。集合的數據項是在創建的時候提供，並且在整個生命周期中都不可改變。 為什么要用immutable對象？immutable對象有以下的優點： 1.對不可靠的客戶代碼庫來說，它使用安全，可以在未受信任的類庫中安全的使用這些對象 2. ...
關系規范化理論學習筆記：函數依賴保持性的判定（函數依賴集等價判定的后續）
1.檢驗一個分解是否具有函數依賴保持性？ 可以回顧復習一下我的這篇博客：https://www.cnblogs.com/dragondragon/p/12556438.html 函 ...
復習筆記2：拓撲排序可判斷有向圖是否存在環
/**1.求拓撲排序的序列2.求關鍵路徑：廣域網成整個工程所需的時間取決於從源點到匯點的最長路徑長度。路徑長度等於路徑上各邊的權之和。這條具有最大長度的路徑就叫做關鍵路徑(拓撲排序可以判斷有向圖 ...
【學習筆記】圖上問題
Vizing 定理 圖染色問題的經典結論 圖染色定義 稱一個邊染色方案合法當且僅當每個頂點連出的所有邊的顏色都互不相同，如果此時出現了 \(k\) 個顏色那么稱該方案是圖的一組 \(k\) 染色 一張無向圖的邊着色數為最小的 \(k\) 滿足圖可以 \(k\) 邊染色，但不存在一個 ...
「學習筆記」期望問題
一.基本概念 數學期望（簡稱期望），是試驗中每次可能結果的概率乘以其結果的總和，它反映了隨機變量平均取值的大小。 對於隨機變量 \(X\)，它有 \(n\) 種可能的取值，取值為 \(x_i\) ...