horn公式中最基本的物件是取值為true或false的布林變數。
在horn公式中，關於變數的知識通過兩類子句表達：
① 蘊含式：其左側為任意肯定變數的並，右側為乙個單獨的肯定變數。如：(z /\ w) → u。
② 純否定子句：包含任意多個否定文字的或。如：(
問題描述：
給定某個由以上兩類子句構成的集合，我們需要判斷是否存在乙個一致的解釋，也即一組使得所有子句都滿足的變數賦值。該解釋通常也稱為該horn公式的乙個可滿足賦值。
❗演算法描述❗：
從所有變數為 false 開始（使得剛開始純否定子句一定滿足）， 乙個接乙個地將其中的部分變數置為 true，置為 true 的前提簡單地就是說：「只需且不得不」這樣做以使得某個蘊含式滿足；而一旦所有的蘊含式得到了滿足，再回頭檢查是否所有否定子句仍然滿足。
那具體如何實現呢：
首先讀取所有的蘊含式，利用它們構造乙個有向圖。
式子的右邊的字母，是箭頭最終的指向，該箭頭的從式子左邊的字母分別出發，一同指向乙個結點（式子左邊字母的個數），由該數字結點指向結果。
例如，(w /\ y /\ z ) → x，(x /\ z) → w，x → y，→ y，(x /\ y) → w，可以被表示為：
然後將所有的變數值設為false，對有向圖進行dfs。從結點0出發，將結點0指向的字母結點設為true，同時將其指向的數字節點的值全部減1，如果有乙個數字節點的值減1後為0，則沿該數字節點繼續dfs，否則跳出。接著檢查當前字母的值是否滿足所有純否定句，若滿足，說明存在該horn公式的乙個可滿足賦值。
演算法 貪心演算法
把乙個複雜問題分解為一系列較為簡單的區域性最優選擇，每乙個選擇都是對當前解的乙個擴充套件，知道獲得問題的完整解。在解決問題的策略上目光短淺，只根據當前已有的資訊做出選擇，而且一旦做出了選擇，不管將來有什麼結果這個選擇都不會改變。換言之，貪心法並不是從整體最優考慮，它所做出的選擇只是在某種意義上的區域...
演算法 貪心演算法
集合覆蓋問題 旅行商問題等都屬於np完全問題，在數學領域上並沒有快速得到最優解的方案，非常適合用貪婪演算法。判斷方法 1.元素較少時，一般執行速度很快，但隨著元素數量增多，速度會變得非常慢 2.涉及到需要計算比較 所有的組合 情況的通常是np完全問題 3.無法分割成小問題，必須考慮各種可能的情況。這...
演算法 貪心演算法
貪心演算法，又稱貪婪演算法 greedy algorithm 是指在對問題求解時，總是做出在當前看來是最好的選擇。也就是說，不從整體最優解出發來考慮，它所做出的僅是在某種意義上的區域性最優解。貪婪演算法是一種分階段的工作，在每乙個階段，可以認為所做決定是最好的，而不考慮將來的後果。這種 眼下能夠拿到...