問題歸約及與或圖搜索

問題歸約 圖片來自西安電子科技大學課件 定義 將問題通過分解和等價變換的化簡，將之變爲若干可解的子問題 分解 將複雜問題分解成若干簡單可解決，可實現的步驟 一步一步成立，結果成立。故用邏輯與連接，是原命題的成立條件 與或樹表達 等價變化 利用同構或者是同態，將原問題變爲若干較爲容易求解的原問題 只要有一種成立就成立，用邏輯或連接，彼此互爲等價 與或樹表達 歸約例題 通過有序對的方式將問題進行有效的

>>阅读原文<<