Вопросы с тегом «circuits»

9
Почему сложение происходит так же быстро, как побитовые операции в современных процессорах?
Я знаю, что побитовые операции выполняются очень быстро на современных процессорах, потому что они могут работать на 32 или 64 битах параллельно, поэтому побитовые операции занимают только один такт. Однако сложение - это сложная операция, которая состоит как минимум из одной и, возможно, до дюжины побитовых операций, поэтому я, естественно, …


1
Почему все последние решатели SAT работают на CNF вместо схемы SAT?
После выпуска библиотеки AIGER для обработки и инвертирования графов где-то в 2006 году (я думаю), некоторые схемы SAT решатели были выпущены в 2006-2008 годах, и в нескольких гонках / соревнованиях SAT были треки AIG. Однако с тех пор кажется, что основное внимание было уделено либо SMT, либо улучшению клаузальных SAT …


1
Как понять SR Latch
Я не могу обернуться вокруг того, как работает SR Latch. По-видимому, вы подключаете входную строку от R, а другую от S, и вы должны получить результаты в и .Q ′QQQQ'Q'Q' Однако и R, и S требуют ввода от выхода другого, а выход другого требует ввода от выхода другого. Что первично …

1
Почему P и P / poly тривиально не одинаковы?
Определение P - это язык, который может быть определен алгоритмом полиномиального времени. Определение P / poly может означать язык, который может быть определен схемой полиномиального размера (см. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Теперь, почему нельзя за полиномиальное время смоделировать схему полиномиального размера?

1
Цепи глубины-2 с вентилями OR и MOD не универсальны?
Хорошо известно, что каждая булева функция может быть реализована с использованием булевой схемы глубины 2 (над переменными, их отрицанием и постоянными значениями) содержащий логические элементы И на первом уровне и один логический элемент ИЛИ на верхнем уровне; это просто представление DNF из .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Другим типом шлюза, который представляет большой …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.