Описание тега boolean-polynomials
0
ответов
Как сортировать... полиномы
У меня есть (я думаю) нетривиальный вид, чтобы подать заявку. Объекты всегда описываются характеристиками. Объект может иметь, скажем, одну или более характерную особенность. Аккумулятор можно описать емкостью в мАч. Ноутбук может иметь батарею (и н…
17 апр '16 в 18:08
1
ответ
Двоичный XGCD для полиномов
Существует двоичный алгоритм GCD для нахождения наибольшего общего делителя числа. В общем, GCD может быть расширен до XGCD, что может помочь найти мультипликативный обратный в поле. Я работаю с двоичными числами, которые представляют полином. Напри…
10 авг '16 в 20:01
1
ответ
CRC16 (ModBus) - вычислительный алгоритм
Я использую Modbus RTU и пытаюсь понять, как рассчитать CRC16. Мне не нужен пример кода. Мне просто любопытно по поводу механизма. Я узнал, что базовый CRC - это полиномиальное деление слова данных, которое дополняется нулями в зависимости от длины …
15 мар '19 в 09:54
1
ответ
Как использовать Sympy для автоматического упрощения выражений над двузначным конечным полем?
Я пытаюсь построить многочлены над двузначным конечным полем {0, 1}, и я хочу, чтобы они автоматически упрощались с использованием некоторых тождеств, существующих в этом параметре. Я пробовал следующее: from sympy import * from sympy.polys.domains.…
21 июн '19 в 18:26
0
ответов
Показать, что DOUBLE-SAT находится в NP [закрыто]
Пусть DOUBLE-SAT = {⟨φ⟩ | φ имеет по крайней мере два удовлетворяющих назначения}. Покажите, что DOUBLE-SAT находится в NP, указав для него верификатор с полиномиальным временем и объяснив, почему верификатор работает за полиномиальное время. Пожалу…
12 май '21 в 19:18
0
ответов
Почему функция degree() не работает должным образом в сочетании с функцией diff ()? Ошибка: степень () принимает ровно один аргумент (задано 0)
R = BooleanPolynomialRing(names=('s0', 's1', 's2', 's3', 's4', 's5', 's6', 's7', 's8', 's9', 's10', 's11', 's12', 's13', 's14', 's15', 's16', 's17', 's18', 's19', 's20', 's21', 's22', 's23', 's24', 's25', 's26', 's27', 's28', 's29', 's30', 's31', '…
21 окт '21 в 07:09
1
ответ
Невозможно получить правильный CRC16 с заданным полиномом
Я борюсь со старым датчиком радиации и его протоколом связи.Датчик управляется событиями, мастер начинает связь с передачей данных или запросом данных.Каждая телеграмма данных использует CRC16 для проверки только блока переменных данных и CRC8 для п…
03 ноя '21 в 22:20