Pertanyaan yang diberi tag «circuits»

Saya tahu bahwa operasi bit-wise sangat cepat pada prosesor modern, karena mereka dapat beroperasi pada 32 atau 64 bit secara paralel, sehingga operasi bit-wise hanya memerlukan satu siklus clock. Namun penambahan adalah operasi kompleks yang terdiri dari setidaknya satu dan mungkin hingga selusin operasi yang bijaksana, jadi saya secara alami …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Mengenai gerbang Toffoli kuantum : apakah itu klasik dan universal, dan jika demikian, mengapa? itu quantumly universal, dan mengapa?

20 quantum-computing  circuits  turing-completeness 

Setelah rilis perpustakaan AIGER untuk menangani dan-inverter grafik sekitar tahun 2006 (saya pikir), beberapa pemecah sirkuit SAT dirilis pada 2006-2008, dan dalam beberapa lomba / Kompetisi SAT ada trek AIG. Namun sejak itu tampaknya fokus telah sepenuhnya pada SMT atau meningkatkan pemecah klausa SAT. Secara intuitif saya berkonsentrasi pada sirkuit …

18 satisfiability  circuits  sat-solvers 

Sebagai contoh, saya tahu bahwa bahasa non-reguler adalah dalam A C 0 . Saya ingin tahu lebih banyak contoh seperti ini.Sebuahnbnanbna^nb^nA C0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Saya tidak bisa membungkus kepala saya di sekitar bagaimana SR Latch bekerja. Tampaknya, Anda menyambungkan saluran input dari R, dan lainnya dari S, dan Anda seharusnya mendapatkan hasil di dan .QQQQ′Q′Q' Namun, baik R dan S membutuhkan input dari output yang lain, dan output yang lain membutuhkan input dari output …

10 circuits  sequential-circuit 

Definisi P adalah bahasa yang dapat diputuskan oleh algoritma waktu polinomial. Definisi P / poli dapat diartikan sebagai bahasa yang dapat diputuskan oleh sirkuit ukuran polinomial (lihat http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Sekarang, mengapa sirkuit ukuran polinomial tidak dapat disimulasikan dalam waktu polinomial?

10 complexity-theory  time-complexity  circuits 

Sudah diketahui secara umum bahwa setiap fungsi boolean f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\} dapat direalisasikan menggunakan sirkuit boolean dengan kedalaman 2 (atas variabel, negasi dan nilai konstannya) yang berisi gerbang AND di yang pertama tingkat dan satu gerbang OR tunggal di tingkat atas; …

9 complexity-theory  logic  circuits 

Pengujian identitas polinomial adalah contoh standar masalah yang diketahui berada di co-RP tetapi tidak diketahui berada di P . Lebih dari rangkaian aritmatika , memang tampak sulit, karena tingkat polinom dapat dibuat besar secara eksponensial dengan kuadrat ulang. Pertanyaan ini membahas masalah bagaimana mengatasi ini dan menjaga masalah dalam waktu …

8 randomized-algorithms  polynomial-time  circuits 

Latihan 4.29 dari Komputasi Quantum dan Informasi Quantum oleh Nielsen dan Chuang membuat saya bingung. Temukan sirkuit yang berisi Toffoli, CNOT dan gerbang qubit tunggal yang mengimplementasikan gerbang (untuk ), tanpa menggunakan qubit kerja.O (n2)HAI(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 Saya sudah menemukan bahwa ini tidak dapat dilakukan secara klasik …

8 quantum-computing  circuits 

Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang sama seperti mesin negara terbatas. Mereka tampak sangat berbeda: Finite State Machines, bagaimanapun, memiliki …

8 complexity-theory  turing-machines  computation-models  circuits 

Katakanlah Anda memiliki input boolean, dan Anda diberi ambang batas . Anda perlu membangun sirkuit boolean yang mengevaluasi true jika setidaknya dari input benar. Anda dapat menggunakan gerbang AND, ATAU, TIDAK, atau XOR (terbatas pada dua kipas, dengan kipas keluar secara acak). Seberapa asimtotik seberapa kecil Anda dapat membuat sirkuit …

8 complexity-theory  circuits