«circuits» etiketlenmiş sorular

9
Neden modern işlemcilerde bit-bilge işlemler kadar hızlı bir şekilde eklenebilir?
Bit işlemlerinin modern işlemcilerde çok hızlı olduğunu biliyorum, çünkü paralel olarak 32 veya 64 bit hızında çalışabilirler, bu yüzden bit işlemlerinin sadece bir saat sürmesi gerekir. Bununla birlikte, ekleme, en az bir ve muhtemelen bir düzine bit işlemli işlemden oluşan karmaşık bir işlemdir, bu yüzden doğal olarak 3-4 kat daha …


1
Son SAT çözümleyicilerinin tümü neden SAT devresi yerine CNF üzerinde çalışıyor?
2006'da bir zamanlar ve invertör grafiklerini işlemek için AIGER kütüphanesinin yayınlanmasından sonra (sanırım), 2006-2008'de bazı devre SAT çözücüleri piyasaya sürüldü ve birkaç SAT Races / Müsabakalarında AIG parkurları vardı. Ancak o zamandan beri odak noktası tamamen SMT ya da yanıltıcı SAT çözümleyicileri üzerinde. Sezgisel olarak benim için SAT devresine konsantre …


1
SR Mandalı nasıl anlaşılır
Başımı SR Mandalının nasıl çalıştığına dolamıyorum. Görünüşte, Eğer R, bir giriş hattı fiş ve bir S ve sonuç almak gerekiyordu ve Q ' .QQQQ′Q′Q' Ancak, hem R hem de S diğerinin çıkışından giriş gerektirir ve diğerinin çıkışı diğerinin çıkışından giriş gerektirir. Önce tavuk veya yumurta ne olur ?? Bu devreyi …

1
P ve P / poli neden önemsiz değil?
P'nin tanımı, bir polinom zaman algoritması ile karar verilebilen bir dildir. P / poly'nin tanımı, polinom boyutlu bir devre tarafından karar verilebilen bir dil anlamına gelebilir (bkz. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Şimdi, polinom boyutlu bir devre neden polinom zamanında simüle edilemiyor?

1
OR ve MOD geçitli derinlik-2 devreleri evrensel değil mi?
Her boolean fonksiyonunun bir boole derinliği 2 (değişkenler, negatifleri ve sabit değerleri üzerinde) bir boole devresi kullanılarak gerçekleştirilebileceği iyi bilinmektedir. birinci seviyede AND geçitleri ve üst seviyede tek bir OR geçidi içeren; Bu basitçe DNF temsil ait .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Devre karmaşıklığına büyük ilgi duyan bir diğer kapı tipi kapısıdır. Genel …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.