«circuits» 태그된 질문

현대 프로세서에서는 비트 단위 연산이 32 비트 또는 64 비트에서 병렬로 작동 할 수 있기 때문에 비트 단위 연산이 너무 빠르다는 점을 알고 있으므로 비트 단위 연산은 한 번의 클럭 주기만 걸립니다. 그러나 추가는 하나 이상의 비트 연산으로 구성되는 복잡한 작업이므로 3-4 배 느려질 것이라고 생각했습니다. 간단한 벤치 마크 후에 …

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

양자 Toffoli 게이트에 관해서 : 그것은이다 classicaly 그렇다면 보편적하고, 그 이유는 무엇입니까? 그것은 양자 보편적이며 왜 그런가?

20 quantum-computing  circuits  turing-completeness 

2006 년 언젠가 그래프를 처리하고 변환하기 위해 AIGER 라이브러리가 출시 된 후 (제 생각에) 일부 회로 SAT 솔버가 2006-2008 년에 릴리스되었으며, 일부 SAT 레이스 / 경쟁에는 AIG 트랙이있었습니다. 그러나 그 이후로 SMT 또는 clausal SAT 솔버 개선에 전적으로 초점을 둔 것으로 보입니다. 직관적으로 회로 SAT에 집중하는 것은 많은 의미가있는 것 …

18 satisfiability  circuits  sat-solvers 

예를 들어, 비정규 언어 이 A C 0에 있음을 알고 있습니다 . 이 같은 더 많은 예를 알고 싶습니다.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

SR 래치가 어떻게 작동하는지 머리를 감쌀 수 없습니다. 겉보기에는 R의 입력 라인과 S의 입력 라인을 연결하면 및 결과가 나타납니다 .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의 부울 회로 (변수, 해당 부정 및 상수 값을 통해)를 사용하여 실현할 수 있다는 것은 잘 알려져 있습니다. 제 1 레벨에 AND 게이트를 포함하고 상부 레벨에 하나의 단일 OR 게이트를 포함하고; 이것은 단순히 의 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