conjunctive-normal-form

1熱度

1回答

我想將我的子句轉換爲合相範式。每次運行我的程序時都會更改子句，所以我想我需要在我的程序中內置一個工具來爲我執行此操作。有沒有任何建議如何實施？我還發現一些圖書館，如： Orbital library。我是邏輯編程的新手，我從來沒有使用過它們，它很難通過它們。我也試圖找到一個例子來澄清事情，但沒有出現。我正在用java語言編寫我的程序。請幫忙... 在此先感謝！

3熱度

1回答

3-CNF-飽和與扭曲問題

如果你改變了3-CNF-SAT問題如下：對於每個C 我，C 我 = -x I1或-X I2 OR x i3這意味着恰好有一個變量出現而沒有否定。你也給了一些（或全部）x的值（0或1）。您應該能夠在多項式時間內解決問題（找到滿足問題的x值或證明它不可滿足的值）。什麼是解決此問題的多項式運行時算法？證明它運行在多項式時間。暗示：表明是c 我 = -x I1或-X I2或X I3等於C =（

0熱度

3回答

將連接範式的文件加載到列表中

我已經寫了一些代碼來根據here描述的標準從存儲cnf的文件加載cnf。該文件是： c simple_v3_c2.cnf // lines bigining by c are comments c p cnf 3 2 // the line bigining by p is the description of the pb 1 -3 0 // folowing lines

1熱度

1回答

將表達式轉換爲具有扭曲的連接正常形式

我有一個庫，我必須與其進行接口，基本上它作爲數據源行爲。在檢索數據時，我可以將特殊的「過濾器表達式」傳遞給該庫，後者將被轉換爲SQL WHERE部分。這些表達式非常有限。它們必須是聯合的正常形式。像： (A or B or C) and (D or E or F) and ... 這當然不是很舒服的編程。所以我想製作一個小包裝器，它可以解析任意表達式並將它們轉換爲這種正常形式。像： (A an

6熱度

2回答

SQL優化和分離正常形式

所以我寫了一個查詢在Visual Studio 2010中（我的意思是我打開服務器資源管理器，右鍵單擊服務器並選擇新查詢）。該查詢包括條件 A AND B AND C AND D AND E AND F AND (G OR H) 這是一種連接範式（CNF）。當我運行查詢（連接到MSSQL Server 2008）時，它將文本改爲 A AND B AND C AND D AND E AND F

4熱度

3回答

使用Prolog的

雖然學習Prolog的解決CNF，我試着寫一個程序解決CNF問題（性能不是問題），所以我結束了下面的代碼來解決(!x||y||!z)&&(x||!y||z)&&(x||y||z)&&(!x||!y||z)： vx(t). vx(f). vy(t). vy(f). vz(t). vz(f). x(X) :- X=t; \+ X=f. y(Y) :- Y=t; \+ Y=f. z(Z

1熱度

1回答

獨立EXISTS子句的動作如何工作？

如果我有這樣一個公式： FAx FAy (Ez(!A(x,z) v !A(y,z)) v B(x,y)) （FA =對於全部/ E =存在） skolemisation的規則說：如果E是FA以外替換常數或如果E在FA內部，則由新函數替換包含來自FA外部的所有變量作爲參數。那麼在這種情況下我該怎麼辦？我可以放下Exists量詞嗎？還是用常量替換它？謝謝！

2熱度

1回答

正DNF的壓縮

我想壓縮正命題公式析取範式（DNF）。我只是假設簡單DNF的時刻沒有否定文字。反向過程中，減壓可以很容易地定義爲。對於只能從合取和析建立了一個公式，以下重寫規則將產生一個DNF： A & (B v C) --> (A & B) v (A & C) (A v B) & C --> (A & C) v (B & C) 這裏是一個減壓的一個例子： Example: Decompressi

4熱度

2回答

如何將布爾表達式轉換爲cnf文件？

我需要使用解算器坐了檢查布爾表達式的可滿足.. 我有複雜的布爾表達式這樣有任何自動CNF文件轉換器，這樣我可以直接給它坐解決者？我讀取cnf格式文件..但如何在.cnf文件中表達這個表達式？當palenthesis中存在連詞時，我會感到困惑，並且如何表達 - >和< - >？請幫我