Запитання з тегом «circuits»

Я знаю, що розрядні операції настільки швидкі на сучасних процесорах, оскільки вони можуть працювати 32 або 64 біти паралельно, тому бітові операції займають лише один тактовий цикл. Однак додаток - це складна операція, яка складається щонайменше з однієї і, можливо, до десятка розрядних операцій, тому я, природно, думав, що це …

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Щодо квантових воріт Тоффолі : це класика універсальна, і якщо так, то чому? чи квантово універсальний, і чому?

20 quantum-computing  circuits  turing-completeness 

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

18 satisfiability  circuits  sat-solvers 

Наприклад, я знаю, що нерегулярна мова є в . Я хотів би знати більше таких прикладів.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Я не можу обернути голову, як працює засувка SR. Здається, ви підключаєте рядок введення від R, а інший від S, і ви повинні отримати результати в і Q ' .QQQQ′Q′Q' Однак і R, і S вимагають введення з другого виходу, а вихід другого вимагає введення з другого виходу. Що спочатку …

10 circuits  sequential-circuit 

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

10 complexity-theory  time-complexity  circuits 

Добре відомо, що кожна булева функція може бути реалізована за допомогою булевої схеми глибини 2 (над змінними, їх запереченням і постійними значеннями) містять ворота І на першому рівні та один єдиний АБО затвор у верхньому рівні; це просто уявлення DNF з .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Ще одним типом воріт, який представляє великий …

9 complexity-theory  logic  circuits