-1
我需要列出一定長度(比方說100),滿足一組給定的規則的所有布爾序列。一個規則的例子是:如果bit10 = bit20 = 1,則bit35 = 0。最合適的編程語言列出所有可能的布爾序列
我寫了一個C++程序,它在幾秒鐘內枚舉可能的序列,但它太長和複雜。你能推薦一種編程語言嗎?我可以用更短的代碼和(近乎)相似的性能來實現這一點。
我需要列出一定長度(比方說100),滿足一組給定的規則的所有布爾序列。一個規則的例子是:如果bit10 = bit20 = 1,則bit35 = 0。最合適的編程語言列出所有可能的布爾序列
我寫了一個C++程序,它在幾秒鐘內枚舉可能的序列,但它太長和複雜。你能推薦一種編程語言嗎?我可以用更短的代碼和(近乎)相似的性能來實現這一點。
如果您需要解決將可變規則作爲程序輸入的廣義問題,則稱其爲Satisfiability或「SAT」。在那裏有幾個SAT求解器,例如CryptoMiniSat,具有不同的功能。您必須將規則轉換爲輸入格式,然後運行SAT解算器。
謝謝!這是我正在尋找的。我可能會堅持SAT4J,因爲它似乎更好地記錄。 – user1808862