cnf

0熱度

1回答

簡單問題。我有一個非常大的CNF文件，代表一個m x n矩陣。可以說有> 10000個變量和相關術語。因此，作爲第一步，我想分割CNF文件，或者甚至更好地將矩陣分割爲100個變量以便並行求解概念。是否有任何描述適用的規則？所有幫助表示讚賞。問候阿德里安

2熱度

1回答

如何將CNF表達式重新轉換爲3-CNF？

我有一個CNF表達這樣的，我希望它重鑄到3-CNF： (a+b+c+d)(~a)(~b+d)(a+b+~d) 有誰知道我該怎麼做？

5熱度

1回答

如何在eclipse-rcp應用程序的通用導航器視圖中更改文件夾圖標（例如源文件夾）？

正如你可以在這篇文章的標題中看到的，我有一個關於eclipse-rcp應用程序使用的公共導航器視圖中的文件夾圖標的問題。基本上可以在導航器視圖中更改標準文件夾的圖標嗎？我的目標是更改已創建項目的源文件夾的圖標。重要的是要提到自己創建的項目性質。因此，每個創建的具有該特定屬性的項目都應該具有源文件夾的自定義圖標，但實際上我不知道我能夠修改該圖標的位置。所以問題是：哪個部分的rcp應用程序負責處

2熱度

1回答

如何在eclipse-rcp應用程序的通用導航器視圖中對文件夾結構進行分組？

我對eclipse-rcp應用程序中常見導航器視圖（包資源管理器）的文件夾結構有疑問。我的目標是對項目的源文件夾進行分組。正如你可以在項目「樣本」的源文件夾上面的圖片中看到的是SRC +主+資源。我想組該源文件夾，以便只有一行顯示文本「src.main.resources」。這不應該通過更改文件系統中的文件夾結構來達到。所以我的問題是：是否有可能以編程方式對源文件夾進行分組而不觸及物理文件夾

2熱度

1回答

將查詢轉換爲CNF

我最近一直在努力學習邏輯，但我遇到了一個我無法做的查詢，而且我不太確定哪裏出錯。將查詢轉換爲CNF時，當您遇到這種特殊情況時，您會做什麼？ (a AND NOT(b AND c)) AND (d OR e) = (a AND NOT b) OR (a AND NOT c) AND (d OR e) = 我該如何重新安排它將其轉換爲CNF格式？我在做一些完全錯誤的事情嗎？感謝您的幫助，肖

3熱度

1回答

關於SAT求解器和CNF文件

我一直在試圖使用Cryptominisat（類似的事情）來制定對Piccolo的攻擊，這是一種類似於AES的輕量級分組密碼。方程是這樣的： Z = Z1 | Z2 | ... | Z16，1 < = I < = 16 然後，UI =（1 + Z（4I-3 ））^（1 + Z（4I-2））^（1個+ Z（4I-1））^（1 + Z（4I）），1 < = I < = 4 然後，（1 + u1）V（

1熱度

1回答

將項目添加到子文件eclipse中的New'cnf

我正在使用eclipse CNF。當我在CNF的項目或文件夾中右鍵單擊時，會看到一個彈出式菜單，其中包含一個選項「新建」，其中還包含子菜單。如何將項目添加到該子菜單？

2熱度

1回答

使用座標解算器將等式轉換爲cnf

因此，我必須將一些由我的同事設計的方程轉換爲cnf文件格式，以便與一些開源座標解算器一起使用。的公式爲： S盒： y1= 1+x1+x2+x4+x1x2 y2= 1+x1+x2+x3+x3x2 y3= 1+x1+x4+x1x2+x1x3+x2x3+x3x4+x1x2x3 y4= x1+x2+x3+x1x3+x1x4+x2x4+x3x4+x1x2x3+x2x3x4 混合柱： Y1=

1熱度

1回答

這個概率語法的CNF形式是什麼？

如果PCFG是什麼樣子， NP -> ADJ N [0.6] NP -> N [0.4] N -> cat [0.2] N -> dog [0.8] 會有什麼CNF形式？它會是以下？ NP -> ADJ NP [0.6] NP -> cat [0.08] NP -> dog [0.32] 還是別的什麼？因爲你需要運用原始和轉換的一套規則（在CNF）來得到的結果相同的概率

1熱度

1回答

如何將CNF中的PCFG轉換爲該語法？

考慮下面的概率上下文無關文法 - 1.NP -> ADJ N [0.6] 2.NP -> N [0.4] 3.N -> cat [0.2] 4.N -> dog [0.8] 會是怎樣的？CNF