«circuit-complexity» etiketlenmiş sorular

Devre karmaşıklığı, kaynağa bağlı devrelerin ve bu devreler tarafından hesaplanan fonksiyonların incelenmesidir.

2
Poliloğa bağlı derinlik devreleri için devre alt sınırlarındaki durum
Sınırlı derinlik devresi karmaşıklığı, devre karmaşıklığı teorisi içindeki ana araştırma alanlarından biridir. Bu konunun kökenleri "parite işlevi AC0AC0AC^{0} " ve "mod ppp işlevi tarafından hesaplanmamıştır AC0[q]AC0[q]AC^{0}[q], burada AC0[q]AC0[q]AC^0[q] , tarafından belirlenebilen dil sınıfıdır düzgün olmayan, sabit derinlik, polinom boyutu, sınırsız fan girişi AND, OR, NOT ve modulo qqq gates, burada …
1
Hassasiyetin Blok Hassasiyetine Eşit Olduğu Boole İşlevleri
Duyarlılık vs blok duyarlılığı üzerindeki çalışmaların bazıları arasında mümkün olduğunca büyük bir boşluk olarak sahip fonksiyonlarını incelemeye yönelik olmuştur ve olduğu varsayımı çözmek için daha sadece polynomially büyüktür . Tam tersi ne olacak? bulunduğu fonksiyonlar hakkında bilinenler nelerdir ?s ( f)s(f)s(f)b s ( f)bs(f)bs(f)b s (f)bs(f)bs(f)s ( f)s(f)s(f)s ( f) …
2
Aynı anda n giriş bitinin AND ve VEYA hesaplanması için gerekli ikili kapı sayısı
Aynı anda giriş bitinin AND ve OR değerlerini hesaplamak için gereken minimum ikili kapı sayısı nedir ? Önemsiz üst sınır 2 n - 2'dir . Bunun en uygun olduğuna inanıyorum, ama bunu nasıl kanıtlayabilirim? Standart geçit eleme tekniği burada çalışmaz, çünkü giriş değişkenlerinden herhangi birine bir sabit atanarak biri çıkışlardan …
5
Daha güçlü üniformlaştırma kavramları?
Her zaman gerçekten anlamadığımın farkına vardığım bir boşluk, devre karmaşıklığının düzgün olmayan versiyonu temsil ettiği ve Turing makinelerinin tek tip olduğu, üniform olmayan ve üniform hesaplama karmaşıklığı arasındadır. "Tekdüzen" algoritma sınıfını sınırlamak için bir yol olduğunu, örneğin n değişkenleri ile n + 1 değişkenleri sorunu karşılaştırıldığında tamamen farklı bir devre …
3
Hangi
Neil Immerman'ın ünlü Dünya Resmi şöyledir (büyütmek için tıklayın): "Gerçekten uygulanabilir" sınıfı başka bir sınıf içermiyor; sorum şu: Pratik olmadığı düşünülen bir AC 0 problemi nedir ve neden?
1
Poli- ve log-derinlik kuantum devreleri arasında kehanet ayrımları
Aşağıdaki sorun, Aaronson'un Kuantum Hesaplama Teorisi için On Yarı Büyük Zorluk listesinde yer almaktadır . MiB Q P = B P PB Q N CBSP=BPPBSN-C\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Diğer bir deyişle, herhangi bir kuantum algoritması "kuantum" bölümünün sıkıştırılabilir derinliği, 'a verilen polinom-zaman klasik postprocessing yapmaya istekli misiniz? (Bunun Shor'un algoritması için geçerli olduğu …
1
Dinamik Programlama hiçbir zaman Açgözlü'den daha zayıf değil mi?
Devre karmaşıklığında, çeşitli devre modellerinin güçleri arasında ayrımlarımız vardır. İspat karmaşıklığında, çeşitli ispat sistemlerinin güçleri arasında ayrımlarımız var. Ancak algoritmik olarak, algoritmik paradigmaların güçleri arasında hala çok az ayrımımız var. . Aşağıdaki sorularım iki paradigma için bu ikinci soruna değinmeyi amaçlıyor: Açgözlü ve Dinamik Programlama. Bir dizi temel öğemiz var …
1
Sayılması zor fakat karar vermesi kolay bir polinom var mı?
Her monoton aritmetik devre , yani bir devresi, negatif olmayan tamsayı katsayılarıyla bazı çok değişkenli polinom x_n) hesaplar . Bir polinom verildiğinde devreF ( x 1 , … , x n ) f ( x 1 , … , x n ){+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) değerlerini hesaplar ise tüm tutan ; F ( …
1
Mu
P P A D'yiPPAD{\bf PPAD} bir çoklu zaman Turing makinesi / polysize devresi, bir günlük alanı Turing makinesi veya A C 0AC0{\bf AC^0} devresi yerine sorunu kodlayacak şekilde tanımlarsak ne olur ? Son zamanlarda küçük devreler için Devre memnuniyeti için daha hızlı algoritmalar vermenin önemli olduğu ortaya çıktı , bu …
1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …
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.