推理、路徑、距陣乘法
若以節點表示公式,
而有向邊表示起始點的公式 A 可依法則推論出進入點的公式 B,
則圖的路徑可達性就是公式 A 是否可推理出公式 B。
一個圖的路徑可達性,可由相鄰距陣乘法計算而出,
則距陣的無限,一個公式能否由另一公式推論,便能使用距陣
圖是有限集合,表示能以圖表示的所有公式是可以列舉出來的,
想做的相關研究
而有向邊表示起始點的公式 A 可依法則推論出進入點的公式 B,
則圖的路徑可達性就是公式 A 是否可推理出公式 B。
一個圖的路徑可達性,可由相鄰距陣乘法計算而出,
則距陣的無限,一個公式能否由另一公式推論,便能使用距陣
圖是有限集合,表示能以圖表示的所有公式是可以列舉出來的,
想做的相關研究
留言