推理、路徑、距陣乘法

若以節點表示公式,
而有向邊表示起始點的公式 A 可依法則推論出進入點的公式 B,
則圖的路徑可達性就是公式 A 是否可推理出公式 B。

一個圖的路徑可達性,可由相鄰距陣乘法計算而出,
則距陣的無限,一個公式能否由另一公式推論,便能使用距陣

圖是有限集合,表示能以圖表示的所有公式是可以列舉出來的,



想做的相關研究

留言

這個網誌中的熱門文章

浴室水龍頭切換拉桿維修

【麵】的倉頡碼

投資現況