bitvector

0зной

1ответ

(Scheme) Изменение значения в массиве булевых элементов с использованием списка

Мне нужно создать массив логических чисел (0 или 1) с размером 800000. Мне также нужно иметь возможность проверять/изменять значение по индексу всякий раз, когда я Можно. Я не могу использовать вектор

0зной

1ответ

Сравнить guava bloom Фильтры?

Можно ли сравнивать, если элементы одного цветкового фильтра присутствуют в другом фильтре цветения. Я знаю, что вы можете использовать .equals, но это не учитывает, например, если только некоторые из

18зной

3ответ

C++ 11 vector <bool> проблема с производительностью (с примером кода)

Я заметил, что вектор работает намного медленнее, чем массив bool при запуске следующего кода. int main() { int count = 0; int n = 1500000; // slower with c++ vector<bool> /*vecto

1зной

1ответ

Решение уравнений с использованием пропозициональной логики

Я ищу идеи о том, как закодировать математические уравнения в форме cnf-sat, чтобы их можно было решить с помощью SAT-решения с открытым исходным кодом, такого как MiniSat. Итак, как преобразовать что

0зной

1ответ

Как извлечь из битового вектора с использованием параметров с типом данных «Int»?

Есть ли эффективный способ извлечь бит номер i из битового вектора, в то время как i имеет Int datatype? Другими словами, есть ли эффективный скрипт smt, который может делать то, что делает следующий

1зной

1ответ

Как упаковать и распаковать 64 бита данных?

У меня есть структура данных 64-битный следующим образом: HHHHHHHHHHHHHHHHGGGGGGGGGGGGFFFEEEEDDDDCCCCCCCCCCCCBAAAAAAAAAAAA A: 12 бит (без знака) Б: 1 бит С: 12 бит (без знака) D: 4 бита (без знака) E:

0зной

1ответ

Атрибут битректа на Z3

Я пытаюсь использовать Z3 для решения арифметических уравнений с использованием арифметики битвектора. Мне было интересно, есть ли способ справиться и с реальными числами. Например, если я могу указат