[問題] 是否有演算法可以處理AND OR組合的問題

看板Prob_Solve (計算數學 Problem Solving)作者 (風凌飛靖)時間17年前 (2007/10/26 19:28), 編輯推噓2(205)
留言7則, 2人參與, 最新討論串1/5 (看更多)
現在有n個變數 分別是V1, V2, V3....VN 必須要用AND OR去組合每個變數 最簡單的假設 假設變數有 V1 V2 V3的話 最多三個一組最多會出現以下的狀況: V1 V2 V3 V1 and V2 V1 or V2 V1 and V3 V1 or V3 V2 and V3 V2 or V3 V1 and V2 and V3 V1 or V2 or V3 V1 and (V2 or V3) V1 or (V2 and V3) V2 and (V1 or V3) V2 or (V1 and V3) V3 and (V1 or V1) V3 or (V1 and V2) 請問是否有演算法可以進行這類的處理 當變數開始變多成 4個 5個 6個.... 感謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.193.65.59 Frankaze:轉錄至看板 Programming 10/26 19:29

10/27 12:58, , 1F
CNF SAT NP
10/27 12:58, 1F

10/28 02:12, , 2F
是要列出所有可能的式子嗎? 試試看用backtracking吧 :)
10/28 02:12, 2F

10/28 02:13, , 3F
至於括號的處理方式 可以先列由左到右 V2 or V3 and V1 這樣
10/28 02:13, 3F

10/28 02:16, , 4F
的式子 再來排好變數順序變成 V1 and (V2 or V3) 這樣~
10/28 02:16, 4F

10/28 02:24, , 5F
上面兩行話說的是式子排版的處理方法 如果只是要計算
10/28 02:24, 5F

10/28 02:25, , 6F
由左到右的式子就可以直接拿來用了~ 以上 :)
10/28 02:25, 6F

10/28 18:37, , 7F
看懂題目了...原來是排列組合問題
10/28 18:37, 7F
文章代碼(AID): #178SzEIl (Prob_Solve)
文章代碼(AID): #178SzEIl (Prob_Solve)