如何將一個自枚舉的pangram表示爲一個布爾函數？

Question

自我枚舉龐氏硬幣的維基文章指出，它們是使用二元判定圖計算出來的。我一直在閱讀有關BDD的信息，從我的理解中，您需要將某個問題表示爲布爾函數，然後才能爲其構建BDD。

我該怎麼做呢？

我一直在思考了好幾天的問題了，我敢肯定，你可以使用代表一個簡單的編碼輸入布爾函數：

10000 01010 01011 10101 ... 
16A's 10B's 11C's 21D's ... 

所以對於一個全字母短句出發「十六個A，十個B，十一個C，二十一個D」，你可以把它表示爲10000010100101110101 ...

這意味着在布爾函數中有26 * 5 = 130個變量，一個字符的最大頻率爲32個事件。

輸出應該是該表示是否爲自列舉的pangram，也就是說，如果該句子描述了自己的一組頻率。

要做到這一點，散列表（或多個）肯定需要沿途。

以致求信E，哈希表可能會開始：

one -> 1 
two -> 0 
three -> 2 
four -> 0 
five -> 1 
... 

其中在二進制，可能看起來像：

1 -> 1 
10 -> 0 
11 -> 10 
100 -> 0 
101 -> 1 

如果所有查找的從E哈希表的總和等於對應於E的五個輸入比特，那麼自列舉的部分是正確的。如果所有部分都是正確的，那麼布爾函數應該產生1，否則爲0.

我很確定我可以弄清楚如何使用布爾函數執行加法以及如何檢查兩個數字是否相等。但是，我不知道從哪裏開始將哈希表表示爲布爾函數。而且，把所有的東西連接在一起可能會令我困惑。

有什麼想法？想法？合作？我想看看這是怎麼回事。

在此先感謝。

Answer 1

我看到它的方式，在本文中使用的BDD只是表示和協助操縱用於評估的表達式的一種方式，例如，如果您的句子滿足作爲自我的要求 - 枚舉。在布爾代數中操作語言的規則比布爾代數中操作語句的規則更容易，因爲它們比布爾的符號更容易表示，這與8000變量中的多項式更難處理的方式相同在其一般形式比在其他表示它來自哪裏等的其他符號。計算機算法存在用於操縱這四個中的任何一個，所以你最好的選擇可能是查找並適應你的需求。您可能會發現this document會有所幫助。

Google也可能有助於尋找額外的資源。