bitvector

    0熱度

    1回答

    無論如何比較一個布隆過濾器的元素是否存在於另一個布隆過濾器中。我知道你可以使用.equals,但這並不考慮,例如,如果只有一些元素出現在第二個布隆過濾器中,那麼我正在尋找。 以某種方式比較設置位?

    18熱度

    3回答

    我注意到在運行以下代碼時,矢量比bool數組慢得多。 int main() { int count = 0; int n = 1500000; // slower with c++ vector<bool> /*vector<bool> isPrime; isPrime.reserve(n); isPrime.assign(n, tru

    1熱度

    1回答

    去年我一直在使用Z3 4.0的Ocaml API,主要是bitvector理論。現在我需要在做一個Z3.solver_check之後提取不飽和核心,不幸的是版本4沒有這個能力。我可以做一個重寫來使用公式中的假設來代表公式中的每個位向量方程,然後得到不可靠的核心,但這是代碼的關鍵部分,它可能會影響整體性能。 有沒有一種方法可以在不通過第4版假設的情況下獲得不合格核心?長期的解決方案當然是轉向最新版本

    1熱度

    2回答

    我想解釋 std::vector<unsigned int> numbers 作爲位向量,即numbers[0] MSB爲第1位,的numbers[1] MSB爲第33位,依此類推。我想在這個向量中找到其中的所有序列,並將相應的位置存儲在數據結構中。 (另外的單個一個定義爲這裏序列) 例如:我有15和112存儲在數字的值。因此,位29至32和位58至60等於1。 挑戰是優化此功能的運行時間。

    1熱度

    1回答

    我正在尋找關於如何將數學方程式編碼爲cnf-sat形式的想法,以便他們可以通過像MiniSat這樣的開源SAT求解器來解決。 所以,我怎麼轉換是這樣的: 3X + 4Y - Z = 14 -2x - 4Z < = -6 X - 3Y + Z> = 15 成爲可以通過使用SAT求解器求解的命題式。 任何建議,因爲我很難過?

    0熱度

    1回答

    是否有任何有效的方法從位向量中提取位號i,而i有Int數據類型?換句話說,是否有任何有效的smt腳本可以完成以下腳本的功能? (declare-fun int-index() Int) (assert (and (>= int-index 0) (<= int-index 21))) (declare-fun bv1() (_ BitVec 22)) (define-fun getbit (

    2熱度

    1回答

    我無法理解這兩個函數中的位邏輯。 我不知道爲什麼我們的狀態檢查(位向量&掩碼)​​== 0 而且,爲什麼我們罩或與該位向量,當條件滿足和和bitVector與〜掩碼否則? 爲什麼有這樣一個屬性,可以「通過從整數中減去一個值並與原始整數進行邏輯與運算來確定剛剛設置的一位」? Full code here。 /* Toggle the ith bit in the integer. */ publi

    0熱度

    2回答

    我需要在加密方案中使用位操作,但是,當我將變量和函數轉換爲BitVector(bitstring/int/textstrings =「」)時,結果是一個非常長的位向量,在長度在成千上萬。現在,這減緩了我在這些BitVectors上的加密和操作。我該如何克服這一點? :(方式 比如我使用的是位向量: msg = BitVector.BitVector(textstring=message)^h1

    1熱度

    2回答

    我想寫一個幫助函數,它將位索引數組轉換爲符合OptionSet的類。 func getOptionSet<T: OptionSet>(bitIndexes: [Int64]) -> T { var result: Int64 = 0 for index in bitIndexes { result |= 1 << index } return T

    0熱度

    1回答

    我想根據字符bitvalue(用戶指定)將字符串轉換爲其對應的位向量。我正在處理基因組字符串,我只有4個字符,即A,G,C,T。我想用以下bitvalue代表他們在Java A = 01 G = 11 C = 10 T = 00 現在給出一個字符串「AGGT」,那麼其對應的bitvalue應該是01111100.我曾嘗試做如下: BitSet A = new BitSet(2); Bi