คำถามติดแท็ก circuits

ฉันรู้ว่าการทำงานของ bit-wise นั้นรวดเร็วสำหรับตัวประมวลผลที่ทันสมัยเนื่องจากสามารถทำงานกับ 32 หรือ 64 บิตในแบบขนานดังนั้นการดำเนินงาน bit-wise จึงใช้เวลาเพียงหนึ่งรอบนาฬิกา อย่างไรก็ตามการเพิ่มเป็นการดำเนินการที่ซับซ้อนซึ่งประกอบด้วยการดำเนินการอย่างน้อยหนึ่งอย่างและอาจเป็นถึงการดำเนินการที่ชาญฉลาดจำนวนโหลดังนั้นฉันจึงคิดว่ามันจะช้าลง 3-4 เท่า ฉันรู้สึกประหลาดใจที่ได้เห็นมาตรฐานที่เรียบง่ายว่าการเพิ่มนั้นเร็วพอ ๆ กับการดำเนินการที่ชาญฉลาด (XOR, OR และอื่น ๆ ) ทุกคนสามารถหลั่งน้ำตาแสงนี้

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

เกี่ยวกับประตูควอนตัมทอฟโฟลี : มันเป็นสากลคลาสสิคและถ้าเป็นเช่นนั้นทำไม? มันเป็นควอนตัมสากลหรือไม่?

20 quantum-computing  circuits  turing-completeness 

หลังจากการเปิดตัวห้องสมุด AIGER เพื่อจัดการกับกราฟกราฟและอินเวอร์เตอร์ในปี 2549 (ฉันคิดว่า) นักแก้ปัญหาวงจร SAT บางตัวได้เปิดตัวในปี 2549-2551 และในการแข่งขัน SAT / การแข่งขันไม่กี่ครั้งที่มีแทร็ก AIG อย่างไรก็ตามตั้งแต่นั้นมาดูเหมือนว่าโฟกัสนั้นได้รับทั้งใน SMT หรือการปรับปรุงตัวแก้ SAT แบบ clausal สำหรับฉันแล้วการให้ความสำคัญกับวงจร SAT ดูเหมือนจะสมเหตุสมผล: หลาย ๆ ปัญหาที่ไม่เกิดขึ้นจริงจะแสดงเป็นวงจร SAT มากกว่า CNF วงจรให้ข้อมูลโครงสร้างที่ไม่สามารถย้อนกลับวิศวกรรมจาก CNF แต่วงจรสามารถเปลี่ยนเป็น CNF ได้เสมอ และอย่างน้อยฟิลด์การสังเคราะห์เชิงตรรกะที่มีความสำคัญทางอุตสาหกรรมดูเหมือนจะเหมาะสมอย่างยิ่งสำหรับ AIGs แล้วเกิดอะไรขึ้น? มันกลับกลายเป็นว่าข้อมูลโครงสร้างพิเศษไม่ได้ช่วยแก้ปัญหา? SAT ที่ใช้ AIG กำลังแก้ไขการทดสอบที่ล้มเหลวหรือไม่

18 satisfiability  circuits  sat-solvers 

ตัวอย่างเช่นผมรู้ว่าภาษาที่ไม่ปกติอยู่ใน 0 ฉันต้องการทราบตัวอย่างเพิ่มเติมเช่นนี้anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

ฉันไม่สามารถคาดศีรษะได้ว่า SR Latch ทำงานอย่างไร ดูเหมือนว่าคุณเสียบสายการป้อนข้อมูลจาก 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 เกทชนิดอื่นที่เป็นที่สนใจอย่างมากในความซับซ้อนของวงจรคือเกตคำจำกัดความปกติมีดังต่อไปนี้:MODmMODmMOD_m MODm(x1,…,xk)={10 if ∑xi≡0modm if ∑xi≢0modm MODm(x1,…,xk)={1 if ∑xi≡0modm 0 if ∑xi≢0modm \mathrm{MOD}_m(x_1,\dots,x_k)=\cases{ 1 & if \(\sum x_i \equiv 0 \mod m\) \\ 0 & if \(\sum x_i \not\equiv 0 \mod m\) \\ } บางครั้งประตูเหล่านี้มีพลังที่น่าประหลาดใจ ตัวอย่างเช่นฟังก์ชันบูลีนใด ๆ ที่สามารถแสดงโดยวงจรความลึก -2 ที่มีเพียงMOD6MOD6\mathrm{MOD}_6ประตู (นี่คือคติชนวิทยา แต่ชาวบ้านก็คือว่าวงจรมีเพียงหนึ่งเดียวหรือประตูที่ด้านบนและMODmMODm\mathrm{MOD}_mประตูในชั้นล่าง …

9 complexity-theory  logic  circuits